about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
2024-09-13interpret: simplify SIMD type handlingRalf Jung-3/+3
2024-08-27interpret: add missing alignment check in raw_eqRalf Jung-5/+5
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-3/+5
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-2/+2
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-3/+0
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-6/+3
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-2/+2
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-3/+0
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-47/+36
2024-07-29Reformat `use` declarations.Nicholas Nethercote-14/+9
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-47/+36
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-15/+18
2024-07-04offset_from: "the difference must fit in an isize" is a corollaryRalf Jung-2/+2
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-2/+4
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-9/+7
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+4
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-16/+16
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-11/+13
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-11/+13
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+5
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-3/+3
2024-05-09Make builtin_deref just return a TyMichael Goulet-3/+3
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-13/+16
2024-05-04interpret, miri: uniform treatments of intrinsics/functions with and without ...Ralf Jung-6/+3
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-1/+1
2024-04-16Add an assertion in const evalMaybe Waffle-2/+8
2024-04-16Change intrinsic types to use `u32` instead of `T` to match stable reexportsMaybe Waffle-8/+13
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+4
2024-03-23Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obkbors-2/+23
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-3/+2
2024-03-17Let codegen decide when to `mem::swap` with immediatesScott McMurray-2/+23
2024-03-04consistently use MPlaceTy for return placesRalf Jung-6/+6
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-8/+12
2024-02-15Split a bool argument into two named functionsOli Scherer-9/+5
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-03interpret: make numeric_intrinsic accessible from MiriRalf Jung-46/+36
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-10-30Rollup merge of #117317 - RalfJung:track-caller, r=oli-obkGuillaume Gomez-4/+4
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-4/+4
2023-10-25Evaluate computed values to constants.Camille GILLOT-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-15separate bounds-check from alignment checkRalf Jung-7/+8
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-9/+1