portal/waffle
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Add info about disjoint local indices to values.

Browse source
This commit is contained in:
Chris Fallin 2021-11-13 23:02:47 -08:00
parent 8a7a65f94c
commit 3e21bb7411
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/frontend.rs
View file

@ -129,6 +129,7 @@ fn parse_body<'a, 'b>(
builder.body.values.push(ValueDef {
kind: ValueKind::Arg(arg_idx),
ty: arg_ty,
local: Some(local_idx),
});
trace!("defining local {} to value {}", local_idx, value);
builder.locals.insert(local_idx, (arg_ty, value));
@ -149,8 +150,6 @@ fn parse_body<'a, 'b>(
Ok(ret)
}
type LocalId = u32;
#[derive(Debug)]
struct FunctionBodyBuilder<'a, 'b> {
module: &'b Module<'a>,
@ -315,6 +314,7 @@ impl<'a, 'b> FunctionBodyBuilder<'a, 'b> {
self.body.values.push(ValueDef {
ty,
kind: ValueKind::Inst(block, inst, 0),
local: Some(*local_index),
});
value
} else {
@ -887,6 +887,7 @@ impl<'a, 'b> FunctionBodyBuilder<'a, 'b> {
self.body.values.push(ValueDef {
kind: ValueKind::BlockParam(block, block_param_num),
ty,
local: None,
});
self.op_stack.push((ty, value_id));
block_param_num += 1;
@ -901,6 +902,7 @@ impl<'a, 'b> FunctionBodyBuilder<'a, 'b> {
self.body.values.push(ValueDef {
kind: ValueKind::BlockParam(block, block_param_num),
ty,
local: Some(local_id),
});
block_param_num += 1;
self.locals.insert(local_id, (ty, value_id));
@ -936,6 +938,7 @@ impl<'a, 'b> FunctionBodyBuilder<'a, 'b> {
self.body.values.push(ValueDef {
kind: ValueKind::Inst(block, inst, i),
ty: output_ty,
local: None,
});
self.op_stack.push((output_ty, val));
}

2
src/ir.rs
View file

@ -9,6 +9,7 @@ pub type FuncId = usize;
pub type BlockId = usize;
pub type InstId = usize;
pub type ValueId = usize;
pub type LocalId = u32;
pub const NO_VALUE: ValueId = usize::MAX;
@ -46,6 +47,7 @@ pub struct FunctionBody<'a> {
pub struct ValueDef {
pub kind: ValueKind,
pub ty: Type,
pub local: Option<LocalId>,
}
#[derive(Clone, Debug)]