| commit | 7c3560f2ce0ec9484004d05a94bfaa6e02f5a96a | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 04 12:12:08 2014 +0100 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 04 13:39:37 2014 +0100 |
| tree | 44544a733178fe7416264e064477c681f08ae562 | |
| parent | 57795db7d44bcd6d106481fa192691400b2358c8 [diff] |
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