https://bugs.llvm.org/show_bug.cgi?id=31613
Alina Sbirlea <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |---
CC| |[email protected]
Status|RESOLVED |REOPENED
--- Comment #4 from Alina Sbirlea <[email protected]> ---
Reopening, as I'm hitting this assertion again in a different testcase.
To reproduce:
opt -passes=mldst-motion,newgvn test.ll
target datalayout =
"e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-grtev4-linux-gnu"
define hidden void @barrier() align 2 {
entry:
%0 = load i64, i64* null, align 8
%call9 = tail call i64 @g()
%rem = select i1 undef, i64 0, i64 %call9
%add = add i64 %0, 1
%shr17 = lshr i64 %add, 1
%sub = add nsw i64 %shr17, -1
br label %for.cond
for.cond.loopexit.loopexit: ; preds = %cleanup.cont
br label %for.cond.loopexit
for.cond.loopexit: ; preds = %for.cond,
%for.cond.loopexit.loopexit
br label %for.cond
for.cond: ; preds = %for.cond.loopexit,
%entry
%__current.0 = phi i64 [ %rem, %entry ], [ 0, %for.cond.loopexit ]
%cmp222 = icmp eq i64 %__current.0, %sub
br i1 %cmp222, label %land.lhs.true.preheader, label %for.cond.loopexit
land.lhs.true.preheader: ; preds = %for.cond
br label %land.lhs.true
land.lhs.true: ; preds = %cleanup.cont,
%land.lhs.true.preheader
%__current.13 = phi i64 [ %inc, %cleanup.cont ], [ %__current.0,
%land.lhs.true.preheader ]
br label %cleanup.cont
cleanup.cont: ; preds = %land.lhs.true
%inc = add i64 %__current.13, 1
%cmp22 = icmp eq i64 %inc, %sub
br i1 %cmp22, label %land.lhs.true, label %for.cond.loopexit.loopexit
}
declare hidden i64 @g() local_unnamed_addr align 2
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
