llvm-svn: 39812

llvm-svn: 39797

Both in one patch, and the test case that Chris didn't commit last
time is in there too...

I'll split the patch up if somebody wants it split."

Patch by Keith Bauer.

llvm-svn: 39796

llvm-svn: 39795

I've added a tests/CodeGen directory, and a test for this case that
used to fail and now passes."

Patch by Keith Bauer

llvm-svn: 39794

Keith Bauer.

llvm-svn: 39793

llvm-svn: 39792

Two changes...

- Teach all the integer/float predicates on Type about Vectors.
- Disallow bitwise compliment on float vectors. For example...

typedef float __attribute__(( vector_size(16) )) float4;

float4 float4_return()
{
    float4 xx;

    return ~xx;
}

...now emits the following diagnostic...

[administrators-powerbook59:~/llvm/tools/clang] admin% ../../Debug/bin/clang bug.c
bug.c:8:12: error: invalid argument type to unary expression 'float4'
    return ~xx;
           ^
1 diagnostic generated.

llvm-svn: 39791

llvm-svn: 39786

llvm-svn: 39785

llvm-svn: 39784

llvm-svn: 39783

(needed on Solaris)

llvm-svn: 39781

Benoit Boissinot!

llvm-svn: 39780

included.  Patch contributed by Benoit Boissinot!

llvm-svn: 39779

doesn't imply <cassert>.

llvm-svn: 39778

llvm-svn: 39777

notice this.

llvm-svn: 39776

llvm-svn: 39771

pretty printer to print it.

llvm-svn: 39770

llvm-svn: 39765

llvm-svn: 39756

llvm-svn: 39746

llvm-svn: 39738

llvm-svn: 39731

Submitted by:
Reviewed by:
Remove reference to Attr.h...

llvm-svn: 39730

Submitted by:
Reviewed by:
Removed Attr.[h,cpp]...they didn't have any useful content.

When more (GCC) attributes are added, we might want to create a file
of this ilk. For now, it's better to remove them (to eliminate any confusion).

I also update the Xcode project file...

llvm-svn: 39729

Submitted by:
Reviewed by:
Two vector fixes:

- Sema::CheckAssignmentConstraints() needs to compare the canonical type.
- Expr::isLvalue() needs to disallow subscripting into a vector returned by a function. This
follows the rules for struct returns (in C, at least...C++ is another story:-)

Here is an example...

float4 float4_return()
{
    float4 xx;

    return xx;
}
void add_float4_void_return(float4 *a, float4 *b, float4 *result)
{
    float f;
    float4_return()[1] = f; // now illegal
}

llvm-svn: 39728

Not having this prevented promoting float arguments to double when passed
into printf, for example.

llvm-svn: 39727

llvm-svn: 39726

float4 test(void);
float test2() {
  return test()[1];
}

llvm-svn: 39725

llvm-svn: 39724

Submitted by:
Reviewed by:
Support the following...

1. Type checking and codegen support for V[i] on vectors. Hacked
Sema::ParseArraySubscriptExpr().

2. Unary bitwise complement ("~") on vectors. Hacked Sema::ParseUnaryOp().

llvm-svn: 39723

typedef float float4 __attribute__((vector_size (16)));
void addFloat4(float4 a, float4 b) {
    float4 temp;
}

make sure to add 'temp' to the stmt tree as a declstmt.

llvm-svn: 39722

llvm-svn: 39721

I expected :)

llvm-svn: 39720

Submitted by:
Reviewed by:
Added primitive support for 32-bit floating point literals.

llvm-svn: 39719

llvm-svn: 39718

Submitted by:
Reviewed by:
Typechecking support for vectors...

- Added CheckVectorOperands(). Called from CheckAdditionOperands,
CheckMultiplyDivideOperands, CheckSubstractionOperands, and CheckBitwiseOperands.
- Added diagnostic for converting vector values of different size.
- Modified Type::isArithmeticType to include vectors.

Sould be ready for Chris to add code generation. I will continue testing/refining.

llvm-svn: 39717

Submitted by:
Reviewed by:
Fix a bozo bug in HandleDeclAttribute...only install a new type when appropriate.
Also changed setType/setUnderlyingType to return void.

llvm-svn: 39716