about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/value.rs
AgeCommit message (Expand)AuthorLines
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-4/+4
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-1/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-2/+2
2025-05-24ScalarInt: support conversion with signed int types and cmp::OrderingRalf Jung-5/+5
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-18/+20
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+7
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+3
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-0/+14
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-24/+9
2024-06-08add missing Scalar::from_i128Ralf Jung-0/+5
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-11/+13
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-2/+2
2024-04-18interpret/binary_int_op: avoid dropping to raw ints until we determined the signRalf Jung-10/+12
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-14Add compiler support for parsing `f16` and `f128`Trevor Gross-1/+21
2024-01-26make matching on NaN a hard errorRalf Jung-2/+2
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