summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-12/+5
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-12/+5
2023-07-25interpret: make read functions generic over operand typeRalf Jung-8/+8
2023-07-25interpret: make write functions generic over the place typeRalf Jung-1/+1
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-2/+3
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-3/+3
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-5/+6
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-6/+5
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+9
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-1/+1
2023-06-19Remove unchecked_add/sub/mul/shl/shr from CTFE/cg_ssa/cg_clifScott McMurray-31/+0
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-2/+2
2023-06-02Rollup merge of #112168 - scottmcm:lower-div-rem-unchecked-to-mir, r=oli-obkMichael Goulet-5/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-32/+43