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 138de4db69SStanislav Mekhanoshin; CHECK-NEXT: ldsSize: 2048 145257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 15bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 16bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 17bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 18bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 1966d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 2066d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 21bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 2260b1967cSScott Linder; CHECK-NEXT: frameOffsetReg: '$fp_reg' 2360b1967cSScott Linder; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 2480177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 2580177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 2680177ca5SMichael Liao; CHECK-NEXT: kernargSegmentPtr: { reg: '$sgpr4_sgpr5' } 2780177ca5SMichael Liao; CHECK-NEXT: workGroupIDX: { reg: '$sgpr6' } 2880177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr7' } 2980177ca5SMichael Liao; CHECK-NEXT: workItemIDX: { reg: '$vgpr0' } 3058426a37SMatt Arsenault; CHECK-NEXT: mode: 3158426a37SMatt Arsenault; CHECK-NEXT: ieee: true 3258426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 3375cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 3475cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 351024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 361024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 37ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 3820566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 39bc6d07caSMatt Arsenault; CHECK-NEXT: body: 40bc6d07caSMatt Arsenaultdefine amdgpu_kernel void @kernel(i32 %arg0, i64 %arg1, <16 x i32> %arg2) { 41bc6d07caSMatt Arsenault %gep = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* @lds, i32 0, i32 %arg0 42bc6d07caSMatt Arsenault store float 0.0, float addrspace(3)* %gep, align 4 43bc6d07caSMatt Arsenault ret void 44bc6d07caSMatt Arsenault} 45bc6d07caSMatt Arsenault 46bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: ps_shader 47bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 48bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 49722b8e0eSMatt Arsenault; CHECK-NEXT: maxKernArgAlign: 4 50bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 515257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 52bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 53bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 54bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 55bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 5666d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 5766d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 58bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 5960b1967cSScott Linder; CHECK-NEXT: frameOffsetReg: '$fp_reg' 6060b1967cSScott Linder; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 6180177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 6280177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr3' } 6380177ca5SMichael Liao; CHECK-NEXT: implicitBufferPtr: { reg: '$sgpr0_sgpr1' } 6458426a37SMatt Arsenault; CHECK-NEXT: mode: 6558426a37SMatt Arsenault; CHECK-NEXT: ieee: false 6658426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 6775cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 6875cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 691024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 701024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 71ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 7220566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 73bc6d07caSMatt Arsenault; CHECK-NEXT: body: 74bc6d07caSMatt Arsenaultdefine amdgpu_ps void @ps_shader(i32 %arg0, i32 inreg %arg1) { 75bc6d07caSMatt Arsenault ret void 76bc6d07caSMatt Arsenault} 77bc6d07caSMatt Arsenault 78bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function 79bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 80bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 81b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 82bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 835257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 84bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 85bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 86bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 87bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 8866d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 8966d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 90bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 910e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 92bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 9380177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 9480177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 95*729bf9b2SMatt Arsenault; CHECK-NEXT: dispatchPtr: { reg: '$sgpr4_sgpr5' } 96*729bf9b2SMatt Arsenault; CHECK-NEXT: queuePtr: { reg: '$sgpr6_sgpr7' } 97*729bf9b2SMatt Arsenault; CHECK-NEXT: dispatchID: { reg: '$sgpr10_sgpr11' } 98*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDX: { reg: '$sgpr12' } 99*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDY: { reg: '$sgpr13' } 100*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDZ: { reg: '$sgpr14' } 101*729bf9b2SMatt Arsenault; CHECK-NEXT: implicitArgPtr: { reg: '$sgpr8_sgpr9' } 102*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDX: { reg: '$vgpr31', mask: 1023 } 103*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDY: { reg: '$vgpr31', mask: 1047552 } 104*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDZ: { reg: '$vgpr31', mask: 1072693248 } 10558426a37SMatt Arsenault; CHECK-NEXT: mode: 10658426a37SMatt Arsenault; CHECK-NEXT: ieee: true 10758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 10875cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 10975cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1101024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1111024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 112ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 11320566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 114bc6d07caSMatt Arsenault; CHECK-NEXT: body: 115bc6d07caSMatt Arsenaultdefine void @function() { 116bc6d07caSMatt Arsenault ret void 117bc6d07caSMatt Arsenault} 118bc6d07caSMatt Arsenault 119bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz 120bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 121bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 122b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 123bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 1245257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 125bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 126bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true 127bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 128bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 12966d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 13066d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 131bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 1320e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 133bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 13480177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 13580177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 136*729bf9b2SMatt Arsenault; CHECK-NEXT: dispatchPtr: { reg: '$sgpr4_sgpr5' } 137*729bf9b2SMatt Arsenault; CHECK-NEXT: queuePtr: { reg: '$sgpr6_sgpr7' } 138*729bf9b2SMatt Arsenault; CHECK-NEXT: dispatchID: { reg: '$sgpr10_sgpr11' } 139*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDX: { reg: '$sgpr12' } 140*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDY: { reg: '$sgpr13' } 141*729bf9b2SMatt Arsenault; CHECK-NEXT: workGroupIDZ: { reg: '$sgpr14' } 142*729bf9b2SMatt Arsenault; CHECK-NEXT: implicitArgPtr: { reg: '$sgpr8_sgpr9' } 143*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDX: { reg: '$vgpr31', mask: 1023 } 144*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDY: { reg: '$vgpr31', mask: 1047552 } 145*729bf9b2SMatt Arsenault; CHECK-NEXT: workItemIDZ: { reg: '$vgpr31', mask: 1072693248 } 14658426a37SMatt Arsenault; CHECK-NEXT: mode: 14758426a37SMatt Arsenault; CHECK-NEXT: ieee: true 14858426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 14975cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 15075cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1511024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1521024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 153ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 15420566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 155bc6d07caSMatt Arsenault; CHECK-NEXT: body: 156bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 { 157bc6d07caSMatt Arsenault ret void 158bc6d07caSMatt Arsenault} 159bc6d07caSMatt Arsenault 16058426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off 16158426a37SMatt Arsenault; CHECK: mode: 16258426a37SMatt Arsenault; CHECK-NEXT: ieee: true 16358426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 16475cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 16575cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1661024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1671024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 16858426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 { 16958426a37SMatt Arsenault ret void 17058426a37SMatt Arsenault} 17158426a37SMatt Arsenault 17258426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off 17358426a37SMatt Arsenault; CHECK: mode: 17458426a37SMatt Arsenault; CHECK-NEXT: ieee: false 17558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 17675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 17775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1781024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1791024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 18058426a37SMatt Arsenaultdefine void @function_ieee_off() #2 { 18158426a37SMatt Arsenault ret void 18258426a37SMatt Arsenault} 18358426a37SMatt Arsenault 18458426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off 18558426a37SMatt Arsenault; CHECK: mode: 18658426a37SMatt Arsenault; CHECK-NEXT: ieee: false 18758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 18875cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 18975cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1901024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1911024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 19258426a37SMatt Arsenaultdefine void @function_ieee_off_dx10_clamp_off() #3 { 19358426a37SMatt Arsenault ret void 19458426a37SMatt Arsenault} 19558426a37SMatt Arsenault 196ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits 197ff07631bSMatt Arsenault; CHECK: machineFunctionInfo: 198ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528 199ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 { 200ff07631bSMatt Arsenault ret void 201ff07631bSMatt Arsenault} 20258426a37SMatt Arsenault 203ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" } 20458426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" } 20558426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" } 20658426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" } 207ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" } 208