This is an archive of the discontinued LLVM Phabricator instance.

[FuzzMutate] Don't create load as a new source if it doesn't match with the descriptor

Authored by igor-laevsky on Nov 23 2017, 7:44 AM.



When we look for pointer which matches the operand descriptor, we test it using undef constant. In some cases it is possible that constant matches, but the load from pointer doesn't. In this patch I explicitly create the load and remove it later if it doesn't match.

Diff Detail


Event Timeline

igor-laevsky created this revision.Nov 23 2017, 7:44 AM
bogner accepted this revision.Nov 27 2017, 4:41 PM

This is a little more expensive, but it seems like a necessary evil. LGTM.

This revision is now accepted and ready to land.Nov 27 2017, 4:41 PM
This revision was automatically updated to reflect the committed changes.