maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
58,892 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

133 Commits

Author SHA1 Message Date
Daniel Dunbar 01910a50c4 x86-32 ABI: Fix crash on return of structure with flexible array 
member.

Also, spell bitfield more consistently as bit-field.

llvm-svn: 70220
 2009-04-27 18:31:32 +00:00
Eli Friedman 1c4a175aef Remove getIntegerConstantExprValue in favor of using EvaluateAsInt. 
llvm-svn: 70145
 2009-04-26 19:19:15 +00:00
Sanjiv Gupta 4c5dfd3c45 Pass and return aggregate types directly to function calls. 
llvm-svn: 69668
 2009-04-21 06:01:16 +00:00
Anders Carlsson 603d6aff8b Make CodeGenFunction::EmitCallArgs a template function that takes a generic "Type Info" parameter. The type info parameter knows how to iterate over its arguments. 
llvm-svn: 69469
 2009-04-18 20:20:22 +00:00
Daniel Dunbar 4184ac847f Update to use hasAttr() instead of getAttr(). 
- No functionality change.

llvm-svn: 68987
 2009-04-13 21:08:27 +00:00
Daniel Dunbar 8c920c9220 Don't set both readnone and readonly. 
llvm-svn: 68833
 2009-04-10 22:14:52 +00:00
Douglas Gregor bcced4ec31 Propagate the ASTContext to various AST traversal and lookup functions. 
No functionality change (really).

llvm-svn: 68726
 2009-04-09 21:40:53 +00:00
Anders Carlsson 60ce3fe140 Add code for emitting call arguments (not used yet). 
llvm-svn: 68639
 2009-04-08 20:47:54 +00:00
Anders Carlsson a60cbcdfe6 Don't assume that a block always has a FunctionProtoType. Fixes rdar://6768379. 
llvm-svn: 68583
 2009-04-08 02:55:55 +00:00
Anders Carlsson 6f811f149b Add a getFunctionInfo that takes a BlockPointerType. 
llvm-svn: 68452
 2009-04-06 18:05:26 +00:00
Anton Korobeynikov c847824e8e Basic support for regparm codegen 
llvm-svn: 68414
 2009-04-04 00:49:24 +00:00
Anders Carlsson b15b55c2d0 Add a getFunctionInfo that takes a CXXMethodDecl. 
llvm-svn: 68411
 2009-04-03 22:48:58 +00:00
Daniel Dunbar e80bd1897c x86-32 Darwin ABI: Handle small structures correctly. 
- Small structures are returned in a register if: 
    1. They fit nicely in a  register.
    2. All fields fit nicely in a register.
   (more or less)

 - We now pass the first 5000 ABITests if unions are disabled.

 - <rdar://problem/6497882> [irgen] x86-32 ABI compatibility with
   small structs

llvm-svn: 68197
 2009-04-01 07:45:00 +00:00
Daniel Dunbar 58e2971bb0 x86-32 Darwin ABI: Single element arrays can be part of "single 
element structures", which have different ABI rules.
 - Current return-arguments-32 status is: 1 out of 1000 failures (-7)

 - Also, vectors inside "single element structs" require special
   handling.

llvm-svn: 68196
 2009-04-01 07:08:38 +00:00
Daniel Dunbar cd76e673eb x86-32 Darwin ABI: Handle direct return of vectors. 
- Current return-arguments-32 status is: 8 out of 1000 failures (-7)

llvm-svn: 68192
 2009-04-01 06:13:08 +00:00
Daniel Dunbar 35579146aa x86_32 Darwin ABI: Treat empty unions like empty structures. 
- Current return-arguments-32 status: 15/1000 failures

llvm-svn: 68132
 2009-03-31 19:01:39 +00:00
Eli Friedman bbcf49e410 Initial implementation of ARM ABI. Mostly untested. Note that I'm not 
really intending to take ownership of this; I wrote this mostly because 
I was curious about how the ARM ABI works.  It should be a decent start, 
though.

llvm-svn: 67969
 2009-03-29 00:15:25 +00:00
Eli Friedman 2dc5f29ff2 Fix the ABI convention for struct returns on x86 outside of Darwin. 
llvm-svn: 67577
 2009-03-23 23:26:24 +00:00
Chris Lattner e09ad90882 don't set the name of a call instruction to "call" in release-asserts 
build.  This shaves another 3% off.

llvm-svn: 67460
 2009-03-22 00:32:22 +00:00
Daniel Dunbar c230443178 PR3835: Interaction with ABI structure passing can inhibit 
readnone/readonly attributes.

llvm-svn: 67224
 2009-03-18 19:51:01 +00:00
Daniel Dunbar 8ce48d8c10 x86_32 ABI: Don't try and expand structures with bitfields. 
- This is an ABI incompatiblity, but this is not likely to be a huge
   deal in practice. For now we at least generate self consistent code
   instead of crashing.
 - <rdar://problem/6657601> x86-32 ABI: Bitfields in small structures
   are not passed correctly

llvm-svn: 66713
 2009-03-11 22:05:26 +00:00
Daniel Dunbar 4095d89532 Remove some now-unneeded calls to llvm::errs().flush(). 
llvm-svn: 66555
 2009-03-10 18:00:19 +00:00
Daniel Dunbar 94911a91d5 x86_64 ABI: Handle long double in union when upper eightbyte results 
in a lone X87 class.
 - PR3735.

llvm-svn: 66277
 2009-03-06 17:50:25 +00:00
Daniel Dunbar b960b7b7c7 Cleanup handling of function attributes in calls. 
- No intended functionality change.

llvm-svn: 65805
 2009-03-02 04:32:35 +00:00
Douglas Gregor deaad8cc34 Create a new TypeNodes.def file that enumerates all of the types, 
giving them rough classifications (normal types, never-canonical
types, always-dependent types, abstract type representations) and
making it far easier to make sure that we've hit all of the cases when
decoding types. 

Switched some switch() statements on the type class over to using this
mechanism, and filtering out those things we don't care about. For
example, CodeGen should never see always-dependent or non-canonical
types, while debug info generation should never see always-dependent
types. More switch() statements on the type class need to be moved 
over to using this approach, so that we'll get warnings when we add a
new type then fail to account for it somewhere in the compiler.

As part of this, some types have been renamed:

  TypeOfExpr -> TypeOfExprType
  FunctionTypeProto -> FunctionProtoType
  FunctionTypeNoProto -> FunctionNoProtoType

There shouldn't be any functionality change...

llvm-svn: 65591
 2009-02-26 23:50:07 +00:00
Daniel Dunbar 76ba41ce4f Add Type::hasPointerRepresentation predicate. 
- For types whose native representation is a pointer.

 - Use to replace ExprConstant.cpp:HasPointerEvalType,
   CodeGenFunction::isObjCPointerType.

llvm-svn: 65569
 2009-02-26 20:52:22 +00:00
Daniel Dunbar e2617d97a5 Drop uses of isPointerLikeType. 
- No functionality change.

llvm-svn: 65560
 2009-02-26 19:03:24 +00:00
Anders Carlsson 600183db9e Classify enum types correctly 
llvm-svn: 65533
 2009-02-26 17:31:15 +00:00
Daniel Dunbar b98d1f7140 x86_64 ABI: Qualified id types are passed as pointers. 
- <rdar://problem/6622451> Bad x86_64 code gen for message call taking one argument.

llvm-svn: 65510
 2009-02-26 07:21:35 +00:00
Daniel Dunbar 4208835eec Temporarily disable clearing of insert point (to indicate unreachable 
code) when calling noreturn functions; general expression emission
isn't ready to do the right thing in all cases.

llvm-svn: 65473
 2009-02-25 20:59:29 +00:00
Daniel Dunbar 1234749853 Add low level support for generating invoke instead of calls. 
- No functionality change.

llvm-svn: 65325
 2009-02-23 17:26:39 +00:00
Daniel Dunbar bb525c3c7f x86_64 ABI: Actually, we can always pass things we want to pass in 
memory using Indirect; this was a holdover from when CGCall wasn't as
robust.

llvm-svn: 65278
 2009-02-22 08:17:51 +00:00
Daniel Dunbar 075d642e24 x86_64 ABI: Make sure to pass vectors that we want to pass in memory 
as byval. Otherwise LLVM will have its own opinion about where to put
things.

We now pass all gcc dg.compat tests on x86_64.

llvm-svn: 65266
 2009-02-22 07:22:25 +00:00
Daniel Dunbar c64c481d18 x86_64 ABI: Pass 32-bit vectors as Integer to match gcc. We don't care 
about these much but <2 x i16> shows up in the gcc test suite.

llvm-svn: 65264
 2009-02-22 04:48:22 +00:00
Daniel Dunbar f25afad9e5 x86_64 ABI: Classify <1 x i64> as INTEGER (match gcc not llvm-gcc). 
Also, make sure to pass <1 x i64> as i64 (not <1 x i64>, which doesn't
quite work yet in the backend).

llvm-svn: 65262
 2009-02-22 04:16:10 +00:00
Daniel Dunbar 5006f4a5f0 Take advantage of noreturn attribute to add unreachable instruction & 
clear insertion point. The rest of IRgen should theoretically take
advantage of this to avoid emitting dead code. Theory != Practice.

llvm-svn: 65141
 2009-02-20 18:54:31 +00:00
Daniel Dunbar cdbb5e336d Set call attribute for direct calls (i.e. noreturn). 
- Remove an unused variant of EmitCallExpr overload.

llvm-svn: 65130
 2009-02-20 18:06:48 +00:00
Chris Lattner 90669d0500 switch ObjCMethodDecl's parameter list from being explicitly managed to an ObjCList. 
llvm-svn: 65114
 2009-02-20 06:23:21 +00:00
Daniel Dunbar 8cdb9dae45 i386 ABI: Offset computation in va_arg was incorrect for sizeof(Ty)>4. 
We are down to only failing gcc.dg/compat/vector-[12] (8 tests total).

llvm-svn: 64967
 2009-02-18 22:28:45 +00:00
Daniel Dunbar e60ec0abca x86_64 ABI: Fix thinko in computation of bound for "passed in SSE regs" test. 
Two more gcc/x86_64 failures down.

llvm-svn: 64963
 2009-02-18 22:19:44 +00:00
Daniel Dunbar e3bba6e3d0 x86_64 ABI: "is passed in regs" computation for va_arg was broken for 
things passed in mixed registers.

This knocks out 8 x86_64 failures.

llvm-svn: 64958
 2009-02-18 22:05:01 +00:00
Daniel Dunbar 617e89231d x86_64 ABI: Two bug fixes. 
1. Return of _Complex long double used wrong type.

2. va_arg of types passed in two SSE registers didn't account for
extra space in register save area.

Down to 18 failures on gcc/compat/x86_64. Combined 32/64 results are:
--
		=== gcc Summary ===

# of expected passes		1292
# of unexpected failures	34
# of unsupported tests		2
--

llvm-svn: 64880
 2009-02-18 03:44:19 +00:00
Daniel Dunbar 0ee13255ee x86_64 ABI: Fix assert on return of _Complex long double. 
llvm-svn: 64756
 2009-02-17 07:55:55 +00:00
Daniel Dunbar 7f0e2368bb x86_64 ABI: Implement classification for bit-fields. 
llvm-svn: 64727
 2009-02-17 02:45:44 +00:00
Daniel Dunbar f2c6198eef x86_64 ABI: Handle va_arg arguments with alignment > 8. 
llvm-svn: 64701
 2009-02-16 23:38:56 +00:00
Daniel Dunbar 3d88672f64 x86_64 ABI: Need to use canonical types when comparing against 
ASTContext types.

llvm-svn: 64533
 2009-02-14 02:45:45 +00:00
Daniel Dunbar 019ef0bbfe x86_64 ABI: Pass simple types directly when possible. This is 
important for both keeping the generated LLVM simple and for ensuring
that integer types are passed/promoted correctly.

llvm-svn: 64529
 2009-02-14 02:09:24 +00:00
Daniel Dunbar abe6ef932f x86_64 ABI: Support va_arg passed in mixed registers. 
- Now at 1274 passes on gcc compat suite vs 1262.

llvm-svn: 64469
 2009-02-13 17:46:31 +00:00
Daniel Dunbar 753cc07d13 x86_64: Initial varargs support. 
- Doesn't yet handle case where values are passed in mixed (general
   purpose & floating point) registers; otherwise largely
   functional. Code still needs some cleaning.

Fixes:
MultiSource/Applications/lua/lua
MultiSource/Applications/siod/siod
MultiSource/Applications/sqlite3/sqlite3
SingleSource/Regression/C/PR640
SingleSource/UnitTests/2003-07-09-SignedArgs
SingleSource/UnitTests/2007-03-02-VaCopy

gcc compat test suite results (Darwin x86-32 & -64):
--
# of expected passes		1262
# of unexpected failures	56
# of unresolved testcases	34
# of unsupported tests		2

Compare to: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20090209/012050.html

llvm-svn: 64370
 2009-02-12 09:04:14 +00:00
Daniel Dunbar 2d0746fb97 Pull CodeGenFunction::EmitVAArg into target specific ABIInfo classes. 
llvm-svn: 64235
 2009-02-10 20:44:09 +00:00