| 1234567891011121314 |
- ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
- ; PR1614
- ; CHECK: --> (%a smax %b)
- ; CHECK: --> (%a smax %b smax %c)
- ; CHECK-NOT: smax
- define i32 @x(i32 %a, i32 %b, i32 %c) {
- %A = icmp sgt i32 %a, %b
- %B = select i1 %A, i32 %a, i32 %b
- %C = icmp sle i32 %c, %B
- %D = select i1 %C, i32 %B, i32 %c
- ret i32 %D
- }
|
