about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2023-02-18Stop implementing _with_overflow intrinsics in codegen backends.Camille GILLOT-11/+0
2023-02-18Adapt interpreter.Camille GILLOT-3/+1
2023-02-16Auto merge of #108096 - matthiaskrgr:rollup-ncexzf6, r=matthiaskrgrbors-16/+16
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-16/+16
2023-02-14Make permit_uninit/zero_init fallibleMichael Goulet-2/+8
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-2/+2
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-2/+2