Teach the verifier to check the condition on a branch and ensure that it has
[oota-llvm.git] / lib / VMCore /
drwxr-xr-x   ..
-rw-r--r-- 71048 AsmWriter.cpp
-rw-r--r-- 11083 Attributes.cpp
-rw-r--r-- 21072 AutoUpgrade.cpp
-rw-r--r-- 11180 BasicBlock.cpp
-rw-r--r-- 526 CMakeLists.txt
-rw-r--r-- 96837 ConstantFold.cpp
-rw-r--r-- 2483 ConstantFold.h
-rw-r--r-- 83603 Constants.cpp
-rw-r--r-- 28261 ConstantsContext.h
-rw-r--r-- 72586 Core.cpp
-rw-r--r-- 12010 Dominators.cpp
-rw-r--r-- 13599 Function.cpp
-rw-r--r-- 609 GVMaterializer.cpp
-rw-r--r-- 9953 Globals.cpp
-rw-r--r-- 1960 IRBuilder.cpp
-rw-r--r-- 7227 InlineAsm.cpp
-rw-r--r-- 15539 Instruction.cpp
-rw-r--r-- 126648 Instructions.cpp
-rw-r--r-- 2507 IntrinsicInst.cpp
-rw-r--r-- 1419 LLVMContext.cpp
-rw-r--r-- 7670 LLVMContextImpl.h
-rw-r--r-- 2311 LeakDetector.cpp
-rw-r--r-- 2318 LeaksContext.h
-rw-r--r-- 1255 Makefile
-rw-r--r-- 17195 Metadata.cpp
-rw-r--r-- 15962 Module.cpp
-rw-r--r-- 13683 Pass.cpp
-rw-r--r-- 56080 PassManager.cpp
-rw-r--r-- 3211 PrintModulePass.cpp
-rw-r--r-- 4212 SymbolTableListTraitsImpl.h
-rw-r--r-- 46487 Type.cpp
-rw-r--r-- 5402 TypeSymbolTable.cpp
-rw-r--r-- 15468 TypesContext.h
-rw-r--r-- 7164 Use.cpp
-rw-r--r-- 19939 Value.cpp
-rw-r--r-- 4223 ValueSymbolTable.cpp
-rw-r--r-- 7938 ValueTypes.cpp
-rw-r--r-- 74435 Verifier.cpp