; RUN: opt -early-cse -S < %s | FileCheck %s
; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s
; PR12231

declare i32 @f()

define i32 @fn() {
entry:
  br label %lbl_1215

lbl_1215:
  %ins34 = phi i32 [ %ins35, %xxx ], [ undef, %entry ]
  ret i32 %ins34

xxx:
  %ins35 = call i32 @f()
  br label %lbl_1215
}

; CHECK-LABEL: define i32 @fn(