about summary refs log tree commit diff
path: root/tests/mir-opt
AgeCommit message (Expand)AuthorLines
2023-02-15Auto merge of #108012 - compiler-errors:issue-107999, r=oli-obkbors-0/+34
2023-02-15Rollup merge of #107411 - cjgillot:dataflow-discriminant, r=oli-obkDylan DPC-10/+77
2023-02-14Make permit_uninit/zero_init fallibleMichael Goulet-6/+5
2023-02-14Don't ICE in might_permit_raw_init if reference is polymorphicMichael Goulet-0/+35
2023-02-13Rollup merge of #107971 - saethlin:mir-opt-ub, r=cjgillotMatthias Krüger-27/+49
2023-02-13Clearly document intentional UB in mir-opt testsBen Kimock-27/+49
2023-02-12Fix UB in the test caseBen Kimock-3/+4
2023-02-12Enable CopyProp by default, tune the impl a bitBen Kimock-164/+205
2023-02-11Auto merge of #107851 - cjgillot:sroa-const, r=oli-obkbors-0/+55
2023-02-10Auto merge of #85158 - JulianKnodt:array_const_val, r=cjgillotbors-0/+488
2023-02-09Put deaggregated statements after original constant.Camille GILLOT-0/+55
2023-02-08Add de-init to destination placekadmin-112/+170
2023-02-07Rollup merge of #107662 - cjgillot:copy-projection, r=oli-obkMatthias Krüger-1/+66
2023-02-07Leave FIXME for wasm layout difference.kadmin-299/+269
2023-02-07Add tag for ignoring wasmkadmin-268/+269
2023-02-07Rm allocation in candidatekadmin-0/+459
2023-02-06Handle discriminants in dataflow-const-prop.Camille GILLOT-10/+77
2023-02-05Bless 32bit tests.Camille GILLOT-19/+21
2023-02-05Run SROA to fixpoint.Camille GILLOT-25/+44
2023-02-05Simplify construction of replacement map.Camille GILLOT-70/+126
2023-02-05Make SROA expand assignments.Camille GILLOT-9/+123
2023-02-05Fix SROA without deaggregation.Camille GILLOT-82/+92
2023-02-04Turn projections into copies in CopyProp.Camille GILLOT-1/+66
2023-02-02Bless 32bit.Camille GILLOT-8/+8
2023-02-02Add partial propagation test.Camille GILLOT-20/+162
2023-02-02Bless tests.Camille GILLOT-394/+234
2023-02-02Stop deaggregating enums in MIR.Camille GILLOT-383/+120
2023-02-02Interpret aggregates.Camille GILLOT-8/+8
2023-02-02Rollup merge of #107524 - cjgillot:both-storage, r=RalfJungMatthias Krüger-37/+162
2023-02-01Stabilize `#![feature(target_feature_11)]`Léo Lanteri Thauvin-8/+7
2023-01-31Remove assignment.Camille GILLOT-78/+70
2023-01-31Remove both StorageLive and StorageDead in CopyProp.Camille GILLOT-38/+10
2023-01-31Add test.Camille GILLOT-0/+161
2023-01-29Reimplement NormalizeArrayLen.Camille GILLOT-182/+121
2023-01-29Auto merge of #106908 - cjgillot:copyprop-ssa, r=oli-obkbors-274/+1528
2023-01-27Bless mir-opt tests.Camille GILLOT-4/+18
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-2/+16
2023-01-27Do not merge locals that have their address taken.Camille GILLOT-151/+264
2023-01-27Discard raw pointers from SSA locals.Camille GILLOT-0/+41
2023-01-27Only consider a local to be SSA if assignment dominates all uses.Camille GILLOT-0/+55
2023-01-27Add tests.Camille GILLOT-0/+453
2023-01-27Implement SSA CopyProp pass.Camille GILLOT-538/+666
2023-01-27Add mir-opt test.Camille GILLOT-0/+519
2023-01-27Make tests unit.Camille GILLOT-92/+37
2023-01-26Custom mir: Add support for some remaining, easy to support constructsJakob Degen-4/+46
2023-01-26Auto merge of #107314 - matthiaskrgr:rollup-j40lnlj, r=matthiaskrgrbors-0/+54
2023-01-26Rollup merge of #107085 - tmiasko:custom-mir-operators, r=oli-obkMatthias Krüger-0/+54
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-0/+162
2023-01-24Delete `SimplifyArmIdentity` and `SimplifyBranchSame` mir optsJakob Degen-216/+0
2023-01-20Rollup merge of #107067 - tmiasko:custom-mir-storage-statements, r=oli-obkMatthias Krüger-5/+9