about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
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
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-12/+7
2024-06-14const validation: fix ICE on dangling ZST referenceRalf Jung-5/+11
2024-06-13const-eval: make lint scope computation consistentRalf Jung-17/+10
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-4/+4
2024-06-13Rollup merge of #126379 - RalfJung:find_closest_untracked_caller_location, r=...León Orell Valerian Liehr-3/+7
2024-06-13interpret: update doc comment for find_closest_untracked_caller_locationRalf Jung-3/+7
2024-06-12Rollup merge of #126358 - jswrenn:fix-125811, r=compiler-errorsJubilee-4/+1
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-3/+3
2024-06-13safe transmute: support `Variants::Single` enumsJack Wrenn-4/+1
2024-06-12use is_none_or in some places in the compilerRalf Jung-3/+3
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-116/+129
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-26/+29
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-4/+36
2024-06-11check for correct trait in size_and_align_ofRalf Jung-5/+8
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-6/+9
2024-06-10interpret: refactor dyn trait handlingRalf Jung-112/+90
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-25/+23
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-6/+9
2024-06-08offset_of: allow (unstably) taking the offset of slice tail fieldsRalf Jung-1/+4
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-5/+3
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-2/+4
2024-06-05Update the interpreter to handle the new casesBen Kimock-9/+22
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-2/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-24/+50
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-5/+25
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-24/+50
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-191/+162