summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-20Rollup merge of #111619 - cjgillot:profile-pass, r=WaffleLapkinDylan DPC-1/+1
2023-05-15Profile MIR passes.Camille GILLOT-1/+1
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-4/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-4/+2
2023-05-13Support ConstantIndex in debuginfo.Camille GILLOT-2/+5
2023-05-13Implement references VarDebugInfo.Camille GILLOT-12/+26
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-0/+13
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-2/+0
2023-05-01Box AssertKindBen Kimock-3/+3
2023-04-26Derive `Type{Foldable,Visitable}` for `UserTypeProjection`.Nicholas Nethercote-24/+3
2023-04-25Rollup merge of #110750 - scottmcm:vardebug-size, r=cjgillotYuki Okushi-0/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-23Add size asserts for MIR `SourceScopeData` & `VarDebugInfo`Scott McMurray-0/+2
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-1/+5
2023-04-21test improvementsDrMeepster-1/+5
2023-04-20Remove WithOptconstParam.Camille GILLOT-43/+19
2023-04-16Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote-3/+1
2023-04-13Auto merge of #109466 - davidlattimore:inline-arg-via-var-debug-info, r=wesle...bors-0/+5
2023-04-11Preserve argument indexes when inlining MIRDavid Lattimore-0/+5
2023-04-09Fix some clippy::complexityNilstrieb-1/+1
2023-04-06Auto merge of #108504 - cjgillot:thir-pattern, r=compiler-errors,Nilstriebbors-0/+7
2023-04-04Rollup merge of #109901 - cjgillot:validate-debuginfo, r=b-naberMichael Goulet-7/+17
2023-04-03Enforce VarDebugInfo::Place in MIR validation.Camille GILLOT-7/+17
2023-04-03Add Span to StmtKind::Let.Camille GILLOT-0/+7
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-6/+13
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-2/+18
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-24/+13
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-2/+18
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-1/+2
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-2/+2
2023-03-18Rollup merge of #109234 - tmiasko:overflow-checks, r=cjgillotMatthias Krüger-10/+7
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-10/+7
2023-03-14ICE when checking LocalInfo on runtime MIR.Camille GILLOT-18/+13
2023-03-14Remove LocalKind::Var.Camille GILLOT-5/+1
2023-03-14Make is_block_tail a variant of LocalInfo.Camille GILLOT-17/+5
2023-03-14Wrap the whole LocalInfo in ClearCrossCrate.Camille GILLOT-12/+27
2023-03-12Document BinOp::is_checkableTomasz Miąsko-0/+3
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+3
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-24Use `List::empty()` instead of `mk_substs(&[])`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-6/+12
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-7/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-15Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJungMatthias Krüger-2/+2