1;; Test what ndrange_2D and ndrange_3D can coexist in the same module 2;; 3;; bash$ cat BuildNDRange_2.cl 4;; void test_ndrange_2D3D() { 5;; size_t lsize2[2] = {1, 1}; 6;; ndrange_2D(lsize2); 7;; 8;; size_t lsize3[3] = {1, 1, 1}; 9;; ndrange_3D(lsize3); 10;; } 11;; 12;; void test_ndrange_const_2D3D() { 13;; const size_t lsize2[2] = {1, 1}; 14;; ndrange_2D(lsize2); 15;; 16;; const size_t lsize3[3] = {1, 1, 1}; 17;; ndrange_3D(lsize3); 18;; } 19;; bash$ $PATH_TO_GEN/bin/clang -cc1 -x cl -cl-std=CL2.0 -triple spir64-unknown-unknown -emit-llvm -include opencl-20.h BuildNDRange_2.cl -o BuildNDRange_2.ll 20 21; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV 22; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} 23 24; TODO(#60133): Requires updates following opaque pointer migration. 25; XFAIL: * 26; REQUIRES: asserts 27 28; CHECK-SPIRV-DAG: %[[#LEN2_ID:]] = OpConstant %[[#]] 2 29; CHECK-SPIRV-DAG: %[[#LEN3_ID:]] = OpConstant %[[#]] 3 30; CHECK-SPIRV-DAG: %[[#ARRAY_T2:]] = OpTypeArray %[[#]] %[[#LEN2_ID]] 31; CHECK-SPIRV-DAG: %[[#ARRAY_T3:]] = OpTypeArray %[[#]] %[[#LEN3_ID]] 32 33; CHECK-SPIRV-LABEL: OpFunction 34; CHECK-SPIRV: %[[#LOAD2_ID:]] = OpLoad %[[#ARRAY_T2]] 35; CHECK-SPIRV: %[[#]] = OpBuildNDRange %[[#]] %[[#LOAD2_ID]] 36; CHECK-SPIRV: %[[#LOAD3_ID:]] = OpLoad %[[#ARRAY_T3]] 37; CHECK-SPIRV: %[[#]] = OpBuildNDRange %[[#]] %[[#LOAD3_ID]] 38; CHECK-SPIRV-LABEL: OpFunctionEnd 39 40; CHECK-SPIRV-LABEL: OpFunction 41; CHECK-SPIRV: %[[#CONST_LOAD2_ID:]] = OpLoad %[[#ARRAY_T2]] 42; CHECK-SPIRV: %[[#]] = OpBuildNDRange %[[#]] %[[#CONST_LOAD2_ID]] 43; CHECK-SPIRV: %[[#CONST_LOAD3_ID:]] = OpLoad %[[#ARRAY_T3]] 44; CHECK-SPIRV: %[[#]] = OpBuildNDRange %[[#]] %[[#CONST_LOAD3_ID]] 45; CHECK-SPIRV-LABEL: OpFunctionEnd 46 47%struct.ndrange_t = type { i32, [3 x i64], [3 x i64], [3 x i64] } 48 49@test_ndrange_2D3D.lsize2 = private constant [2 x i64] [i64 1, i64 1], align 8 50@test_ndrange_2D3D.lsize3 = private constant [3 x i64] [i64 1, i64 1, i64 1], align 8 51 52 53define spir_func void @test_ndrange_2D3D() { 54entry: 55 %lsize2 = alloca [2 x i64], align 8 56 %tmp = alloca %struct.ndrange_t, align 8 57 %lsize3 = alloca [3 x i64], align 8 58 %tmp3 = alloca %struct.ndrange_t, align 8 59 %0 = bitcast [2 x i64]* %lsize2 to i8* 60 call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %0, i8* align 8 bitcast ([2 x i64]* @test_ndrange_2D3D.lsize2 to i8*), i64 16, i1 false) 61 %arraydecay = getelementptr inbounds [2 x i64], [2 x i64]* %lsize2, i64 0, i64 0 62 call spir_func void @_Z10ndrange_2DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*) %tmp, i64* %arraydecay) 63 %1 = bitcast [3 x i64]* %lsize3 to i8* 64 call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %1, i8* align 8 bitcast ([3 x i64]* @test_ndrange_2D3D.lsize3 to i8*), i64 24, i1 false) 65 %arraydecay2 = getelementptr inbounds [3 x i64], [3 x i64]* %lsize3, i64 0, i64 0 66 call spir_func void @_Z10ndrange_3DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*) %tmp3, i64* %arraydecay2) 67 ret void 68} 69 70declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1) 71 72declare spir_func void @_Z10ndrange_2DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*), i64*) 73 74declare spir_func void @_Z10ndrange_3DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*), i64*) 75 76define spir_func void @test_ndrange_const_2D3D() { 77entry: 78 %tmp = alloca %struct.ndrange_t, align 8 79 %tmp1 = alloca %struct.ndrange_t, align 8 80 call spir_func void @_Z10ndrange_2DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*) %tmp, i64* getelementptr inbounds ([2 x i64], [2 x i64]* @test_ndrange_2D3D.lsize2, i64 0, i64 0)) 81 call spir_func void @_Z10ndrange_3DPKm(%struct.ndrange_t* sret(%struct.ndrange_t*) %tmp1, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @test_ndrange_2D3D.lsize3, i64 0, i64 0)) 82 ret void 83} 84