about summary refs log tree commit diff
path: root/tests/mir-opt
AgeCommit message (Expand)AuthorLines
2024-04-02Auto merge of #123385 - matthiaskrgr:rollup-v69vjbn, r=matthiaskrgrbors-471/+240
2024-04-02Rollup merge of #123226 - scottmcm:u32-shifts, r=WaffleLapkinMatthias Krüger-471/+240
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+300
2024-04-02Update tests/mir-opt/inline/unchecked_shifts.rsscottmcm-1/+1
2024-03-30Add FileCheck directives to the new tests.Nadrieril-51/+42
2024-03-30Sort `Eq` candidates in the failure case tooNadrieril-45/+36
2024-03-30Add testNadrieril-0/+139
2024-03-30Regroup mir-opt tests of match buildingNadrieril-6/+7
2024-03-30De-LLVM the unchecked shifts [MCP#693]Scott McMurray-471/+240
2024-03-27Eliminate `UbCheck` for non-standard librariesDianQK-32/+80
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-24Slightly simplify the `iN::partial_cmp` MIRScott McMurray-13/+5
2024-03-24Clean up unnecessary headers/flags in coverage mir-opt testsZalathar-39/+28
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-105/+245
2024-03-23Add a MIR pre-codegen test for derived PartialOrdScott McMurray-0/+168
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-23rename MIR int2ptr casts to match library nameRalf Jung-3/+3
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-13Update the test case for `SimplifyCfg-after-unreachable-enum-branching`DianQK-38/+67
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-09Rename `UninhabitedEnumBranching` to `UnreachableEnumBranching`DianQK-76/+76
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