reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14

; 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
}