commit | 5f4886aad49b48cdc6945e3094549145c0914fe8 | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Tue Apr 14 15:11:57 2015 +0100 |
committer | Nicolas Geoffray <ngeoffray@google.com> | Tue Apr 14 15:59:12 2015 +0100 |
tree | 792a11dfdd9f943017b575e99557da36e5bc43bd | |
parent | e015a31e509c3f4de8a90b57b77329ba6609ce2f [diff] |
Fix a bug in type propagation. If a phi requests its inputs to be of a certain type, the inputs need to propagate that type to their users, as those users might be phis. Bug report and test courtesy of Serguei I Katkov. Change-Id: I79baac271566ec4fa684c1edf11a1b3383d896a9