summary refs log tree commit diff
path: root/src/test/mir-opt/not_equal_false.opt.InstCombine.diff
AgeCommit message (Collapse)AuthorLines
2020-10-21Introduce a temporary for discriminant value in MatchBranchSimplificationTomasz Miąsko-33/+24
The optimization introduces additional uses of the discriminant operand, but does not ensure that it is still valid to evaluate it or that it still evaluates to the same value. Evaluate it once at original position, and store the result in a new temporary.
2020-10-20Disable MatchBranchSimplificationTomasz Miąsko-12/+33
This optimization can result in unsoundness, because it introduces additional uses of a place holding the discriminant value without ensuring that it is valid to do so.
2020-10-01Bless mir-opt tests with new optAntoine Martin-33/+8
2020-09-06Add peephold optimization that simplifies Ne(_1, false) and Ne(false, _1) ↵Simon Vandel Sillesen-0/+72
into _1 This was observed emitted from the MatchBranchSimplification pass.