projects
/
oota-llvm.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
IntegerValType holds a uint32_t, so its constructor should take a uint32_t. This...
[oota-llvm.git]
/
lib
/
VMCore
/
Verifier.cpp
2010-01-27
Jeffrey Yasskin
Kill ModuleProvider and ghost linkage by inverting...
blob
|
commitdiff
|
raw
2010-01-22
Victor Hernandez
Fix/strengthen verification of llvm.dbg.declare
blob
|
commitdiff
|
raw
|
diff to current
2010-01-20
Victor Hernandez
Backout r93990
blob
|
commitdiff
|
raw
|
diff to current
2010-01-20
Victor Hernandez
Fix/strengthen verification of llvm.dbg.declare
blob
|
commitdiff
|
raw
|
diff to current
2010-01-18
Chris Lattner
reject some invalid IR. We already assert and reject...
blob
|
commitdiff
|
raw
|
diff to current
2010-01-15
Victor Hernandez
Improve llvm.dbg.declare intrinsic by referring directl...
blob
|
commitdiff
|
raw
|
diff to current
2010-01-15
Victor Hernandez
Revert r93504 because older uses of llvm.dbg.declare...
blob
|
commitdiff
|
raw
|
diff to current
2010-01-15
Victor Hernandez
Improve llvm.dbg.declare intrinsic by referring directl...
blob
|
commitdiff
|
raw
|
diff to current
2010-01-05
David Greene
Change errs() to dbgs().
blob
|
commitdiff
|
raw
|
diff to current
2009-12-31
Chris Lattner
rename "elements" of metadata to "operands". "Elements...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-28
Chris Lattner
Rewrite the function-local validation logic for MDNodes...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-18
Victor Hernandez
Formalize MDNode's function-localness:
blob
|
commitdiff
|
raw
|
diff to current
2009-11-23
Nick Lewycky
Start catching LLVMContext misuse in the verifier.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Chris Lattner
Reject duplicate case values in a switch, PR5450.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-01
Chris Lattner
the verifier shouldn't modify the IR.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-01
Chris Lattner
fix an issue where the verifier would reject a function...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-30
Chris Lattner
it isn't valid to take the address of the entry block.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-25
Nick Lewycky
Remove includes of Support/Compiler.h that are no longe...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-25
Nick Lewycky
Remove VISIBILITY_HIDDEN from class/struct found inside...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-23
Victor Hernandez
Remove AllocationInst. Since MallocInst went away...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-17
Nick Lewycky
Emit newlines at the end of instructions too.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-13
Nick Lewycky
Force memory use markers to have a ConstantInt for...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Chris Lattner
strength reduce a ton of type equality tests to check...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-27
Nick Lewycky
Remove the "metadata*" type and simplify the code it...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-22
Victor Hernandez
No need to verify that malloc's return type is i8*.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-18
Victor Hernandez
Update malloc call creation code (AllocType is now...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-14
Nick Lewycky
Fifth time's a charm! Remove ourselves as abstract...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-14
Nick Lewycky
Don't leak! Always remove oneself as a listener after...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-13
Nick Lewycky
Actually remove old types from the set.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-13
Nick Lewycky
Storing a set of PATypeHolders is a bad idea because...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-11
Chris Lattner
reject attempts to take the address of an intrinsic...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-08
Nick Lewycky
Hoist out the test+insert to CheckedTypes. This doesn...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-08
Nick Lewycky
Simplify from my last change. Assert1 is a macro that...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-08
Nick Lewycky
Verify types. Invalid types can be constructed when...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-07
Nick Lewycky
Express this in the canonical way.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-07
Nick Lewycky
Homogenize whitespace.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-06
Duncan Sands
Public and private corrections, warned about by icc...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-03
Gabor Greif
back out my recent commit (r80858), it seems to break...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-03
Gabor Greif
re-commit r66920 (which has been backed out in r66953...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-23
Benjamin Kramer
Kill off more cerr/cout uses and prune includes a bit.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-23
Chris Lattner
eliminate the std::ostream form of WriteAsOperand and...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-23
Chris Lattner
switch a couple things off std::ostream
blob
|
commitdiff
|
raw
|
diff to current
2009-08-13
Owen Anderson
Push LLVMContexts through the IntegerType APIs.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-12
Owen Anderson
Add contexts to some of the MVT APIs. No functionality...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-11
Owen Anderson
Split EVT into MVT and EVT, the former representing...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-11
Bob Wilson
Add a new overloaded EVT::vAny type for use in TableGen...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-10
Owen Anderson
Rename MVT to EVT, in preparation for splitting SimpleV...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Chris Lattner
common globals may also not be marked constant.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Chris Lattner
Clarify common linkage and the requirements on it....
blob
|
commitdiff
|
raw
|
diff to current
2009-07-30
Nate Begeman
Typo
blob
|
commitdiff
|
raw
|
diff to current
2009-07-29
Owen Anderson
Move types back to the 2.5 API.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-29
Bob Wilson
Fix an assumption that there is a single return value...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-28
Devang Patel
Rename MDNode.h header. It defines MDnode and other...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-25
Daniel Dunbar
Initial update to VMCore to use Twines for string argum...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-22
Owen Anderson
Get rid of the Pass+Context magic.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-14
Torok Edwin
llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-11
Torok Edwin
assert(0) -> LLVM_UNREACHABLE.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-09
Owen Anderson
Thread LLVMContext through MVT and related parts of...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-08
Torok Edwin
Implement changes from Chris's feedback.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-08
Torok Edwin
Start converting to new error handling API.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-15
Dan Gohman
Support vector casts in more places, fixing a variety...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-11
Duncan Sands
Cosmetic changes to parameter attribute verification.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-07
Nick Lewycky
Remove cyclic MDNode detection. Any attempt to create...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-05
Dan Gohman
Fix a copy+pasto in an assertion string that Jay Foad...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-05
Dan Gohman
Update the Verifier to be aware of the difference betwe...
blob
|
commitdiff
|
raw
|
diff to current
2009-05-30
Nick Lewycky
Give embedded metadata its own type instead of relying...
blob
|
commitdiff
|
raw
|
diff to current
2009-05-30
Bill Wendling
Untabification.
blob
|
commitdiff
|
raw
|
diff to current
2009-05-29
Duncan Sands
Dan noticed that the verifier wasn't thoroughly checkin...
blob
|
commitdiff
|
raw
|
diff to current
2009-05-22
Torok Edwin
Revert this. There's no way to verifiy indirect calls...
blob
|
commitdiff
|
raw
|
diff to current
2009-05-22
Torok Edwin
Verify that calling conventions match function prototype.
blob
|
commitdiff
|
raw
|
diff to current
2009-05-10
Bill Wendling
Needed #includes. Thanks Fritz van Bommel!
blob
|
commitdiff
|
raw
|
diff to current
2009-04-25
Chris Lattner
Allow aliasee to be a GEP or bitcast instead of just...
blob
|
commitdiff
|
raw
|
diff to current
2009-04-04
Nick Lewycky
Add support for embedded metadata to LLVM. This introdu...
blob
|
commitdiff
|
raw
|
diff to current
2009-03-17
Gabor Greif
typo
blob
|
commitdiff
|
raw
|
diff to current
2009-03-15
Nick Lewycky
Simplify. "Broken" is always true here.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-13
Bill Wendling
Revert r66920. It was causing failures in the self...
blob
|
commitdiff
|
raw
|
diff to current
2009-03-13
Gabor Greif
Second installment of "BasicBlock operands to the back"
blob
|
commitdiff
|
raw
|
diff to current
2009-02-28
Chris Lattner
Change WriteTypeSymbolic to not put a space out before...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-05
Dale Johannesen
Reapply 63765. Patches for clang and llvm-gcc to follow.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-04
Dale Johannesen
Reverting 63765. This broke the build of both clang
blob
|
commitdiff
|
raw
|
diff to current
2009-02-04
Nate Begeman
New feature: add support for target intrinsics being...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Chris Lattner
reject things like: zext <4 x i32> %tmp to i256
blob
|
commitdiff
|
raw
|
diff to current
2009-01-19
Devang Patel
Verify Intrinsic::dbg_declare.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-15
Rafael Espindola
Add the private linkage.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-08
Bob Wilson
Fix failure messages in Verifier::PerformTypeCheck...
blob
|
commitdiff
|
raw
|
diff to current
2009-01-07
Bob Wilson
Assert that VectorType::getTruncatedElementVectorType...
blob
|
commitdiff
|
raw
|
diff to current
2009-01-07
Bob Wilson
Improve support for type-generic vector intrinsics...
blob
|
commitdiff
|
raw
|
diff to current
2008-12-29
Chris Lattner
move select validation logic into a shared place where...
blob
|
commitdiff
|
raw
|
diff to current
2008-12-01
Chris Lattner
The PreVerifier pass preserves everything. In practice...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-21
Chris Lattner
reapply Sanjiv's patch to genericize memcpy/memset...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-21
Bill Wendling
Revert r59802. It was breaking the build of llvm-gcc:
blob
|
commitdiff
|
raw
|
diff to current
2008-11-21
Sanjiv Gupta
Make mem[cpy,move,set] intrinsics overloaded.
blob
|
commitdiff
|
raw
|
diff to current
2008-11-19
Bill Wendling
Use stripPointerCasts when checking for AllocaInsts...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-19
Bill Wendling
Use dyn_cast instead of cast.
blob
|
commitdiff
|
raw
|
diff to current
2008-11-19
Bill Wendling
Match an element of the return type if it returns a...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-18
Bill Wendling
Verify that the second parameter of the stacprotector...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-15
Nick Lewycky
Correct this error message.
blob
|
commitdiff
|
raw
|
diff to current
2008-11-13
Bill Wendling
Modify the intrinsics pattern to separate out the ...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-13
Bill Wendling
Refactor the code that does the type checking for intri...
blob
|
commitdiff
|
raw
|
diff to current
2008-11-10
Mon P Wang
Added support for the following definition of shufflevector
blob
|
commitdiff
|
raw
|
diff to current
next