diff options
Diffstat (limited to 'test/Transforms/Reassociate')
-rw-r--r-- | test/Transforms/Reassociate/crash2.ll | 25 | ||||
-rw-r--r-- | test/Transforms/Reassociate/min_int.ll | 13 |
2 files changed, 38 insertions, 0 deletions
diff --git a/test/Transforms/Reassociate/crash2.ll b/test/Transforms/Reassociate/crash2.ll new file mode 100644 index 0000000..b51a88c --- /dev/null +++ b/test/Transforms/Reassociate/crash2.ll @@ -0,0 +1,25 @@ +; RUN: opt -reassociate %s -S -o - | FileCheck %s + +; Reassociate pass used to crash on these example + + +define float @undef1() { +wrapper_entry: +; CHECK-LABEL: @undef1 +; CHECK: ret float fadd (float undef, float fadd (float undef, float fadd (float fsub (float -0.000000e+00, float undef), float fsub (float -0.000000e+00, float undef)))) + %0 = fadd fast float undef, undef + %1 = fsub fast float undef, %0 + %2 = fadd fast float undef, %1 + ret float %2 +} + +define void @undef2() { +wrapper_entry: +; CHECK-LABEL: @undef2 +; CHECK: unreachable + %0 = fadd fast float undef, undef + %1 = fadd fast float %0, 1.000000e+00 + %2 = fsub fast float %0, %1 + %3 = fmul fast float %2, 2.000000e+00 + unreachable +} diff --git a/test/Transforms/Reassociate/min_int.ll b/test/Transforms/Reassociate/min_int.ll new file mode 100644 index 0000000..52dab3a --- /dev/null +++ b/test/Transforms/Reassociate/min_int.ll @@ -0,0 +1,13 @@ +; RUN: opt < %s -reassociate -dce -S | FileCheck %s + +; MIN_INT cannot be negated during reassociation + +define i32 @minint(i32 %i) { +; CHECK: %mul = mul i32 %i, -2147483648 +; CHECK-NEXT: %add = add i32 %mul, 1 +; CHECK-NEXT: ret i32 %add + %mul = mul i32 %i, -2147483648 + %add = add i32 %mul, 1 + ret i32 %add +} + |