diff options
author | Dan Gohman <gohman@apple.com> | 2009-06-18 16:30:21 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-06-18 16:30:21 +0000 |
commit | 56bd02c55c7e512e140003015ab201441ef9eeac (patch) | |
tree | 6433461d2c858fffd3658795b388e4e04204a14c /llvm/test/Transforms/InstCombine/trunc-mask-ext.ll | |
parent | 5a728c908c556d72d4ef9c6355a21073cdfb76c2 (diff) | |
download | bcm5719-llvm-56bd02c55c7e512e140003015ab201441ef9eeac.tar.gz bcm5719-llvm-56bd02c55c7e512e140003015ab201441ef9eeac.zip |
Generalize the zext(trunc(t) & C) instcombine to work even with
C is not a low-bits mask, and add a similar instcombine for
zext((trunc(t) & C) ^ C).
llvm-svn: 73705
Diffstat (limited to 'llvm/test/Transforms/InstCombine/trunc-mask-ext.ll')
-rw-r--r-- | llvm/test/Transforms/InstCombine/trunc-mask-ext.ll | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/trunc-mask-ext.ll b/llvm/test/Transforms/InstCombine/trunc-mask-ext.ll index 1499947cc07..7e3d8446acf 100644 --- a/llvm/test/Transforms/InstCombine/trunc-mask-ext.ll +++ b/llvm/test/Transforms/InstCombine/trunc-mask-ext.ll @@ -2,7 +2,7 @@ ; RUN: not grep zext %t ; RUN: not grep sext %t -; Instcombine should be able to eliminate both ext casts. +; Instcombine should be able to eliminate all of these ext casts. declare void @use(i32) @@ -21,3 +21,18 @@ define i64 @bar(i64 %a) { call void @use(i32 %b) ret i64 %d } +define i64 @goo(i64 %a) { + %b = trunc i64 %a to i32 + %c = and i32 %b, 8 + %d = zext i32 %c to i64 + call void @use(i32 %b) + ret i64 %d +} +define i64 @hoo(i64 %a) { + %b = trunc i64 %a to i32 + %c = and i32 %b, 8 + %x = xor i32 %c, 8 + %d = zext i32 %x to i64 + call void @use(i32 %b) + ret i64 %d +} |