https://llvm.org/bugs/show_bug.cgi?id=28764
Bug ID: 28764
Summary: IRCE breaks simplified of loops
Product: libraries
Version: trunk
Hardware: PC
OS: All
Status: NEW
Severity: normal
Priority: P
Component: Loop Optimizer
Assignee: unassignedb...@nondot.org
Reporter: michael.v.zolotuk...@gmail.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 16833
--> https://llvm.org/bugs/attachment.cgi?id=16833&action=edit
Patch for enabling verification in loop-simplify
IRCE seems to break simplified form of loops, i.e. after it loops might be
missing a preheader or their exits might be not dedicated (i.e. exits have a
predecessors outside the loop).
That (along with some other problems) stops us from enabling loop-simplify
verification in the pass pipeline.
To reproduce the issue apply the attached patch (it enables verification in
loop-simplify) and then run 'ninja check'. I get the following failures:
Failing Tests (8):
LLVM :: Transforms/IRCE/conjunctive-checks.ll
LLVM :: Transforms/IRCE/decrementing-loop.ll
LLVM :: Transforms/IRCE/multiple-access-no-preloop.ll
LLVM :: Transforms/IRCE/only-upper-check.ll
LLVM :: Transforms/IRCE/single-access-no-preloop.ll
LLVM :: Transforms/IRCE/single-access-with-preloop.ll
LLVM :: Transforms/IRCE/skip-profitability-checks.ll
LLVM :: Transforms/IRCE/with-parent-loops.ll
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
