about summary refs log tree commit diff
path: root/compiler/stable_mir
AgeCommit message (Expand)AuthorLines
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-8/+18
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-1/+7
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-0/+2
2024-04-20Add a non-shallow fake borrowNadrieril-8/+18
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+7
2024-04-10Rollup merge of #123659 - celinval:smir-fix-intrinsic, r=oli-obkGuillaume Gomez-1/+10
2024-04-09Rollup merge of #123655 - celinval:smir-fix-binop-ty, r=compiler-errorsMatthias Krüger-37/+6
2024-04-08Add support to intrinsics fallback bodyCelina G. Val-1/+10
2024-04-08Remove unimplemented!() from BinOp::ty() functionCelina G. Val-37/+6
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+8
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-1/+1
2024-04-03rename `expose_addr` to `expose_provenance`joboet-0/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+4
2024-03-28Normalize the result of Fields::ty_with_argsCelina G. Val-2/+2
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+4
2024-03-23Rollup merge of #122762 - RoboSchmied:RoboSchmied-typo, r=workingjubileeJubilee-3/+3
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-8/+2
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+7
2024-03-21Rollup merge of #122801 - celinval:smir-pretty, r=compiler-errorsMatthias Krüger-341/+232
2024-03-20s/place_debug/place_pretty in SMIRCelina G. Val-2/+2
2024-03-20Enable users to dump the body of an instanceCelina G. Val-1/+8
2024-03-20Improve emit stable mir bodyCelina G. Val-341/+225
2024-03-20Update target.rs alloc.rs event.rs simd.rsRoboSchmied-3/+3
2024-03-20resolve clippy errorsonur-ozkan-4/+4
2024-03-14Rollup merge of #122405 - celinval:smir-new-const, r=oli-obkMatthias Krüger-5/+39
2024-03-13Rollup merge of #122426 - celinval:smir-fix-full, r=oli-obkMatthias Krüger-1/+1
2024-03-13Fix StableMIR is_full computationCelina G. Val-1/+1
2024-03-13Rollup merge of #122203 - adpaco-aws:smir-intrinsic-name, r=celinvalMatthias Krüger-0/+12
2024-03-12Add `intrinsic_name` to get plain intrinsic nameAdrian Palacios-0/+12
2024-03-12Add methods to create constantsCelina G. Val-5/+39
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+8
2024-03-01Add support to new float typesCelina G. Val-4/+24
2024-03-01Implement missing ABI structures in StableMIRCelina G. Val-10/+177
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-1/+0
2024-02-24compiler: use `addr_of!`Pavel Grigorenko-1/+1
2024-02-17Merge `CompilerError::CompilationFailed` and `CompilerError::ICE`.Nicholas Nethercote-8/+4
2024-02-15Rollup merge of #120982 - momvart:smir-61-foreign_kind, r=oli-obkMatthias Krüger-5/+51
2024-02-14Rewrite foreign item kind query using `DefKind`Mohammad Omidvar-2/+2
2024-02-12Add APIs for fetching foreign items including foreign modules, their ABIs, an...Mohammad Omidvar-5/+51
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+3
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-2/+0
2024-01-25Remove unused featuresclubby789-1/+0
2024-01-19Make the remaining "private" fields actually privateOli Scherer-2/+2
2024-01-12Rollup merge of #119877 - celinval:smir-visit-projection, r=oli-obkGuillaume Gomez-19/+38
2024-01-11Add more information to `visit_projection_elem`Celina G. Val-19/+38
2024-01-09Fix all_trait* methods to return all trait availableCelina G. Val-11/+32
2023-12-28Restore movability to SMIRMichael Goulet-8/+13