HomePhabricator

[Attributor] Add flag for undef value to the state of AAPotentialValues

Authored by okura on Aug 27 2020, 12:30 AM.

Description

[Attributor] Add flag for undef value to the state of AAPotentialValues

Currently, an undef value is reduced to 0 when it is added to a set of potential values.
This patch introduces a flag for under values. By this, for example, we can merge two states {undef}, {1} to {1} (because we can reduce the undef to 1).

Reviewed By: jdoerfert

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

Details

Committed
okuraAug 27 2020, 12:30 AM
Reviewer
jdoerfert
Differential Revision
D85592: [Attributor] Add flag for undef value to the state of AAPotentialValues
Parents
rG03141aa04acb: [ARM] Enable outliner at -Oz for M-class
Branches
Unknown
Tags
Unknown