diff --git a/test/Regression/Transforms/InstCombine/2004-02-23-ShiftShiftOverflow.ll b/test/Regression/Transforms/InstCombine/2004-02-23-ShiftShiftOverflow.ll new file mode 100644 index 00000000000..911a73f57c2 --- /dev/null +++ b/test/Regression/Transforms/InstCombine/2004-02-23-ShiftShiftOverflow.ll @@ -0,0 +1,8 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep 34 + +int %test(int %X) { + ; Do not fold into shr X, 34, as this uses undefined behavior! + %Y = shr int %X, ubyte 17 + %Z = shr int %Y, ubyte 17 + ret int %Z +}