summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
2022-10-29Comment why normalization is needed for debug assertionsMichael Goulet-2/+9
2022-09-14address review againb-naber-12/+13
2022-09-13rebaseb-naber-1/+1
2022-09-13fixes/working versionb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-1/+12
2022-09-08bound variables during ctfe are a buglcnr-2/+2
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-5/+5
2022-09-07Change name of "dataful" variant to "untagged"Michael Benfield-3/+3
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-1/+1
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-1/+1
2022-08-27remove a now-useless machine hookRalf Jung-7/+2
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-106/+71
2022-08-10Avoid repeating qualifiers on `static_assert_size` calls.Nicholas Nethercote-4/+5
2022-08-01Improve size assertions.Nicholas Nethercote-12/+11
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-2/+2
2022-07-23remove some provenance-related machine hooks that Miri no longer needsRalf Jung-12/+8
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-73/+73
2022-07-18interpret: make some large types not CopyRalf Jung-2/+5
2022-07-18interpret: remove some unused trait implsRalf Jung-4/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 13:56:00 +0000