diff options
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/speculate-call.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/speculate-call.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/speculate-call.ll b/llvm/test/Transforms/SimplifyCFG/speculate-call.ll new file mode 100644 index 00000000000..6e9398b6203 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/speculate-call.ll @@ -0,0 +1,23 @@ +; RUN: opt -S -simplifycfg < %s | FileCheck %s + +; CHECK-LABEL: @speculatable_attribute +; CHECK: select +define i32 @speculatable_attribute(i32 %a) { +entry: + %c = icmp sgt i32 %a, 64 + br i1 %c, label %end, label %if + +if: + %val = call i32 @func() #0 + br label %end + +end: + %ret = phi i32 [%val, %if], [0, %entry] + ret i32 %ret +} + +define i32 @func() #0 { + ret i32 1 +} +attributes #0 = { nounwind readnone speculatable } + |
