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

resolve aliases before evaluating constant-phi condition

Browse source
This commit is contained in:
Chris Fallin 2024-05-13 17:40:14 -07:00 committed by Graham Kelly
parent 344c45e178
commit a6abc0cb58
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/passes/basic_opt.rs
View file

@ -125,6 +125,7 @@ impl<'a> BasicOptPass<'a> {
let input = body.blocks[pred] let input = body.blocks[pred]
.terminator .terminator
.visit_target(pos, |target| target.args[i]); .visit_target(pos, |target| target.args[i]);
let input = body.resolve_alias(input);
inputs.push(input); inputs.push(input);
const_val = ConstVal::meet(const_val, Some(value_is_const(input, body))); const_val = ConstVal::meet(const_val, Some(value_is_const(input, body)));
} }