ICE: Assertion `false && "Phi with muliple arguments unimplemented"' failed about souper HOT 1 CLOSED

%0:i32 = var
%1 = block 2
%2 = block 2
%3 = block 2
%4:i32 = var
%5:i32 = or %0, %4
%6:i32 = phi %3, %5, 0:i32
%7:i32 = or %0, %6
%8:i32 = phi %2, %7, 0:i32
%9:i32 = or %0, %8
%10:i32 = phi %1, %9, 0:i32
%11:i32 = or %0, %10
infer %11
result %9

%0:i32 = var ; 0
%1:i32 = or 0:i32, %0
%2:i32 = or %0, %1
%3:i32 = or %0, %2
infer %3
result %2

%0:i32 = var ; 0
%1:i32 = or 0:i32, %0
infer %1
result %1

%0:i32 = var ; 0
%1:i32 = or 0:i32, %0
infer %1
%2 = block 2
%3:i32 = var ; 4
%4:i32 = or %0, %3
%5:i32 = phi %2, %4, 0:i32
%6:i32 = or %0, %5
%7:i32 = or %0, %6
result %7

%0:i32 = var ; 0
%1:i32 = or 0:i32, %0
%2:i32 = or %0, %1
infer %2
result %1

%0:i32 = var ; 0
%1:i32 = var ; 4
%2:i32 = or %0, %1
%3:i32 = or %0, %2
%4:i32 = or %0, %3
%5:i32 = or %0, %4
infer %5
result %4