summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+28
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+1
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-1/+1
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-16/+4
2024-10-31`ConstCx` stop using `ParamEnv::reveal`lcnr-6/+17
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+23
2024-10-05clarify semantics of ConstantIndex MIR projectionRalf Jung-2/+4
2024-09-24update doc commentLukas Markeffsky-2/+4
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-2/+11
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-2/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-13ProjectionElem and UnOp/BinOp dont need to be PartialOrd/OrdMichael Goulet-3/+3
2024-09-03explain why Rvalue::Len still existsRalf Jung-0/+3
2024-08-21fix comment on PlaceMention semanticsRalf Jung-1/+1
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-4/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-15/+11
2024-07-07Fix conflicts after rebaseMaybe Lapkin-1/+1
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+31
2024-06-21Save 2 pointers in `TerminatorKind` (96 → 80 bytes)Scott McMurray-4/+4
2024-06-20More GVN for PtrMetadataScott McMurray-2/+4
2024-06-19Ban `ArrayToPointer` and `MutToConstPointer` from runtime MIRScott McMurray-2/+11
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-4/+7
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-2/+4
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-4/+7
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-0/+7
2024-05-27MIR validation: ensure that downcast projection is followed by field projectionRalf Jung-2/+2
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-8/+11
2024-05-15MIR operators: clarify Shl/Shr handling of negative offsetsRalf Jung-2/+6
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-10/+61
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-0/+15
2024-04-20Fix documentation of `BorrowKind::Fake`Nadrieril-3/+3
2024-04-20Add a non-shallow fake borrowNadrieril-11/+62
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-16Move size assertions for `mir::syntax` types into the same fileZalathar-0/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-1/+1
2024-04-03rename `expose_addr` to `expose_provenance`joboet-2/+2
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-2/+2
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+10
2024-03-27Eliminate `UbCheck` for non-standard librariesDianQK-2/+2
2024-03-24Address PR feedbackScott McMurray-0/+8
2024-03-24Rollup merge of #122937 - Zalathar:unbox, r=oli-obkMatthias Krüger-7/+2
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+2
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-10/+3
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-1/+1
2024-03-23Unbox and unwrap the contents of `StatementKind::Coverage`Zalathar-7/+2
2024-03-22coverage: Clean up marker statements that aren't needed laterZalathar-0/+1