llvm/test/CodeGen/SPIRV/pointers/global-ptrtoint.ll

   1 ; This test is to check that correct virtual register type is created after ptrtoint.
   2
   3 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
   4 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   5
   6 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
   7 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   8
   9 ; CHECK: OpName %[[GlobalValue:.*]] "dev_global"
  10 ; CHECK-DAG: %[[TyI64:.*]] = OpTypeInt 64 0
  11 ; CHECK-DAG: %[[TyStruct:.*]] = OpTypeStruct %[[TyI64]] %[[TyI64]]
  12 ; CHECK-DAG: %[[Const128:.*]] = OpConstant %[[TyI64]] 128
  13 ; CHECK-DAG: %[[GlobalValue]] = OpVariable
  14 ; CHECK-DAG: %[[PtrToInt:.*]] = OpSpecConstantOp %[[TyI64]] 117 %12
  15 ; TODO: The following bitcast line looks unneeded and we may expect it to be removed in future
  16 ; CHECK-DAG: %[[UseGlobalValue:.*]] = OpSpecConstantOp %[[TyI64]] 124 %[[PtrToInt]]
  17 ; CHECK-DAG: %[[ConstComposite:.*]] = OpConstantComposite %[[TyStruct]] %[[Const128]] %[[UseGlobalValue]]
  18 ; CHECK-DAG: %[[TyPtrStruct:.*]] = OpTypePointer CrossWorkgroup %[[TyStruct]]
  19 ; CHECK: OpVariable %[[TyPtrStruct]] CrossWorkgroup %[[ConstComposite]]
  20 ; CHECK: OpFunction
  21
  22 @dev_global = addrspace(1) global [2 x i32] zeroinitializer
  23 @__AsanDeviceGlobalMetadata = addrspace(1) global { i64, i64 } { i64 128, i64 ptrtoint (ptr addrspace(1) @dev_global to i64) }
  24
  25 define void @foo() {
  26 entry:
  27   ret void
  28 }