summary refs log tree commit diff
path: root/src/test/mir-opt/simplify_arm.id.SimplifyBranchSame.diff
AgeCommit message (Collapse)AuthorLines
2020-09-19Fix #76803Simon Vandel Sillesen-12/+15
Check that the variant index matches the target value from the SwitchInt we came from
2020-09-17[mir-opt] Disable the `ConsideredEqual` logic in SimplifyBranchSame optWesley Wiser-15/+12
The logic is currently broken and we need to disable it to fix a beta regression (see #76803)
2020-09-02pretty: trim paths of unique symbolsDan Aloni-1/+1
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-08-16Implement 'considered equal' for statements, so that for example `_0 = _1` ↵Simon Vandel Sillesen-21/+17
and `discriminant(_0) = discriminant(0)` are considered equal if 0 is a fieldless variant of an enum
2020-07-29Move mir-opt tests to toplevelXavier Denis-0/+44