search for: reg1048

Hi Hisham, Most likely the basic blocks are the headers of two different loops. Try running viewCFG() on the function in question to see if this is the case. Tom ----- Original Message ----- From: "Hisham Chowdhury" <hisham_chow at yahoo.com> To: llvmdev at cs.uiuc.edu Sent: Wednesday, June 16, 2010 7:22:00 PM GMT -05:00 US/Canada Eastern Subject: [LLVMdev] Loopinfo Analysis

Hello, I have a question regrading the analysis pass that generates loop info from an .ll code. My previous understanding was there will be just one loop header(in the loop info) for a particular loop. But, when i use isLoopHeader() member function from the loop info class I get 'true' return value for two different basic blocks. Note both basic blocks are loop conditional block(break

...0x88c9060 SU(3): 0x88c8a08: i32 = ADDiu 0x88ca6a8, 0x88c8940 SU(2): 0x88ca778: ch = TokenFactor 0x88c8d00:1, 0x88c9ba0:1 SU(6): 0x88c9c28: ch = BEQ 0x88c9ba0, 0x88c8a08, 0x88ca710, 0x88ca778 Selected machine code: bb20: 0x88c8140, LLVM BB @0x88bec48, ID#8: %reg1047 = LUi <ga:flags.2176> %reg1048 = LW 0, <fi#6> %reg1049 = ADDiu %reg1047, <ga:flags.2176> %reg1050 = ADDu %reg1049, %reg1048 %reg1051 = LBu 0, %reg1050 %reg1052 = ADDiu %ZERO, 0 BEQ %reg1051, %reg1052, mbb<cond_next46,0x88c8430> Successors according to CFG: 0x88c8430 (#13) 0x88c8218 (#9) Total amount of...

...tcirc_next.1,0x8065c70> %reg1039 = move %reg1040 %reg1042 = move <ga:.str_1> %reg1041 = move %reg1042 %ar7 = + %ar7, 8 %reg1043 = - %ar7, 1 store %reg1043, %reg1041 %reg1044 = - %ar7, 2 store %reg1044, %reg1029 %reg1045 = - %ar7, 3 store %reg1045, %reg1046 %reg1047 = - %ar7, 4 %reg1048 = move 0 store %reg1047, %reg1048 %reg1049 = - %ar7, 5 store %reg1049, %reg1050 %reg1051 = - %ar7, 6 %reg1052 = move 0 store %reg1051, %reg1052 %reg1053 = - %ar7, 7 store %reg1053, %reg1039 call <ga:printf> %ar7 = - %ar7, 8 %reg1054 = move %gr7 return shortcirc_done.1 (0x8065d90,...