loop:
%i = phi i32 [0, %entry], [%i.next, %loop]
%i.next = add i32 %i, 1
%cond_i = icmp ult i32 %i, %n
%cond_i2 = icmp ult i32 %i, %m
%cond = select i1 %cond_i, i1 %cond_i2, i1 false
br i1 %cond, label %loop, label %exit
exit:
%n_m_min = call i32 @llvm.umin.i32(i32 %n, i32 %m)
%ExactNotTaken = icmp eq i32 %i, %n_m_min
call void @llvm.assume(i1 %ExactNotTaken)