replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
197,742 Commits 2 Branches 0 Tags 1.8 GiB
Commit Graph

65 Commits

Author SHA1 Message Date
Joey Gouly 1d58cdbf4e Add some semantic checks for OpenCL. Variadic macros, VLAs and bitfields are not supported. 
llvm-svn: 172732
 2013-01-17 17:35:00 +00:00
Andy Gibbs c6e68daac0 Prior to adding the new "expected-no-diagnostics" directive to VerifyDiagnosticConsumer, make the necessary adjustment to 580 test-cases which will henceforth require this new directive. 
llvm-svn: 166280
 2012-10-19 12:44:48 +00:00
Tanya Lattner 4bfc355094 Disable the warning for missing prototypes for OpenCL kernels. Includes testcase. 
llvm-svn: 160766
 2012-07-26 00:08:28 +00:00
Tanya Lattner 4fdce3faa8 Extend the support for cl-std to include 1.2. 
Add error checking for the static qualifier which is now allowed in certain situations for OpenCL 1.2. Use the CL version to turn on this feature.
Added test case for 1.2 static storage class feature.

llvm-svn: 158759
 2012-06-19 23:09:52 +00:00
Eli Friedman b9c7129012 Support constant evaluation for OpenCL nested vector literals. Patch by Anton Lokhmotov. 
llvm-svn: 147496
 2012-01-03 23:24:20 +00:00
Peter Collingbourne 5ad3ebaefd TypePrinter: print OpenCL address space names. Patch by Richard 
Membarth, test case by myself.

llvm-svn: 144063
 2011-11-08 02:52:58 +00:00
Tanya Lattner 49b3841398 The comparison of two vectors should return a signed result. hasIntegerRepresentation() used to always return false for vectors, but since it was changed, it also 
changed the return type of a compare of two unsigned vectors to be unsigned. This patch removes the check for hasIntegerRepresentation since its not needed and returns the appropriate signed type.
I added a new test case and updated exisiting test cases that assumed an unsigned result.

llvm-svn: 142250
 2011-10-17 21:00:38 +00:00
Tobias Grosser 766bcc27dc In OpenCL, conversions between different vector types are disallowed 
OpenCL 6.2.1 says: "Implicit conversions between built-in vector data types are
disallowed."  OpenCL 6.2.2 says: "Explicit casts between vector types are not
legal."  For example:

uint4 u = (uint4)(1);
int4 i = u; // invalid implicit conversion
int4 e = (int4)u; // invalid explicit conversion

Fixes PR10967. Submitted by: Anton Lokhmotov <Anton.lokhmotov@gmail.com>

llvm-svn: 140300
 2011-09-22 13:03:14 +00:00
Tobias Grosser 0a3a22fe66 In the OpenCL mode, the AltiVec mode must be off and checks must be strict 
OpenCL is different from AltiVec in the way it supports vector literals.  OpenCL
is strict with regards to semantic checks.  For example, implicit conversions
and explicit casts between vectors of different types are disallowed.

Fixes PR10975. Submitted by: Anton Lokhmotov <Anton.lokhmotov@gmail.com>

llvm-svn: 140270
 2011-09-21 18:28:29 +00:00
Peter Collingbourne 2dbb708b8a OpenCL: introduce support for function scope __local variables 
llvm-svn: 140068
 2011-09-19 21:14:35 +00:00
Tanya Lattner 8355938fcd This handles the missing cases of opencl vector literals. 
Test cases provided by Anton Lokhmot.

llvm-svn: 135322
 2011-07-15 23:07:01 +00:00
Peter Collingbourne c77f85b4b0 OpenCL: if double precision floating point constant encountered 
without cl_khr_fp64, warn and cast to single precision

llvm-svn: 127476
 2011-03-11 19:24:59 +00:00
Peter Collingbourne e190dee7a5 Add support for the OpenCL vec_step operator, by generalising and 
extending the existing support for sizeof and alignof.  Original
patch by Guy Benyei.

llvm-svn: 127475
 2011-03-11 19:24:49 +00:00
Peter Collingbourne e91b2dbdf1 OpenCL: standardise naming of test cases 
llvm-svn: 125590
 2011-02-15 19:46:41 +00:00
Peter Collingbourne e87167b7d8 OpenCL: semantic analysis support for cl_khr_fp64 extension 
llvm-svn: 125588
 2011-02-15 19:46:23 +00:00