[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / convergent.ll
blob1791de70875c50ce2f7ffabd4ada0c3c61efa592
1 ; RUN: opt -instcombine -S < %s | FileCheck -enable-var-scope %s
3 declare i32 @k() convergent
4 declare i32 @f()
6 declare i64 @llvm.read_register.i64(metadata) nounwind
8 define i32 @extern() {
9   ; Convergent attr shouldn't be removed here; k is convergent.
10   ; CHECK: call i32 @k() [[$CONVERGENT_ATTR:#[0-9]+]]
11   %a = call i32 @k() convergent
12   ret i32 %a
15 define i32 @extern_no_attr() {
16   ; Convergent attr shouldn't be added here, even though k is convergent.
17   ; CHECK: call i32 @k(){{$}}
18   %a = call i32 @k()
19   ret i32 %a
22 define i32 @no_extern() {
23   ; Convergent should be removed here, as the target is convergent.
24   ; CHECK: call i32 @f(){{$}}
25   %a = call i32 @f() convergent
26   ret i32 %a
29 define i32 @indirect_call(i32 ()* %f) {
30   ; CHECK: call i32 %f() [[$CONVERGENT_ATTR]]
31   %a = call i32 %f() convergent
32   ret i32 %a
35 ; do not remove from convergent intrinsic call sites
36 ; CHECK-LABEL: @convergent_intrinsic_call(
37 ; CHECK: call i64 @llvm.read_register.i64(metadata !0) [[$CONVERGENT_ATTR]]
38 define i64 @convergent_intrinsic_call() {
39   %val = call i64 @llvm.read_register.i64(metadata !0) convergent
40   ret i64 %val
43 ; CHECK: [[$CONVERGENT_ATTR]] = { convergent }
44 !0 = !{!"foo"}