diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2012-03-26 01:44:11 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2012-03-26 01:44:11 +0000 |
| commit | 7ddcd35d6beb99118f0b960329b304f9e9a2bf58 (patch) | |
| tree | 7483a9ac8fc664d16224cd853b439bf039245a87 /test | |
| parent | 0e5233a9e5ee9385c6a940e3985194d77bee0bbb (diff) | |
Use the new range metadata in computeMaskedBits and add a new optimization to
instruction simplify that lets us remove an and when loding a boolean value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153423 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstSimplify/pr12251.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/pr12251.ll b/test/Transforms/InstSimplify/pr12251.ll new file mode 100644 index 0000000000..f180f9f1eb --- /dev/null +++ b/test/Transforms/InstSimplify/pr12251.ll @@ -0,0 +1,15 @@ +; RUN: opt < %s -instsimplify -S | FileCheck %s + +define zeroext i1 @_Z3fooPb(i8* nocapture %x) { +entry: + %a = load i8* %x, align 1, !range !0 + %b = and i8 %a, 1 + %tobool = icmp ne i8 %b, 0 + ret i1 %tobool +} + +; CHECK: %a = load i8* %x, align 1, !range !0 +; CHECK-NEXT: %tobool = icmp ne i8 %a, 0 +; CHECK-NEXT: ret i1 %tobool + +!0 = metadata !{i8 0, i8 2} |