diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-28 16:13:37 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-28 16:13:37 +0000 |
| commit | e50487796d49624bf174bd08a86d20fcdbfb45c1 (patch) | |
| tree | 4ea44bb17f03e8627a147ba7a3ecb78fa8bf6708 /test/Transforms/CorrelatedValuePropagation | |
| parent | 62d7afad8faf7a1fbbf3402f8e23ce4ece9ab108 (diff) | |
| download | llvm-e50487796d49624bf174bd08a86d20fcdbfb45c1.tar.gz llvm-e50487796d49624bf174bd08a86d20fcdbfb45c1.tar.bz2 llvm-e50487796d49624bf174bd08a86d20fcdbfb45c1.tar.xz | |
make LazyValueInfo analyze the default case of switch statements (we know that in the default branch the value cannot be any of the switch cases)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159353 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/CorrelatedValuePropagation')
| -rw-r--r-- | test/Transforms/CorrelatedValuePropagation/range.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/CorrelatedValuePropagation/range.ll b/test/Transforms/CorrelatedValuePropagation/range.ll index a9e27d6e1d..6750546ba1 100644 --- a/test/Transforms/CorrelatedValuePropagation/range.ll +++ b/test/Transforms/CorrelatedValuePropagation/range.ll @@ -142,3 +142,26 @@ sw.bb: ; CHECK: ret i1 true ret i1 %cmp2 } + +; CHECK: @test7 +define i1 @test7(i32 %c) nounwind { +entry: + switch i32 %c, label %sw.default [ + i32 6, label %sw.bb + i32 7, label %sw.bb + ] + +sw.bb: + ret i1 true + +sw.default: + %cmp5 = icmp eq i32 %c, 5 + %cmp6 = icmp eq i32 %c, 6 + %cmp7 = icmp eq i32 %c, 7 + %cmp8 = icmp eq i32 %c, 8 +; CHECK: %or = or i1 %cmp5, false + %or = or i1 %cmp5, %cmp6 +; CHECK: %or2 = or i1 false, %cmp8 + %or2 = or i1 %cmp7, %cmp8 + ret i1 false +} |