[llvm-bugs] [Bug 27692] New: phi node arguments oscillate with passes loop-load-elim and simplifycfg

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=27692

            Bug ID: 27692
           Summary: phi node arguments oscillate with passes
                    loop-load-elim and simplifycfg
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: nwilson20 at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 16339
  --> https://llvm.org/bugs/attachment.cgi?id=16339&action=edit
loop-load-elim_simplifycfg.ll

When using the flags -loop-load-elim and -simplifycfg on the attached IR
(loop-load-elim_simplifycfg.ll) the phi node arguments will keep flipping. This
was produced by using the attached IR and using the output as input back to
opt.

For example:
$ ./opt -S -loop-load-elim -simplifycfg bugpoint-reduced-simplified.ll >
out1.ll
$ ./opt -S -loop-load-elim -simplifycfg out1.ll > out2.ll
$ ./opt -S -loop-load-elim -simplifycfg out2.ll > out3.ll

$ diff out2.ll out1.ll
1c1
< ; ModuleID = 'out1.ll'
---
> ; ModuleID = 'bugpoint-reduced-simplified.ll'
20c20
<   %2 = phi i64 [ 0, %entry ], [ 0, %while.body.i.i ], [ undef, %land.rhs.i.i
]
---
>   %2 = phi i64 [ 0, %entry ], [ undef, %land.rhs.i.i ], [ 0, %while.body.i.i ]


$ diff out3.ll out2.ll
1c1
< ; ModuleID = 'out2.ll'
---
> ; ModuleID = 'out1.ll'
20c20
<   %2 = phi i64 [ 0, %entry ], [ undef, %land.rhs.i.i ], [ 0, %while.body.i.i
]
---
>   %2 = phi i64 [ 0, %entry ], [ 0, %while.body.i.i ], [ undef, %land.rhs.i.i ]

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160509/7bb59860/attachment.html>