Nick Lewycky 6a7cb63f6f 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

2010-02-15 22:09:09 +00:00

..

AsmWriter.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

Attributes.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

AutoUpgrade.cpp

Improve llvm.dbg.declare intrinsic by referring directly to the storage in its first argument, via function-local metadata (instead of via a bitcast).

2010-01-15 19:04:09 +00:00

BasicBlock.cpp

Qualify a bunch of explicit template instantiations to satisfy clang++.

2009-12-19 00:55:12 +00:00

CMakeLists.txt

Update CMake build.

2010-01-27 20:44:12 +00:00

ConstantFold.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

ConstantFold.h

eliminate a bunch of pointless LLVMContext arguments.

2010-02-01 20:48:08 +00:00

Constants.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

ConstantsContext.h

Add support for a union type in LLVM IR. Patch by Talin!

2010-02-12 20:49:41 +00:00

Core.cpp

Add support for a union type in LLVM IR. Patch by Talin!

2010-02-12 20:49:41 +00:00

Dominators.cpp

Qualify a bunch of explicit template instantiations to satisfy clang++.

2009-12-19 00:55:12 +00:00

Function.cpp

Avoid going through the LLVMContext for type equality where it's safe to dereference the type pointer.

2010-01-05 13:12:22 +00:00

Globals.cpp

A function with no Module owner isn't materializable. This fixes F->dump() for

2010-02-15 21:27:20 +00:00

GVMaterializer.cpp

Kill ModuleProvider and ghost linkage by inverting the relationship between

2010-01-27 20:34:15 +00:00

InlineAsm.cpp

Avoid going through the LLVMContext for type equality where it's safe to dereference the type pointer.

2010-01-05 13:12:22 +00:00

Instruction.cpp

Add a comment.

2010-01-04 18:38:39 +00:00

Instructions.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

IntrinsicInst.cpp

Improve llvm.dbg.declare intrinsic by referring directly to the storage in its first argument, via function-local metadata (instead of via a bitcast).

2010-01-15 19:04:09 +00:00

IRBuilder.cpp

Fix several comments which had previously been "the the" where a

2010-02-10 20:04:19 +00:00

LeakDetector.cpp

remove a bunch of locking from LLVMContextImpl. Since only one thread

2009-11-01 18:42:03 +00:00

LeaksContext.h

Catch more cases of a pointer being marked garbage twice. This helps when

2009-12-18 20:35:38 +00:00

LLVMContext.cpp

Final step in the metadata API restructuring: move the

2009-12-29 09:01:33 +00:00

LLVMContextImpl.h

Add support for a union type in LLVM IR. Patch by Talin!

2010-02-12 20:49:41 +00:00

Makefile

mark some libraries that currently require RTTI.

2010-01-24 20:22:08 +00:00

Metadata.cpp

Add MDNode::getIfExists(), an efficient way to determine if a value is used by metadata (since metadata does not appear in a value's use list)

2010-01-26 02:36:35 +00:00

Module.cpp

Kill ModuleProvider and ghost linkage by inverting the relationship between

2010-01-27 20:34:15 +00:00

Pass.cpp

Make PassRegistrar thread-safe since it can be modified by code running in

2010-02-13 00:03:17 +00:00

PassManager.cpp

Don't try to materialize a function that isn't materializable anyways. This

2010-02-15 21:27:56 +00:00

PrintModulePass.cpp

Change errs() to dbgs().

2010-01-05 01:30:18 +00:00

SymbolTableListTraitsImpl.h

Fold the useful features of alist and alist_node into ilist, and

2008-07-28 21:51:04 +00:00

Type.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

TypesContext.h

Add support for a union type in LLVM IR. Patch by Talin!

2010-02-12 20:49:41 +00:00

TypeSymbolTable.cpp

Change errs() to dbgs().

2010-01-05 01:30:14 +00:00

Use.cpp

Public and private corrections, warned about by icc (#304).

2009-09-06 08:55:57 +00:00

Value.cpp

Change Value::getUnderlyingObject to have the MaxLookup value specified as a

2010-01-25 18:26:54 +00:00

ValueSymbolTable.cpp

Delete NamedMDSymTable while destrucing Module.

2010-01-09 01:44:59 +00:00

ValueTypes.cpp

Uniformize the names of type predicates: rather than having isFloatTy and

2010-02-15 16:12:20 +00:00

Verifier.cpp

Teach the verifier to check the condition on a branch and ensure that it has

2010-02-15 22:09:09 +00:00