about summary refs log tree commit diff
path: root/src/librustc_mir/transform/const_prop.rs
AgeCommit message (Expand)AuthorLines
2020-07-31Auto merge of #65989 - Aaron1011:fix/normalize-param-env, r=nikomatsakisbors-1/+1
2020-07-27Auto merge of #74775 - RalfJung:miri-alloc-ids, r=oli-obkbors-1/+1
2020-07-27rename eval_const_to_op -> const_to_opRalf Jung-1/+1
2020-07-24Auto merge of #74507 - lcnr:const-prop-into-op, r=oli-obkbors-62/+50
2020-07-24Rollup merge of #74491 - xldenis:constant-binop-opt, r=oli-obkManish Goregaokar-21/+85
2020-07-23slightly adapt const propBastian Kauschke-7/+7
2020-07-22note LLVM in fixmeBastian Kauschke-1/+1
2020-07-22Optimize away BitAnd and BitOr when possibleXavier Denis-21/+85
2020-07-22const prop into operandsBastian Kauschke-62/+50
2020-07-22Normalize opaque types when converting `ParamEnv` to `Reveal::All`Aaron Hill-1/+1
2020-07-20trait_sel: only test predicates w/ no substsDavid Wood-1/+1
2020-07-15Don'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