about summary refs log tree commit diff
path: root/tests/mir-opt
AgeCommit message (Expand)AuthorLines
2024-03-26Rollup merge of #123049 - compiler-errors:coroutine-closure-rcvr, r=oli-obkMatthias Krüger-2/+2
2024-03-26In ConstructCoroutineInClosureShim, pass receiver by ref, not pointerMichael Goulet-2/+2
2024-03-26Rollup merge of #123067 - Nadrieril:always-simplify-or, r=oli-obkMatthias Krüger-18/+8
2024-03-25Consistently merge simplifiable or-patternsNadrieril-18/+8
2024-03-25In `pretty_print_type()`, print `async fn` futures' paths instead of spans.Kevin Reid-92/+92
2024-03-24Clean up unnecessary headers/flags in coverage mir-opt testsZalathar-39/+28
2024-03-24Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r...Matthias Krüger-0/+650
2024-03-23Auto merge of #122629 - RalfJung:assert-unsafe-precondition, r=saethlinbors-13/+65
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-13/+65
2024-03-22Enable more mir-opt tests in debug buildsBen Kimock-9/+2
2024-03-22Fix validation on substituted callee bodies in MIR inlinerMichael Goulet-1/+623
2024-03-22Failing testMichael Goulet-0/+28
2024-03-22coverage: Clean up marker statements that aren't needed laterZalathar-0/+131
2024-03-19Fix ABI for FnMut/Fn impls for async closuresMichael Goulet-8/+38
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-136/+8
2024-03-19Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnrbors-2/+2
2024-03-19Auto merge of #122645 - saethlin:portable-mir-opt-tests, r=Nadrierilbors-13/+3
2024-03-18update region debug formattingBoxy-2/+2
2024-03-18Remove some only- clauses from mir-opt testsBen Kimock-13/+3
2024-03-18add_retag: ensure box-to-raw-ptr casts are preserved for MiriRalf Jung-0/+39
2024-03-17simplify_cfg: rename some passes so that they make more senseRalf Jung-34/+34
2024-03-13Rollup merge of #121908 - Nadrieril:dynamic-variant-collection, r=matthewjasperMatthias Krüger-41/+43
2024-03-12Rollup merge of #121865 - Kirandevraj:unnamed-fields-filecheck, r=oli-obkMatthias Krüger-1/+20
2024-03-12updating variable names in CHECKkirandevraj-16/+16
2024-03-10MIR printing: print the path of uneval'd const; refer to promoteds in a consi...Ralf Jung-96/+96
2024-03-10fixing mir pass name to text commentkirandevraj-1/+1
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-37/+69
2024-03-08Update MIR with `MirPatch` in `UninhabitedEnumBranching`DianQK-126/+100
2024-03-07Get all variants to eliminate the default branching if we cannot get the layo...DianQK-40/+54
2024-03-07Replace the default branch with an unreachable branch If it is the last variantDianQK-5/+944
2024-03-07Regenerate `uninhabited_enum_branching.rs`DianQK-0/+226
2024-03-02Rollup merge of #121716 - Nadrieril:simple-binding-order, r=matthewjasperGuillaume Boisseau-46/+46
2024-03-02Allocate candidate vectors as we sort themNadrieril-31/+31
2024-03-02Use an enum instead of manually tracking indices for `target_blocks`Nadrieril-18/+20
2024-03-01Rollup merge of #121750 - Nadrieril:switchkind-if, r=matthewjasperMatthias Krüger-16/+14
2024-03-01mir-opt unnamed-fields filecheck annotationskirandevraj-1/+20
2024-03-01Rollup merge of #121784 - Zalathar:if-or-converge, r=NadrierilMatthias Krüger-48/+56
2024-02-29Make the success arms of `if lhs || rhs` meet up in a separate blockZalathar-48/+56
2024-02-29Bless testr0cky-12/+12
2024-02-28Separate the `bool` case from other integers in `TestKind`Nadrieril-16/+14
2024-02-28Lower bindings in a predictable orderNadrieril-46/+46
2024-02-25Use generic `NonZero` in tests.Markus Reiter-2/+2
2024-02-25Auto merge of #121114 - Nilstrieb:no-inline!, r=saethlinbors-0/+83
2024-02-24Add `#[rustc_no_mir_inline]` for standard library UB checksNilstrieb-0/+83
2024-02-23Ignore less tests in debug buildsBen Kimock-3/+2
2024-02-22[AUTO_GENERATED] Migrate compiletest to use `ui_test`-style `//@` directives许杰友 Jieyou Xu (Joe)-313/+313
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-70/+86
2024-02-21Auto merge of #121172 - Nadrieril:simplify-empty-selection, r=matthewjasperbors-265/+381
2024-02-21Auto merge of #120904 - Nadrieril:match-lowering-intermediate-repr, r=matthew...bors-4/+4
2024-02-20Auto merge of #120863 - saethlin:slice-get-checked, r=the8472bors-340/+24