about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/intrinsics.rs
AgeCommit message (Expand)AuthorLines
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
2022-03-06use singed_int_max/min helper methodsRalf Jung-7/+4
2022-03-06move saturating_add/sub into (pub) helper methodRalf Jung-39/+48
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-1/+1
2022-03-01Miri/CTFE: properly treat overflow in (signed) division/rem as UBRalf Jung-9/+3
2021-12-12Rollup merge of #91814 - japm48:spelling-fix, r=RalfJungMatthias Krüger-1/+1
2021-12-12doc: fix typo in commentsjapm48-1/+1
2021-12-11Rollup merge of #90081 - woppopo:const_write_bytes, r=oli-obkMatthias Krüger-0/+24
2021-11-29CTFE: support assert_zero_valid and assert_uninit_validRalf Jung-1/+25
2021-11-24Make `intrinsics::write_bytes` constwoppopo-0/+24
2021-11-20Revert "require full validity when determining the discriminant of a value"Ralf Jung-6/+0
2021-11-20Rollup merge of #90999 - RalfJung:miri_simd, r=oli-obkMatthias Krüger-31/+16
2021-11-18fix CTFE/Miri simd_insert/extract on array-style repr(simd) typesRalf Jung-31/+16
2021-11-14require full validity when determining the discriminant of a valueRalf Jung-0/+6
2021-09-14Remove implementation of `min_align_of` intrinsicTomasz Miąsko-7/+2
2021-09-12Auto merge of #88839 - nbdd0121:alignof, r=nagisabors-5/+2
2021-09-13Introduce NullOp::AlignOfGary Guo-5/+2
2021-09-09Rename `(un)signed` to `(un)signed_int`Andreas Liljeqvist-1/+1
2021-09-09Move `unsigned_max` etc into `Size` againAndreas Liljeqvist-5/+3
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-1/+1
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+585