summary refs log tree commit diff
path: root/src/librustc_mir/transform/const_prop.rs
AgeCommit message (Expand)AuthorLines
2020-08-20Apply suggestions from code reviewOliver Scherer-1/+1
2020-08-18Explain why we are creating an aggregate constantOliver Scherer-0/+2
2020-08-18Address review commentsOliver Scherer-1/+1
2020-08-18Validate the MIR of all optimizations in the mir-opt directoryOliver Scherer-24/+35
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-1/+1
2020-08-14Rollup merge of #75448 - lcnr:rn-as_local_hir_id, r=davidtwcoTyler Mandry-1/+1
2020-08-13merge `as_local_hir_id` with `local_def_id_to_hir_id`Bastian Kauschke-1/+1
2020-08-12fix span of stack size errorRalf Jung-0/+8
2020-08-11Auto merge of #73656 - oli-obk:deaggregate-is-cleanup, r=wesleywiserbors-3/+23
2020-08-11move Deaggregate pass to post_borrowck_cleanupRalf Jung-3/+23
2020-08-11Rollup merge of #75226 - pnadon:miri-undef-uninit, r=RalfJungYuki Okushi-1/+1
2020-08-09move const_eval error reporting logic into rustc_mir::const_eval::errorRalf Jung-2/+2
2020-08-08Miri: Renamed "undef" to "uninit"Philippe Nadon-1/+1
2020-08-07Auto merge of #74821 - oli-obk:const_eval_read_uninit_fast_path, r=wesleywiserbors-60/+70
2020-07-31Auto merge of #65989 - Aaron1011:fix/normalize-param-env, r=nikomatsakisbors-1/+1
2020-07-29Stop propagating to locals that were marks as unpropagatable.Oliver Scherer-5/+11
2020-07-29Check whether locals are too large instead of whether accesses into them are ...Oliver Scherer-56/+60
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