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

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