Page MenuHomePhabricator

[SCCP] Compute ranges for supported intrinsics
ClosedPublic

Authored by nikic on Sep 5 2020, 1:31 AM.

Details

Summary

For intrinsics supported by ConstantRange, compute the result range based on the argument ranges. We do this independently of whether some or all of the input ranges are full, as we can often still constrain the result in some way.

Diff Detail

Event Timeline

nikic created this revision.Sep 5 2020, 1:31 AM
Herald added a project: Restricted Project. · View Herald TranscriptSep 5 2020, 1:31 AM
nikic requested review of this revision.Sep 5 2020, 1:31 AM
fhahn accepted this revision.Sep 6 2020, 7:20 AM

LGTM, thanks!

This revision is now accepted and ready to land.Sep 6 2020, 7:20 AM
This revision was automatically updated to reflect the committed changes.

@okura @uenoku Can we copy this logic into AAConstantRange too?

@okura @uenoku Can we copy this logic into AAConstantRange too?

Btw, do you have some fresh compile time data for Attributor?