summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2024-06-05Update the interpreter to handle the new casesBen Kimock-9/+22
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-2/+4
2024-05-04some comments or dynamic drop handlingRalf Jung-0/+6
2024-05-04interpret: Drop: always evaluate placeRalf Jung-6/+3
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-2/+16
2024-04-23Rollup merge of #124220 - RalfJung:interpret-wrong-vtable, r=oli-obkMatthias Krüger-10/+10
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-10/+10
2024-04-16Add simple async drop glue generationzetanumbers-0/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-1/+1
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