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