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 49*722b8e0eSMatt 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' } 9558426a37SMatt Arsenault; CHECK-NEXT: mode: 9658426a37SMatt Arsenault; CHECK-NEXT: ieee: true 9758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 9875cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 9975cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1001024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1011024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 102ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 10320566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 104bc6d07caSMatt Arsenault; CHECK-NEXT: body: 105bc6d07caSMatt Arsenaultdefine void @function() { 106bc6d07caSMatt Arsenault ret void 107bc6d07caSMatt Arsenault} 108bc6d07caSMatt Arsenault 109bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz 110bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo: 111bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0 112b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1 113bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0 1145257a60eSMichael Liao; CHECK-NEXT: dynLDSAlign: 1 115bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false 116bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true 117bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false 118bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false 11966d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledSGPRs: false 12066d60e06SMatt Arsenault; CHECK-NEXT: hasSpilledVGPRs: false 121bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3' 1220e9368ccSScott Linder; CHECK-NEXT: frameOffsetReg: '$sgpr33' 123bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32' 12480177ca5SMichael Liao; CHECK-NEXT: argumentInfo: 12580177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' } 12658426a37SMatt Arsenault; CHECK-NEXT: mode: 12758426a37SMatt Arsenault; CHECK-NEXT: ieee: true 12858426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 12975cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 13075cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1311024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1321024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 133ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0 13420566a2eSMatt Arsenault; CHECK-NEXT: occupancy: 10 135bc6d07caSMatt Arsenault; CHECK-NEXT: body: 136bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 { 137bc6d07caSMatt Arsenault ret void 138bc6d07caSMatt Arsenault} 139bc6d07caSMatt Arsenault 14058426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off 14158426a37SMatt Arsenault; CHECK: mode: 14258426a37SMatt Arsenault; CHECK-NEXT: ieee: true 14358426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 14475cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 14575cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1461024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1471024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 14858426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 { 14958426a37SMatt Arsenault ret void 15058426a37SMatt Arsenault} 15158426a37SMatt Arsenault 15258426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off 15358426a37SMatt Arsenault; CHECK: mode: 15458426a37SMatt Arsenault; CHECK-NEXT: ieee: false 15558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true 15675cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 15775cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1581024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1591024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 16058426a37SMatt Arsenaultdefine void @function_ieee_off() #2 { 16158426a37SMatt Arsenault ret void 16258426a37SMatt Arsenault} 16358426a37SMatt Arsenault 16458426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off 16558426a37SMatt Arsenault; CHECK: mode: 16658426a37SMatt Arsenault; CHECK-NEXT: ieee: false 16758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false 16875cf3091SMatt Arsenault; CHECK-NEXT: fp32-input-denormals: true 16975cf3091SMatt Arsenault; CHECK-NEXT: fp32-output-denormals: true 1701024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true 1711024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true 17258426a37SMatt Arsenaultdefine void @function_ieee_off_dx10_clamp_off() #3 { 17358426a37SMatt Arsenault ret void 17458426a37SMatt Arsenault} 17558426a37SMatt Arsenault 176ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits 177ff07631bSMatt Arsenault; CHECK: machineFunctionInfo: 178ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528 179ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 { 180ff07631bSMatt Arsenault ret void 181ff07631bSMatt Arsenault} 18258426a37SMatt Arsenault 183ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" } 18458426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" } 18558426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" } 18658426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" } 187ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" } 188