about summary refs log tree commit diff
path: root/src/test/mir-opt/not_equal_false.opt.InstCombine.diff
AgeCommit message (Collapse)AuthorLines
2021-09-01Fix drop handling for `if let` expressionsMatthew Jasper-1/+1
MIR lowering for `if let` expressions is now more complicated now that `if let` exists in HIR. This PR adds a scope for the variables bound in an `if let` expression and then uses an approach similar to how we handle loops to ensure that we reliably drop the correct variables.
2021-02-22New mir-opt pass to simplify gotos with const valuesSimon Vandel Sillesen-32/+16
Fixes #77355
2021-02-21Make MatchBranchSimplification clean up after itselfSimon Vandel Sillesen-15/+7
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.