test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll

   1 ; RUN: opt < %s -reassociate -instcombine -S |\
   2 ; RUN:   grep {ret i32 0}
   3
   4 define i32 @f(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) {
   5         %tmp.2 = add i32 %a4, %a3               ; <i32> [#uses=1]
   6         %tmp.4 = add i32 %tmp.2, %a2            ; <i32> [#uses=1]
   7         %tmp.6 = add i32 %tmp.4, %a1            ; <i32> [#uses=1]
   8         %tmp.8 = add i32 %tmp.6, %a0            ; <i32> [#uses=1]
   9         %tmp.11 = add i32 %a3, %a2              ; <i32> [#uses=1]
  10         %tmp.13 = add i32 %tmp.11, %a1          ; <i32> [#uses=1]
  11         %tmp.15 = add i32 %tmp.13, %a0          ; <i32> [#uses=1]
  12         %tmp.18 = add i32 %a2, %a1              ; <i32> [#uses=1]
  13         %tmp.20 = add i32 %tmp.18, %a0          ; <i32> [#uses=1]
  14         %tmp.23 = add i32 %a1, %a0              ; <i32> [#uses=1]
  15         %tmp.26 = sub i32 %tmp.8, %tmp.15               ; <i32> [#uses=1]
  16         %tmp.28 = add i32 %tmp.26, %tmp.20              ; <i32> [#uses=1]
  17         %tmp.30 = sub i32 %tmp.28, %tmp.23              ; <i32> [#uses=1]
  18         %tmp.32 = sub i32 %tmp.30, %a4          ; <i32> [#uses=1]
  19         %tmp.34 = sub i32 %tmp.32, %a2          ; <i32> [#uses=2]
  20         %T = mul i32 %tmp.34, %tmp.34           ; <i32> [#uses=1]
  21         ret i32 %T
  22 }
  23