Commit 7c3560f2 authored by Nicolas Geoffray's avatar Nicolas Geoffray
Browse files

Fix a bug in SSA construction. 

If a join block does not have an incoming value for a local
from a predecessor block, we should not create a phi. The
verifier has made sure the local is updated before any
following reads after this block.

Change-Id: Id2785efc73c9fb3224826fff2f4b4ad215905ff4
parent 57795db7
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment