AbleOS/holey-bytes
3
3
Fork 5
Code Issues 2 Pull requests Packages Projects Releases Wiki Activity

reverting phi transformation

Browse source
This commit is contained in:
Jakub Doka 2024-11-15 19:32:04 +01:00
parent afc1c5aac5
commit 7058efe75c
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
1 changed files with 24 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
lang/src/son.rs
View file

@ -1083,16 +1083,30 @@ impl Nodes {
return Some(self.new_node(self[lhs].ty, Kind::Stre, vc, tys)); return Some(self.new_node(self[lhs].ty, Kind::Stre, vc, tys));
} }
if let Kind::BinOp { op } = self[lhs].kind //if let Kind::BinOp { op } = self[lhs].kind
&& self[rhs].kind == (Kind::BinOp { op }) // && self[rhs].kind == (Kind::BinOp { op })
{ //{
debug_assert!(ty != ty::Id::VOID); // debug_assert!(ty != ty::Id::VOID);
let inps = [ctrl, self[lhs].inputs[1], self[rhs].inputs[1]]; // debug_assert_eq!(
let nlhs = self.new_node(ty, Kind::Phi, inps, tys); // self[lhs].ty.simple_size(),
let inps = [ctrl, self[lhs].inputs[2], self[rhs].inputs[2]]; // ty.simple_size(),
let nrhs = self.new_node(ty, Kind::Phi, inps, tys); // "{:?} {:?}",
return Some(self.new_node(ty, Kind::BinOp { op }, [VOID, nlhs, nrhs], tys)); // self[lhs].ty.expand(),
} // ty.expand()
// );
// debug_assert_eq!(
// self[rhs].ty.simple_size(),
// ty.simple_size(),
// "{:?} {:?}",
// self[rhs].ty.expand(),
// ty.expand()
// );
// let inps = [ctrl, self[lhs].inputs[1], self[rhs].inputs[1]];
// let nlhs = self.new_node(ty, Kind::Phi, inps, tys);
// let inps = [ctrl, self[lhs].inputs[2], self[rhs].inputs[2]];
// let nrhs = self.new_node(ty, Kind::Phi, inps, tys);
// return Some(self.new_node(ty, Kind::BinOp { op }, [VOID, nlhs, nrhs], tys));
//}
} }
K::Stck => { K::Stck => {
if let &[mut a, mut b] = self[target].outputs.as_slice() { if let &[mut a, mut b] = self[target].outputs.as_slice() {