about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/value.rs
AgeCommit message (Expand)AuthorLines
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-2/+8
2023-09-20Auto merge of #115827 - eduardosm:miri-sse-reduce-code-dup, r=RalfJungbors-4/+18
2023-09-19move ConstValue into mirRalf Jung-156/+2
2023-09-16miri: reduce code duplication in SSE/SSE2 bin_op_* functionsEduardo Sánchez Muñoz-4/+8
2023-09-14fix clippy (and MIR printing) handling of ConstValue::Indirect slicesRalf Jung-1/+52
2023-09-14don't force all slice-typed ConstValue to be ConstValue::SliceRalf Jung-17/+6
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-6/+8
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-3/+7
2023-09-13rustc_middle: add `Scalar::from_i8` and `Scalar::from_i16` and use them in MiriEduardo Sánchez Muñoz-0/+10
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-4/+5
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-6/+6
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-0/+8
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-0/+9
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-1/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-8/+8
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-11-28Rollup merge of #104933 - RalfJung:interpret-partial-ord, r=oli-obkMatthias Krüger-2/+2
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-11-26interpret: remove PartialOrd from a bunch of types that do not have or need a...Ralf Jung-2/+2
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-5/+7
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-18/+2
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-1/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-3/+1
2022-08-26remove now-unused ScalarMaybeUninitRalf Jung-133/+0
2022-07-30avoid assertion failures in try_to_scalar_intRalf Jung-1/+3
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-0/+18
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-29/+30
2022-07-09tweak names and output and blessRalf Jung-3/+3
2022-07-09review feedbackRalf Jung-3/+3
2022-07-09don't allow ZST in ScalarIntRalf Jung-8/+6
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-1/+1
2022-06-14address reviewb-naber-0/+4
2022-06-14address reviewb-naber-1/+0
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-0/+1
2022-06-03Use serde_json for target spec jsonbjorn3-1/+1
2022-05-22Lifetime variance fixes for rustcMichael Goulet-17/+17
2022-05-13Rustc changes for permissive provenancecarbotaniuman-1/+2
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-7/+21
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-9/+10
2022-02-21ScalarMaybeUninit is explicitly hexadecimal in its formattingRalf Jung-1/+1
2022-02-21Rollup merge of #94203 - RalfJung:to_sized_int, r=oli-obkMatthias Krüger-21/+25
2022-02-20CTFE engine: Scalar: expose size-generic to_(u)int methodsRalf Jung-21/+25
2022-02-20Implement LowerHex on Scalar to clean up their display in rustdocGuillaume Gomez-7/+11
2022-02-19Don't render Const computed values in hexadecimal for DisplayGuillaume Gomez-0/+5
2021-08-22Fix typos “an”→“a” and a few different ones that appeared in the sa...Frank Steffahn-5/+5
2021-08-22Fix typos “a”→“an”Frank Steffahn-2/+2
2021-07-16get rid of incorrect erase_for_fmtRalf Jung-35/+17
2021-07-15adjustions and cleanup to make Miri build againRalf Jung-52/+2
2021-07-14use NonZeroU64 for AllocId to restore old type sizesRalf Jung-2/+2