about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2022-07-16Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obkMatthias Krüger-1/+1
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-1/+1
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-1/+1
2022-07-09tweak names and output and blessRalf Jung-2/+2
2022-07-09review feedbackRalf Jung-2/+2
2022-07-09don't allow ZST in ScalarIntRalf Jung-8/+4
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-2/+2
2022-07-07make a name less ambiguousRalf Jung-2/+2
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-0/+1
2022-07-01Rollup merge of #98756 - TaKO8Ki:use-const-instead-of-function, r=Dylan-DPCDylan DPC-5/+3
2022-07-01use const instead of function and make it privateTakayuki Maeda-5/+3
2022-06-30Rollup merge of #98688 - RalfJung:from-mplace, r=oli-obkMatthias Krüger-5/+5
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-5/+5
2022-06-29Rollup merge of #98643 - voidc:valtree-ref-pretty, r=lcnrMatthias Krüger-78/+0
2022-06-28Improve pretty printing of valtrees for referencesDominik Stolz-78/+0
2022-06-26interpret: do not prune requires_caller_location stack frames quite so earlyRalf Jung-7/+7
2022-06-15Rename `impl_constness` to `constness`Deadbeef-6/+7
2022-06-14rebaseb-naber-2/+2
2022-06-14correctly create Scalar for meta infob-naber-3/+7
2022-06-14address reviewb-naber-17/+54
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-142/+107
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-2/+1
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-2/+3
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-5/+8
2022-05-22Auto merge of #97177 - oli-obk:const-stability, r=davidtwcobors-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-19Add and use stability helper methodsJacob Pratt-1/+1
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-66/+209
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-5/+1
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-66/+209
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-5/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+2
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-1/+9
2022-05-13Rustc changes for permissive provenancecarbotaniuman-1/+9
2022-05-12fix clippy expect_fun_callklensy-1/+3
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-1/+1
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-96/+78
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-9/+117
2022-04-24include valtree creation and valtree -> constvalue conversion in debug assert...b-naber-31/+30
2022-04-21deduplicate a lot of codeb-naber-224/+115
2022-04-21implement valtree -> constvalue conversionb-naber-144/+509
2022-04-18remove an unnecessary use of loc_place.ptr.into_pointer_or_addrRalf Jung-1/+1
2022-04-16Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obkDylan DPC-25/+57
2022-04-14handle arrays and slices uniformly in valtree creationb-naber-31/+13
2022-04-12use len on mplace instead of reading immediate, remove dead codeb-naber-37/+12
2022-04-08use deref on ImmTyb-naber-3/+2
2022-04-08create leafs for slicesb-naber-71/+59
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-20/+21