clean up, use opaque types

Author: ouz-a

compiler/rustc_smir/src/rustc_smir/mod.rs

@@ -8,7 +8,7 @@
 //! For now, we are developing everything inside `rustc`, thus, we keep this module private.
 
 use crate::rustc_internal::{self, opaque};
-use crate::stable_mir::mir::{CopyNonOverlapping, UserTypeProjection};
+use crate::stable_mir::mir::{CopyNonOverlapping, UserTypeProjection, VariantIdx};
 use crate::stable_mir::ty::{FloatTy, IntTy, Movability, RigidTy, TyKind, UintTy};
 use crate::stable_mir::{self, Context};
 use rustc_hir as hir;
@@ -130,16 +130,11 @@ impl<'tcx> Stable<'tcx> for mir::Statement<'tcx> {
             }
             PlaceMention(place) => stable_mir::mir::Statement::PlaceMention(place.stable(tables)),
             AscribeUserType(place_projection, variance) => {
-                stable_mir::mir::Statement::AscribeUserType(
-                    (
-                        place_projection.as_ref().0.stable(tables),
-                        UserTypeProjection {
-                            base: place_projection.as_ref().1.base.stable(tables),
-                            projection: format!("{:?}", place_projection.as_ref().1.projs),
-                        },
-                    ),
-                    variance.stable(tables),
-                )
+                stable_mir::mir::Statement::AscribeUserType {
+                    place: place_projection.as_ref().0.stable(tables),
+                    projections: place_projection.as_ref().1.stable(tables),
+                    variance: variance.stable(tables),
+                }
             }
             Coverage(coverage) => stable_mir::mir::Statement::Coverage(stable_mir::mir::Coverage {
                 kind: coverage.kind.stable(tables),
@@ -398,13 +393,11 @@ impl<'tcx> Stable<'tcx> for mir::FakeReadCause {
         use mir::FakeReadCause::*;
         match self {
             ForMatchGuard => stable_mir::mir::FakeReadCause::ForMatchGuard,
-            ForMatchedPlace(local_def_id) => stable_mir::mir::FakeReadCause::ForMatchedPlace(
-                local_def_id.map(|id| id.to_def_id().index.index()),
-            ),
+            ForMatchedPlace(local_def_id) => {
+                stable_mir::mir::FakeReadCause::ForMatchedPlace(opaque(local_def_id))
+            }
             ForGuardBinding => stable_mir::mir::FakeReadCause::ForGuardBinding,
-            ForLet(local_def_id) => stable_mir::mir::FakeReadCause::ForLet(
-                local_def_id.map(|id| id.to_def_id().index.index()),
-            ),
+            ForLet(local_def_id) => stable_mir::mir::FakeReadCause::ForLet(opaque(local_def_id)),
             ForIndex => stable_mir::mir::FakeReadCause::ForIndex,
         }
     }
@@ -447,22 +440,30 @@ impl<'tcx> Stable<'tcx> for mir::coverage::CoverageKind {
             CoverageKind::Counter { function_source_hash, id } => {
                 stable_mir::mir::CoverageKind::Counter {
                     function_source_hash: *function_source_hash as usize,
-                    id: id.as_usize(),
+                    id: opaque(id),
                 }
             }
             CoverageKind::Expression { id, lhs, op, rhs } => {
                 stable_mir::mir::CoverageKind::Expression {
-                    id: id.as_usize(),
-                    lhs: lhs.as_usize(),
+                    id: opaque(id),
+                    lhs: opaque(lhs),
                     op: op.stable(tables),
-                    rhs: rhs.as_usize(),
+                    rhs: opaque(rhs),
                 }
             }
             CoverageKind::Unreachable => stable_mir::mir::CoverageKind::Unreachable,
         }
     }
 }
 
+impl<'tcx> Stable<'tcx> for mir::UserTypeProjection {
+    type T = stable_mir::mir::UserTypeProjection;
+
+    fn stable(&self, _: &mut Tables<'tcx>) -> Self::T {
+        UserTypeProjection { base: self.base.as_usize(), projection: format!("{:?}", self.projs) }
+    }
+}
+
 impl<'tcx> Stable<'tcx> for mir::coverage::Op {
     type T = stable_mir::mir::Op;
 
@@ -476,14 +477,14 @@ impl<'tcx> Stable<'tcx> for mir::coverage::Op {
 }
 
 impl<'tcx> Stable<'tcx> for mir::Local {
-    type T = usize;
+    type T = stable_mir::mir::Local;
     fn stable(&self, _: &mut Tables<'tcx>) -> Self::T {
         self.as_usize()
     }
 }
 
 impl<'tcx> Stable<'tcx> for rustc_target::abi::VariantIdx {
-    type T = usize;
+    type T = VariantIdx;
     fn stable(&self, _: &mut Tables<'tcx>) -> Self::T {
         self.as_usize()
     }
@@ -525,14 +526,12 @@ impl<'tcx> Stable<'tcx> for CodeRegion {
     type T = stable_mir::mir::CodeRegion;
 
     fn stable(&self, _: &mut Tables<'tcx>) -> Self::T {
-        match self {
-            _ => stable_mir::mir::CodeRegion {
-                file_name: self.file_name.as_u32() as usize,
-                start_line: self.start_line as usize,
-                start_col: self.start_col as usize,
-                end_line: self.end_line as usize,
-                end_col: self.end_col as usize,
-            },
+        stable_mir::mir::CodeRegion {
+            file_name: self.file_name.as_str().to_string(),
+            start_line: self.start_line as usize,
+            start_col: self.start_col as usize,
+            end_line: self.end_line as usize,
+            end_col: self.end_col as usize,
         }
     }
 }

compiler/rustc_smir/src/stable_mir/mir/body.rs

@@ -1,3 +1,4 @@
+use crate::rustc_internal::Opaque;
 use crate::stable_mir::ty::{
     AdtDef, ClosureDef, Const, GeneratorDef, GenericArgs, Movability, Region,
 };
@@ -133,15 +134,18 @@ pub enum AsyncGeneratorKind {
     Fn,
 }
 
-// FIXME: We are using `usize` for now but we should be using DefIds and find what
-//        what those are refering to and then use appropirate ty_defs for them (i.e AdtDef)
+pub(crate) type LocalDefId = Opaque;
+pub(crate) type CounterValueReference = Opaque;
+pub(crate) type InjectedExpressionId = Opaque;
+pub(crate) type ExpressionOperandId = Opaque;
+
 /// The FakeReadCause describes the type of pattern why a FakeRead statement exists.
 #[derive(Clone, Debug)]
 pub enum FakeReadCause {
     ForMatchGuard,
-    ForMatchedPlace(Option<usize>),
+    ForMatchedPlace(LocalDefId),
     ForGuardBinding,
-    ForLet(Option<usize>),
+    ForLet(LocalDefId),
     ForIndex,
 }
 
@@ -170,14 +174,22 @@ pub enum Op {
 
 #[derive(Clone, Debug)]
 pub enum CoverageKind {
-    Counter { function_source_hash: usize, id: usize },
-    Expression { id: usize, lhs: usize, op: Op, rhs: usize },
+    Counter {
+        function_source_hash: usize,
+        id: CounterValueReference,
+    },
+    Expression {
+        id: InjectedExpressionId,
+        lhs: ExpressionOperandId,
+        op: Op,
+        rhs: ExpressionOperandId,
+    },
     Unreachable,
 }
 
-#[derive(Clone, Copy, Debug)]
+#[derive(Clone, Debug)]
 pub struct CodeRegion {
-    pub file_name: usize,
+    pub file_name: String,
     pub start_line: usize,
     pub start_col: usize,
     pub end_line: usize,
@@ -213,7 +225,7 @@ pub enum Statement {
     StorageDead(Local),
     Retag(RetagKind, Place),
     PlaceMention(Place),
-    AscribeUserType((Place, UserTypeProjection), Variance),
+    AscribeUserType { place: Place, projections: UserTypeProjection, variance: Variance },
     Coverage(Coverage),
     Intrinsic(NonDivergingIntrinsic),
     ConstEvalCounter,
@@ -362,12 +374,12 @@ pub struct UserTypeProjection {
     pub projection: String,
 }
 
-type Local = usize;
+pub type Local = usize;
 
 type FieldIdx = usize;
 
 /// The source-order index of a variant in a type.
-type VariantIdx = usize;
+pub type VariantIdx = usize;
 
 type UserTypeAnnotationIndex = usize;