; RUN: llc < %s | FileCheck %s

; Phi lowering should check for dependency cycles, including looking through
; bitcasts, and emit extra copies as needed.

target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:128-n32-S128"
target triple = "asmjs-unknown-emscripten"

; CHECK: while(1) {
; CHECK:   $k$phi = $j;$j$phi = $k;$k = $k$phi;$j = $j$phi;
; CHECK: }
define void @foo(float* nocapture %p, i32* %j.init, i32* %k.init) {
entry:
  br label %for.body

for.body:
  %j = phi i32* [ %j.init, %entry ], [ %k.cast, %more ]
  %k = phi i32* [ %k.init, %entry ], [ %j.cast, %more ]
  br label %more

more:
  %j.cast = bitcast i32* %j to i32*
  %k.cast = bitcast i32* %k to i32*
  br label %for.body
}