summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2024-03-09remove some frame parameters that are no longer neededRalf Jung-1/+1
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-22/+48
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-10/+2
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-3/+3
2024-03-05only set noalias on Box with the global allocatorRalf Jung-8/+2
2024-03-04consistently use MPlaceTy for return placesRalf Jung-3/+3
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-10/+2
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-15Split a bool argument into two named functionsOli Scherer-1/+1
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-6/+1
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-1/+1
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+1
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-0/+1
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-6/+1
2024-02-02miri: normalize struct tail in ABI compat checkLukas Markeffsky-1/+5
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-4/+4
2023-12-11Auto merge of #118032 - RalfJung:char-u32, r=Mark-Simulacrumbors-0/+2
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-3/+3
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-18guarantee that char and u32 are ABI-compatibleRalf Jung-0/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-8/+1
2023-10-14const-eval: allow calling functions with targat features disabled at compile ...Eduardo Sánchez Muñoz-4/+6
2023-09-20interpret: less debug-printing of typesRalf Jung-6/+3
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-8/+6
2023-09-12add helper method for finding the one non-1-ZST fieldRalf Jung-32/+7
2023-09-09handle/hack for arbitrary-self dyn receiversRalf Jung-32/+44
2023-09-09implement and test ABI compatibility for transparent wrappers around NPO typesRalf Jung-14/+27
2023-09-09implement and test fn ptr ABI compatibility rulesRalf Jung-2/+7
2023-09-09give extra context to ABI mismatch errorsRalf Jung-14/+8
2023-09-09interpret: change ABI-compat test to be type-based, so the test is consistent...Ralf Jung-50/+125
2023-09-08turns out Layout has some more things to worry about -- move ABI comparison i...Ralf Jung-6/+2
2023-09-08accept some differences for rustc_abi(assert_eq), so that we can test more th...Ralf Jung-60/+10
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-3/+3
2023-08-31miri ABI check: fix handling of 1-ZST; don't accept sign differencesRalf Jung-24/+23
2023-08-30miri function ABI check: specifically look for repr(transparent)Ralf Jung-71/+102
2023-08-30interpret: make sure we accept transparent newtypes as ABI-compatibleRalf Jung-16/+36
2023-08-30unify passing of sized and unsized function arguments :-)Ralf Jung-25/+9
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-36/+77
2023-08-29const_eval and codegen: audit uses of is_zstRalf Jung-4/+4
2023-08-28Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naberbors-15/+29
2023-08-24miri ABI compatibility check: accept u32 and i32Ralf Jung-15/+29
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+2
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-2/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-9/+1
2023-08-04interpret: add mplace_to_ref helper methodRalf Jung-4/+1
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-1/+1