Page MenuHomePhabricator

[SCCP] Use ANDs to limit the range of result with overdef operand.

Authored by fhahn on Feb 24 2020, 7:45 AM.



If one of the operands of an AND is overdefined and the other is
a constant range, the range of the result is limited by the range.

Note that without resolving the way undefs are handled, we generate
invalid code for some functions in the test.

Diff Detail

Event Timeline

fhahn created this revision.Feb 24 2020, 7:45 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 24 2020, 7:45 AM
Herald added a subscriber: hiraditya. · View Herald Transcript
fhahn updated this revision to Diff 246452.Feb 25 2020, 7:31 AM

Add a few additional test cases.

fhahn abandoned this revision.Mar 18 2020, 5:19 AM

Handled directly by D71936 after the recent changes.