about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-3/+1
2022-12-22Auto merge of #106023 - JohnTitor:rollup-k8mettz, r=JohnTitorbors-4/+4
2022-12-22Rollup merge of #105602 - RalfJung:read-convenience, r=oli-obkYuki Okushi-4/+4
2022-12-21Auto merge of #105613 - Nilstrieb:rename-assert_uninit_valid, r=RalfJungbors-2/+4
2022-12-13Combine identical alias armsMichael Goulet-5/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Rename `assert_uninit_valid` intrinsicNilstrieb-2/+4
2022-12-12interpret: add read_machine_[ui]size convenience methodsRalf Jung-4/+4
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-2/+0
2022-11-19constify `exact_div` intrinsicLukas Markeffsky-0/+5
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-2/+3
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-10-31interpret: move type_name implementation to an interpreter-independent helper...Ralf Jung-3/+11
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-08bound variables during ctfe are a buglcnr-1/+1
2022-09-06Move CTFE handling of nondiverging intrinsics to intrinsics.rsOli Scherer-1/+27
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-6/+0
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-4/+17
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-6/+6
2022-07-24interpret, ptr_offset_from: refactor and test too-far-apart checkRalf Jung-24/+48