about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
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
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-01-15initial revertEllen-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-1/+1
2021-12-05allow for failure of subst_normalize_erasing_regions in const_evalb-naber-2/+2
2021-11-18fix CTFE/Miri simd_insert/extract on array-style repr(simd) typesRalf Jung-0/+12
2021-10-14add dedicated error variant for writing the discriminant of an uninhabited en...Ralf Jung-0/+1
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-3/+3