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

Submitted by:
Reviewed by:
- Finished semantic analysis for vectors, added some diagnostics.
- Added AST for vectors (instantiation, installation into the decl).
- Fixed bug in ParseArraySubscriptExpr()...this crasher was introduced by me
when we added the range support.
- Turned pedantic off by default. Since vectors are gcc extensions, having
pedantic on by default was annoying. Turning it off by default is  also
consistent with gcc (but this wasn't my primary motivation).
- Tweaked some comments and diagnostics.

Note: The type checking code is still under construction (for vectors). This
will be my next check-in.

llvm-svn: 39715

Reviewed by: Chris Lattner

- Fix for C++ casting operators failing during parsing. Deriving the C++ cast
  expressions from CastExpr was the wrong way to go. Its constructor creates
  null QualTypes in one of its constructors. This doesn't work well with how
  the C++ casting expression class wanted to do things. Derive just from Expr
  instead.

llvm-svn: 39714

llvm-svn: 39713

llvm-svn: 39712

llvm-svn: 39711

codegen support for +=.

llvm-svn: 39710

- The && at the end was causing this to fail. Removed.

llvm-svn: 39709

llvm-svn: 39708

llvm-svn: 39707

llvm-svn: 39706

llvm-svn: 39705

llvm-svn: 39704

llvm-svn: 39703

llvm-svn: 39702

recent changes.  carbon.h now preprocesses just fine.

llvm-svn: 39701

For example, for:

int test(short S, long L) {
  return S /= L;
}

record that the division is done as a long, even though the result type is
short.

llvm-svn: 39700

Update with -parse-ast-check.

llvm-svn: 39699

Missing support for LLVM casting operators.

llvm-svn: 39698

Small cleanup. No need to assign to a variable before returning.

llvm-svn: 39697

Fixed checking to coincide with the correct lines.

llvm-svn: 39696

- Revert use of -parse-ast-check.

llvm-svn: 39695

llvm-svn: 39694

llvm-svn: 39693

llvm-svn: 39692

llvm-svn: 39691

llvm-svn: 39690

- Chris noticed that if there were multiple warnings/errors expected
  throughout the file and we were checking only one of them, then it
  would go ahead and say that the whole file was okay. Fixed this by
  adding a check for the line number as well as the string.

llvm-svn: 39689

Reviewed by: Chris Lattner

Split up lines to have only one expected output per line. Restored some
checks.

llvm-svn: 39688

Reviewed by: Chris Lattner

- Reverted some checks because they're checking the preprocessor output.

llvm-svn: 39687

Removed unnecessary typedef.

llvm-svn: 39686

some ivars to more obvious names, eliminating some comments.

llvm-svn: 39685