summary refs log tree commit diff
path: root/src/librustc_mir/transform/const_prop.rs
AgeCommit message (Expand)AuthorLines
2020-08-07Don't panic if the lhs of a div by zero is not statically knownOliver Scherer-5/+21
2020-07-04Fix const prop ICEOliver Scherer-19/+21
2020-06-30Use exhaustive match in const_prop.rsWesley Wiser-1/+13
2020-06-28Auto merge of #72437 - ecstatic-morse:stabilize-const-if-match, r=oli-obkbors-1/+0
2020-06-28Remove `control_flow_destroyed` and properly lower `&&` and `||`Dylan MacKenzie-1/+0
2020-06-28Rollup merge of #73757 - oli-obk:const_prop_hardening, r=wesleywiserManish Goregaokar-11/+57
2020-06-28Erase all block-only locals at the end of every block, even if they have not ...Oliver Scherer-11/+57
2020-06-27Rollup merge of #73708 - Aaron1011:feature/reland-move-fn-self-msg, r=davidtwcoManish Goregaokar-0/+1
2020-06-26Rollup merge of #73728 - oli-obk:const_prop_cleanup, r=wesleywiserManish Goregaokar-6/+13
2020-06-26Explain move errors that occur due to method calls involving `self`Aaron Hill-0/+1
2020-06-26Show the values and computation that would overflow a const evaluation or pro...Oliver Scherer-30/+40
2020-06-25Document some invariants correctly/moreOliver Scherer-6/+13
2020-06-23Rollup merge of #73613 - oli-obk:const_prop_miscompile, r=wesleywiserManish Goregaokar-16/+38
2020-06-23The const propagator cannot trace references.Oliver Scherer-16/+38
2020-06-22Revert "Rollup merge of #72389 - Aaron1011:feature/move-fn-self-msg, r=nikoma...Aaron Hill-1/+0
2020-06-21Auto merge of #71911 - wesleywiser:const_prop_small_cleanups, r=oli-obkbors-26/+21
2020-06-19Rollup merge of #73130 - wesleywiser:remove_const_prop_for_indirects, r=oli-obkRalf Jung-8/+3
2020-06-15[const-prop] Remove `ConstPropMode::NoPropagation`Wesley Wiser-26/+21
2020-06-15Auto merge of #73369 - RalfJung:rollup-hl8g9zf, r=RalfJungbors-15/+7
2020-06-12fix const_prop spans and re-bless testsRalf Jung-7/+2
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-9/+6
2020-06-11Explain move errors that occur due to method calls involving `self`Aaron Hill-0/+1
2020-06-09Stop allowing `Indirect(..)` values to be propagatedWesley Wiser-1/+0
2020-06-07Don't intern memory in const prop.Oliver Scherer-8/+4
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1
2020-05-28remove redundant `mk_const`Bastian Kauschke-1/+1
2020-05-18Add asm! to MIRAmanieu d'Antras-1/+2
2020-05-17Auto merge of #72135 - oli-obk:const_prop_deaggregates, r=wesleywiserbors-1/+24
2020-05-16Auto merge of #71665 - RalfJung:miri-intern-no-ice, r=oli-obkbors-2/+1
2020-05-14[const-prop] Don't replace Rvalues that are already constantsWesley Wiser-0/+7
2020-05-12Add some more sanity tests and add a debug log message for itOliver Scherer-0/+5
2020-05-12Propagate locals, even if they have unpropagatable assignments somewhere.Oliver Scherer-1/+19
2020-05-11Auto merge of #71953 - oli-obk:const_prop_deaggregates, r=wesleywiserbors-42/+58
2020-05-10avoid raising interpreter errors from interningRalf Jung-2/+1
2020-05-07Renamed "undef" stuff to "uninit"Hanif Bin Ariffin-13/+13
2020-05-06Const prop aggregates even if partially or fully modifiedOliver Scherer-42/+58
2020-05-04Rollup merge of #71697 - felix91gr:new_prop_into_fn_call, r=wesleywiserDylan DPC-5/+51
2020-05-03Rollup merge of #71663 - jumbatm:caller-handles-validation-error, r=RalfJungDylan DPC-5/+5
2020-05-02Added MIR constant propagation of Scalars into function call argumentsFélix Fischer-5/+51
2020-05-01Partially unrevert #70566.jumbatm-5/+5
2020-05-01InterpError printing really is more Display than DebugRalf Jung-2/+2
2020-04-29Auto merge of #71518 - felix91gr:const_prop_bugfix_just_block_prop, r=wesleyw...bors-21/+70
2020-04-28Polished documentation, removed not-so-useful-anymore traces, and added some ...Félix Fischer-6/+13
2020-04-28Allow Locals to be propagated into and from, but restricted to their own blockFélix Fischer-13/+46
2020-04-27Blocked `MutatingUseContext::Projection` for all locals of kind `LocalKind::T...Félix Fischer-4/+13
2020-04-27share some common code for compile-time miri instancesRalf Jung-56/+4
2020-04-27Auto merge of #71268 - estebank:devectorize, r=eddybbors-2/+1
2020-04-26Rollup merge of #70043 - mark-i-m:def-kind-more, r=eddybDylan DPC-4/+1
2020-04-24Revert "Move early needs_subst bailout to _after_ linting."Ralf Jung-5/+5
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-4/+1