HomePhabricator

[Concepts] Transform constraints of non-template functions to ConstantEvaluated

Authored by saar.raz on Jan 25 2020, 12:54 PM.

Description

[Concepts] Transform constraints of non-template functions to ConstantEvaluated

We would previously try to evaluate atomic constraints of non-template functions as-is,
and since they are now unevaluated at first, this would cause incorrect evaluation (bugs #44657, #44656).

Substitute into atomic constraints of non-template functions as we would atomic constraints
of template functions, in order to rebuild the expressions in a constant-evaluated context.

Details

Committed
saar.razJan 25 2020, 1:00 PM
Parents
rG3daa71ee0058: [SelectionDAG] ComputeNumSignBits - add DemandedElts support for MIN/MAX ops
Branches
Unknown
Tags
Unknown