summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operator.rs
AgeCommit message (Expand)AuthorLines
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-17/+20
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-1/+1
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-1/+16
2024-09-11miri: fix overflow detection for unsigned pointer offsetRalf Jung-1/+8
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-1/+1
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-1/+36
2024-08-01fix the way we detect overflow for inbounds arithmetic (and tweak the error m...Ralf Jung-8/+14
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-5/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+1
2024-07-28step cfg(bootstrap)Mark Rousskov-5/+1
2024-06-20More GVN for PtrMetadataScott McMurray-1/+1
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-6/+15
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-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-12/+7
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-14/+15
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+4
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-4/+24
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-22clarify commentRalf Jung-1/+3
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-158/+79
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-1/+2
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-4/+4
2024-04-18interpret/binary_int_op: avoid dropping to raw ints until we determined the signRalf Jung-54/+59
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+18
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-19Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillotMichael Goulet-28/+26
2023-11-15Re-format code with new rustfmtMark Rousskov-3/+2
2023-11-12interpret: simplify handling of shifts by no longer trying to handle signed a...Ralf Jung-28/+26
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+10
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-2/+2
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+1
2023-10-08miri: make NaN generation non-deterministicRalf Jung-5/+10
2023-09-20interpret: less debug-printing of typesRalf Jung-12/+9
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-62/+64
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-3/+2
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-22/+44
2023-04-28share BinOp::Offset between CTFE and MiriRalf Jung-1/+25
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-8/+0
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-1/+1
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-2/+0
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-9/+9
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-21/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 15:47:37 +0000