summaryrefslogtreecommitdiffstats
path: root/llvm/lib
Commit message (Collapse)AuthorAgeFilesLines
* Compile X + ~X to -1. This implements Instcombine/add.ll:test34Chris Lattner2007-01-051-1/+7
| | | | llvm-svn: 32890
* GEP subscript is interpreted as a signed value.Evan Cheng2007-01-051-1/+1
| | | | llvm-svn: 32888
* fix PowerPC/2007-01-04-ArgExtension.ll, a bug handling K&R prototypes withChris Lattner2007-01-041-4/+6
| | | | | | the recent signless changes. llvm-svn: 32884
* Expand fcopysign to a series of bitwise of operations when it's profitable toEvan Cheng2007-01-041-19/+46
| | | | | | do so. llvm-svn: 32881
* Expand SELECT (f32/f64) and FCOPYSIGN (f32/f64).Lauro Ramos Venancio2007-01-041-0/+5
| | | | llvm-svn: 32870
* Death to useless bitcast instructions!Reid Spencer2007-01-041-33/+3
| | | | llvm-svn: 32866
* Do not allow packed types for icmp and fcmp instructions.Reid Spencer2007-01-041-5/+2
| | | | llvm-svn: 32865
* Regenerate.Reid Spencer2007-01-042-27/+35
| | | | llvm-svn: 32862
* Disallow packed types in icmp/fcmp instructions. The code generator isReid Spencer2007-01-041-0/+4
| | | | | | not prepared to handle them yet. llvm-svn: 32861
* Now that setcondinst has been eliminated, we can mark Value::SubclassIDChris Lattner2007-01-041-4/+0
| | | | | | const and remove the ugly mutator methods. llvm-svn: 32860
* fix typoChris Lattner2007-01-041-1/+1
| | | | llvm-svn: 32859
* Enable a couple xforms for packed vectors (undef | v) -> -1 for packed.Chris Lattner2007-01-041-8/+9
| | | | llvm-svn: 32858
* fix some bugs handling vectors, avoid host-specific handling of undefined ↵Chris Lattner2007-01-041-5/+15
| | | | | | shift results. llvm-svn: 32857
* Add a new ConstantPacked::getAllOnesValue methodChris Lattner2007-01-041-0/+12
| | | | llvm-svn: 32856
* Regenerate.Reid Spencer2007-01-042-155/+149
| | | | llvm-svn: 32853
* Permit icmp and fcmp to have packed operands.Reid Spencer2007-01-041-5/+2
| | | | | | Make an error message a little more useful. llvm-svn: 32852
* The previous implementation of LLVM Streams wasn't removing symbols. ThisBill Wendling2007-01-032-2/+2
| | | | | | one should. llvm-svn: 32845
* fix testcase. It's not safe to strictly evaluate a load that should be lazy.Chris Lattner2007-01-031-1/+2
| | | | llvm-svn: 32842
* Private labels start with .L on linux, not just .Chris Lattner2007-01-031-1/+1
| | | | llvm-svn: 32841
* Fix a comment that referred to the now defunct ubyte type.Reid Spencer2007-01-031-1/+1
| | | | llvm-svn: 32840
* Remove two useless bit casts.Reid Spencer2007-01-031-6/+0
| | | | llvm-svn: 32839
* Legalizer doesn't do an ANY_EXTEND if we don't ask for one so make sureReid Spencer2007-01-031-1/+1
| | | | | | | that we default to an ANY_EXTEND if no parameter attribute is set on the result value of a function. llvm-svn: 32836
* NULL names should pass validation.Jim Laskey2007-01-031-1/+2
| | | | llvm-svn: 32835
* Silence warning.Jim Laskey2007-01-031-1/+1
| | | | llvm-svn: 32834
* Really big cleanup.Anton Korobeynikov2007-01-0310-24/+33
| | | | | | | | | | | - New target type "mingw" was introduced - Same things for both mingw & cygwin are marked as "cygming" (as in gcc) - .lcomm is supported here, so allow LLVM to use it - Correctly use underscored versions of setjmp & _longjmp for both mingw & cygwin llvm-svn: 32833
* Restore previous behavior of defaulting to ZEXT. This works around twoReid Spencer2007-01-031-7/+2
| | | | | | | | things: (1) preventing PR1071 and (2) working around missing parameter attributes for bool type. (2) will be fixed shortly. When PR1071 is fixed, this patch should be undone. llvm-svn: 32831
* Two changes:Reid Spencer2007-01-031-5/+12
| | | | | | | | | | | 1. Switch expression and cases are compared signed and are sign extended. 2. For function results needing extended, do SIGN_EXTEND if the SExtAttribute is set and ZERO_EXTEND if the ZExtAttribute is set, otherwise just let the Legalizer do ANY_EXTEND. This fixes the recent regression in kimwitu++ and probably the llvm-gcc bootstrap issue we had today. llvm-svn: 32830
* Clean up from recent changes. Comment the new parameter to ExpandLibCall.Reid Spencer2007-01-031-24/+20
| | | | | | Consolidate some lines of code and remove duplication. llvm-svn: 32829
* Vectors are not supported by ConstantInt::getAllOnesValue.Jim Laskey2007-01-031-5/+10
| | | | llvm-svn: 32827
* Regenerate.Reid Spencer2007-01-023-267/+385
| | | | llvm-svn: 32825
* Implement checking for unresolved types in the argument types and resultReid Spencer2007-01-021-0/+59
| | | | | | | type of function definitions. This fixes test/Regression/Assember/2007-01-02-Undefined-Arg-Type.ll llvm-svn: 32824
* Fix naming inconsistency.Evan Cheng2007-01-0212-57/+57
| | | | llvm-svn: 32823
* - Fixing naming inconsistency: calleesave -> calleesaved.Evan Cheng2007-01-021-24/+30
| | | | | | - Make use of spillCalleeSavedRegisters() and restoreCalleeSavedRegisters(). llvm-svn: 32822
* Fix a typo.Reid Spencer2006-12-311-1/+1
| | | | llvm-svn: 32803
* Fix a cut-and-paste bug for processing of InvokeInst parameter attributes.Reid Spencer2006-12-311-2/+2
| | | | | | | The lookup of parameter attributes was offset by two because of the additional operands in an invoke instruction. llvm-svn: 32801
* Regenerate.Reid Spencer2006-12-312-32/+33
| | | | llvm-svn: 32800
* Remove an extra semi-colon.Reid Spencer2006-12-311-1/+1
| | | | llvm-svn: 32799
* Fix a bug in comparison of GEP indices.Reid Spencer2006-12-311-4/+4
| | | | llvm-svn: 32798
* Add a missing colon. Noticed by Jeff Cohen.Reid Spencer2006-12-311-0/+1
| | | | llvm-svn: 32796
* implement missing comparesRafael Espindola2006-12-312-38/+67
| | | | | | | patch by Lauro bug fixed by me llvm-svn: 32795
* Fix a bug in getParamAttrs where an invalid value would be returned if theReid Spencer2006-12-311-3/+3
| | | | | | index passed in was out of range for the number of parameter attributes set. llvm-svn: 32794
* For PR950:Reid Spencer2006-12-3117-287/+272
| | | | | | | | | | | | | | | | | | Three changes: 1. Convert signed integer types to signless versions. 2. Implement the @sext and @zext parameter attributes. Previously the type of an function parameter was used to determine whether it should be sign extended or zero extended before the call. This information is now communicated via the function type's parameter attributes. 3. The interface to LowerCallTo had to be changed in order to accommodate the parameter attribute information. Although it would have been convenient to pass in the FunctionType itself, there isn't always one present in the caller. Consequently, a signedness indication for the result type and for each parameter was provided for in the interface to this method. All implementations were changed to make the adjustment necessary. llvm-svn: 32788
* For PR950:Reid Spencer2006-12-314-498/+346
| | | | | | Convert signed integer types to signless ones. llvm-svn: 32787
* For PR950:Reid Spencer2006-12-3132-521/+400
| | | | | | | | | | | | | This patch replaces signed integer types with signless ones: 1. [US]Byte -> Int8 2. [U]Short -> Int16 3. [U]Int -> Int32 4. [U]Long -> Int64. 5. Removal of isSigned, isUnsigned, getSignedVersion, getUnsignedVersion and other methods related to signedness. In a few places this warranted identifying the signedness information from other sources. llvm-svn: 32785
* For PR950:Reid Spencer2006-12-313-57/+44
| | | | | | | | | | | | | | Update for signless integer types and parameter attribute implementation. Of significant note: 1. This changes the bytecode format yet again. 2. There are 1/2 as many integer type planes (this is a good thing) 3. GEP indices now use only 1 bit to identify their type which means more GEP instructions won't be relegated to format 0 (size win) 4. Parameter attributes are implemented but currently being stored verbosely for each function type. Some other day this needs to be optimized for size. llvm-svn: 32783
* For PR950:Reid Spencer2006-12-316-2863/+3193
| | | | | | Regenerate llvm-svn: 32782
* For PR950:Reid Spencer2006-12-312-253/+413
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Major reorganization. This patch introduces the signedness changes for the new integer types (i8, i16, i32, i64) which replace the old signed versions (ubyte, sbyte, ushort, short, etc). This patch also implements the function type parameter attributes feature. Together these conspired to introduce new reduce/reduce errors into the grammar. Consequently, it was necessary to introduce a new keyword into the grammar in order to disambiguate. Without this, yacc would make incorrect shift/reduce and reduce/reduce decisions and fail to parse the intended assembly. Changes in assembly: 1. The "implementation" keyword is superfluous but still supported. You can use it as a sentry which will ensure there are no remaining up reference types. However, this is optional as those checks are also performed elsewhere. 2. Parameter attributes are now implemented using an at sign to indicate the attribute. The attributes are placed after the type in a function declaration or after the argument value in a function call. For example: i8 @sext %myfunc(i16 @zext) call i8 @sext %myfunc(i16 @zext %someVal) The facility is available for supporting additional attributes and they can be combined using the @(attr1,attr2,attr3) syntax. Right now the only two supported are @sext and @zext 3. Functions must now be defined with the "define" keyword which is analagous to the "declare" keyword for function declarations. The introduction of this keyword disambiguates situations where a named result type is confused with a new type or gvar definition. For example: %MyType = type i16 %MyType %func(%MyType) { ... } With the introduction of optional parameter attributes between the function name and the function result type, yacc will pick the wrong rule to reduce unless it is disambiguated with "define" before the function definition, as in: define %MyType @zext %func(%MyType %someArg) { ... } llvm-svn: 32781
* For PR950:Reid Spencer2006-12-317-134/+79
| | | | | | Change signed integer type names to unsigned equivalents. llvm-svn: 32780
* For PR950:Reid Spencer2006-12-311-98/+90
| | | | | | Implement signless integer types and FunctionType parameter attributes. llvm-svn: 32779
* For PR950:Reid Spencer2006-12-311-16/+49
| | | | | | | * Change integer type name from signed to signless * Implement printing of FunctionType parameter attributes. llvm-svn: 32778
OpenPOWER on IntegriCloud