Nikita Popov 6745ba46ae Fix incorrect SimplifyWithOpReplaced transform (PR47322) ... This is a followup to D86834, which partially fixed this issue in InstSimplify. However, InstCombine repeats the same transform while dropping poison flags -- which does not cover cases where poison is introduced in some other way. The fix here is a bit more comprehensive, because things are quite entangled, and it's hard to only partially address it without regressing optimization. There are really two changes here: * Export the SimplifyWithOpReplaced API from InstSimplify, with an added AllowRefinement flag. For replacements inside the TrueVal we don't actually care whether refinement occurs or not, the replacement is always legal. This part of the transform is now done in InstSimplify only. (It should be noted that the current AllowRefinement check is not sufficient -- that's an issue we need to address separately.) * Change the InstCombine fold to work by temporarily dropping poison generating flags, running the fold and then restoring the flags if it didn't work out. This will ensure that the InstCombine fold is correct as long as the InstSimplify fold is correct. Differential Revision: https://reviews.llvm.org/D87445		2020-09-15 10:21:08 +02:00
..
llvm	Fix incorrect SimplifyWithOpReplaced transform (PR47322)	2020-09-15 10:21:08 +02:00
llvm-c	[BFloat] Move LLVMBFloatTypeKind to the end of the enum	2020-06-19 01:51:44 +01:00