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 %[[GlobalValue]] 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 25define void @foo() { 26entry: 27 ret void 28} 29