RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[SimplifyCFG] Add additional if conversion tests (NFC)

Browse Source 
Test a readonly call in between, as well as the combination of
an atomic and simple store.
This commit is contained in:
Nikita Popov 2021-07-24 10:35:02 +02:00
parent db4a145be0
commit d4948ed188
1 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
test/Transforms/SimplifyCFG/speculate-store.ll
View File

@ -133,6 +133,48 @@ ret.end:
ret void ret void
} }
define void @readonly_call(ptr %ptr, i1 %cmp) {
; CHECK-LABEL: @readonly_call(
; CHECK-NEXT: store i32 0, ptr [[PTR:%.*]], align 4
; CHECK-NEXT: call void @unknown_fun() #[[ATTR0:[0-9]+]]
; CHECK-NEXT: br i1 [[CMP:%.*]], label [[IF_THEN:%.*]], label [[RET_END:%.*]]
; CHECK: if.then:
; CHECK-NEXT: store i32 1, ptr [[PTR]], align 4
; CHECK-NEXT: br label [[RET_END]]
; CHECK: ret.end:
; CHECK-NEXT: ret void
;
store i32 0, ptr %ptr
call void @unknown_fun() readonly
br i1 %cmp, label %if.then, label %ret.end
if.then:
store i32 1, ptr %ptr
br label %ret.end
ret.end:
ret void
}
define void @atomic_and_simple(ptr %ptr, i1 %cmp) {
; CHECK-LABEL: @atomic_and_simple(
; CHECK-NEXT: ret.end:
; CHECK-NEXT: store atomic i32 0, ptr [[PTR:%.*]] seq_cst, align 4
; CHECK-NEXT: [[SPEC_STORE_SELECT:%.*]] = select i1 [[CMP:%.*]], i32 1, i32 0
; CHECK-NEXT: store i32 [[SPEC_STORE_SELECT]], ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
store atomic i32 0, ptr %ptr seq_cst, align 4
br i1 %cmp, label %if.then, label %ret.end
if.then:
store i32 1, ptr %ptr
br label %ret.end
ret.end:
ret void
}
; CHECK: !0 = !{!"branch_weights", i32 3, i32 5} ; CHECK: !0 = !{!"branch_weights", i32 3, i32 5}
!0 = !{!"branch_weights", i32 3, i32 5} !0 = !{!"branch_weights", i32 3, i32 5}