11 Commits

Author	SHA1	Message	Date
Nadrieril	50531806ee	Add a non-shallow fake borrow	2024-04-20 16:01:35 +02:00
Nadrieril	8021192d34	More precise false edges	2024-04-03 21:02:47 +02:00
Nadrieril	3d3b321c60	Use an enum instead of manually tracking indices for target_blocks	2024-03-02 18:33:17 +01:00
Nadrieril	d6332ae79c	Separate the bool case from other integers in TestKind	2024-02-28 18:23:26 +01:00
Nadrieril	faaf81bbbc	Start blocks eagerly	2024-02-12 17:37:05 +01:00
lcnr	92267c9794	update mir-opt tests	2023-11-08 22:55:29 +01:00
Camille GILLOT	ec28dc7aa7	Use PlaceMention for match scrutinees.	2023-10-24 15:30:17 +00:00
Ralf Jung	6f8ae03f9b	make MIR less verbose	2023-08-24 14:26:26 +02:00
Ralf Jung	4c53783f3c	when terminating during unwinding, show the reason why	2023-08-24 13:28:26 +02: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