Chad Rosier | 5ea14e0 | 2014-06-11 18:28:45 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s |
Chris Lattner | b944d5a | 2005-09-02 06:12:12 +0000 | [diff] [blame] | 2 | |
Chad Rosier | 5ea14e0 | 2014-06-11 18:28:45 +0000 | [diff] [blame] | 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 |
Chris Lattner | b944d5a | 2005-09-02 06:12:12 +0000 | [diff] [blame] | 24 | } |