HomePhabricator

[CVP] Remove some {s|u}sub.with.overflow checks.

Authored by jgalenson on Dec 5 2017, 10:14 AM.

Description

[CVP] Remove some {s|u}sub.with.overflow checks.

This uses ConstantRange::makeGuaranteedNoWrapRegion's newly-added handling for subtraction to allow CVP to remove some subtraction overflow checks.

Differential Revision: https://reviews.llvm.org/D40039

llvm-svn: 319807

Details