diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-12-21 05:52:02 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2011-12-21 05:52:02 +0000 |
| commit | b4039f633cc14f798b6bafc14b29e8f4cf66c618 (patch) | |
| tree | e1cedd42226c479786102bbcea2d46f519b8ceed /llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll | |
| parent | f2b681b4d81942a62d725a95553271afd1e86a42 (diff) | |
| download | bcm5719-llvm-b4039f633cc14f798b6bafc14b29e8f4cf66c618.tar.gz bcm5719-llvm-b4039f633cc14f798b6bafc14b29e8f4cf66c618.zip | |
Make some intrinsics safe to speculatively execute.
llvm-svn: 147036
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll | 31 |
1 files changed, 28 insertions, 3 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll b/llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll index 5cfc77ce08a..4fbb64a4582 100644 --- a/llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll +++ b/llvm/test/Transforms/SimplifyCFG/SpeculativeExec.ll @@ -1,7 +1,10 @@ -; RUN: opt < %s -simplifycfg -S | grep select -; RUN: opt < %s -simplifycfg -S | grep br | count 2 +; RUN: opt < %s -simplifycfg -phi-node-folding-threshold=2 -S | FileCheck %s -define i32 @t2(i32 %a, i32 %b, i32 %c) nounwind { +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define i32 @test1(i32 %a, i32 %b, i32 %c) nounwind { +; CHECK: @test1 entry: %tmp1 = icmp eq i32 %b, 0 br i1 %tmp1, label %bb1, label %bb3 @@ -9,6 +12,11 @@ entry: bb1: ; preds = %entry %tmp2 = icmp sgt i32 %c, 1 br i1 %tmp2, label %bb2, label %bb3 +; CHECK: bb1: +; CHECK-NEXT: add i32 %a, 1 +; CHECK-NEXT: icmp sgt i32 %c, 1 +; CHECK-NEXT: select i1 %tmp2, i32 %tmp3, i32 %a +; CHECK-NEXT: br label %bb3 bb2: ; preds = bb1 %tmp3 = add i32 %a, 1 @@ -19,3 +27,20 @@ bb3: ; preds = %bb2, %entry %tmp5 = sub i32 %tmp4, 1 ret i32 %tmp5 } + +declare i8 @llvm.cttz.i8(i8, i1) + +define i8 @test2(i8 %a) { +; CHECK: @test2 + br i1 undef, label %bb_true, label %bb_false +bb_true: + %b = tail call i8 @llvm.cttz.i8(i8 %a, i1 false) + br label %join +bb_false: + br label %join +join: + %c = phi i8 [%b, %bb_true], [%a, %bb_false] +; CHECK: select + ret i8 %c +} + |
