On Mon, Jun 16, 2008 at 4:04 PM, David Given <dg@xxxxxxxxxxx> wrote: > Some basic testing with show_statement() and show_insn() reveals that > both approaches seem to yield similar but *different* pseudocode... with > different SSA phi functions. What's the difference between the two, and > do you have any suggestions as to which approach I should look at? I would strongly recommend using the example.c rather than compile-i386.c. If you want to do any thing interesting with the back end at all, using the linearize byte code is the way to go. > In addition, I'm afraid I'm going to have to use the D word... has > anyone written down anything about how all this stuff works? I'm afraid > it's rather a large mass of code to try and absorb in one go, and any > overview information would help me considerably. For example: if I put > together a noddy program that enumerates basic blocks (the example.c > approach) I see phi functions. Calling unssa() doesn't seem to help. > However, inserting instrumentation into example.c indicates that it > *doesn't* see phi functions (as far as I can tell). There's something > I'm simply not getting here --- does the removal of phis actually happen > inside the register allocator (which seems like the intuitive place for > it), and if so, what does unssa() actually do? I haven't use the unssa() myself. It seems unssa() just replace the phisrc instruction to a copy instruction. Let the source copy to a temp register. Then on phi instruction it just copy that temp register back to the phi node register. The phi node is replaces with copy instruction inside unssa(). In the real machine code, the copy instruction can emit as "mov" instruction. As for linearize instructions. They are the internal representation of the compiled program. In this representation, there is unlimited pseudo register. Each pseudo is define in only one instruction. except "OP_COPY" in the unssa(). Each function entry point has a list of basic blocks and each basic block has a list of instructions. Most instruction is pretty straight for what it does. BTW, if you don't mind coding in C++, you can take a look at LLVM. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
