about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-09-12dyn* through more typechecking and MIREric Holk-0/+11
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-3/+3
2022-09-10Auto merge of #101483 - oli-obk:guaranteed_opt, r=fee1-deadbors-27/+24
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-27/+24
2022-09-08Auto merge of #101437 - compiler-errors:erase-normalize-ordering, r=tmandrybors-14/+15
2022-09-08bound variables during ctfe are a buglcnr-3/+3
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-7/+9
2022-09-07Change name of "dataful" variant to "untagged"Michael Benfield-5/+5
2022-09-06Move CTFE handling of nondiverging intrinsics to intrinsics.rsOli Scherer-19/+29
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-22/+21
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-6/+19
2022-09-06Rollup merge of #101402 - saethlin:inline-asm-hook, r=oli-obkYuki Okushi-2/+21
2022-09-05Normalize before erasing late-bound regions in equal_up_to_regionsMichael Goulet-14/+15
2022-09-04Make `const_eval_select` a real intrinsicDeadbeef-15/+1
2022-09-03Add a Machine hook for inline assemblyBen Kimock-2/+21
2022-09-03Auto merge of #101154 - RalfJung:validation-perf, r=oli-obkbors-4/+5
2022-09-02Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obkMatthias Krüger-5/+12
2022-09-01tracing::instrument cleanupOli Scherer-17/+8
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-1/+1
2022-09-01Auto merge of #100707 - dzvon:fix-typo, r=davidtwcobors-7/+7
2022-08-31interpret: use new OpTy::len for Len rvalueRalf Jung-2/+2
2022-08-31Fix a bunch of typoDezhi Wu-7/+7
2022-08-30Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obkbors-20/+23
2022-08-30Refactor MIR phasesJakob Degen-20/+23
2022-08-30Auto merge of #101183 - Dylan-DPC:rollup-6kewixv, r=Dylan-DPCbors-88/+108
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-88/+108
2022-08-30Auto merge of #100812 - Nilstrieb:revert-let-chains-nightly, r=Mark-Simulacrumbors-0/+1
2022-08-29Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgrbors-18/+11
2022-08-29Rollup merge of #101131 - RalfJung:ctfe-no-needs-rfc, r=oli-obkMatthias Krüger-18/+11
2022-08-29Revert let_chains stabilizationNilstrieb-0/+1
2022-08-29Only normalize once in mir validator typecheckerNilstrieb-15/+10
2022-08-29Try normalizing types without RevealAll in ParamEnv in mir validationNilstrieb-8/+20
2022-08-29interpret: fix unnecessary allocation in validation visitorRalf Jung-4/+5
2022-08-29Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obkDylan DPC-25/+9
2022-08-29Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnrMatthias Krüger-27/+45
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-11/+11
2022-08-28entirely get rid of NeedsRfc CTFE errorsRalf Jung-15/+5
2022-08-28CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just...Ralf Jung-3/+6
2022-08-28validation should only catch UB errorsRalf Jung-17/+20
2022-08-28Rollup merge of #101038 - RalfJung:interning-alignment, r=oli-obkMatthias Krüger-3/+5
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-47/+64
2022-08-27interpret: rename relocation → provenanceRalf Jung-25/+25
2022-08-27Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3bors-6/+4
2022-08-27remove a now-useless machine hookRalf Jung-24/+5
2022-08-27remove an ineffective check in const_propRalf Jung-1/+4
2022-08-27Auto merge of #101064 - compiler-errors:rollup-fwm5m5f, r=compiler-errorsbors-113/+171
2022-08-26Rollup merge of #100738 - nidnogg:diagnostics_migr_const_eval, r=davidtwcoMichael Goulet-113/+171
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-264/+175
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-12/+3
2022-08-26remove enforce_number_init machine hook that Miri no longer needsRalf Jung-24/+8