define i1 @foo(i13 %x, i13 %y) nounwind { %1 = add i13 %x, %y %2 = sub i13 %x, %y %3 = icmp slt i13 %1, %2 ret i1 %3 }