about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform
AgeCommit message (Expand)AuthorLines
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-6/+6
2022-11-18review feedbackRalf Jung-3/+3
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-9/+17
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-6/+5
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-16/+4
2022-11-15Auto merge of #102570 - cjgillot:deagg-debuginfo, r=oli-obkbors-0/+351
2022-11-15Enable SROA by at mir-opt level 3.Camille GILLOT-1/+1
2022-11-15Flatten aggregates into locals.Camille GILLOT-0/+350
2022-11-15Introduce composite debuginfo.Camille GILLOT-0/+1
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-1/+1
2022-11-15mv utility methods into separate modulelcnr-5/+5
2022-11-15nll: correctly deal with bivariancelcnr-6/+6
2022-11-15Auto merge of #101168 - jachris:dataflow-const-prop, r=oli-obkbors-0/+532
2022-11-14assert that we are (de)seiralizing ProvenanceMap correctlyRalf Jung-1/+1
2022-11-13Store a LocalDefId in hir::Variant & hir::Field.Camille GILLOT-6/+5
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-2/+2
2022-11-12Disable limits if mir-opt-level >= 4Jannis Christopher Köhl-2/+3
2022-11-12Expand upon comment regarding self-assignmentJannis Christopher Köhl-1/+1
2022-11-12Require -Zmir-opt-level >= 3 for nowJannis Christopher Köhl-1/+1
2022-11-12Add comment for guessed constantsJannis Christopher Köhl-0/+1
2022-11-10Simplify creation of mapJannis Christopher Köhl-1/+1
2022-11-10Don't ICE when encountering ConstKind::Error in RequiredConstsVisitorMichael Goulet-1/+1
2022-11-09Fix struct field tracking and add tests for itJannis Christopher Köhl-3/+1
2022-11-09Completely remove tracking of references for nowJannis Christopher Köhl-12/+12
2022-11-08Add support for custom MIR parsingJakob Degen-35/+46
2022-11-07Limit number of basic blocks and tracked places to 100 for nowJannis Christopher Köhl-2/+8
2022-11-07Use new cast methodsJannis Christopher Köhl-12/+15
2022-11-07Limit number of tracked places, and some other perf improvementsJannis Christopher Köhl-3/+20
2022-11-07Move HasTop and HasBottom into lattice.rsJannis Christopher Köhl-1/+1
2022-11-07Small documentation changesJannis Christopher Köhl-1/+7
2022-11-07Use ParamEnv consistentlyJannis Christopher Köhl-9/+8
2022-11-07Prevent propagation of overflow if overflow occuredJannis Christopher Köhl-16/+4
2022-11-07Fix unimplemented binary_ptr_opJannis Christopher Köhl-1/+1
2022-11-07Improve documentation, plus some small changesJannis Christopher Köhl-9/+15
2022-11-07Make overflow handling more preciseJannis Christopher Köhl-11/+18
2022-11-07Make overflow flag propagation conditionalJannis Christopher Köhl-2/+16
2022-11-07Fix rebased CastKindJannis Christopher Köhl-1/+8
2022-11-07Use the same is_enabled as the current const propJannis Christopher Köhl-2/+1
2022-11-07Prevent registration inside references if target is !FreezeJannis Christopher Köhl-2/+1
2022-11-07Remove `Unknown` state in favor of `Value(Top)`Jannis Christopher Köhl-7/+3
2022-11-07Track Scalar instead of ScalarInt for const propJannis Christopher Köhl-42/+29
2022-11-07Add tracking of unreachabilityJannis Christopher Köhl-3/+2
2022-11-07Ignore terminators explicitlyJannis Christopher Köhl-1/+0
2022-11-07Flood with bottom instead of top for unreachable branchesJannis Christopher Köhl-2/+2
2022-11-07Move handling of references and simplify floodingJannis Christopher Köhl-13/+21
2022-11-07Add initial version of value analysis and dataflow constant propagationJannis Christopher Köhl-0/+492
2022-11-06Auto merge of #103975 - oli-obk:tracing, r=jackh726bors-6/+2
2022-11-04Some tracing and comment cleanupsOli Scherer-6/+2
2022-11-04Formatting changes + add UI testclubby789-10/+9
2022-11-04Give a specific lint for unsafety not being inheritedclubby789-9/+35