| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -inline -instcombine -reassociate -dse -disable-output |
| 2 | ; PR12245 |
| 3 | |
| 4 | @a = common global i32 0, align 4 |
| 5 | @d = common global i32 0, align 4 |
| 6 | |
| 7 | define i32 @fn2() nounwind uwtable ssp { |
| 8 | entry: |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 9 | %0 = load i32* @a, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 10 | %dec = add nsw i32 %0, -1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 11 | store i32 %dec, i32* @a, align 4 |
| 12 | %1 = load i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 13 | %sub = sub nsw i32 %dec, %1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 14 | store i32 %sub, i32* @d, align 4 |
| 15 | %2 = load i32* @a, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 16 | %dec1 = add nsw i32 %2, -1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 17 | store i32 %dec1, i32* @a, align 4 |
| 18 | %3 = load i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 19 | %sub2 = sub nsw i32 %dec1, %3 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 20 | store i32 %sub2, i32* @d, align 4 |
| 21 | %4 = load i32* @a, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 22 | %dec3 = add nsw i32 %4, -1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 23 | store i32 %dec3, i32* @a, align 4 |
| 24 | %5 = load i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 25 | %sub4 = sub nsw i32 %dec3, %5 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 26 | store i32 %sub4, i32* @d, align 4 |
| 27 | %6 = load i32* @a, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 28 | %dec5 = add nsw i32 %6, -1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 29 | store i32 %dec5, i32* @a, align 4 |
| 30 | %7 = load i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 31 | %sub6 = sub nsw i32 %dec5, %7 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 32 | store i32 %sub6, i32* @d, align 4 |
| 33 | %8 = load i32* @a, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 34 | %dec7 = add nsw i32 %8, -1 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 35 | store i32 %dec7, i32* @a, align 4 |
| 36 | %9 = load i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 37 | %sub8 = sub nsw i32 %dec7, %9 |
| Manman Ren | 1a5ff28 | 2013-04-30 17:52:57 +0000 | [diff] [blame] | 38 | store i32 %sub8, i32* @d, align 4 |
| Bill Wendling | 274ba89 | 2012-05-02 09:59:45 +0000 | [diff] [blame] | 39 | ret i32 0 |
| 40 | } |
| 41 | |
| 42 | define i32 @fn1() nounwind uwtable ssp { |
| 43 | entry: |
| 44 | %call = call i32 @fn2() |
| 45 | ret i32 %call |
| 46 | } |