about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2020-08-05Auto merge of #75037 - richkadel:llvm-coverage-map-gen-5.2, r=wesleywiserbors-33/+61
2020-08-04Completes support for coverage in external cratesRich Kadel-33/+61
2020-08-04Forbid non-derefable types explicitly in unsizing castsYuki Okushi-1/+9
2020-08-03Auto merge of #75076 - tmiasko:simplify-goto, r=oli-obkbors-3/+1
2020-08-03Remove redundant assignment from CfgSimplifierTomasz Miąsko-2/+0
2020-08-03Fix change detection in CfgSimplifier::collapse_goto_chainTomasz Miąsko-1/+1
2020-08-02fix typosliuzhenyu-1/+1
2020-08-01Rollup merge of #74983 - oli-obk:mir_opt_goto_chain, r=ecstatic-morseManish Goregaokar-26/+43
2020-08-01Replace a recursive algorithm with an iterative one and a stack.Oliver Scherer-26/+43
2020-08-01Auto merge of #74945 - dingxiangfei2009:promote-static-ref-deref, r=oli-obkbors-2/+40
2020-07-31Auto merge of #65989 - Aaron1011:fix/normalize-param-env, r=nikomatsakisbors-4/+4
2020-07-31rustfmtDing Xiang Fei-1/+3
2020-07-31Remove a trailing spaceDing Xiang Fei-1/+1
2020-07-31Add comments to explain the test case and the special treatmentDing Xiang Fei-1/+13
2020-07-30Special treatment for dereferencing a borrow to a static definitionDing Xiang Fei-2/+26
2020-07-29Auto merge of #74733 - richkadel:llvm-coverage-map-gen-5, r=tmandrybors-94/+124
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-28Refactor MIR coverage instrumentationRich Kadel-88/+118
2020-07-27Auto merge of #73503 - lcnr:forall-predicate-what-and-why-2, r=nikomatsakisbors-12/+12
2020-07-27introduce PredicateAtomBastian Kauschke-12/+11
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+1
2020-07-27split ignore_qualifiersBastian Kauschke-1/+1
2020-07-27reviewBastian Kauschke-1/+0
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-2/+4
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-25Fixed coverage map issues; better aligned with LLVM APIsRich Kadel-8/+8
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-22Fix rebase falloutAaron Hill-1/+1
2020-07-22Normalize opaque types when converting `ParamEnv` to `Reveal::All`Aaron Hill-3/+3
2020-07-21fetch -> lookupBastian Kauschke-4/+4
2020-07-21`try_update` -> `try_upgrade`Bastian Kauschke-3/+3
2020-07-21remove some const arg in ty dep path boilerplateBastian Kauschke-39/+26
2020-07-20trait_sel: only test predicates w/ no substsDavid Wood-1/+1
2020-07-19Auto merge of #74091 - richkadel:llvm-coverage-map-gen-4, r=tmandrybors-56/+204
2020-07-17Rollup merge of #74169 - ecstatic-morse:dataflow-unreachable, r=pnkfelixManish Goregaokar-3/+1
2020-07-17Generating the coverage mapRich Kadel-56/+204
2020-07-16Rollup merge of #74357 - nnethercote:symbol-related-improvements, r=oli-obkManish Goregaokar-82/+30
2020-07-17Add `UnsafetyViolationDetails`.Nicholas Nethercote-82/+30
2020-07-16Rollup merge of #74221 - oli-obk:const_prop_ice, r=wesleywiserManish Goregaokar-5/+21
2020-07-15Don't panic if the lhs of a div by zero is not statically knownOliver Scherer-5/+21
2020-07-15unsafety_check_result_for_const_argBastian Kauschke-3/+3
2020-07-15WithOptConstParam::dummy -> WithOptConstParam::unknownBastian Kauschke-7/+7
2020-07-15improve namingBastian Kauschke-37/+48