search for: inc5

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;* *

...>> %for.inc6 ] >> %a.018 = phi i32 [ 0, %for.cond2.preheader.lr.ph ], [ %inc7, %for.inc6 ] >> br i1 %cmp314, label %for.body4, label %for.inc6 >> for.body4: >> %x.116 = phi i32 [ %inc, %for.body4 ], [ %x.019, %for.cond2.preheader ] >> %b.015 = phi i32 [ %inc5, %for.body4 ], [ 0, %for.cond2.preheader ] >> %inc = add nsw i32 %x.116, 1 >> %inc5 = add nsw i32 %b.015, 1 >> %cmp3 = icmp slt i32 %inc5, %cond22 >> br i1 %cmp3, label %for.body4, label %for.inc6 >> for.inc6: >> %x.1.lcssa = phi i32 [ %x.019, %for.cond...

...r.lr.ph ], [ %x.1.lcssa, > %for.inc6 ] > %a.018 = phi i32 [ 0, %for.cond2.preheader.lr.ph ], [ %inc7, %for.inc6 ] > br i1 %cmp314, label %for.body4, label %for.inc6 > for.body4: > %x.116 = phi i32 [ %inc, %for.body4 ], [ %x.019, %for.cond2.preheader ] > %b.015 = phi i32 [ %inc5, %for.body4 ], [ 0, %for.cond2.preheader ] > %inc = add nsw i32 %x.116, 1 > %inc5 = add nsw i32 %b.015, 1 > %cmp3 = icmp slt i32 %inc5, %cond22 > br i1 %cmp3, label %for.body4, label %for.inc6 > for.inc6: > %x.1.lcssa = phi i32 [ %x.019, %for.cond2.preheader ], [ %inc, %...

...; %a.018 = phi i32 [ 0, %for.cond2.preheader.lr.ph ], [ %inc7, %for.inc6 >>> ] >>> br i1 %cmp314, label %for.body4, label %for.inc6 >>> for.body4: >>> %x.116 = phi i32 [ %inc, %for.body4 ], [ %x.019, %for.cond2.preheader ] >>> %b.015 = phi i32 [ %inc5, %for.body4 ], [ 0, %for.cond2.preheader ] >>> %inc = add nsw i32 %x.116, 1 >>> %inc5 = add nsw i32 %b.015, 1 >>> %cmp3 = icmp slt i32 %inc5, %cond22 >>> br i1 %cmp3, label %for.body4, label %for.inc6 >>> for.inc6: >>> %x.1.lcssa = phi...

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

...[ %x.1.lcssa, %for.inc6 ] %a.018 = phi i32 [ 0, %for.cond2.preheader.lr.ph ], [ %inc7, %for.inc6 ] br i1 %cmp314, label %for.body4, label %for.inc6 for.body4: %x.116 = phi i32 [ %inc, %for.body4 ], [ %x.019, %for.cond2.preheader ] %b.015 = phi i32 [ %inc5, %for.body4 ], [ 0, %for.cond2.preheader ] %inc = add nsw i32 %x.116, 1 %inc5 = add nsw i32 %b.015, 1 %cmp3 = icmp slt i32 %inc5, %cond22 br i1 %cmp3, label %for.body4, label %for.inc6 for.inc6: %x.1.lcssa = phi i32 [ %x.019, %for.cond2.preheader ]...

...er.lr.ph ], [ %x.1.lcssa, %for.inc6 ] > %a.018 = phi i32 [ 0, %for.cond2.preheader.lr.ph ], [ %inc7, %for.inc6 ] > br i1 %cmp314, label %for.body4, label %for.inc6 > for.body4: > %x.116 = phi i32 [ %inc, %for.body4 ], [ %x.019, %for.cond2.preheader ] > %b.015 = phi i32 [ %inc5, %for.body4 ], [ 0, %for.cond2.preheader ] > %inc = add nsw i32 %x.116, 1 > %inc5 = add nsw i32 %b.015, 1 > %cmp3 = icmp slt i32 %inc5, %cond22 > br i1 %cmp3, label %for.body4, label %for.inc6 > for.inc6: > %x.1.lcssa = phi i32 [ %x.019, %for.cond2.preheader ], [ %i...

...loop; +; it would violate the concurrency memory model + + at g = common global i32 0, align 4 + +define void @bar(i32 %n, i32 %b) nounwind uwtable ssp { +entry: + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %i.0 = phi i32 [ 0, %entry ], [ %inc5, %for.inc ] + %cmp = icmp slt i32 %i.0, %n + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %tobool = icmp eq i32 %b, 0 + br i1 %tobool, label %for.inc, label %if.then + +if.then: ;...