1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-01 08:23:21 +01:00
llvm-mirror/test/Transforms/CorrelatedValuePropagation/crash.ll
Owen Anderson 521e8dfef8 Fix PR8161, in which an unreachable loop causes recursive instruction simplification to try
to replace an instruction with itself.  Add a predicate to the simplifier to prevent this case.

llvm-svn: 114097
2010-09-16 17:42:36 +00:00

21 lines
709 B
LLVM

; RUN: opt < %s -correlated-propagation
; PR8161
define void @test1() nounwind ssp {
entry:
br label %for.end
for.cond.us.us: ; preds = %for.cond.us.us
%cmp6.i.us.us = icmp sgt i32 1, 0
%lor.ext.i.us.us = zext i1 %cmp6.i.us.us to i32
%lor.ext.add.i.us.us = select i1 %cmp6.i.us.us, i32 %lor.ext.i.us.us, i32 undef
%conv.i.us.us = trunc i32 %lor.ext.add.i.us.us to i16
%sext.us.us = shl i16 %conv.i.us.us, 8
%conv6.us.us = ashr i16 %sext.us.us, 8
%and.us.us = and i16 %conv6.us.us, %and.us.us
br i1 false, label %for.end, label %for.cond.us.us
for.end: ; preds = %for.cond.us, %for.cond.us.us, %entry
ret void
}