about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/operator.rs
AgeCommit message (Expand)AuthorLines
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+1
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-6/+6
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-3/+3
2024-10-14De-duplicate and move `adjust_nan` to `InterpCx`Eduardo Sánchez Muñoz-2/+1
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