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
   15

; RUN: opt -instsimplify -S < %s | FileCheck %s

define void @foo() nounwind {
  br i1 undef, label %1, label %4

; <label>:1                                       ; preds = %1, %0
; CHECK-NOT: phi
; CHECK-NOT: sub
  %2 = phi i32 [ %3, %1 ], [ undef, %0 ]
  %3 = sub i32 0, undef
  br label %1

; <label>:4                                       ; preds = %0
  ret void
}