| Bill Wendling | dc17270 | 2013-08-05 23:43:18 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s |
| Nick Lewycky | cdb7e54 | 2007-11-25 22:41:31 +0000 | [diff] [blame] | 2 | ; PR1614 |
| 3 | |
| Bill Wendling | dc17270 | 2013-08-05 23:43:18 +0000 | [diff] [blame] | 4 | ; CHECK: --> (%a smax %b) |
| 5 | ; CHECK: --> (%a smax %b smax %c) |
| 6 | ; CHECK-NOT: smax |
| 7 | |
| Nick Lewycky | cdb7e54 | 2007-11-25 22:41:31 +0000 | [diff] [blame] | 8 | define i32 @x(i32 %a, i32 %b, i32 %c) { |
| 9 | %A = icmp sgt i32 %a, %b |
| 10 | %B = select i1 %A, i32 %a, i32 %b |
| 11 | %C = icmp sle i32 %c, %B |
| 12 | %D = select i1 %C, i32 %B, i32 %c |
| 13 | ret i32 %D |
| 14 | } |