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
18bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg:  '$sgpr96_sgpr97_sgpr98_sgpr99'
19bc6d07caSMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr101'
20bc6d07caSMatt Arsenault; CHECK-NEXT: frameOffsetReg:  '$sgpr101'
21b812b7a4SMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr101'
2280177ca5SMichael Liao; CHECK-NEXT: argumentInfo:
2380177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' }
2480177ca5SMichael Liao; CHECK-NEXT: kernargSegmentPtr: { reg: '$sgpr4_sgpr5' }
2580177ca5SMichael Liao; CHECK-NEXT: workGroupIDX: { reg: '$sgpr6' }
2680177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr7' }
2780177ca5SMichael Liao; CHECK-NEXT: workItemIDX: { reg: '$vgpr0' }
2858426a37SMatt Arsenault; CHECK-NEXT: mode:
2958426a37SMatt Arsenault; CHECK-NEXT: ieee: true
3058426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true
31*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
32*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
33*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
34*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
35ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0
36bc6d07caSMatt Arsenault; CHECK-NEXT: body:
37bc6d07caSMatt Arsenaultdefine amdgpu_kernel void @kernel(i32 %arg0, i64 %arg1, <16 x i32> %arg2) {
38bc6d07caSMatt Arsenault  %gep = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* @lds, i32 0, i32 %arg0
39bc6d07caSMatt Arsenault  store float 0.0, float addrspace(3)* %gep, align 4
40bc6d07caSMatt Arsenault  ret void
41bc6d07caSMatt Arsenault}
42bc6d07caSMatt Arsenault
43bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: ps_shader
44bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo:
45bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0
46b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1
47bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0
48bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: true
49bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false
50bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false
51bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false
52bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg:  '$sgpr96_sgpr97_sgpr98_sgpr99'
53bc6d07caSMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr101'
54bc6d07caSMatt Arsenault; CHECK-NEXT: frameOffsetReg:  '$sgpr101'
55b812b7a4SMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr101'
5680177ca5SMichael Liao; CHECK-NEXT: argumentInfo:
5780177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr3' }
5880177ca5SMichael Liao; CHECK-NEXT: implicitBufferPtr: { reg: '$sgpr0_sgpr1' }
5958426a37SMatt Arsenault; CHECK-NEXT: mode:
6058426a37SMatt Arsenault; CHECK-NEXT: ieee: false
6158426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true
62*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
63*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
64*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
65*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
66ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0
67bc6d07caSMatt Arsenault; CHECK-NEXT: body:
68bc6d07caSMatt Arsenaultdefine amdgpu_ps void @ps_shader(i32 %arg0, i32 inreg %arg1) {
69bc6d07caSMatt Arsenault  ret void
70bc6d07caSMatt Arsenault}
71bc6d07caSMatt Arsenault
72bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function
73bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo:
74bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0
75b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1
76bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0
77bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false
78bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: false
79bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false
80bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false
81bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3'
82d88db6d7SMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr33'
8371dfb7ecSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr34'
84bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32'
8580177ca5SMichael Liao; CHECK-NEXT: argumentInfo:
8680177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' }
8780177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr33' }
8858426a37SMatt Arsenault; CHECK-NEXT: mode:
8958426a37SMatt Arsenault; CHECK-NEXT: ieee: true
9058426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true
91*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
92*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
93*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
94*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
95ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0
96bc6d07caSMatt Arsenault; CHECK-NEXT: body:
97bc6d07caSMatt Arsenaultdefine void @function() {
98bc6d07caSMatt Arsenault  ret void
99bc6d07caSMatt Arsenault}
100bc6d07caSMatt Arsenault
101bc6d07caSMatt Arsenault; CHECK-LABEL: {{^}}name: function_nsz
102bc6d07caSMatt Arsenault; CHECK: machineFunctionInfo:
103bc6d07caSMatt Arsenault; CHECK-NEXT: explicitKernArgSize: 0
104b65fa483SGuillaume Chatelet; CHECK-NEXT: maxKernArgAlign: 1
105bc6d07caSMatt Arsenault; CHECK-NEXT: ldsSize: 0
106bc6d07caSMatt Arsenault; CHECK-NEXT: isEntryFunction: false
107bc6d07caSMatt Arsenault; CHECK-NEXT: noSignedZerosFPMath: true
108bc6d07caSMatt Arsenault; CHECK-NEXT: memoryBound: false
109bc6d07caSMatt Arsenault; CHECK-NEXT: waveLimiter: false
110bc6d07caSMatt Arsenault; CHECK-NEXT: scratchRSrcReg: '$sgpr0_sgpr1_sgpr2_sgpr3'
111d88db6d7SMatt Arsenault; CHECK-NEXT: scratchWaveOffsetReg: '$sgpr33'
11271dfb7ecSMatt Arsenault; CHECK-NEXT: frameOffsetReg: '$sgpr34'
113bc6d07caSMatt Arsenault; CHECK-NEXT: stackPtrOffsetReg: '$sgpr32'
11480177ca5SMichael Liao; CHECK-NEXT: argumentInfo:
11580177ca5SMichael Liao; CHECK-NEXT: privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' }
11680177ca5SMichael Liao; CHECK-NEXT: privateSegmentWaveByteOffset: { reg: '$sgpr33' }
11758426a37SMatt Arsenault; CHECK-NEXT: mode:
11858426a37SMatt Arsenault; CHECK-NEXT: ieee: true
11958426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true
120*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
121*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
122*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
123*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
124ff07631bSMatt Arsenault; CHECK-NEXT: highBitsOf32BitAddress: 0
125bc6d07caSMatt Arsenault; CHECK-NEXT: body:
126bc6d07caSMatt Arsenaultdefine void @function_nsz() #0 {
127bc6d07caSMatt Arsenault  ret void
128bc6d07caSMatt Arsenault}
129bc6d07caSMatt Arsenault
13058426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_dx10_clamp_off
13158426a37SMatt Arsenault; CHECK: mode:
13258426a37SMatt Arsenault; CHECK-NEXT: ieee: true
13358426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false
134*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
135*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
136*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
137*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
13858426a37SMatt Arsenaultdefine void @function_dx10_clamp_off() #1 {
13958426a37SMatt Arsenault  ret void
14058426a37SMatt Arsenault}
14158426a37SMatt Arsenault
14258426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off
14358426a37SMatt Arsenault; CHECK: mode:
14458426a37SMatt Arsenault; CHECK-NEXT: ieee: false
14558426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: true
146*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
147*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
148*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
149*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
15058426a37SMatt Arsenaultdefine void @function_ieee_off() #2 {
15158426a37SMatt Arsenault  ret void
15258426a37SMatt Arsenault}
15358426a37SMatt Arsenault
15458426a37SMatt Arsenault; CHECK-LABEL: {{^}}name: function_ieee_off_dx10_clamp_off
15558426a37SMatt Arsenault; CHECK: mode:
15658426a37SMatt Arsenault; CHECK-NEXT: ieee: false
15758426a37SMatt Arsenault; CHECK-NEXT: dx10-clamp: false
158*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-input-denormals: false
159*1024b73eSMatt Arsenault; CHECK-NEXT: fp32-output-denormals: false
160*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-input-denormals: true
161*1024b73eSMatt Arsenault; CHECK-NEXT: fp64-fp16-output-denormals: true
16258426a37SMatt Arsenaultdefine void @function_ieee_off_dx10_clamp_off() #3 {
16358426a37SMatt Arsenault  ret void
16458426a37SMatt Arsenault}
16558426a37SMatt Arsenault
166ff07631bSMatt Arsenault; CHECK-LABEL: {{^}}name: high_address_bits
167ff07631bSMatt Arsenault; CHECK: machineFunctionInfo:
168ff07631bSMatt Arsenault; CHECK: highBitsOf32BitAddress: 4294934528
169ff07631bSMatt Arsenaultdefine amdgpu_ps void @high_address_bits() #4 {
170ff07631bSMatt Arsenault  ret void
171ff07631bSMatt Arsenault}
17258426a37SMatt Arsenault
173ff07631bSMatt Arsenaultattributes #0 = { "no-signed-zeros-fp-math" = "true" }
17458426a37SMatt Arsenaultattributes #1 = { "amdgpu-dx10-clamp" = "false" }
17558426a37SMatt Arsenaultattributes #2 = { "amdgpu-ieee" = "false" }
17658426a37SMatt Arsenaultattributes #3 = { "amdgpu-dx10-clamp" = "false" "amdgpu-ieee" = "false" }
177ff07631bSMatt Arsenaultattributes #4 = { "amdgpu-32bit-address-high-bits"="0xffff8000" }
178