; RUN: opt < %s -instcombine -S | grep {ret i32 1}

declare void @test2()

define i32 @test(i1 %cond, i32 *%P) {
  %A = alloca i32
  store i32 1, i32* %P
  store i32 1, i32* %A

  call void @test2() readonly

  %P2 = select i1 %cond, i32 *%P, i32* %A
  %V = load i32* %P2
  ret i32 %V
}
