summary refs log tree commit diff
path: root/tests/mir-opt
AgeCommit message (Expand)AuthorLines
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
2024-02-19Convert debug_assert_nounwind to intrinsics::debug_assertionsBen Kimock-340/+24
2024-02-19Always evaluate free constants and statics, even if previous errors occurredOli Scherer-1/+1
2024-02-19Don't repeatedly simplify already-simplified match pairsNadrieril-4/+4
2024-02-17Don't bother to save a blockNadrieril-265/+381
2024-02-14Rollup merge of #121039 - cjgillot:gvn-adjust, r=compiler-errorsOli Scherer-0/+25
2024-02-13Add test.Camille GILLOT-0/+25
2024-02-13Rollup merge of #120978 - Nadrieril:sane-blocks, r=matthewjasperMatthias Krüger-564/+683
2024-02-12Start blocks eagerlyNadrieril-564/+683
2024-02-12Check representation of unnamed fieldsFrank King-6/+6
2024-02-12Lowering field access for anonymous adtsFrank King-0/+176
2024-02-11Auto merge of #120903 - matthiaskrgr:rollup-tmsuzth, r=matthiaskrgrbors-4/+4
2024-02-11Auto merge of #120405 - cjgillot:gvn-pointer, r=oli-obkbors-1367/+2124
2024-02-11Rollup merge of #120896 - compiler-errors:coro-closure-kind, r=oli-obkMatthias Krüger-4/+4
2024-02-10Print kind of coroutine closureMichael Goulet-4/+4
2024-02-09Remove ConstGoto and SeparateConstSwitch.Camille GILLOT-255/+125
2024-02-09Enable by default.Camille GILLOT-374/+201
2024-02-09Add test for ptr ops with same provenance.Camille GILLOT-0/+564
2024-02-09Const-prop pointers.Camille GILLOT-68/+185
2024-02-09Split gvn wide ptr tests.Camille GILLOT-799/+891
2024-02-09Compute binary ops between pointers in GVN.Camille GILLOT-30/+44
2024-02-09Compute unsizing casts in GVN.Camille GILLOT-20/+22