summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2023-09-20Auto merge of #115827 - eduardosm:miri-sse-reduce-code-dup, r=RalfJungbors-4/+18
2023-09-19move ConstValue into mirRalf Jung-159/+5
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-17/+63
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-1/+1
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-1/+1
2023-09-16miri: reduce code duplication in SSE/SSE2 bin_op_* functionsEduardo Sánchez Muñoz-4/+8
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-13/+40
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-8/+27
2023-09-14fix clippy (and MIR printing) handling of ConstValue::Indirect slicesRalf Jung-1/+52
2023-09-14don't force all slice-typed ConstValue to be ConstValue::SliceRalf Jung-18/+7
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-7/+8
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-6/+8
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-3/+7
2023-09-13rustc_middle: add `Scalar::from_i8` and `Scalar::from_i16` and use them in MiriEduardo Sánchez Muñoz-0/+10
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-0/+2
2023-09-09give extra context to ABI mismatch errorsRalf Jung-7/+12
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-0/+2
2023-08-09Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-0/+3
2023-08-09Convert Const to Allocation in smirouz-a-0/+3
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-2/+0
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-60/+77
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-2/+2
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-60/+77
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-2/+2
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-2/+2
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-13/+9
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-7/+2
2023-07-25Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnrbors-3/+1
2023-07-25Make everything builtin!Michael Goulet-3/+1
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-1/+9
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-2/+6
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-3/+2
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-8/+23
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-22/+8
2023-07-21support non-null pointer niches in CTFEMoulins-1/+0
2023-07-17Auto merge of #113562 - saethlin:larger-incr-comp-offset, r=nnethercotebors-2/+2
2023-07-14Use u64 for incr comp allocation offsetsBen Kimock-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-13/+13
2023-06-26Make simd_shuffle_indices use valtreesOli Scherer-17/+9
2023-06-14add InlineConst checkJames Dietz-1/+4
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-0/+9
2023-06-01improve debug message by eagerly translatingDeadbeef-13/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-265/+254
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-7/+0
2023-05-17Finish move of query.rsJohn Kåre Alsaker-2/+4
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-10/+44
2023-05-04Rollup merge of #110943 - RalfJung:interpret-unsized-arg-ice, r=oli-obkDylan DPC-0/+4
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-0/+4
2023-04-26Remove QueryEngine traitJohn Kåre Alsaker-1/+3