| commit | 02e78f7e02d9952111a50cfa7a05ca68b2f5c55d | |
| author | Nick Lewycky <nicholas@mxc.ca> | |
| Mon, 15 Feb 2010 22:09:09 +0000 (15 22:09 +0000) | ||
| committer | Nick Lewycky <nicholas@mxc.ca> | |
| Mon, 15 Feb 2010 22:09:09 +0000 (15 22:09 +0000) | ||
| tree | 00177f3ee697ea23e4c4f4958a8a5e7fcd565e1b | treesnapshot (tar.gz zip) |
| parent | fcda7188895dcf339e281d59a234ac0b06370758 | commitdiff |
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
'i1' type.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96282 91177308-0d34-0410-b5e6-96231b3b80d8
| lib/VMCore/Verifier.cpp | diffblobblamehistory | |
| unittests/VMCore/VerifierTest.cpp | [new file with mode: 0644] | blob |