llvm/test/CodeGen/SPIRV/opencl/image.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
   2
   3 ;; FIXME: Write tests to ensure invalid usage of image are rejected, such as:
   4 ;;  - invalid AS (only global is allowed);
   5 ;;  - used in struct, union, array, pointer or return types;
   6 ;;  - used with invalid CV-qualifiers (const or volatile in C99).
   7 ;; FIXME: Write further tests to cover _array, _buffer, _depth, ... types.
   8
   9 define void @foo(
  10   target("spirv.Image", void, 0, 0, 0, 0, 0, 0, 0) %a,
  11   target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 1) %b,
  12   target("spirv.Image", void, 2, 0, 0, 0, 0, 0, 2) %c,
  13   i32 addrspace(1)* %d
  14 ) {
  15   %pixel = call <4 x i32> @_Z11read_imagei14ocl_image1d_roi(target("spirv.Image", void, 0, 0, 0, 0, 0, 0, 0) %a, i32 0)
  16   call void @_Z12write_imagei14ocl_image2d_woDv2_iDv4_i(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 1) %b, <2 x i32> zeroinitializer, <4 x i32> %pixel)
  17   %size = call i32 @_Z15get_image_width14ocl_image3d_rw(target("spirv.Image", void, 2, 0, 0, 0, 0, 0, 2) %c)
  18   store i32 %size, i32 addrspace(1)* %d
  19   ret void
  20 }
  21
  22 declare <4 x i32> @_Z11read_imagei14ocl_image1d_roi(target("spirv.Image", void, 0, 0, 0, 0, 0, 0, 0), i32)
  23
  24 declare void @_Z12write_imagei14ocl_image2d_woDv2_iDv4_i(target("spirv.Image", void, 1, 0, 0, 0, 0, 0, 1), <2 x i32>, <4 x i32>)
  25
  26 declare i32 @_Z15get_image_width14ocl_image3d_rw(target("spirv.Image", void, 2, 0, 0, 0, 0, 0, 2))
  27
  28
  29 ;; Capabilities:
  30 ; CHECK-DAG: OpCapability ImageReadWrite
  31 ; CHECK-NOT: DAG-FENCE
  32
  33 ;; Types, Constants and Variables:
  34 ;; FIXME: The values should be double checked here.
  35 ; CHECK-DAG: %[[#IMG_1D:]] = OpTypeImage %[[#VOID:]] 1D 0 0 0 0 Unknown ReadOnly
  36 ; CHECK-DAG: %[[#IMG_2D:]] = OpTypeImage %[[#VOID]] 2D 0 0 0 0 Unknown WriteOnly
  37 ; CHECK-DAG: %[[#IMG_3D:]] = OpTypeImage %[[#VOID]] 3D 0 0 0 0 Unknown ReadWrite
  38 ; CHECK-DAG: %[[#PTR:]] = OpTypePointer CrossWorkgroup %[[#I32:]]
  39 ; CHECK-DAG: %[[#FN:]] = OpTypeFunction %[[#VOID]] %[[#IMG_1D]] %[[#IMG_2D]] %[[#IMG_3D]] %[[#PTR]]
  40
  41 ;; Functions:
  42 ; CHECK: OpFunction %[[#VOID]] None %[[#FN]]
  43 ; CHECK: %[[#A:]] = OpFunctionParameter %[[#IMG_1D]]
  44 ; CHECK: %[[#B:]] = OpFunctionParameter %[[#IMG_2D]]
  45 ; CHECK: %[[#C:]] = OpFunctionParameter %[[#IMG_3D]]
  46 ; CHECK: %[[#D:]] = OpFunctionParameter %[[#PTR]]
  47 ; CHECK: %[[#PIXEL:]] = OpImageRead %[[#VEC:]] %[[#A]] %[[#]]
  48 ; CHECK: OpImageWrite %[[#B]] %[[#]] %[[#PIXEL]]
  49 ;; FIXME: It is unclear which of OpImageQuerySize and OpImageQuerySizeLod should be used.
  50 ; CHECK: %[[#SIZE:]] = OpImageQuerySize{{(Lod)?}} %[[#]] %[[#C]]