summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/mod.rs
AgeCommit message (Expand)AuthorLines
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-24/+60
2022-09-15nitsb-naber-0/+1
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-0/+1
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-2/+0
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-0/+1
2022-09-14address review againb-naber-14/+5
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-17/+1
2022-09-13address reviewb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-13/+57
2022-09-12dyn* through more typechecking and MIREric Holk-0/+1
2022-09-12Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726Dylan DPC-9/+1
2022-09-07Auto merge of #101522 - oli-obk:miriup, r=oli-obkbors-1/+3
2022-09-07Update miri submoduleOli Scherer-1/+3
2022-09-07Auto merge of #98332 - oli-obk:assume, r=wesleywiserbors-7/+1
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-8/+1
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+1
2022-09-06Add more size assertions for MIR types.Nicholas Nethercote-8/+14
2022-09-01tracing::instrument cleanupOli Scherer-14/+8
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-30Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obkbors-1/+13
2022-08-30Refactor MIR phasesJakob Degen-1/+13
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-5/+5
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-1/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-4/+4
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-6/+1
2022-08-25Inline trivial `From<Local> for Place<'_>` implTomasz Miąsko-0/+1
2022-08-19use <[u8]>::escape_ascii instead of core::ascii::escape_defaultKaDiWa-9/+1
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-0/+6
2022-07-30Use LocalDefId for closures moreCameron Steffen-40/+32
2022-07-24make sure has_deref is correctouz-a-0/+2
2022-07-22has_deref: simpler comparison, ty fixouz-a-10/+2
2022-07-22simplify more, ret_deref -> has_derefouz-a-6/+6
2022-07-22simplify some code that depend on Derefouz-a-0/+20
2022-07-22Rollup merge of #98868 - tmiasko:unreachable-coverage, r=wesleywiserDylan DPC-0/+16
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-7/+1
2022-07-15Introduce opaque type to hidden type projectionOli Scherer-1/+7
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-2/+2
2022-07-12add new rval, pull deref earlyouz-a-1/+13
2022-07-10Rollup merge of #99103 - TaKO8Ki:avoid-&str-to-string-conversions, r=oli-obkMatthias Krüger-5/+3
2022-07-10avoid some `&str` to `String` conversionsTakayuki Maeda-5/+3
2022-07-09tweak names and output and blessRalf Jung-2/+9
2022-07-09review feedbackRalf Jung-2/+2
2022-07-09don't allow ZST in ScalarIntRalf Jung-2/+2
2022-07-08Add `SourceScope::inlined_instance`Tomasz Miąsko-0/+16
2022-07-08Rollup merge of #99019 - pierwill:doc-mir-statement, r=cjgillotMatthias Krüger-1/+4
2022-07-07Add doc comments in `rustc_middle::mir`pierwill-1/+4
2022-07-07Move `dominators` from Body to BasicBlocksTomasz Miąsko-6/+1
2022-07-07Move `switch_sources` from Body to BasicBlocksTomasz Miąsko-8/+0
2022-07-07Move `predecessors` from Body to BasicBlocksTomasz Miąsko-7/+1
2022-07-07Move `is_cfg_cyclic` from Body to BasicBlocksTomasz Miąsko-6/+0