about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-47/+55
2024-07-26Rollup merge of #127950 - nnethercote:rustfmt-skip-on-use-decls, r=cuviperMatthias Krüger-0/+2
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-41/+95
2024-07-19Use `#[rustfmt::skip]` on some `use` groups to prevent reordering.Nicholas Nethercote-0/+2
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-41/+95
2024-07-16Rollup merge of #126776 - nnethercote:rustfmt-use-pre-cleanups-2, r=cuviperTrevor Gross-1/+0
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-1/+0
2024-07-16Auto merge of #127638 - adwinwhite:cache_string, r=oli-obkbors-1/+13
2024-07-15Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obkMatthias Krüger-15/+18
2024-07-14Add cache for `allocate_str`Adwin White-1/+13
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-80/+249
2024-07-07Fixup conflict with r-l/r/126567Maybe Lapkin-1/+1
2024-07-07add an assertion that machine hook doesn't return NoCleanupMaybe Lapkin-3/+5
2024-07-07Do renames proposed by reviewMaybe Waffle-9/+9
2024-07-07make `StackPop` field names less confusingMaybe Waffle-27/+35
2024-07-07doc fixups from reviewMaybe Waffle-8/+6
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+4
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-70/+162
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-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-15/+18
2024-07-06Rollup merge of #127275 - RalfJung:offset-from-isize-min, r=AmanieuMatthias Krüger-2/+2
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-7/+9
2024-07-04offset_from: "the difference must fit in an isize" is a corollaryRalf Jung-2/+2
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-4/+4
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-07-02Fix spansMichael Goulet-0/+1
2024-07-02Miscellaneous renamingMichael Goulet-3/+2
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-7/+9
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-06-27Enable const casting for `f16` and `f128`Trevor Gross-10/+17
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-7/+9
2024-06-21Rollup merge of #126787 - Strophox:get-bytes, r=RalfJungJubilee-0/+17
2024-06-21Auto merge of #125853 - tesuji:promote-fail-fast, r=cjgillotbors-6/+6
2024-06-21interpret: use trace to reduce noiceLzu Tao-6/+6
2024-06-21add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r...Strophox-0/+17
2024-06-20More GVN for PtrMetadataScott McMurray-1/+1
2024-06-19`bug!` more uses of these in runtime stuffScott McMurray-3/+1
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-5/+3
2024-06-19Rollup merge of #126493 - jswrenn:fix-126460, r=compiler-errors许杰友 Jieyou Xu (Joe)-1/+10
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-21/+21
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-6/+15
2024-06-15Rollup merge of #126429 - tgross35:f16-f128-const-eval, r=RalfJungMatthias Krüger-6/+15
2024-06-15Rollup merge of #126469 - RalfJung:mir-shifts, r=scottmcmMatthias Krüger-12/+7
2024-06-14safe transmute: support non-ZST, variantful, uninhabited enumsJack Wrenn-1/+10
2024-06-14Make the unary operator `FloatTy` check exhaustiveTrevor Gross-6/+9
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-2/+8
2024-06-14Rollup merge of #126426 - RalfJung:dangling-zst-ice, r=oli-obkMatthias Krüger-5/+11