Differential D40039

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

Authored by jgalenson on Nov 14 2017, 9:55 AM.

Tags

None

Subscribers

Details

Reviewers

sanjoy
regehr

Commits

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

Summary

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

Diff Detail

Repository: rL LLVM

Event Timeline

jgalenson created this revision.Nov 14 2017, 9:55 AM

jgalenson added a parent revision: D40036: [ConstantRange] Support subtraction in makeGuaranteedNoWrapRegion..

fhahn added a subscriber: fhahn.Nov 22 2017, 9:41 AM

lgtm

This revision is now accepted and ready to land.Dec 4 2017, 11:03 AM

Closed by commit rL319807: [CVP] Remove some {s|u}sub.with.overflow checks. (authored by jgalenson). · Explain WhyDec 5 2017, 10:15 AM

This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Path

Size

llvm/

trunk/

lib/

Transforms/

Scalar/

CorrelatedValuePropagation.cpp

25 lines

test/

Transforms/

CorrelatedValuePropagation/

13 lines

Diff 125568

llvm/trunk/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

Loading...

llvm/trunk/test/Transforms/CorrelatedValuePropagation/overflows.ll

Loading...