summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2022-10-20interpret: remove an incorrect assertionRalf Jung-1/+0
2022-09-03Add a Machine hook for inline assemblyBen Kimock-2/+11
2022-08-31Fix a bunch of typoDezhi Wu-2/+2
2022-08-27Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3bors-6/+4
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-2/+1
2022-08-26Move `ArgAbi::pad_i32` into `PassMode::Cast`.Nicholas Nethercote-4/+2
2022-08-26Turn `ArgAbi::pad` into a `bool`.Nicholas Nethercote-1/+1
2022-08-26Box `CastTarget` within `PassMode`.Nicholas Nethercote-2/+2
2022-07-30interpret: only consider 1-ZST when searching for receiverRalf Jung-1/+3
2022-07-26Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obkYuki Okushi-2/+2
2022-07-24don't ICE on invalid dyn callsRalf Jung-2/+2
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-1/+1
2022-07-22interpret: fix vtable check debug assertionRalf Jung-2/+1
2022-07-20detect bad vptrs on dyn callsRalf Jung-15/+46
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-1/+1
2022-07-20make use of symbolic vtables in interpreterRalf Jung-5/+11
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-7/+7
2022-07-18interpret: make some large types not CopyRalf Jung-2/+2
2022-07-14rename MPlaceTy::dangling to fake_alloc_zstRalf Jung-1/+1
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-4/+2
2022-07-11interpret: refactor projection handling codeRalf Jung-1/+1
2022-07-06deduplicate some copy_op codeRalf Jung-1/+1
2022-07-06support passing unsized fn argumentsRalf Jung-3/+33
2022-06-05interpret: do not claim UB until we looked more into variadic functionsRalf Jung-6/+1
2022-05-25Miri call ABI check: ensure type size+align stay the sameRalf Jung-1/+8
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-18/+31
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-2/+2
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-1/+1
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-2/+5
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-2/+5
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-18Miri: implement arbitrary-self dyn receiversRalf Jung-15/+40
2022-03-03CTFE SwitchInt: update commentRalf Jung-1/+2
2022-02-19rustc_const_eval: adopt let else in more placesest31-4/+3
2021-12-20don't ICE on variadic function callsRalf Jung-2/+9
2021-12-20also compare ArgAttributesRalf Jung-29/+38
2021-12-20compare calling convention instead of call ABIRalf Jung-37/+9
2021-12-20CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibilityRalf Jung-104/+168
2021-12-09Remove redundant [..]sest31-1/+1
2021-11-06use matches!() macro in more placesMatthias Krüger-4/+2
2021-10-12Add const_eval_select intrinsicDeadbeef-1/+1
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-7/+4
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+517