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 14*5257a60eSMichael 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 38bc6d07caSMatt Arsenault; CHECK-NEXT: body: 39bc6d07caSMatt Arsenaultdefine amdgpu_kernel void @kernel(i32 %arg0, i64 %arg1, <16 x i32> %arg2) { 40bc6d07caSMatt Arsenault %gep = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* @lds, i32 0, i32 %arg0 41bc6d07caSMatt Arsenault store float 0.0, float addrspace(3)* %gep, align 4 42bc6d07caSMatt Arsenault ret void 43bc6d07caSMatt Arsenault} 44bc6d07caSMatt Arsenault 45bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: ps_shader 46bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 47bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 48b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 49bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 50*5257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 51bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true 52bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 53bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 54bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 5566d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 5666d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 57bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr96_sgpr97_sgpr98_sgpr99' 5860b1967cSScott Linder; CHECK-NEXT: frameOffsetReg: '$fp_reg' 5960b1967cSScott Linder; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 6080177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 6180177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr3' } 6280177ca5SMichael Liao; CHECK-NEXT: implicitBufferPtr: { reg: '$sgpr0_sgpr1' } 6358426a37SMatt Arsenault; CHECK-NEXT: mode: 6458426a37SMatt Arsenault; CHECK-NEXT: ieee: false 6558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 6675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 6775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 681024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 691024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 70ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 71bc6d07caSMatt Arsenault; CHECK-NEXT: body: 72bc6d07caSMatt Arsenaultdefine amdgpu_ps void @ps_shader(i32 %arg0, i32 inreg %arg1) { 73bc6d07caSMatt Arsenault ret void 74bc6d07caSMatt Arsenault} 75bc6d07caSMatt Arsenault 76bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function 77bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 78bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 79b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 80bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 81*5257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 82bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 83bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false 84bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 85bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 8666d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 8766d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 88bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 890e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 90bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 9180177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 9280177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 9358426a37SMatt Arsenault; CHECK-NEXT: mode: 9458426a37SMatt Arsenault; CHECK-NEXT: ieee: true 9558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 9675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 9775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 981024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 991024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 100ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 101bc6d07caSMatt Arsenault; CHECK-NEXT: body: 102bc6d07caSMatt Arsenaultdefine void @function() { 103bc6d07caSMatt Arsenault ret void 104bc6d07caSMatt Arsenault} 105bc6d07caSMatt Arsenault 106bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz 107bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 108bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 109b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 110bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 111*5257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 112bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 113bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true 114bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 115bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 11666d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 11766d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 118bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 1190e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 120bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 12180177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 12280177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 12358426a37SMatt Arsenault; CHECK-NEXT: mode: 12458426a37SMatt Arsenault; CHECK-NEXT: ieee: true 12558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 12675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 12775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1281024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1291024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 130ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 131bc6d07caSMatt Arsenault; CHECK-NEXT: body: 132bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 { 133bc6d07caSMatt Arsenault ret void 134bc6d07caSMatt Arsenault} 135bc6d07caSMatt Arsenault 13658426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off 13758426a37SMatt Arsenault; CHECK: mode: 13858426a37SMatt Arsenault; CHECK-NEXT: ieee: true 13958426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 14075cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 14175cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1421024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1431024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 14458426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 { 14558426a37SMatt Arsenault ret void 14658426a37SMatt Arsenault} 14758426a37SMatt Arsenault 14858426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off 14958426a37SMatt Arsenault; CHECK: mode: 15058426a37SMatt Arsenault; CHECK-NEXT: ieee: false 15158426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 15275cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 15375cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1541024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1551024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 15658426a37SMatt Arsenaultdefine void @function_ieee_off() #2 { 15758426a37SMatt Arsenault ret void 15858426a37SMatt Arsenault} 15958426a37SMatt Arsenault 16058426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off 16158426a37SMatt Arsenault; CHECK: mode: 16258426a37SMatt Arsenault; CHECK-NEXT: ieee: false 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_ieee_off_dx10_clamp_off() #3 { 16958426a37SMatt Arsenault ret void 17058426a37SMatt Arsenault} 17158426a37SMatt Arsenault 172ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits 173ff07631bSMatt Arsenault; CHECK: machineFunctionInfo: 174ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528 175ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 { 176ff07631bSMatt Arsenault ret void 177ff07631bSMatt Arsenault} 17858426a37SMatt Arsenault 179ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" } 18058426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" } 18158426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" } 18258426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" } 183ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" } 184