RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-26 14:16:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Test case which should have been part of 250343

Browse Source 
llvm-svn: 250344
This commit is contained in:
Philip Reames 2015-10-14 22:47:06 +00:00
parent 8476b7e229
commit b2c152ecb1
1 changed files with 86 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

86
test/Transforms/SimplifyCFG/fast-fallthrough.ll Normal file
View File

@ -0,0 +1,86 @@
; RUN: opt -S %s -simplifycfg | FileCheck %s
define void @test(i32 %length.i, i32 %i) {
; CHECK-LABEL: @test
%iplus1 = add nsw i32 %i, 1
%var29 = icmp slt i32 %i, %length.i
%var30 = icmp slt i32 %iplus1, %length.i
; CHECK: br i1 %var30, label %in_bounds, label %next
br i1 %var29, label %next, label %out_of_bounds, !prof !{!"branch_weights", i32 1000, i32 0}
next:
; CHECK-LABEL: next:
; CHECK: br i1 %var29, label %out_of_bounds2, label %out_of_bounds
br i1 %var30, label %in_bounds, label %out_of_bounds2, !prof !{!"branch_weights", i32 1000, i32 0}
in_bounds:
ret void
out_of_bounds:
call void @foo(i64 0)
unreachable
out_of_bounds2:
call void @foo(i64 1)
unreachable
}
define void @test2(i32 %length.i, i32 %i) {
; CHECK-LABEL: @test2
%var29 = icmp slt i32 %i, %length.i
; CHECK: br i1 %var30, label %in_bounds, label %next
br i1 %var29, label %next, label %out_of_bounds, !prof !{!"branch_weights", i32 1000, i32 0}
next:
; CHECK-LABEL: next:
; CHECK: br i1 %var29, label %out_of_bounds2, label %out_of_bounds
%iplus1 = add nsw i32 %i, 1
%var30 = icmp slt i32 %iplus1, %length.i
br i1 %var30, label %in_bounds, label %out_of_bounds2, !prof !{!"branch_weights", i32 1000, i32 0}
in_bounds:
ret void
out_of_bounds:
call void @foo(i64 0)
unreachable
out_of_bounds2:
call void @foo(i64 1)
unreachable
}
; As written, this one can't trigger today. It would require us to duplicate
; the %val1 load down two paths and that's not implemented yet.
define i64 @test3(i32 %length.i, i32 %i, i64* %base) {
; CHECK-LABEL: @test3
%var29 = icmp slt i32 %i, %length.i
; CHECK: br i1 %var29, label %next, label %out_of_bounds
br i1 %var29, label %next, label %out_of_bounds, !prof !{!"branch_weights", i32 1000, i32 0}
next:
; CHECK-LABEL: next:
%addr1 = getelementptr i64, i64* %base, i32 %i
%val1 = load i64, i64* %addr1
%iplus1 = add nsw i32 %i, 1
%var30 = icmp slt i32 %iplus1, %length.i
; CHECK: br i1 %var30, label %in_bounds, label %out_of_bounds2
br i1 %var30, label %in_bounds, label %out_of_bounds2, !prof !{!"branch_weights", i32 1000, i32 0}
in_bounds:
%addr2 = getelementptr i64, i64* %base, i32 %iplus1
%val2 = load i64, i64* %addr2
%res = sub i64 %val1, %val2
ret i64 %res
out_of_bounds:
call void @foo(i64 0)
unreachable
out_of_bounds2:
call void @foo(i64 %val1)
unreachable
}
declare void @foo(i64)