about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2023-06-01remove unchecked_div/_rem from ctfeScott McMurray-5/+1
2023-04-25Lower `intrinsics::offset` to `mir::BinOp::Offset`Scott McMurray-8/+0
2023-04-18Store hashes in special types so they aren't accidentally encoded as numbersBen Kimock-1/+1
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-4/+0
2023-03-04Rollup merge of #108669 - Nilstrieb:query-my-uninitness, r=compiler-errorsDylan DPC-0/+1
2023-03-03Don't put integers into backticks during formattingest31-2/+2
2023-03-03Match end user facing unmatched backticks in compiler/est31-1/+1
2023-03-02Allow checking whether a type allows being uninitializedNilstrieb-0/+1
2023-02-27Unify all validity check intrinsicsNilstrieb-48/+26
2023-02-27Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errorsMatthias Krüger-3/+6
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-23Unify validity checks into a single queryNilstrieb-3/+6