diff options
Diffstat (limited to 'test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll')
| -rw-r--r-- | test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll b/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll new file mode 100644 index 0000000..33e44d4 --- /dev/null +++ b/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll @@ -0,0 +1,23 @@ +; RUN: opt < %s -reassociate -instcombine -S |\ +; RUN: grep {ret i32 0} + +define i32 @f(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) { + %tmp.2 = add i32 %a4, %a3 ; <i32> [#uses=1] + %tmp.4 = add i32 %tmp.2, %a2 ; <i32> [#uses=1] + %tmp.6 = add i32 %tmp.4, %a1 ; <i32> [#uses=1] + %tmp.8 = add i32 %tmp.6, %a0 ; <i32> [#uses=1] + %tmp.11 = add i32 %a3, %a2 ; <i32> [#uses=1] + %tmp.13 = add i32 %tmp.11, %a1 ; <i32> [#uses=1] + %tmp.15 = add i32 %tmp.13, %a0 ; <i32> [#uses=1] + %tmp.18 = add i32 %a2, %a1 ; <i32> [#uses=1] + %tmp.20 = add i32 %tmp.18, %a0 ; <i32> [#uses=1] + %tmp.23 = add i32 %a1, %a0 ; <i32> [#uses=1] + %tmp.26 = sub i32 %tmp.8, %tmp.15 ; <i32> [#uses=1] + %tmp.28 = add i32 %tmp.26, %tmp.20 ; <i32> [#uses=1] + %tmp.30 = sub i32 %tmp.28, %tmp.23 ; <i32> [#uses=1] + %tmp.32 = sub i32 %tmp.30, %a4 ; <i32> [#uses=1] + %tmp.34 = sub i32 %tmp.32, %a2 ; <i32> [#uses=2] + %T = mul i32 %tmp.34, %tmp.34 ; <i32> [#uses=1] + ret i32 %T +} + |