19cac4e6dSMatt Arsenault; RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -stop-after finalize-isel -o %t.mir %s 2bc6d07caSMatt Arsenault; RUN: llc -run-pass=none -verify-machineinstrs %t.mir -o - | FileCheck %s 3bc6d07caSMatt Arsenault 4bc6d07caSMatt Arsenault; Test that SIMachineFunctionInfo can be round trip serialized through 5bc6d07caSMatt Arsenault; MIR. 6bc6d07caSMatt Arsenault 7bc6d07caSMatt Arsenault@lds = addrspace(3) global [512 x float] undef, align 4 8bc6d07caSMatt Arsenault 9bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: kernel 10bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 11bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 128 12bc6d07caSMatt Arsenault; CHECK-NEXT: maxKernArgAlign: 64 132710171aSNicolai Haehnle; CHECK-NEXT: ldsSize: 0 14bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 15bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 16bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 17bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 18bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 19bc6d07caSMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr101' 20bc6d07caSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr101' 21b812b7a4SMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr101' 2280177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 2380177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 2480177ca5SMichael Liao; CHECK-NEXT: kernargSegmentPtr: { reg: '$sgpr4_sgpr5' } 2580177ca5SMichael Liao; CHECK-NEXT: workGroupIDX: { reg: '$sgpr6' } 2680177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr7' } 2780177ca5SMichael Liao; CHECK-NEXT: workItemIDX: { reg: '$vgpr0' } 2858426a37SMatt Arsenault; CHECK-NEXT: mode: 2958426a37SMatt Arsenault; CHECK-NEXT: ieee: true 3058426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 31*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 32*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 33*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 34*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 35ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 36bc6d07caSMatt Arsenault; CHECK-NEXT: body: 37bc6d07caSMatt Arsenaultdefine amdgpu_kernel void @kernel(i32 %arg0, i64 %arg1, <16 x i32> %arg2) { 38bc6d07caSMatt Arsenault %gep = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* @lds, i32 0, i32 %arg0 39bc6d07caSMatt Arsenault store float 0.0, float addrspace(3)* %gep, align 4 40bc6d07caSMatt Arsenault ret void 41bc6d07caSMatt Arsenault} 42bc6d07caSMatt Arsenault 43bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: ps_shader 44bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 45bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 46b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 47bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 48bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 49bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 50bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 51bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 52bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 53bc6d07caSMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr101' 54bc6d07caSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr101' 55b812b7a4SMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr101' 5680177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 5780177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr3' } 5880177ca5SMichael Liao; CHECK-NEXT: implicitBufferPtr: { reg: '$sgpr0_sgpr1' } 5958426a37SMatt Arsenault; CHECK-NEXT: mode: 6058426a37SMatt Arsenault; CHECK-NEXT: ieee: false 6158426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 62*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 63*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 64*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 65*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 66ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 67bc6d07caSMatt Arsenault; CHECK-NEXT: body: 68bc6d07caSMatt Arsenaultdefine amdgpu_ps void @ps_shader(i32 %arg0, i32 inreg %arg1) { 69bc6d07caSMatt Arsenault ret void 70bc6d07caSMatt Arsenault} 71bc6d07caSMatt Arsenault 72bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function 73bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 74bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 75b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 76bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 77bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 78bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 79bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 80bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 81bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 82d88db6d7SMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr33' 8371dfb7ecSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr34' 84bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 8580177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 8680177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 8780177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr33' } 8858426a37SMatt Arsenault; CHECK-NEXT: mode: 8958426a37SMatt Arsenault; CHECK-NEXT: ieee: true 9058426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 91*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 92*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 93*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 94*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 95ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 96bc6d07caSMatt Arsenault; CHECK-NEXT: body: 97bc6d07caSMatt Arsenaultdefine void @function() { 98bc6d07caSMatt Arsenault ret void 99bc6d07caSMatt Arsenault} 100bc6d07caSMatt Arsenault 101bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz 102bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 103bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 104b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 105bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 106bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 107bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true 108bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 109bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 110bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 111d88db6d7SMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr33' 11271dfb7ecSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr34' 113bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 11480177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 11580177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 11680177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr33' } 11758426a37SMatt Arsenault; CHECK-NEXT: mode: 11858426a37SMatt Arsenault; CHECK-NEXT: ieee: true 11958426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 120*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 121*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 122*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 123*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 124ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 125bc6d07caSMatt Arsenault; CHECK-NEXT: body: 126bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 { 127bc6d07caSMatt Arsenault ret void 128bc6d07caSMatt Arsenault} 129bc6d07caSMatt Arsenault 13058426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off 13158426a37SMatt Arsenault; CHECK: mode: 13258426a37SMatt Arsenault; CHECK-NEXT: ieee: true 13358426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 134*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 135*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 136*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 137*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 13858426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 { 13958426a37SMatt Arsenault ret void 14058426a37SMatt Arsenault} 14158426a37SMatt Arsenault 14258426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off 14358426a37SMatt Arsenault; CHECK: mode: 14458426a37SMatt Arsenault; CHECK-NEXT: ieee: false 14558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 146*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 147*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 148*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 149*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 15058426a37SMatt Arsenaultdefine void @function_ieee_off() #2 { 15158426a37SMatt Arsenault ret void 15258426a37SMatt Arsenault} 15358426a37SMatt Arsenault 15458426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off 15558426a37SMatt Arsenault; CHECK: mode: 15658426a37SMatt Arsenault; CHECK-NEXT: ieee: false 15758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 158*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false 159*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false 160*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 161*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 16258426a37SMatt Arsenaultdefine void @function_ieee_off_dx10_clamp_off() #3 { 16358426a37SMatt Arsenault ret void 16458426a37SMatt Arsenault} 16558426a37SMatt Arsenault 166ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits 167ff07631bSMatt Arsenault; CHECK: machineFunctionInfo: 168ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528 169ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 { 170ff07631bSMatt Arsenault ret void 171ff07631bSMatt Arsenault} 17258426a37SMatt Arsenault 173ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" } 17458426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" } 17558426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" } 17658426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" } 177ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" } 178