llvm/test/CodeGen/SPIRV/SpecConstants/bool-spirv-specconstant.ll

   1 ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
   2
   3 ; CHECK: OpDecorate %[[#BOOL_CONST:]] SpecId [[#]]
   4 ; CHECK: %[[#BOOL_TY:]] = OpTypeBool
   5 ; CHECK: %[[#BOOL_CONST]] = OpSpecConstantTrue %[[#BOOL_TY]]
   6 ; CHECK: %[[#]] = OpSelect %[[#]] %[[#BOOL_CONST]]
   7 ;; zext is also represented as Select because of how SPIR-V spec is written
   8 ; CHECK: %[[#]] = OpSelect %[[#]] %[[#BOOL_CONST]]
   9
  10 %"class._ZTSN2cl4sycl5rangeILi1EEE.cl::sycl::range" = type { %"class._ZTSN2cl4sycl6detail5arrayILi1EEE.cl::sycl::detail::array" }
  11 %"class._ZTSN2cl4sycl6detail5arrayILi1EEE.cl::sycl::detail::array" = type { [1 x i64] }
  12 %"class._ZTSN2cl4sycl2idILi1EEE.cl::sycl::id" = type { %"class._ZTSN2cl4sycl6detail5arrayILi1EEE.cl::sycl::detail::array" }
  13
  14 $"_ZTSZZ4mainENK3$_0clERN2cl4sycl7handlerEE7Kernel1" = comdat any
  15
  16 define weak_odr dso_local spir_kernel void @"_ZTSZZ4mainENK3$_0clERN2cl4sycl7handlerEE7Kernel1"(i8 addrspace(1)* %_arg_, %"class._ZTSN2cl4sycl5rangeILi1EEE.cl::sycl::range"* byval(%"class._ZTSN2cl4sycl5rangeILi1EEE.cl::sycl::range") align 8 %_arg_1, %"class._ZTSN2cl4sycl5rangeILi1EEE.cl::sycl::range"* byval(%"class._ZTSN2cl4sycl5rangeILi1EEE.cl::sycl::range") align 8 %_arg_2, %"class._ZTSN2cl4sycl2idILi1EEE.cl::sycl::id"* byval(%"class._ZTSN2cl4sycl2idILi1EEE.cl::sycl::id") align 8 %_arg_3) local_unnamed_addr comdat {
  17 entry:
  18   %0 = getelementptr inbounds %"class._ZTSN2cl4sycl2idILi1EEE.cl::sycl::id", %"class._ZTSN2cl4sycl2idILi1EEE.cl::sycl::id"* %_arg_3, i64 0, i32 0, i32 0, i64 0
  19   %1 = addrspacecast i64* %0 to i64 addrspace(4)*
  20   %2 = load i64, i64 addrspace(4)* %1, align 8
  21   %add.ptr.i = getelementptr inbounds i8, i8 addrspace(1)* %_arg_, i64 %2
  22   %3 = call i1 @_Z20__spirv_SpecConstantia(i32 0, i8 1)
  23   %ptridx.ascast.i.i = addrspacecast i8 addrspace(1)* %add.ptr.i to i8 addrspace(4)*
  24   %selected = select i1 %3, i8 0, i8 1
  25   %frombool.i = zext i1 %3 to i8
  26   %sum = add i8 %frombool.i, %selected
  27   store i8 %selected, i8 addrspace(4)* %ptridx.ascast.i.i, align 1
  28   ret void
  29 }
  30
  31 declare i1 @_Z20__spirv_SpecConstantia(i32, i8)