search for: end7

...se ], [ %ss, %true ] %phi = load double* %phi.in.reg2mem.0 store double %phi, double* %news %isTConnected4 = load i32* %isTConnected %1 = icmp eq i32 %isTConnected4, 0 br i1 %1, label %false6, label %true5 true5: ; preds = %end br label %end7 false6: ; preds = %end br label %end7 end7: ; preds = %false6, %true5 %phi9.in.reg2mem.0 = phi double* [ @t, %false6 ], [ %tt, %true5 ] %phi9 = load double* %phi9.in.reg2mem.0 store double %phi9, dou...

...ble* %phi.in.reg2mem.0 > store double %phi, double* %news > %isTConnected4 = load i32* %isTConnected > %1 = icmp eq i32 %isTConnected4, 0 > br i1 %1, label %false6, label %true5 > > true5: ; preds = %end > br label %end7 > > false6: ; preds = %end > br label %end7 > > end7: ; preds = %false6, %true5 > %phi9.in.reg2mem.0 = phi double* [ @t, %false6 ], [ %tt, %true5 ] > %phi9 = load double* %phi9.in....

Hi, When I write various test cases and explore how they're handled by the code in LoopDependenceAnalysis::analysePair, I'm surprised. This loop collects pairs of subscripts from the source and destination refs. * // Collect GEP operand pairs (FIXME: use GetGEPOperands from BasicAA), adding* * // trailing zeroes to the smaller GEP, if needed.* * GEPOpdsTy destOpds, srcOpds;* *

...> JCC mbb<return,0xa244d04>, 5, %SRW<imp-use> Successors according to CFG: 0xa244d04 (#4) 0xa244c20 (#1) if.else: 0xa244c20, LLVM BB @0xa1f0a08, ID#1: Live Ins: %R15W %R15B Predecessors according to CFG: 0xa244bd4 (#0) CMP16ir -21, %R15W, %SRW<imp-def> JCC mbb<if.end7,0xa244cb8>, 5, %SRW<imp-use> Successors according to CFG: 0xa244c6c (#2) 0xa244cb8 (#3) if.then5: 0xa244c6c, LLVM BB @0xa1e93c0, ID#2: Live Ins: %R15W %R15B Predecessors according to CFG: 0xa244c20 (#1) %R12W<def> = MOV16ri 10 %R12W<def> = SUB16rr %R12W, %R15W<kil...

...%call4 = call %struct._IO_FILE* @fopen(i8* %5, i8* getelementptr inbounds ([2 x i8]* @.str3, i32 0, i32 0)) store %struct._IO_FILE* %call4, %struct._IO_FILE** %wfile, align 8 %6 = load %struct._IO_FILE** %wfile, align 8 %tobool = icmp ne %struct._IO_FILE* %6, null br i1 %tobool, label %if.end7, label %if.then5 if.then5: ; preds = %if.end %7 = load %struct._IO_FILE** @stderr, align 8 %8 = load i8** @filename, align 8 %call6 = call i32 (%struct._IO_FILE*, i8*, ...)* @fprintf(%struct._IO_FILE* %7, i8* getelementptr inbounds ([28 x i8]* @.str4,...

Hi, Here is a preliminary (monolithic) version you can comment on. This is still buggy, however, and I'll be testing for and fixing bugs over the next few days. I've used your version of the strong siv test. Thanks! -- Sanjoy Das. http://playingwithpointers.com -------------- next part -------------- A non-text attachment was scrubbed... Name: patch.diff Type: application/octet-stream

...RYk at Xa!p7xkPyWZh$A2)0%?DhQU at G;;v_ at A8GqeQ#A?VrvWv{Mk?H;(2v#OV zoxDr~#hnA`ye$aKBM9XF_4W1qdOp8`+{U1h&j)Jg at tj^`fZ`hJEXMD5ad$IZ=^dkb z2ZQrSHsPjBFzmCL191q1X*8|JuV1(O{d at -tBbBrcgVyw{+qSN%8vlJw2&H#A5yheD z_tM}__SkgsEytM6Plhh~B>>?Gh$(<zGuw}2-+p}5&|j1fkot*<{n at tF@dV at End7-? z+t10t{Y(dUd^{fTDOV(MpN%X$<Bc{J`rr%(Feu(25cqnf5eiz}I6m8tLfQu!)^r0H z7E&dQ#yA;%tlP%~zB@?h;;p&ev8RPiy`h#X82cW+HOZWM7s8%i0kOVJg+N9Caw~y6 z2EtLdr)C^G>$8HDoLvA322*gjs;aKojl!UQPN?2Ts?`h^fOL(&lL8;%b0B^kBaqK$ zl85(c&<F3Q9w!6<1hSfeoO5oUBk0kB@{hba!7bO$jZa*aSUk70W*dbPezKjW&Qc...

....i.i.i.i.i to i16 store i16 %conv1.i.i.i.i.i, i16* %incdec.ptr.8.i56.i.i, align 2, !tbaa !5 br label %for.cond66.i if.end3.i.i.i.i: ; preds = %for.cond.preheader.i.i.i.i.i, %if.end4.i.i.i br i1 %cmp.i6.i.i.i, label %for.cond.preheader.i.i21.i.i.i.i, label %if.end7.i.i.i.i for.cond.preheader.i.i21.i.i.i.i: ; preds = %if.end3.i.i.i.i %135 = load i16* %arraydecay65.i, align 2, !tbaa !5 %cmp5.i.i20.i.i.i.i = icmp eq i16 %135, 0 br i1 %cmp5.i.i20.i.i.i.i, label %for.inc.i.i24.i.i.i.i, label %if.end7.i.i.i.i for.inc.i.i24.i.i.i.i:...