HomePhabricator

[Evaluator] Walk initial elements when handling load through bitcast

Description

[Evaluator] Walk initial elements when handling load through bitcast

When evaluating a store through a bitcast, the evaluator tries to move the
bitcast from the pointer onto the stored value. If the cast is invalid, it
tries to "introspect" the type to get a valid cast by obtaining a pointer to
the initial element (if the type is nested, this may require walking several
initial elements).

In some situations it is possible to get a bitcast on a load (e.g. with
unions, where the bitcast may not be the same type as the store). However,
equivalent logic to the store to introspect the type is missing. This patch
add this logic.

Note, when developing the patch I was unhappy with adding similar logic
directly to the load case as it could get out of step. Instead, I have
abstracted the "introspection" into a helper function, with the specifics
being handled by a passed-in lambda function.

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

Details

Committed
rlougherApr 25 2019, 10:00 AM
Differential Revision
D60793: [Evaluator] Walk initial elements when handling load through bitcast
Parents
rL359204: [GlobalISel][AArch64] Legalize G_FNEARBYINT
Branches
Unknown
Tags
Unknown