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

Auto merge of #113639 - ericmarkmartin:more-smir-types, r=oli-obk

Browse Source 
Add more ty conversions to smir

add str, slice, and array to smir types

r? `@spastorino`
This commit is contained in:
bors 2023-07-14 07:42:02 +00:00
commit 320b412f9c
2 changed files with 8 additions and 3 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

@ -114,9 +114,11 @@ impl<'tcx> Tables<'tcx> {
), ),
)), )),
ty::Foreign(_) => todo!(), ty::Foreign(_) => todo!(),
ty::Str => todo!(), ty::Str => TyKind::RigidTy(RigidTy::Str),
ty::Array(_, _) => todo!(), ty::Array(ty, constant) => {
ty::Slice(_) => todo!(), TyKind::RigidTy(RigidTy::Array(self.intern_ty(*ty), opaque(constant)))
}
ty::Slice(ty) => TyKind::RigidTy(RigidTy::Slice(self.intern_ty(*ty))),
ty::RawPtr(_) => todo!(), ty::RawPtr(_) => todo!(),
ty::Ref(_, _, _) => todo!(), ty::Ref(_, _, _) => todo!(),
ty::FnDef(_, _) => todo!(), ty::FnDef(_, _) => todo!(),

3
compiler/rustc_smir/src/stable_mir/ty.rs
View File

@ -26,6 +26,9 @@ pub enum RigidTy {
Uint(UintTy), Uint(UintTy),
Float(FloatTy), Float(FloatTy),
Adt(AdtDef, AdtSubsts), Adt(AdtDef, AdtSubsts),
Str,
Array(Ty, Const),
Slice(Ty),
Tuple(Vec<Ty>), Tuple(Vec<Ty>),
} }