Matthew Jasper
a277c901d9
Remove MIR unsafe check
...
This also remove safety information from MIR.
2024-04-03 08:50:12 +00:00
DianQK
47ed73a7b5
Eliminate UbCheck for non-standard libraries
2024-03-27 21:02:40 +08:00
Ralf Jung
6177530420
refactor check_{lang,library}_ub: use a single intrinsic, put policy into library
2024-03-23 18:45:05 +01:00
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
