about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-2/+12
2022-07-11use a loop rather than try_foldRalf Jung-10/+9
2022-07-11interpret: refactor projection handling codeRalf Jung-125/+72
2022-07-09tweak names and output and blessRalf Jung-1/+1
2022-07-09review feedbackRalf Jung-1/+1
2022-07-09don't allow ZST in ScalarIntRalf Jung-6/+7
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-0/+4
2022-07-08interpret: only to track_caller in debug builds due to perfRalf Jung-4/+4
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-6/+18
2022-07-06add track_caller to some interpreter functionsRalf Jung-0/+4
2022-07-05finally enable Scalar layout sanity checksRalf Jung-3/+2
2022-07-04clarify commentRalf Jung-1/+2
2022-07-03interpret: track place alignment together with the type, not the valueRalf Jung-15/+22
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-0/+7
2022-06-14rebaseb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+5
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-05reduce code duplicationRalf Jung-13/+12
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-6/+16
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-4/+5
2022-05-13Rustc changes for permissive provenancecarbotaniuman-4/+5
2022-05-11Auto merge of #96220 - RalfJung:scalar-no-padding, r=oli-obkbors-19/+38
2022-05-11avoid computing Scalar size/align in debug buildsRalf Jung-3/+3
2022-05-10fmtRalf Jung-3/+1
2022-05-10even tighter checks for layouts on immediate field projectionsRalf Jung-6/+11
2022-05-10disable one check for now until #96185 is fixedRalf Jung-3/+4
2022-05-10tighten sanity checks around Scalar and ScalarPairRalf Jung-15/+30
2022-05-06Fix inaccurate function name in `rustc_const_eval` docspierwill-2/+2
2022-05-05give it a scary nameRalf Jung-7/+10
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-24/+47
2022-04-21deduplicate a lot of codeb-naber-2/+2
2022-04-21implement valtree -> constvalue conversionb-naber-2/+3
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-2/+2
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-5/+13
2022-04-05mir-interpret now treats unions as non-immediate, even if they have scalar la...Oli Scherer-5/+9
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-2/+6
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-2/+2
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+4
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-06CTFE engine: expose misc_cast to MiriRalf Jung-3/+8
2022-03-03all: fix some typoscuishuang-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-25Rollup merge of #94343 - RalfJung:fn-ptr, r=oli-obkMatthias Krüger-2/+1
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-2/+1
2022-02-24Auto merge of #94131 - Mark-Simulacrum:fmt-string, r=oli-obkbors-5/+5
2022-02-22Miri: extend comments on downcast operationRalf Jung-1/+3
2022-02-21ScalarMaybeUninit is explicitly hexadecimal in its formattingRalf Jung-2/+2
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-5/+5
2022-02-19rustc_const_eval: adopt let else in more placesest31-9/+6