about summary refs log tree commit diff
path: root/compiler/rustc_smir/src
AgeCommit message (Expand)AuthorLines
2024-04-09Rollup merge of #123655 - celinval:smir-fix-binop-ty, r=compiler-errorsMatthias Krüger-2/+43
2024-04-08Remove unimplemented!() from BinOp::ty() functionCelina G. Val-2/+43
2024-04-08Actually create ranged int types in the type system.Oli Scherer-2/+35
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+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/+1
2024-03-28Normalize the result of Fields::ty_with_argsCelina G. Val-1/+4
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+1
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-7/+1
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-0/+12
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-0/+12
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-4/+3
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-20s/place_debug/place_pretty in SMIRCelina G. Val-1/+1
2024-03-20Improve emit stable mir bodyCelina G. Val-4/+59
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-2/+2
2024-03-14preserve span when evaluating mir::ConstOperandRalf Jung-1/+1
2024-03-14Rollup merge of #122405 - celinval:smir-new-const, r=oli-obkMatthias Krüger-7/+51
2024-03-13Rollup merge of #122203 - adpaco-aws:smir-intrinsic-name, r=celinvalMatthias Krüger-0/+10
2024-03-12Add `intrinsic_name` to get plain intrinsic nameAdrian Palacios-0/+10
2024-03-12Add methods to create constantsCelina G. Val-7/+51
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-2/+2
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+7
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-3/+5
2024-03-01Add support to new float typesCelina G. Val-4/+7
2024-03-01Implement missing ABI structures in StableMIRCelina G. Val-7/+59
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-2/+0
2024-02-24Implement asm goto in MIR and MIR loweringGary Guo-1/+2
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-2/+3
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-2/+1
2024-02-17Merge `CompilerError::CompilationFailed` and `CompilerError::ICE`.Nicholas Nethercote-2/+8
2024-02-15Rollup merge of #120982 - momvart:smir-61-foreign_kind, r=oli-obkMatthias Krüger-33/+105
2024-02-14Rewrite foreign item kind query using `DefKind`Mohammad Omidvar-21/+13
2024-02-12Add APIs for fetching foreign items including foreign modules, their ABIs, an...Mohammad Omidvar-33/+113
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+1
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-1/+1
2024-02-06Bless tests, add commentsMichael Goulet-2/+2
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+1
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+4
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-3/+0
2024-01-22Do not normalize closure signature when building FnOnce shimMichael Goulet-1/+4
2024-01-19Use the new `with_tables` everywhereOli Scherer-145/+127
2024-01-19Ensure internal function is safeCelina G. Val-198/+294
2024-01-19Fix `Stable` trait and its impls to work with the new `with_tables`Oli Scherer-129/+136
2024-01-19Fix a soundness bug in `with_tables`.Oli Scherer-2/+2
2024-01-18Rollup merge of #119833 - celinval:smir-accept-closures, r=oli-obkMatthias Krüger-16/+106