| Chad Rosier | 90a2f9b | 2014-11-19 23:21:20 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -reassociate < %s | FileCheck %s |
| Dan Gohman | 08d2c98 | 2011-02-02 02:02:34 +0000 | [diff] [blame] | 2 | ; rdar://8944681 |
| 3 | |
| 4 | ; Reassociate should clear optional flags like nsw when reassociating. |
| 5 | |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 6 | ; CHECK-LABEL: @test0( |
| Chad Rosier | 90a2f9b | 2014-11-19 23:21:20 +0000 | [diff] [blame] | 7 | ; CHECK: %y = add i64 %b, %a |
| 8 | ; CHECK: %z = add i64 %y, %c |
| 9 | define i64 @test0(i64 %a, i64 %b, i64 %c) { |
| 10 | %y = add nsw i64 %c, %b |
| 11 | %z = add i64 %y, %a |
| Dan Gohman | 08d2c98 | 2011-02-02 02:02:34 +0000 | [diff] [blame] | 12 | ret i64 %z |
| 13 | } |
| 14 | |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 15 | ; CHECK-LABEL: @test1( |
| Chad Rosier | 90a2f9b | 2014-11-19 23:21:20 +0000 | [diff] [blame] | 16 | ; CHECK: %y = add i64 %b, %a |
| 17 | ; CHECK: %z = add i64 %y, %c |
| 18 | define i64 @test1(i64 %a, i64 %b, i64 %c) { |
| 19 | %y = add i64 %c, %b |
| 20 | %z = add nsw i64 %y, %a |
| Dan Gohman | 08d2c98 | 2011-02-02 02:02:34 +0000 | [diff] [blame] | 21 | ret i64 %z |
| 22 | } |
| Chris Lattner | 3eb0af9 | 2011-02-17 01:29:24 +0000 | [diff] [blame] | 23 | |
| 24 | ; PR9215 |
| Chad Rosier | 90a2f9b | 2014-11-19 23:21:20 +0000 | [diff] [blame] | 25 | ; CHECK: %s = add nsw i32 %y, %x |
| Chris Lattner | 3eb0af9 | 2011-02-17 01:29:24 +0000 | [diff] [blame] | 26 | define i32 @test2(i32 %x, i32 %y) { |
| 27 | %s = add nsw i32 %x, %y |
| 28 | ret i32 %s |
| 29 | } |