diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll b/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll new file mode 100644 index 00000000000..bdf3cca0b52 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll @@ -0,0 +1,14 @@ +; For PR1261. Before bit accurate type support in InstCombine, this would +; turn the sext into a zext. +; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis && +; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | not grep zext +; XFAIL: * + +define i16 @test(i31 %zzz) { +entry: + %A = sext i31 %zzz to i32 + %B = add i32 %A, 16384 + %C = lshr i32 %B, 15 + %D = trunc i32 %C to i16 + ret i16 %D +} |
