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 18*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 19*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 20bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 2160b1967cSScott Linder; CHECK-NEXT: frameOffsetReg: '$fp_reg' 2260b1967cSScott Linder; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 2380177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 2480177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 2580177ca5SMichael Liao; CHECK-NEXT: kernargSegmentPtr: { reg: '$sgpr4_sgpr5' } 2680177ca5SMichael Liao; CHECK-NEXT: workGroupIDX: { reg: '$sgpr6' } 2780177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr7' } 2880177ca5SMichael Liao; CHECK-NEXT: workItemIDX: { reg: '$vgpr0' } 2958426a37SMatt Arsenault; CHECK-NEXT: mode: 3058426a37SMatt Arsenault; CHECK-NEXT: ieee: true 3158426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 3275cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 3375cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 341024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 351024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 36ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 37bc6d07caSMatt Arsenault; CHECK-NEXT: body: 38bc6d07caSMatt Arsenaultdefine amdgpu_kernel void @kernel(i32 %arg0, i64 %arg1, <16 x i32> %arg2) { 39bc6d07caSMatt Arsenault %gep = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* @lds, i32 0, i32 %arg0 40bc6d07caSMatt Arsenault store float 0.0, float addrspace(3)* %gep, align 4 41bc6d07caSMatt Arsenault ret void 42bc6d07caSMatt Arsenault} 43bc6d07caSMatt Arsenault 44bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: ps_shader 45bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 46bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 47b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 48bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 49bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 50bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 51bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 52bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 53*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 54*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 55bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 5660b1967cSScott Linder; CHECK-NEXT: frameOffsetReg: '$fp_reg' 5760b1967cSScott Linder; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 5880177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 5980177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr3' } 6080177ca5SMichael Liao; CHECK-NEXT: implicitBufferPtr: { reg: '$sgpr0_sgpr1' } 6158426a37SMatt Arsenault; CHECK-NEXT: mode: 6258426a37SMatt Arsenault; CHECK-NEXT: ieee: false 6358426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 6475cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 6575cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 661024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 671024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 68ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 69bc6d07caSMatt Arsenault; CHECK-NEXT: body: 70bc6d07caSMatt Arsenaultdefine amdgpu_ps void @ps_shader(i32 %arg0, i32 inreg %arg1) { 71bc6d07caSMatt Arsenault ret void 72bc6d07caSMatt Arsenault} 73bc6d07caSMatt Arsenault 74bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function 75bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 76bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 77b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 78bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 79bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 80bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 81bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 82bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 83*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 84*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 85bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 860e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 87bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 8880177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 8980177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 9058426a37SMatt Arsenault; CHECK-NEXT: mode: 9158426a37SMatt Arsenault; CHECK-NEXT: ieee: true 9258426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 9375cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 9475cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 951024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 961024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 97ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 98bc6d07caSMatt Arsenault; CHECK-NEXT: body: 99bc6d07caSMatt Arsenaultdefine void @function() { 100bc6d07caSMatt Arsenault ret void 101bc6d07caSMatt Arsenault} 102bc6d07caSMatt Arsenault 103bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz 104bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 105bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 106b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 107bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 108bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 109bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true 110bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 111bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 112*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 113*66d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 114bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 1150e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 116bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 11780177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 11880177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 11958426a37SMatt Arsenault; CHECK-NEXT: mode: 12058426a37SMatt Arsenault; CHECK-NEXT: ieee: true 12158426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 12275cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 12375cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1241024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1251024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 126ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 127bc6d07caSMatt Arsenault; CHECK-NEXT: body: 128bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 { 129bc6d07caSMatt Arsenault ret void 130bc6d07caSMatt Arsenault} 131bc6d07caSMatt Arsenault 13258426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off 13358426a37SMatt Arsenault; CHECK: mode: 13458426a37SMatt Arsenault; CHECK-NEXT: ieee: true 13558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 13675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 13775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1381024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1391024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 14058426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 { 14158426a37SMatt Arsenault ret void 14258426a37SMatt Arsenault} 14358426a37SMatt Arsenault 14458426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off 14558426a37SMatt Arsenault; CHECK: mode: 14658426a37SMatt Arsenault; CHECK-NEXT: ieee: false 14758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 14875cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 14975cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1501024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1511024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 15258426a37SMatt Arsenaultdefine void @function_ieee_off() #2 { 15358426a37SMatt Arsenault ret void 15458426a37SMatt Arsenault} 15558426a37SMatt Arsenault 15658426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off 15758426a37SMatt Arsenault; CHECK: mode: 15858426a37SMatt Arsenault; CHECK-NEXT: ieee: false 15958426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 16075cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 16175cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1621024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1631024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 16458426a37SMatt Arsenaultdefine void @function_ieee_off_dx10_clamp_off() #3 { 16558426a37SMatt Arsenault ret void 16658426a37SMatt Arsenault} 16758426a37SMatt Arsenault 168ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits 169ff07631bSMatt Arsenault; CHECK: machineFunctionInfo: 170ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528 171ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 { 172ff07631bSMatt Arsenault ret void 173ff07631bSMatt Arsenault} 17458426a37SMatt Arsenault 175ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" } 17658426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" } 17758426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" } 17858426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" } 179ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" } 180