Ben Kimock
5a93a59fd5
Distinguish between library and lang UB in assert_unsafe_precondition
2024-03-08 18:53:58 -05:00
Ben Kimock
611c3cb561
Bless/fix tests
2024-02-08 19:56:30 -05:00
Camille GILLOT
cb918904fe
Only emit != assumptions if the otherwise target is reachable.
2023-10-31 11:44:23 +00:00
Camille GILLOT
0b13e636f5
Simplify assume of a constant.
2023-10-31 11:44:23 +00:00
Camille GILLOT
c748ac1f11
Replace SwitchInt to unreachable by an assumption.
2023-10-31 11:44:23 +00:00
Ben Kimock
0a1fa411ed
Remove comments from mir-opt MIR dumps
2023-06-15 15:19:11 -04:00
Scott McMurray
d69725d5d5
Normalize block and local orders in mir-opt tests
...
Since this only affects `PreCodegen MIR, and it would be nice for that to be resilient to permutations of things that don't affect the actual semantic behaviours.
2023-05-21 17:48:37 -07:00
Camille GILLOT
332b7f51d6
Add mir-opt tests to track MIR quality.
2023-04-23 17:10:53 +00:00
