diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-03 22:51:41 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-03 22:51:41 +0000 |
| commit | 042b27f40e4b1dcae70c0e98c3b4f5760dd8fa9b (patch) | |
| tree | a00a1c70f4e87e0e1dbf081d38bb9f9dfe15d6da /test/Transforms/SimplifyCFG | |
| parent | d931dca6e57cf9ceb4ceb04c23debe93e96eb7f9 (diff) | |
| download | llvm-042b27f40e4b1dcae70c0e98c3b4f5760dd8fa9b.tar.gz llvm-042b27f40e4b1dcae70c0e98c3b4f5760dd8fa9b.tar.bz2 llvm-042b27f40e4b1dcae70c0e98c3b4f5760dd8fa9b.tar.xz | |
SimplifyCFG: Also transform switches that represent a range comparison but are not sorted into sub+icmp.
This transforms another 1000 switches in gcc.c.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124826 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/SimplifyCFG')
| -rw-r--r-- | test/Transforms/SimplifyCFG/switch-to-icmp.ll | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/switch-to-icmp.ll b/test/Transforms/SimplifyCFG/switch-to-icmp.ll new file mode 100644 index 0000000000..2499cdbcd6 --- /dev/null +++ b/test/Transforms/SimplifyCFG/switch-to-icmp.ll @@ -0,0 +1,40 @@ +; RUN: opt -S -simplifycfg < %s | FileCheck %s + +define zeroext i1 @test1(i32 %x) nounwind readnone ssp noredzone { +entry: + switch i32 %x, label %lor.rhs [ + i32 2, label %lor.end + i32 1, label %lor.end + i32 3, label %lor.end + ] + +lor.rhs: + br label %lor.end + +lor.end: + %0 = phi i1 [ true, %entry ], [ false, %lor.rhs ], [ true, %entry ], [ true, %entry ] + ret i1 %0 + +; CHECK: @test1 +; CHECK: %off = add i32 %x, -1 +; CHECK: %switch = icmp ult i32 %off, 3 +} + +define zeroext i1 @test2(i32 %x) nounwind readnone ssp noredzone { +entry: + switch i32 %x, label %lor.rhs [ + i32 0, label %lor.end + i32 1, label %lor.end + ] + +lor.rhs: + br label %lor.end + +lor.end: + %0 = phi i1 [ true, %entry ], [ false, %lor.rhs ], [ true, %entry ] + ret i1 %0 + +; CHECK: @test2 +; CHECK: %off = add i32 %x, 0 +; CHECK: %switch = icmp ult i32 %off, 2 +} |