commit a52d278f0fbac83fa26a03948759cce467d8e55b
author Joey Gouly <joey.gouly@arm.com> Tue Jan 29 15:09:40 2013 +0000
committer Joey Gouly <joey.gouly@arm.com> Tue Jan 29 15:09:40 2013 +0000
tree 2d2ebaa71c4fe49b90e77a8f045c14f8bbcd9ba6
parent adc6aba07293928122629e9d8a91a37144254831

Fix a crash in OpenCL code by using the proper (RHS) bit-width.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173802 91177308-0d34-0410-b5e6-96231b3b80d8

lib/AST/ExprConstant.cpp

diff --git a/lib/AST/ExprConstant.cpp b/lib/AST/ExprConstant.cpp
index 4ea6399..ae86150 100644
--- a/lib/AST/ExprConstant.cpp
+++ b/lib/AST/ExprConstant.cpp
@@ -4723,7 +4723,7 @@
     case BO_Shl: {
       if (Info.getLangOpts().OpenCL)
         // OpenCL 6.3j: shift values are effectively % word size of LHS.
-        RHS &= APSInt(llvm::APInt(LHS.getBitWidth(),
+        RHS &= APSInt(llvm::APInt(RHS.getBitWidth(),
                       static_cast<uint64_t>(LHS.getBitWidth() - 1)),
                       RHS.isUnsigned());
       else if (RHS.isSigned() && RHS.isNegative()) {
@@ -4755,7 +4755,7 @@
     case BO_Shr: {
       if (Info.getLangOpts().OpenCL)
         // OpenCL 6.3j: shift values are effectively % word size of LHS.
-        RHS &= APSInt(llvm::APInt(LHS.getBitWidth(),
+        RHS &= APSInt(llvm::APInt(RHS.getBitWidth(),
                       static_cast<uint64_t>(LHS.getBitWidth() - 1)),
                       RHS.isUnsigned());
       else if (RHS.isSigned() && RHS.isNegative()) {

test/SemaOpenCL/shifts.cl

diff --git a/test/SemaOpenCL/shifts.cl b/test/SemaOpenCL/shifts.cl
index f71927c..5b0c6fb 100644
--- a/test/SemaOpenCL/shifts.cl
+++ b/test/SemaOpenCL/shifts.cl
@@ -2,13 +2,16 @@
 // OpenCL essentially reduces all shift amounts to the last word-size bits before evaluating.
 // Test this both for variables and constants evaluated in the front-end.
 
-//CHECK: @negativeShift32
+// CHECK: @gtest1 = constant i64 2147483648
+__constant const unsigned long gtest1 = 1UL << 31;
+
+// CHECK: @negativeShift32
 int negativeShift32(int a,int b) {
-  //CHECK: %array0 = alloca [256 x i8]
+  // CHECK: %array0 = alloca [256 x i8]
   char array0[((int)1)<<40];
-  //CHECK: %array1 = alloca [256 x i8]
+  // CHECK: %array1 = alloca [256 x i8]
   char array1[((int)1)<<(-24)];
 
-  //CHECK: ret i32 65536
+  // CHECK: ret i32 65536
   return ((int)1)<<(-16);
 }