mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Reuse the ty::Const: Stable impl

Browse Source
This commit is contained in:
Oli Scherer 2023-08-29 15:12:20 +00:00
parent 3a736a747d
commit 03b03f9fee
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_smir/src/rustc_smir/mod.rs
View File

@ -10,7 +10,7 @@
use crate::rustc_internal::{self, opaque}; use crate::rustc_internal::{self, opaque};
use crate::stable_mir::mir::{CopyNonOverlapping, UserTypeProjection, VariantIdx}; use crate::stable_mir::mir::{CopyNonOverlapping, UserTypeProjection, VariantIdx};
use crate::stable_mir::ty::{ use crate::stable_mir::ty::{
allocation_filter, new_allocation, Const, FloatTy, GenericParamDef, IntTy, Movability, RigidTy, allocation_filter, new_allocation, FloatTy, GenericParamDef, IntTy, Movability, RigidTy,
TyKind, UintTy, TyKind, UintTy,
}; };
use crate::stable_mir::{self, Context}; use crate::stable_mir::{self, Context};
@ -205,8 +205,7 @@ impl<'tcx> Stable<'tcx> for mir::Rvalue<'tcx> {
match self { match self {
Use(op) => stable_mir::mir::Rvalue::Use(op.stable(tables)), Use(op) => stable_mir::mir::Rvalue::Use(op.stable(tables)),
Repeat(op, len) => { Repeat(op, len) => {
let cnst = ConstantKind::from_const(*len, tables.tcx); let len = len.stable(tables);
let len = Const { literal: cnst.stable(tables) };
stable_mir::mir::Rvalue::Repeat(op.stable(tables), len) stable_mir::mir::Rvalue::Repeat(op.stable(tables), len)
} }
Ref(region, kind, place) => stable_mir::mir::Rvalue::Ref( Ref(region, kind, place) => stable_mir::mir::Rvalue::Ref(
@ -394,8 +393,7 @@ impl<'tcx> Stable<'tcx> for ty::TermKind<'tcx> {
match self { match self {
ty::TermKind::Ty(ty) => TermKind::Type(tables.intern_ty(*ty)), ty::TermKind::Ty(ty) => TermKind::Type(tables.intern_ty(*ty)),
ty::TermKind::Const(cnst) => { ty::TermKind::Const(cnst) => {
let cnst = ConstantKind::from_const(*cnst, tables.tcx); let cnst = cnst.stable(tables);
let cnst = Const { literal: cnst.stable(tables) };
TermKind::Const(cnst) TermKind::Const(cnst)
} }
} }