[PATCH] D32414: InstructionSimplify: Make InstSimplify give the same answer about thesame select no matter how it is asked.

[Daniel Berlin via llvm-commits]

Also note:
I'm aware that it says:
"

// These routines implicitly resolve undef uses. The easiest way to be safe
when
// using these routines to obtain simplified values for existing
instructions is
// to always replace all uses of the instructions with the resulting
simplified
// values. This will prevent other code from seeing the same undef uses and
// resolving them to different values.
"

This is actually what we are doing.

For an analysis, we obviously have two choices:

Fix where we choose inconsistently (which is what i would rather do) so it
fixpoints properly, until we run up against something that makes that
impossible.

or

Hack around this.

I'd rather do the first if we can :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170425/c6deae04/attachment.html>