summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix Regression/Verifier/invoke-1.llChris Lattner2006-12-201-2/+7
| | | | llvm-svn: 32722
* Revert the previous patch which was incorrect. This unbreaks eon, but rebreaksChris Lattner2006-12-201-1/+2
| | | | | | invoke-1.ll llvm-svn: 32718
* Remove a useless statement.Reid Spencer2006-12-181-1/+0
| | | | llvm-svn: 32660
* For PR1042:Reid Spencer2006-12-181-1/+1
| | | | | | | Fix a thinko. We want to check the second case if the first cast *didn't* trigger. llvm-svn: 32657
* Fix PR1042, by tightening up the subtle rules with invoke value use.Chris Lattner2006-12-161-3/+37
| | | | llvm-svn: 32624
* only check non-external functionsChris Lattner2006-12-131-6/+6
| | | | llvm-svn: 32530
* Reject attempts to define intrinsics. This fixes PR1047 andChris Lattner2006-12-131-0/+7
| | | | | | Regression/Verifier/2006-12-12-IntrinsicDefine.ll llvm-svn: 32529
* Don't use <sstream> in Streams.h but <iosfwd> instead.Bill Wendling2006-12-071-0/+1
| | | | llvm-svn: 32340
* Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, areBill Wendling2006-12-071-3/+2
| | | | | | now cerr, cout, and NullStream resp. llvm-svn: 32298
* Remove the 'printname' argument to WriteAsOperand. It is always true, andChris Lattner2006-12-061-1/+1
| | | | | | passing false would make the asmprinter fail anyway. llvm-svn: 32264
* Changed to using LLVM streams.Bill Wendling2006-11-281-3/+3
| | | | llvm-svn: 31955
* For PR950:Reid Spencer2006-11-271-0/+175
| | | | | | | | | | The long awaited CAST patch. This introduces 12 new instructions into LLVM to replace the cast instruction. Corresponding changes throughout LLVM are provided. This passes llvm-test, llvm/test, and SPEC CPUINT2000 with the exception of 175.vpr which fails only on a slight floating point output difference. llvm-svn: 31931
* For PR950:Reid Spencer2006-11-201-0/+29
| | | | | | | | First in a series of patches to convert SetCondInst into ICmpInst and FCmpInst using only two opcodes and having the instructions contain their predicate value. Nothing uses these classes yet. More patches to follow. llvm-svn: 31867
* For PR950:Reid Spencer2006-10-201-1/+1
| | | | | | | | This patch implements the first increment for the Signless Types feature. All changes pertain to removing the ConstantSInt and ConstantUInt classes in favor of just using ConstantInt. llvm-svn: 31063
* Added some eye-candy for Subtarget type checkingAnton Korobeynikov2006-09-171-0/+1
| | | | | | Added X86 StdCall & FastCall calling conventions. Codegen will follow. llvm-svn: 30446
* Adding dllimport, dllexport and external weak linkage types.Anton Korobeynikov2006-09-141-2/+10
| | | | | | | | | DLL* linkages got full (I hope) codegeneration support in C & both x86 assembler backends. External weak linkage added for future use, we don't provide any codegeneration, etc. support for it. llvm-svn: 30374
* eliminate RegisterOpt. It does the same thing as RegisterPass.Chris Lattner2006-08-271-1/+1
| | | | llvm-svn: 29925
* s|llvm/Support/Visibility.h|llvm/Support/Compiler.h|Chris Lattner2006-08-271-1/+1
| | | | llvm-svn: 29911
* For PR780:Reid Spencer2006-07-261-7/+8
| | | | | | | | | | | | 1. Move IncludeFile.h to System library 2. Move IncludeFile.cpp to System library 3. #1 and #2 required to prevent cyclic library dependencies for libSystem 4. Convert all existing uses of Support/IncludeFile.h to System/IncludeFile.h 5. Add IncludeFile support to various lib/System classes. 6. Add new lib/System classes to LinkAllVMCore.h All this in an attempt to pull in lib/System to what's required for VMCore llvm-svn: 29287
* Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.llChris Lattner2006-07-111-2/+8
| | | | llvm-svn: 29112
* Change the verifier to never throw an exception. Instead verifyModule ↵Chris Lattner2006-07-061-8/+7
| | | | | | canoptionally return the string error, which is an easier api for clients touse anyway. llvm-svn: 29017
* Use hidden visibility to reduce the sizes of some .o files. This chops 60K ↵Chris Lattner2006-06-281-1/+3
| | | | | | off a release llvm-dis. llvm-svn: 28969
* csret functions can be varargs (as can target cc's). Verify restrictions onChris Lattner2006-05-191-3/+18
| | | | | | csret functions. llvm-svn: 28405
* remove dead varChris Lattner2006-05-141-1/+0
| | | | llvm-svn: 28287
* Use the isValidOperands helper instead of duplicating checking codeChris Lattner2006-04-081-16/+7
| | | | llvm-svn: 27524
* Add shufflevector support, todo, implement better constant folding.Chris Lattner2006-04-081-0/+24
| | | | llvm-svn: 27510
* Fix build breakage.Jeff Cohen2006-03-311-0/+1
| | | | llvm-svn: 27292
* Add a new method to verify intrinsic function prototypes.Chris Lattner2006-03-311-2/+60
| | | | llvm-svn: 27282
* Use the autogenerated intrinsic verifierChris Lattner2006-03-091-266/+5
| | | | llvm-svn: 26667
* remove dbg_declare, it's not used yet.Chris Lattner2006-03-091-1/+0
| | | | llvm-svn: 26659
* remove the read/write port/io intrinsics.Chris Lattner2006-03-031-45/+0
| | | | llvm-svn: 26479
* Split memcpy/memset/memmove intrinsics into i32/i64 versions, resolvingChris Lattner2006-03-021-3/+6
| | | | | | | | | | | PR709, and paving the way for future progress. Significantly refactor autoupgrading code, to handle the more complex case (where we upgrade one argument in a function), and fix some bugs in it. Testcase here: llvm/test/Regression/Bytecode/memcpy.ll llvm-svn: 26474
* Make sure the only user of InlineAsm's are direct calls.Chris Lattner2006-01-261-0/+4
| | | | llvm-svn: 25626
* Don't accept the ctpop, cttz, or ctlz intrinsics with signed arguments. TheReid Spencer2006-01-191-36/+16
| | | | | | interface requires unsigned arguments. llvm-svn: 25433
* VMCore support for the insertelement operation.Robert Bocchino2006-01-171-4/+17
| | | | llvm-svn: 25408
* For PR411:Reid Spencer2006-01-161-12/+149
| | | | | | | | | | | | | | | | This patch is an incremental step towards supporting a flat symbol table. It de-overloads the intrinsic functions by providing type-specific intrinsics and arranging for automatically upgrading from the old overloaded name to the new non-overloaded name. Specifically: llvm.isunordered -> llvm.isunordered.f32, llvm.isunordered.f64 llvm.sqrt -> llvm.sqrt.f32, llvm.sqrt.f64 llvm.ctpop -> llvm.ctpop.i8, llvm.ctpop.i16, llvm.ctpop.i32, llvm.ctpop.i64 llvm.ctlz -> llvm.ctlz.i8, llvm.ctlz.i16, llvm.ctlz.i32, llvm.ctlz.i64 llvm.cttz -> llvm.cttz.i8, llvm.cttz.i16, llvm.cttz.i32, llvm.cttz.i64 New code should not use the overloaded intrinsic names. Warnings will be emitted if they are used. llvm-svn: 25366
* Thanks to Daniel Berlin's ETForest fix, we can now use it again for the verifierChris Lattner2006-01-151-2/+0
| | | | llvm-svn: 25345
* ET-Forest has issues with unreachable blocks. Temporarily disable verifiers useChris Lattner2006-01-151-0/+2
| | | | | | of it until they are resolved. llvm-svn: 25341
* Add bswap intrinsics as documented in the Language ReferenceNate Begeman2006-01-141-0/+30
| | | | llvm-svn: 25309
* Add recognition and verification of new llvm.stacksave/llvm.stackrestore ↵Chris Lattner2006-01-131-0/+12
| | | | | | intrinsics llvm-svn: 25266
* Convert the verifier over to use ETForest instead of DominatorSet. PatchChris Lattner2006-01-121-14/+14
| | | | | | by Daniel Berlin llvm-svn: 25242
* Added support for the extractelement operation.Robert Bocchino2006-01-101-0/+13
| | | | llvm-svn: 25181
* Get logical operations to like packed types, allow BinOp::getNot to createChris Lattner2005-12-211-1/+3
| | | | | | the right vector of -1's as its operand. llvm-svn: 24906
* continued readcyclecounter supportAndrew Lenharth2005-11-111-0/+8
| | | | llvm-svn: 24300
* core changes for varargsAndrew Lenharth2005-06-181-3/+2
| | | | llvm-svn: 22254
* Verify that varargs functions all have cccChris Lattner2005-05-081-1/+5
| | | | llvm-svn: 21792
* Implement count leading zeros (ctlz), count trailing zeros (cttz), and countAndrew Lenharth2005-05-031-0/+12
| | | | | | | | | population (ctpop). Generic lowering is implemented, however only promotion is implemented for SelectionDAG at the moment. More coming soon. llvm-svn: 21676
* Add llvm.sqrt intrinsic, patch contributed by Morten OfstadChris Lattner2005-04-301-0/+10
| | | | llvm-svn: 21627
* Remove trailing whitespaceMisha Brukman2005-04-211-27/+27
| | | | llvm-svn: 21427
* First step in adding pcmarker intrinsic. Second step (soon) is adding ↵Andrew Lenharth2005-03-281-0/+5
| | | | | | backend support. llvm-svn: 20900
OpenPOWER on IntegriCloud