about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1073/+0
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-2/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-20/+11
2024-07-28step cfg(bootstrap)Mark Rousskov-2/+1
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-11/+6
2024-07-07Fixup conflict with r-l/r/126567Maybe Lapkin-1/+1
2024-07-07Do renames proposed by reviewMaybe Waffle-2/+2
2024-07-07make `StackPop` field names less confusingMaybe Waffle-5/+6
2024-07-07doc fixups from reviewMaybe Waffle-5/+3
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+4
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-34/+48
2024-07-07Refactor common part of evaluating `Call`&`TailCall` in the interpreterMaybe Waffle-63/+56
2024-07-07Support tail calls in the interpreterMaybe Waffle-1/+71
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+2
2024-07-02Fix spansMichael Goulet-0/+1
2024-07-02Miscellaneous renamingMichael Goulet-3/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-18/+18
2024-06-10interpret: refactor dyn trait handlingRalf Jung-19/+18
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