llvm/test/CodeGen/SPIRV/transcoding/SampledImage.ll

   1 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   3
   4 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   5 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   6
   7 ;; constant sampler_t constSampl = CLK_FILTER_LINEAR;
   8 ;;
   9 ;; __kernel
  10 ;; void sample_kernel_float(image2d_t input, float2 coords, global float4 *results, sampler_t argSampl) {
  11 ;;   *results = read_imagef(input, constSampl, coords);
  12 ;;   *results = read_imagef(input, argSampl, coords);
  13 ;;   *results = read_imagef(input, CLK_FILTER_NEAREST|CLK_ADDRESS_REPEAT, coords);
  14 ;; }
  15 ;;
  16 ;; __kernel
  17 ;; void sample_kernel_int(image2d_t input, float2 coords, global int4 *results, sampler_t argSampl) {
  18 ;;   *results = read_imagei(input, constSampl, coords);
  19 ;;   *results = read_imagei(input, argSampl, coords);
  20 ;;   *results = read_imagei(input, CLK_FILTER_NEAREST|CLK_ADDRESS_REPEAT, coords);
  21 ;; }
  22
  23 ; CHECK-SPIRV: OpCapability LiteralSampler
  24 ; CHECK-SPIRV: OpName %[[#sample_kernel_float:]] "sample_kernel_float"
  25 ; CHECK-SPIRV: OpName %[[#sample_kernel_int:]] "sample_kernel_int"
  26
  27 ; CHECK-SPIRV:     %[[#TypeSampler:]] = OpTypeSampler
  28 ; CHECK-SPIRV-DAG: %[[#SampledImageTy:]] = OpTypeSampledImage
  29 ; CHECK-SPIRV-DAG: %[[#ConstSampler1:]] = OpConstantSampler %[[#TypeSampler]] None 0 Linear
  30 ; CHECK-SPIRV-DAG: %[[#ConstSampler2:]] = OpConstantSampler %[[#TypeSampler]] Repeat 0 Nearest
  31 ; CHECK-SPIRV-DAG: %[[#ConstSampler3:]] = OpConstantSampler %[[#TypeSampler]] None 0 Linear
  32 ; CHECK-SPIRV-DAG: %[[#ConstSampler4:]] = OpConstantSampler %[[#TypeSampler]] Repeat 0 Nearest
  33
  34 ; CHECK-SPIRV: %[[#sample_kernel_float]] = OpFunction %{{.*}}
  35 ; CHECK-SPIRV: %[[#InputImage:]] = OpFunctionParameter %{{.*}}
  36 ; CHECK-SPIRV: %[[#argSampl:]] = OpFunctionParameter %[[#TypeSampler]]
  37
  38 ; CHECK-SPIRV: %[[#SampledImage1:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#ConstSampler1]]
  39 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage1]]
  40
  41 ; CHECK-SPIRV: %[[#SampledImage2:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#argSampl]]
  42 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage2]]
  43
  44 ; CHECK-SPIRV: %[[#SampledImage3:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#ConstSampler2]]
  45 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage3]]
  46
  47 define dso_local spir_kernel void @sample_kernel_float(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, <2 x float> noundef %coords, <4 x float> addrspace(1)* nocapture noundef writeonly %results, target("spirv.Sampler") %argSampl) local_unnamed_addr {
  48 entry:
  49   %0 = tail call spir_func target("spirv.Sampler") @__translate_sampler_initializer(i32 32)
  50   %call = tail call spir_func <4 x float> @_Z11read_imagef14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %0, <2 x float> noundef %coords)
  51   store <4 x float> %call, <4 x float> addrspace(1)* %results, align 16
  52   %call1 = tail call spir_func <4 x float> @_Z11read_imagef14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %argSampl, <2 x float> noundef %coords)
  53   store <4 x float> %call1, <4 x float> addrspace(1)* %results, align 16
  54   %1 = tail call spir_func target("spirv.Sampler") @__translate_sampler_initializer(i32 22)
  55   %call2 = tail call spir_func <4 x float> @_Z11read_imagef14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %1, <2 x float> noundef %coords)
  56   store <4 x float> %call2, <4 x float> addrspace(1)* %results, align 16
  57   ret void
  58 }
  59
  60 declare spir_func <4 x float> @_Z11read_imagef14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0), target("spirv.Sampler"), <2 x float> noundef) local_unnamed_addr
  61
  62 declare spir_func target("spirv.Sampler") @__translate_sampler_initializer(i32) local_unnamed_addr
  63
  64 ; CHECK-SPIRV: %[[#sample_kernel_int]] = OpFunction %{{.*}}
  65 ; CHECK-SPIRV: %[[#InputImage:]] = OpFunctionParameter %{{.*}}
  66 ; CHECK-SPIRV: %[[#argSampl:]] = OpFunctionParameter %[[#TypeSampler]]
  67
  68 ; CHECK-SPIRV: %[[#SampledImage4:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#ConstSampler3]]
  69 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage4]]
  70
  71 ; CHECK-SPIRV: %[[#SampledImage5:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#argSampl]]
  72 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage5]]
  73
  74 ; CHECK-SPIRV: %[[#SampledImage6:]] = OpSampledImage %[[#SampledImageTy]] %[[#InputImage]] %[[#ConstSampler4]]
  75 ; CHECK-SPIRV: %[[#]] = OpImageSampleExplicitLod %[[#]] %[[#SampledImage6]]
  76
  77 define dso_local spir_kernel void @sample_kernel_int(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, <2 x float> noundef %coords, <4 x i32> addrspace(1)* nocapture noundef writeonly %results, target("spirv.Sampler") %argSampl) local_unnamed_addr {
  78 entry:
  79   %0 = tail call spir_func target("spirv.Sampler") @__translate_sampler_initializer(i32 32)
  80   %call = tail call spir_func <4 x i32> @_Z11read_imagei14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %0, <2 x float> noundef %coords)
  81   store <4 x i32> %call, <4 x i32> addrspace(1)* %results, align 16
  82   %call1 = tail call spir_func <4 x i32> @_Z11read_imagei14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %argSampl, <2 x float> noundef %coords)
  83   store <4 x i32> %call1, <4 x i32> addrspace(1)* %results, align 16
  84   %1 = tail call spir_func target("spirv.Sampler") @__translate_sampler_initializer(i32 22)
  85   %call2 = tail call spir_func <4 x i32> @_Z11read_imagei14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0) %input, target("spirv.Sampler") %1, <2 x float> noundef %coords)
  86   store <4 x i32> %call2, <4 x i32> addrspace(1)* %results, align 16
  87   ret void
  88 }
  89
  90 declare spir_func <4 x i32> @_Z11read_imagei14ocl_image2d_ro11ocl_samplerDv2_f(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 0), target("spirv.Sampler"), <2 x float> noundef) local_unnamed_addr