| commit | 6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80 | [log] [tgz] |
|---|---|---|
| author | Nick Lewycky <nicholas@mxc.ca> | Mon Feb 15 22:09:09 2010 +0000 |
| committer | Nick Lewycky <nicholas@mxc.ca> | Mon Feb 15 22:09:09 2010 +0000 |
| tree | 00177f3ee697ea23e4c4f4958a8a5e7fcd565e1b | |
| parent | 8eea48a43da9e861841abe869c5f3215c1f42d27 [diff] |
Teach the verifier to check the condition on a branch and ensure that it has 'i1' type. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96282 91177308-0d34-0410-b5e6-96231b3b80d8