about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2022-07-20add intrinsic to access vtable size and alignRalf Jung-0/+12
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-20/+20
2022-07-19Auto merge of #99309 - RalfJung:no-large-copies, r=oli-obkbors-2/+5
2022-07-18interpret: make some large types not CopyRalf Jung-2/+5
2022-07-17Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obkbors-29/+27
2022-07-14Use constant eval to do strict validity checks5225225-29/+27
2022-07-14Remove comment referring to constness.rsDaniel Bevenius-2/+0
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-2/+2
2022-07-06deduplicate some copy_op codeRalf Jung-5/+9
2022-07-04interpret: fix CheckedBinOp behavior when overflow checking is disabledRalf Jung-1/+3
2022-06-09interpret: unify offset_from check with offset checkRalf Jung-67/+70
2022-06-04tweak some bug!sRalf Jung-3/+3
2022-05-24Add flag for stricter checks on uninit/zeroed5225225-3/+11
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-2/+3
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-11Apply CR suggestions; add real tracking issueScott McMurray-0/+2
2022-05-11Add a debug check for ordering, and check for isize overflow in CTFEScott McMurray-3/+10
2022-05-11Add `unsigned_offset_from` on pointersScott McMurray-5/+19
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-1/+1
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-1/+1
2022-04-03tweak some function namesRalf Jung-1/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-8/+8
2022-03-31audit check_mul uses in interpretRalf Jung-1/+7
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-1/+3
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+3
2022-03-10adjust offset_from logic: check that both pointers are in-boundsRalf Jung-38/+42
2022-03-07Rollup merge of #94685 - RalfJung:saturating, r=oli-obkMatthias Krüger-39/+45