about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-2/+4
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
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+10
2024-02-24Implement asm goto in MIR and MIR loweringGary Guo-0/+4
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-3/+4
2024-02-18By tracking import use types to check whether it is scope uses or the other s...surechen-1/+1
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+2
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-0/+2
2024-01-19Pack the u128 in SwitchTargetsJosh Stone-1/+2
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-2/+1
2023-11-12interpret: simplify handling of shifts by no longer trying to handle signed a...Ralf Jung-4/+4
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-2/+2
2023-10-31Enums in offset_of: update based on est31, scottmcm & llogiq reviewGeorge Bateman-2/+2
2023-10-31Support enum variants in offset_of!George Bateman-2/+2
2023-10-20s/generator/coroutine/Oli Scherer-15/+15
2023-10-20s/Generator/Coroutine/Oli Scherer-12/+12
2023-10-18coverage: Update docs for `StatementKind::Coverage`Zalathar-5/+10
2023-10-18coverage: Store all of a function's mappings in function coverage infoZalathar-2/+1
2023-10-15update MIR place semantics UB commentRalf Jung-12/+9
2023-10-06Rollup merge of #116329 - RalfJung:swap-comments, r=scottmcmGuillaume Gomez-1/+1
2023-10-03Auto merge of #115301 - Zalathar:regions-vec, r=davidtwcobors-1/+1
2023-10-03coverage: Let each coverage statement hold a vector of code regionsZalathar-1/+1
2023-10-02have better explanation for `relate_types`ouz-a-1/+4