about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2023-10-08miri: make NaN generation non-deterministicRalf Jung-0/+6
2023-09-30dont call mir.post_mono_checks in codegenRalf Jung-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-7/+7
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-7/+7
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-1/+1
2023-09-19move ConstValue into mirRalf Jung-4/+2
2023-09-11Use write_immediate.Camille GILLOT-2/+2
2023-09-11Return ImmTy in discriminant_for_variant.Camille GILLOT-1/+1
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-10/+6
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-0/+22
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-1/+1
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-1/+1
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-2/+2