about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2022-04-17fat vecouz-a-7/+5
2022-04-17format errouz-a-5/+3
2022-04-17little changesouz-a-7/+5
2022-04-16Make derefer work everwhereouz-a-0/+26
2022-04-16Rollup merge of #96004 - JakobDegen:fix-validator-ice, r=petrochenkovDylan DPC-1/+2
2022-04-13Auto merge of #95656 - cjgillot:no-id-hashing-mode, r=Aaron1011bors-22/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-1/+2
2022-04-13Auto merge of #94255 - b-naber:use-mir-constant-in-thir, r=oli-obkbors-9/+162
2022-04-12Remove NodeIdHashingMode.Camille GILLOT-22/+2
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+4
2022-04-11Add more clarifications in response to Ralf's commentsJakob Degen-102/+84
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-35/+36
2022-04-11Improve MIR phases documentation with summaries of changesJakob Degen-1/+23
2022-04-11Improve documentation for MIR terminatorsJakob Degen-27/+121
2022-04-11Improve documentation for MIR statement kinds.Jakob Degen-16/+76
2022-04-11Add documentation for the semantics of MIR rvaluesJakob Degen-23/+100
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-0/+3
2022-04-11Improve documentation of `Place` and `Operand`Jakob Degen-13/+121
2022-04-11Add new `MutatatingUseContext`s for deinit and `SetDiscriminant`Jakob Degen-2/+6
2022-04-11Document semantics of `Deinit` and `SetDiscriminant` MIR statementsJakob Degen-0/+7
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+11
2022-04-09Auto merge of #95697 - klensy:no-strings, r=petrochenkovbors-2/+1
2022-04-09Rollup merge of #95785 - RalfJung:interpret-size-mismatch, r=oli-obkDylan DPC-16/+46
2022-04-08check_doc_keyword: don't alloc string for emptiness checkklensy-2/+1
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-16/+46
2022-04-07Report opaque type mismatches directly during borrowck of the function instea...Oli Scherer-2/+1
2022-04-05trivial cfg(bootstrap) changesPietro Albini-1/+1
2022-04-02rebase and remove dead codeb-naber-115/+2
2022-04-02try to evaluate in from_opt_const_arg_anon_constb-naber-6/+73
2022-04-02rebase and use ty::Const in patterns againb-naber-1/+1
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-10/+209
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-0/+5
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-3/+3
2022-03-30Auto merge of #95436 - cjgillot:static-mut, r=oli-obkbors-3/+2
2022-03-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-4/+4
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Rollup merge of #95461 - nyurik:spelling, r=lcnrDylan DPC-1/+1
2022-03-30Spellchecking compiler codeYuri Astrakhan-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-3/+2
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-2/+2
2022-03-27Rollup merge of #95120 - smoelius:backward-switch-int, r=ecstatic-morseDylan DPC-0/+95
2022-03-26Address review commentsSamuel E. Moelius III-0/+95
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-0/+11
2022-03-23Clarify more MIR docsJakob Degen-0/+15
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-17/+39
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+1
2022-03-21stall on on constants that contain infer vars in const_eval_resolveb-naber-0/+8