br label %F
F:
%B1 = phi bool [true, %0], [false, %T], [false, %X]
- %B2 = phi bool [true, %T], [false, %0], [false, %X]
- %I1 = phi int [1, %T], [0, %0], [2, %X]
- %I2 = phi int [1, %0], [0, %T], [3, %X]
- %I3 = phi int [17, %T], [0, %0], [4, %X]
- %I4 = phi int [17, %T], [5, %0], [44, %X]
- %I5 = phi int [%V, %T], [0, %0], [%V, %X]
- %I6 = phi int [%V, %0], [0, %T], [%V, %X]
%I7 = phi int [%V, %0], [%V2, %T], [%V2, %X]
call void %use(bool %B1)
- call void %use(bool %B2)
- call void %use(int %I1)
- call void %use(int %I2)
- call void %use(int %I3)
- call void %use(int %I4)
- call void %use(int %I5)
- call void %use(int %I6)
call void %use(int %I7)
ret void
}
br label %F
F:
%B1 = phi bool [true, %0], [false, %T]
- %B2 = phi bool [true, %T], [false, %0]
- %I1 = phi int [1, %T], [0, %0]
- %I2 = phi int [1, %0], [0, %T]
- %I3 = phi int [17, %T], [0, %0]
- %I4 = phi int [17, %T], [5, %0]
- %I5 = phi int [%V, %T], [0, %0]
%I6 = phi int [%V, %0], [0, %T]
- %I7 = phi int [%V, %0], [%V2, %T]
call void %use(bool %B1)
- call void %use(bool %B2)
- call void %use(int %I1)
- call void %use(int %I2)
- call void %use(int %I3)
- call void %use(int %I4)
- call void %use(int %I5)
call void %use(int %I6)
- call void %use(int %I7)
ret void
}