[LLVMdev] [cfe-dev] LLVM Backend for Z80

[Jonas Gefele]

Hi Peter,

(I'm CC'ing the LLVMdev list as there might be others able to help you)


I don't know this assertion, so can't help you with that particular problem.
But concerning "more debug info": Do you know the following two links?

http://llvm.org/releases/3.0/docs/ProgrammersManual.html#DEBUG
You can find some example debug code e.g. in method Select(SDNode *Node)
in source file lib/Target/MSP430/MSP430ISelDAGToDAG.cpp 

http://llvm.org/releases/3.0/docs/ProgrammersManual.html#ViewGraph
(and the -view… options in http://llvm.org/releases/3.0/docs/CodeGenerator.html#selectiondag_process)
This takes some minimal effort to setup but is incredibly useful:
Run llc with all -view… options on. This will get you a first idea on where the problem occurs.
Then if you find the causing SelectionDAG pass, let's say your Select method in Z80IselDAGToDAG,
then you can set a breakpoint there and watch the state of the selection DAG on each iteration
via CurDAG->viewGraph().

Maybe that gives you an idea where the problem could be.

Cheers,
Jonas



Am 16.04.2012 um 12:51 schrieb Peter Hanzel:

> Hello.
> 
> I am playing with LLVM and trying to create Zilog Z80 Backend.
> I have succesfully created basic infrastructure and now trying to extend Z80InstrInfo.td to handle more and more C code.
> I have done some work with FrameIndex and now I am stuck with assert.
> 
> llc: SelectionDAG.cpp:645: bool llvm::SelectionDAG::RemoveNodeFromCSEMaps(llvm::SDNode*): Assertion `N->getOpcode() != ISD::EntryToken && "EntryToken in CSEMap!"' failed.
> 
> This code works:
> 
> void simple()
> {
> unsigned char i=10;
> unsigned char a = 20;
> }
> 
> and produces my somewhat not VERY REAL z80 assembly:
> 
> .file "simple.bc"
> .text
> .globl simple
> .type simple, at function
> simple:                                 # @simple
> # BB#0:                                 # %entry
> ld HL, SP+5
> ld (SP+0), HL
> ld HL, SP+4
> ld (SP+2), HL
> ld HL, (SP+0)
> ld (HL),10
> ld HL, (SP+2)
> ld (HL),20
> $tmp0:
> .size simple, ($tmp0)-simple
> 
> But when I add one line to c:
> 
> void simple()
> {
> unsigned char i=10;
> unsigned char a = 20;
> a = a+i;
> }
> 
> the llc fails to generate .S file.
> I have only added this instruction to Z80InstrInfo.td
> 
> def STORE16_trunc: Z80Instr<(outs), (ins GPR16:$src, GPR16:$dst),
> "ld_b ($dst),$src",
> [(truncstorei8 GPR16:$src, GPR16:$dst)]>;
> 
> This is also MY PSEUDO instruction on Z80.
> Next I will try to handle this is real instructions, but for now I cannot make futher due to that assertions.
> Attached is my whole code + test files.
> 
> I have tried to debug but the breakpoints and showing SDNodes deesn't helped me too much.
> I have observed that it is truying to remove EntryToken from proccess, but I can't figure what is in that EntryToken. According to llvm source code
> EntryToken is marker used to indicate the start of the region.
> 
> Is there any magic option to get some more debug info, what is going on. And why it tries to remove EntryToken?
> 
> Thanks, Peter.
> 
> 
> 
> <llvm_to_send.tgz>_______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev