Fix tests after 1b1c8d8 by adding noundef attribute

Author: vmaksimo

clang/test/CodeGenSPIRV/spirv-builtin-lookup-win.cpp

@@ -2,16 +2,16 @@
 
 float acos(float val) {
   // CHECK: @"?acos@@YAMM@Z"
-  // CHECK: call float @"?__spirv_ocl_acos@@YAMM@Z"
+  // CHECK: call noundef float @"?__spirv_ocl_acos@@YAMM@Z"
   return __spirv_ocl_acos(val);
 }
 
-// CHECK: declare dso_local float @"?__spirv_ocl_acos@@YAMM@Z"(float)
+// CHECK: declare dso_local noundef float @"?__spirv_ocl_acos@@YAMM@Z"(float noundef)
 
 double acos(double val) {
   // CHECK: @"?acos@@YANN@Z"
-  // CHECK: call double @"?__spirv_ocl_acos@@YANN@Z"
+  // CHECK: call noundef double @"?__spirv_ocl_acos@@YANN@Z"
   return __spirv_ocl_acos(val);
 }
 
-// CHECK: declare dso_local double @"?__spirv_ocl_acos@@YANN@Z"(double)
+// CHECK: declare dso_local noundef double @"?__spirv_ocl_acos@@YANN@Z"(double noundef)

clang/test/CodeGenSPIRV/spirv-builtin-lookup.cpp

@@ -2,16 +2,16 @@
 
 float acos(float val) {
   // CHECK: @_Z4acosf
-  // CHECK: call float @_Z16__spirv_ocl_acosf
+  // CHECK: call noundef float @_Z16__spirv_ocl_acosf
   return __spirv_ocl_acos(val);
 }
 
-// CHECK: declare float @_Z16__spirv_ocl_acosf(float)
+// CHECK: declare noundef float @_Z16__spirv_ocl_acosf(float noundef)
 
 double acos(double val) {
   // CHECK: @_Z4acosd
-  // CHECK: call double @_Z16__spirv_ocl_acosd
+  // CHECK: call noundef double @_Z16__spirv_ocl_acosd
   return __spirv_ocl_acos(val);
 }
 
-// CHECK: declare double @_Z16__spirv_ocl_acosd(double)
+// CHECK: declare noundef double @_Z16__spirv_ocl_acosd(double noundef)

clang/test/CodeGenSYCL/accessor_inheritance.cpp

@@ -24,17 +24,17 @@ int main() {
 // CHECK: %[[RANGE_TYPE:"struct.*cl::sycl::range"]]
 // CHECK: %[[ID_TYPE:"struct.*cl::sycl::id"]]
 // CHECK: define {{.*}}spir_kernel void @_ZTSZ4mainE6kernel
-// CHECK-SAME: i32 [[ARG_A:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: i32 [[ARG_B:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: i8 addrspace(1)* readonly [[ACC1_DATA:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[RANGE_TYPE]]* byval(%[[RANGE_TYPE]]) align 4 [[ACC1_RANGE1:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[RANGE_TYPE]]* byval(%[[RANGE_TYPE]]) align 4 [[ACC1_RANGE2:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[ID_TYPE]]* byval(%[[ID_TYPE]]) align 4 [[ACC1_ID:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: i8 addrspace(1)* readonly [[ACC2_DATA:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[RANGE_TYPE]]* byval(%[[RANGE_TYPE]]) align 4 [[ACC2_RANGE1:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[RANGE_TYPE]]* byval(%[[RANGE_TYPE]]) align 4 [[ACC2_RANGE2:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: %[[ID_TYPE]]* byval(%[[ID_TYPE]]) align 4 [[ACC2_ID:%[a-zA-Z0-9_]+]],
-// CHECK-SAME: i32 [[ARG_C:%[a-zA-Z0-9_]+]])
+// CHECK-SAME: i32 noundef [[ARG_A:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: i32 noundef [[ARG_B:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: i8 addrspace(1)* noundef readonly [[ACC1_DATA:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[RANGE_TYPE]]* noundef byval(%[[RANGE_TYPE]]) align 4 [[ACC1_RANGE1:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[RANGE_TYPE]]* noundef byval(%[[RANGE_TYPE]]) align 4 [[ACC1_RANGE2:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[ID_TYPE]]* noundef byval(%[[ID_TYPE]]) align 4 [[ACC1_ID:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: i8 addrspace(1)* noundef readonly [[ACC2_DATA:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[RANGE_TYPE]]* noundef byval(%[[RANGE_TYPE]]) align 4 [[ACC2_RANGE1:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[RANGE_TYPE]]* noundef byval(%[[RANGE_TYPE]]) align 4 [[ACC2_RANGE2:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: %[[ID_TYPE]]* noundef byval(%[[ID_TYPE]]) align 4 [[ACC2_ID:%[a-zA-Z0-9_]+]],
+// CHECK-SAME: i32 noundef [[ARG_C:%[a-zA-Z0-9_]+]])
 
 // Allocas and addrspacecasts for kernel parameters
 // CHECK: [[ARG_A]].addr = alloca i32
@@ -89,9 +89,9 @@ int main() {
 // CHECK: [[BITCAST3:%[a-zA-Z0-9_]+]] = bitcast %struct{{.*}}Captured addrspace(4)* [[GEP2]] to %struct{{.*}}Base addrspace(4)*
 // CHECK: [[ACC1_FIELD:%[a-zA-Z0-9_]+]] = getelementptr inbounds %struct{{.*}}Base, %struct{{.*}}Base addrspace(4)* [[BITCAST3]], i32 0, i32 2
 // CHECK: [[ACC1_DATA_LOAD:%[a-zA-Z0-9_]+]] = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(4)* [[ACC1_DATA]].addr.ascast
-// CHECK: call spir_func void @{{.*}}__init{{.*}}(%"class{{.*}}cl::sycl::accessor" addrspace(4)* {{[^,]*}} [[ACC1_FIELD]], i8 addrspace(1)* [[ACC1_DATA_LOAD]]
+// CHECK: call spir_func void @{{.*}}__init{{.*}}(%"class{{.*}}cl::sycl::accessor" addrspace(4)* {{[^,]*}} [[ACC1_FIELD]], i8 addrspace(1)* noundef [[ACC1_DATA_LOAD]]
 //
 // CHECK: [[GEP3:%[a-zA-Z0-9_]+]] = getelementptr inbounds %class{{.*}}.anon, %class{{.*}}.anon addrspace(4)* [[KERNEL_OBJ]], i32 0, i32 0
 // CHECK: [[ACC2_DATA_LOAD:%[a-zA-Z0-9_]+]] = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(4)* [[ACC2_DATA]].addr.ascast
 // CHECK: [[BITCAST4:%[a-zA-Z0-9_]+]] = bitcast %struct{{.*}}Captured addrspace(4)* [[GEP3]] to %"class{{.*}}cl::sycl::accessor" addrspace(4)*
-// CHECK: call spir_func void @{{.*}}__init{{.*}}(%"class{{.*}}cl::sycl::accessor" addrspace(4)* {{[^,]*}} [[BITCAST4]], i8 addrspace(1)* [[ACC2_DATA_LOAD]]
+// CHECK: call spir_func void @{{.*}}__init{{.*}}(%"class{{.*}}cl::sycl::accessor" addrspace(4)* {{[^,]*}} [[BITCAST4]], i8 addrspace(1)* noundef [[ACC2_DATA_LOAD]]

clang/test/CodeGenSYCL/address-space-new.cpp

@@ -103,7 +103,7 @@ void test() {
   // CHECK: %[[FIRST:[a-zA-Z0-9]+]] = bitcast %struct.Y addrspace(4)* %{{.*}} to i8 addrspace(4)*
   // CHECK: %[[OFFSET:[a-zA-Z0-9]+]].ptr = getelementptr inbounds i8, i8 addrspace(4)* %[[FIRST]], i64 8
   // CHECK: %[[SECOND:[a-zA-Z0-9]+]] = bitcast i8 addrspace(4)* %[[OFFSET]].ptr to %struct.HasX addrspace(4)*
-  // CHECK: call spir_func void @{{.*}}bar{{.*}}(%struct.HasX addrspace(4)* align 4 dereferenceable(4) %[[SECOND]])
+  // CHECK: call spir_func void @{{.*}}bar{{.*}}(%struct.HasX addrspace(4)* noundef align 4 dereferenceable(4) %[[SECOND]])
 }
 
 template <typename name, typename Func>