summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operand.rs
AgeCommit message (Expand)AuthorLines
2024-08-24interpret: ImmTy: tighten sanity checks in offset logicRalf Jung-6/+15
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+1
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-9/+8
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-9/+9
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/+21
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+4
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-2/+22
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-1/+1
2024-04-18interpret/binary_int_op: avoid dropping to raw ints until we determined the signRalf Jung-2/+22
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-3/+3
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+7
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+1
2024-03-09remove some frame parameters that are no longer neededRalf Jung-7/+7
2024-03-09interpret: ensure that Place is never used for a different frameRalf Jung-2/+3
2024-02-12Dejargnonize substShoyu Vanilla-5/+7
2024-01-26add test for GVN issue; cleanup in dataflow_const_propRalf Jung-1/+5
2024-01-23const prop nonsense eliminatedOli Scherer-5/+1
2023-12-07avoid marking as immutable what is already immutableRalf Jung-0/+11
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-13/+15
2023-10-25Evaluate computed values to constants.Camille GILLOT-0/+10
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-4/+5
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-37/+23
2023-10-15avoid re-checking the offset while iterating an array/sliceRalf Jung-2/+5
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-1/+11
2023-10-03print normalized tyouz-a-10/+15
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-10/+20
2023-09-21Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obkGuillaume Gomez-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-1/+1
2023-09-20stronger consistency check in ImmTy::from_immediateRalf Jung-3/+11
2023-09-20interpret: less debug-printing of typesRalf Jung-6/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-1/+7
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-15/+18
2023-09-19move ConstValue into mirRalf Jung-8/+7
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-53/+4
2023-09-15make interpreter type Debug impl independent of Ty debug implRalf Jung-2/+10
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-53/+4
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-1/+1
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-3/+2
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-53/+69
2023-08-30a bit of meta-related cleanup on ProjectableRalf Jung-5/+5
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-18/+25
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-34/+22
2023-08-29const_eval and codegen: audit uses of is_zstRalf Jung-0/+1