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