Commits
Nadav Rotem committed 6274423a771
[overflow] Add code to remove signed sub overflow checks under a branch:
func sub_signed_branch_cond(x : Int) {
if (x < 2) {
return
}
sink(x - 1) // remove
sink(x - 2) // remove
sink(x - 3) // keep
}
func sub_signed_branch_cond2(x : Int) {
if (x >= 2) {
sink(x - 1) // remove
sink(x - 2) // remove
sink(x - 3) // keep
}
}
Swift SVN r26011