about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
2025-07-23Remove useless lifetime parameter.Camille GILLOT-2/+1
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-9/+11
2025-07-16type_id_eq: check that the hash fully matches the typeRalf Jung-45/+54
2025-07-14Give all bytes of TypeId provenanceOli Scherer-31/+37
2025-07-09Avoid creating a helper allocation for creating new `TypeId` values in the in...Oli Scherer-38/+29
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-2/+77
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-38/+3
2025-06-30Remove the nullary intrinsic const eval logic and treat them like other intri...Oli Scherer-86/+72
2025-06-27Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obkMatthias Krüger-1/+1
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-1/+1
2025-06-13Rollup merge of #142405 - oli-obk:type-once, r=RalfJungJubilee-7/+7
2025-06-12intrinsics: rename min_align_of to align_ofRalf Jung-2/+2
2025-06-12Don't hardcode the intrinsic return types twice in the compilerOli Scherer-7/+7
2025-06-08Remove rustc's notion of "preferred" alignment AKA `__alignof`Jubilee Young-13/+2
2025-05-31Add const support for float rounding methodsRuan Comelli-0/+113
2025-05-27Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung许杰友 Jieyou Xu (Joe)-1/+1
2025-05-26extend allocbytes with associated typeNia Espera-1/+1
2025-05-22interpret: do not force_allocate all return placesRalf Jung-11/+11
2025-05-09Use intrinsics for `{f16,f32,f64,f128}::{minimum,maximum}` operationsUrgau-0/+42
2025-05-02Rollup merge of #140521 - RalfJung:oob-error, r=saethlinMatthias Krüger-3/+7
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-3/+7
2025-04-30Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obkMatthias Krüger-2/+1
2025-04-29miri: algebraic intrinsics: bring back float non-determinismRalf Jung-2/+1
2025-04-28Add or-patterns to pattern typesOli Scherer-5/+10
2025-04-23Make algebraic intrinsics into 'const fn' items; Make algebraic functions of ...Gabriel Bjørnager Jensen-0/+25
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-1/+19
2025-01-31miri: make float min/max non-deterministicRalf Jung-2/+14
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-6/+22
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-1/+1
2024-12-25miri: add test for overlapping typed_swapRalf Jung-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-5/+4
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-3/+6
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-3/+6
2024-11-18remove pointless cold_path impl in interpreterRalf Jung-3/+0
2024-11-17Likely unlikely fixJiri Bobek-0/+3
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-1/+1
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-2/+1
2024-10-15Make some float methods unstable `const fn`Eduardo Sánchez Muñoz-0/+80
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-13/+14
2024-09-29cleanup: don't `.into()` identical typesMatthias Krüger-5/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-5/+6
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-4/+3
2024-09-13interpret: simplify SIMD type handlingRalf Jung-3/+3
2024-08-27interpret: add missing alignment check in raw_eqRalf Jung-5/+5