Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement Region for smir #116024

Merged
merged 13 commits into from
Sep 29, 2023
Merged

Implement Region for smir #116024

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
02b01a4
make region struct and add neccesasry types
ouz-a Sep 21, 2023
e49aa04
add RegionDef
ouz-a Sep 21, 2023
5dc2214
add stable for RegionKind
ouz-a Sep 21, 2023
d835599
make reg public and add visit, fold
ouz-a Sep 21, 2023
2069e8c
fix imports
ouz-a Sep 28, 2023
da2f897
remove un-needed variants
ouz-a Sep 28, 2023
bb17fe8
add real folder to Region
ouz-a Sep 28, 2023
fed72e0
add visitor for Region
ouz-a Sep 28, 2023
9f2e15d
change visit to fold for ty and reg
ouz-a Sep 28, 2023
8c41cd0
simplify fold
ouz-a Sep 28, 2023
0cca109
visit and fold ty::ref
ouz-a Sep 28, 2023
eb77903
simplify visit
ouz-a Sep 28, 2023
34f10e2
remove unimplemented
ouz-a Sep 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
simplify fold
  • Loading branch information
@ouz-a
ouz-a committed Sep 28, 2023
commit 8c41cd0d78caed65ebd2f057d5209fc564f9cc10
37 changes: 3 additions & 34 deletions compiler/stable_mir/src/fold.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,6 @@
use std::ops::ControlFlow;

use crate::{
ty::{self, BoundRegion, BoundRegionKind},
Opaque,
};
use crate::Opaque;

use super::ty::{
Allocation, Binder, Const, ConstDef, ConstantKind, ExistentialPredicate, FnSig, GenericArgKind,
Expand Down Expand Up @@ -116,36 +113,8 @@ impl Foldable for Region {
fn fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self> {
folder.fold_reg(self)
}
fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self> {
let mut kind = self.kind.clone();
match &mut kind {
crate::ty::RegionKind::ReEarlyBound(_) => {}
crate::ty::RegionKind::ReLateBound(_, bound_reg) => {
*bound_reg = bound_reg.fold(folder)?
}
crate::ty::RegionKind::ReStatic => {}
crate::ty::RegionKind::RePlaceholder(bound_reg) => {
bound_reg.bound = bound_reg.bound.fold(folder)?
}
crate::ty::RegionKind::ReErased => {}
}
ControlFlow::Continue(ty::Region { kind: kind }.into())
}
}

impl Foldable for BoundRegion {
fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self> {
ControlFlow::Continue(BoundRegion { var: self.var, kind: self.kind.fold(folder)? })
}
}

impl Foldable for BoundRegionKind {
fn super_fold<V: Folder>(&self, _folder: &mut V) -> ControlFlow<V::Break, Self> {
match self {
BoundRegionKind::BrAnon => ControlFlow::Continue(self.clone()),
BoundRegionKind::BrNamed(_, _) => ControlFlow::Continue(self.clone()),
BoundRegionKind::BrEnv => ControlFlow::Continue(self.clone()),
}
fn super_fold<V: Folder>(&self, _: &mut V) -> ControlFlow<V::Break, Self> {
ControlFlow::Continue(self.clone())
}
}

Expand Down