llvm/test/CodeGen/SPIRV/pointers/PtrCast-null-in-OpSpecConstantOp.ll

   1 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
   2 ; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   3
   4 ; CHECK-DAG: %[[Array:.*]] = OpTypeArray %[[#]] %[[#]]
   5 ; CHECK-DAG: %[[Struct:.*]] = OpTypeStruct %[[Array]]
   6 ; CHECK-DAG: %[[Zero:.*]] = OpTypeInt 64 0
   7 ; CHECK-DAG: %[[Null:.*]] = OpConstantNull %[[Zero]]
   8 ; CHECK-DAG: %[[R1:.*]] = OpConstantComposite %[[Array]] %[[Null]]
   9 ; CHECK-DAG: %[[#]] = OpConstantComposite %[[Struct]] %[[R1]]
  10 ; CHECK-DAG: %[[R2:.*]] = OpConstantComposite %[[Array]] %[[Null]]
  11 ; CHECK-DAG: %[[#]] = OpConstantComposite %[[Struct]] %[[R2]]
  12
  13 @G1 = addrspace(1) constant { [1 x ptr addrspace(4)] } { [1 x ptr addrspace(4)] [ptr addrspace(4) addrspacecast (ptr null to ptr addrspace(4))] }
  14 @G2 = addrspace(1) constant { [1 x ptr addrspace(4)] } { [1 x ptr addrspace(4)] [ptr addrspace(4) addrspacecast (ptr addrspace(1) null to ptr addrspace(4))] }
  15
  16 define void @foo() {
  17 entry:
  18   ret void
  19 }