diff options
| author | Eric Christopher <echristo@gmail.com> | 2019-04-17 04:52:47 +0000 |
|---|---|---|
| committer | Eric Christopher <echristo@gmail.com> | 2019-04-17 04:52:47 +0000 |
| commit | cee313d288a4faf0355d76fb6e0e927e211d08a5 (patch) | |
| tree | d386075318d761197779a96e5d8fc0dc7b06342b /llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll | |
| parent | c3d6a929fdd92fd06d4304675ade8d7210ee711a (diff) | |
| download | bcm5719-llvm-cee313d288a4faf0355d76fb6e0e927e211d08a5.tar.gz bcm5719-llvm-cee313d288a4faf0355d76fb6e0e927e211d08a5.zip | |
Revert "Temporarily Revert "Add basic loop fusion pass.""
The reversion apparently deleted the test/Transforms directory.
Will be re-reverting again.
llvm-svn: 358552
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll b/llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll new file mode 100644 index 00000000000..2d46aac23f6 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/switch-masked-bits.ll @@ -0,0 +1,77 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -S -simplifycfg < %s | FileCheck %s + +define i32 @test1(i32 %x) nounwind { +; CHECK-LABEL: @test1( +; CHECK-NEXT: a: +; CHECK-NEXT: [[I:%.*]] = shl i32 %x, 1 +; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[I]], 24 +; CHECK-NEXT: [[DOT:%.*]] = select i1 [[COND]], i32 5, i32 0 +; CHECK-NEXT: ret i32 [[DOT]] +; + %i = shl i32 %x, 1 + switch i32 %i, label %a [ + i32 21, label %b + i32 24, label %c + ] + +a: + ret i32 0 +b: + ret i32 3 +c: + ret i32 5 +} + + +define i32 @test2(i32 %x) nounwind { +; CHECK-LABEL: @test2( +; CHECK-NEXT: a: +; CHECK-NEXT: ret i32 0 +; + %i = shl i32 %x, 1 + switch i32 %i, label %a [ + i32 21, label %b + i32 23, label %c + ] + +a: + ret i32 0 +b: + ret i32 3 +c: + ret i32 5 +} + +; We're sign extending an 8-bit value. +; The switch condition must be in the range [-128, 127], so any cases outside of that range must be dead. + +define i1 @repeated_signbits(i8 %condition) { +; CHECK-LABEL: @repeated_signbits( +; CHECK: switch i32 +; CHECK-DAG: i32 -128, label %a +; CHECK-DAG: i32 -1, label %a +; CHECK-DAG: i32 0, label %a +; CHECK-DAG: i32 127, label %a +; CHECK-NEXT: ] +; +entry: + %sext = sext i8 %condition to i32 + switch i32 %sext, label %default [ + i32 -2147483648, label %a + i32 -129, label %a + i32 -128, label %a + i32 -1, label %a + i32 0, label %a + i32 127, label %a + i32 128, label %a + i32 2147483647, label %a + ] + +a: + ret i1 1 + +default: + ret i1 0 +} + |
