| commit | 5ede58d7d77f1a1099dfdefdf7fb49c37c27aa41 | [log] [tgz] |
|---|---|---|
| author | Krzysztof Parzyszek <kparzysz@codeaurora.org> | Thu Aug 16 19:13:28 2018 +0000 |
| committer | Krzysztof Parzyszek <kparzysz@codeaurora.org> | Thu Aug 16 19:13:28 2018 +0000 |
| tree | 0773f44c3354c74591a4b1d793d7cb4677e92efd | |
| parent | 8744f36d0bbd206e0c9cebafe7fc799af41eb66a [diff] |
[MachineVerifier] Check if predecessor is jointly dominated by undefs Each use of a value should be jointly dominated by the union of defs and undefs. It can happen that it will only be jointly dominated by undefs, and that is still legal. Make sure that the verifier is aware of that. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@339924 91177308-0d34-0410-b5e6-96231b3b80d8