6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-12 02:33:33 +00:00
Code Issues Projects Releases Wiki Activity

Add a test case for PR14233.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167224 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chandler Carruth 2012-11-01 10:26:36 +00:00
parent 8fb614cb3b
commit 9cb285d510
1 changed files with 53 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
test/Transforms/JumpThreading/crash.ll
View File

@ -511,3 +511,56 @@ lbl_260: ; preds = %for.cond, %entry
if.end: ; preds = %for.cond
ret void
}
define void @PR14233(i1 %cmp, i1 %cmp2, i1 %cmp3, i1 %cmp4) {
entry:
br i1 %cmp, label %cond.true, label %cond.false
cond.true:
br label %if.end
cond.false:
br label %if.end
if.end:
%A = phi i64 [ 0, %cond.true ], [ 1, %cond.false ]
br i1 %cmp2, label %bb, label %if.end2
bb:
br label %if.end2
if.end2:
%B = phi i64 [ ptrtoint (i8* ()* @PR14233.f1 to i64), %bb ], [ %A, %if.end ]
%cmp.ptr = icmp eq i64 %B, ptrtoint (i8* ()* @PR14233.f2 to i64)
br i1 %cmp.ptr, label %cond.true2, label %if.end3
cond.true2:
br i1 %cmp3, label %bb2, label %ur
bb2:
br i1 %cmp4, label %if.end4, label %if.end3
if.end4:
unreachable
if.end3:
%cmp.ptr2 = icmp eq i64 %B, ptrtoint (i8* ()* @PR14233.f2 to i64)
br i1 %cmp.ptr2, label %ur, label %if.then601
if.then601:
%C = icmp eq i64 %B, 0
br i1 %C, label %bb3, label %bb4
bb3:
unreachable
bb4:
unreachable
ur:
unreachable
}
declare i8* @PR14233.f1()
declare i8* @PR14233.f2()