Scott McMurray
d05545c05d
At debuginfo=0, don't inline debuginfo when inlining
2024-04-18 09:35:35 -07:00
Matthew Jasper
a277c901d9
Remove MIR unsafe check
...
This also remove safety information from MIR.
2024-04-03 08:50:12 +00: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
Nadrieril
faaf81bbbc
Start blocks eagerly
2024-02-12 17:37:05 +01: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
Camille GILLOT
e63d19c4dd
Remove mir::LocalDecl::internal.
2023-10-04 17:55:15 +00:00
Camille GILLOT
b542c5526f
Bless mir-opt tests.
2023-08-17 17:07:53 +00:00
Camille GILLOT
b74a144a5f
Enable by default.
2023-07-10 16:01:18 +00:00
Ben Kimock
0a1fa411ed
Remove comments from mir-opt MIR dumps
2023-06-15 15:19:11 -04:00
Pietro Albini
4668123945
bless mir-opt
...
To reproduce the changes in this commit locally:
- Run `./x test tidy` and remove all the output files not associated
with a test file anymore, as reported by tidy.
- Run `./x test tests/mir-opt --bless` to generate the new outputs.
2023-06-12 09:34:17 +02:00
