define i64 @foo(i64, i64, i64) {
  %4 = icmp eq i64 %0, 0
  br i1 %4, label %left, label %right

left:
  %l = icmp eq i64 %1, 1
  br label %join

right:
  %r = icmp eq i64 %1, %2
  br label %join

join:
  %lr = phi i1 [%l, %left], [%r, %right]
  %iszero = icmp eq i1 %lr, 0
  br i1 %iszero, label %left2, label %right2

left2:
  ret i64 %2

right2:
  ret i64 %0
}