radv,aco: report ACO errors/warnings back via VK_EXT_debug_report
[mesa.git] / src / amd / compiler / aco_interface.cpp
1 /*
2 * Copyright © 2018 Google
3 *
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
10 *
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
13 * Software.
14 *
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21 * IN THE SOFTWARE.
22 */
23
24 #include "aco_interface.h"
25 #include "aco_ir.h"
26 #include "vulkan/radv_shader.h"
27 #include "vulkan/radv_shader_args.h"
28
29 #include <iostream>
30 #include <sstream>
31
32 static radv_compiler_statistic_info statistic_infos[] = {
33 [aco::statistic_hash] = {"Hash", "CRC32 hash of code and constant data"},
34 [aco::statistic_instructions] = {"Instructions", "Instruction count"},
35 [aco::statistic_copies] = {"Copies", "Copy instructions created for pseudo-instructions"},
36 [aco::statistic_branches] = {"Branches", "Branch instructions"},
37 [aco::statistic_cycles] = {"Busy Cycles", "Estimate of busy cycles"},
38 [aco::statistic_vmem_clauses] = {"VMEM Clause", "Number of VMEM clauses (includes 1-sized clauses)"},
39 [aco::statistic_smem_clauses] = {"SMEM Clause", "Number of SMEM clauses (includes 1-sized clauses)"},
40 [aco::statistic_vmem_score] = {"VMEM Score", "Average VMEM def-use distances"},
41 [aco::statistic_smem_score] = {"SMEM Score", "Average SMEM def-use distances"},
42 [aco::statistic_sgpr_presched] = {"Pre-Sched SGPRs", "SGPR usage before scheduling"},
43 [aco::statistic_vgpr_presched] = {"Pre-Sched VGPRs", "VGPR usage before scheduling"},
44 };
45
46 static void validate(aco::Program *program)
47 {
48 if (!(aco::debug_flags & aco::DEBUG_VALIDATE_IR))
49 return;
50
51 bool is_valid = aco::validate_ir(program);
52 assert(is_valid);
53 }
54
55 void aco_compile_shader(unsigned shader_count,
56 struct nir_shader *const *shaders,
57 struct radv_shader_binary **binary,
58 struct radv_shader_args *args)
59 {
60 aco::init();
61
62 ac_shader_config config = {0};
63 std::unique_ptr<aco::Program> program{new aco::Program};
64
65 program->collect_statistics = args->options->record_stats;
66 if (program->collect_statistics)
67 memset(program->statistics, 0, sizeof(program->statistics));
68
69 program->debug.func = args->options->debug.func;
70 program->debug.private_data = args->options->debug.private_data;
71
72 /* Instruction Selection */
73 if (args->is_gs_copy_shader)
74 aco::select_gs_copy_shader(program.get(), shaders[0], &config, args);
75 else
76 aco::select_program(program.get(), shader_count, shaders, &config, args);
77 if (args->options->dump_preoptir) {
78 std::cerr << "After Instruction Selection:\n";
79 aco_print_program(program.get(), stderr);
80 }
81
82 /* Phi lowering */
83 aco::lower_phis(program.get());
84 aco::dominator_tree(program.get());
85 validate(program.get());
86
87 /* Optimization */
88 aco::value_numbering(program.get());
89 aco::optimize(program.get());
90
91 /* cleanup and exec mask handling */
92 aco::setup_reduce_temp(program.get());
93 aco::insert_exec_mask(program.get());
94 validate(program.get());
95
96 /* spilling and scheduling */
97 aco::live live_vars = aco::live_var_analysis(program.get(), args->options);
98 aco::spill(program.get(), live_vars, args->options);
99
100 std::string llvm_ir;
101 if (args->options->record_ir) {
102 char *data = NULL;
103 size_t size = 0;
104 FILE *f = open_memstream(&data, &size);
105 if (f) {
106 aco_print_program(program.get(), f);
107 fputc(0, f);
108 fclose(f);
109 }
110
111 llvm_ir = std::string(data, data + size);
112 free(data);
113 }
114
115 if (program->collect_statistics)
116 aco::collect_presched_stats(program.get());
117 aco::schedule_program(program.get(), live_vars);
118 validate(program.get());
119
120 /* Register Allocation */
121 aco::register_allocation(program.get(), live_vars.live_out);
122 if (args->options->dump_shader) {
123 std::cerr << "After RA:\n";
124 aco_print_program(program.get(), stderr);
125 }
126
127 if (aco::validate_ra(program.get(), args->options)) {
128 std::cerr << "Program after RA validation failure:\n";
129 aco_print_program(program.get(), stderr);
130 abort();
131 }
132
133 validate(program.get());
134
135 /* Lower to HW Instructions */
136 aco::ssa_elimination(program.get());
137 aco::lower_to_hw_instr(program.get());
138
139 /* Insert Waitcnt */
140 aco::insert_wait_states(program.get());
141 aco::insert_NOPs(program.get());
142
143 if (program->collect_statistics)
144 aco::collect_preasm_stats(program.get());
145
146 /* Assembly */
147 std::vector<uint32_t> code;
148 unsigned exec_size = aco::emit_program(program.get(), code);
149
150 if (program->collect_statistics)
151 aco::collect_postasm_stats(program.get(), code);
152
153 bool get_disasm = args->options->dump_shader || args->options->record_ir;
154
155 size_t size = llvm_ir.size();
156
157 std::string disasm;
158 if (get_disasm) {
159 std::ostringstream stream;
160 aco::print_asm(program.get(), code, exec_size / 4u, stream);
161 stream << '\0';
162 disasm = stream.str();
163 size += disasm.size();
164 }
165
166 size_t stats_size = 0;
167 if (program->collect_statistics)
168 stats_size = sizeof(radv_compiler_statistics) + aco::num_statistics * sizeof(uint32_t);
169 size += stats_size;
170
171 size += code.size() * sizeof(uint32_t) + sizeof(radv_shader_binary_legacy);
172 /* We need to calloc to prevent unintialized data because this will be used
173 * directly for the disk cache. Uninitialized data can appear because of
174 * padding in the struct or because legacy_binary->data can be at an offset
175 * from the start less than sizeof(radv_shader_binary_legacy). */
176 radv_shader_binary_legacy* legacy_binary = (radv_shader_binary_legacy*) calloc(size, 1);
177
178 legacy_binary->base.type = RADV_BINARY_TYPE_LEGACY;
179 legacy_binary->base.stage = shaders[shader_count-1]->info.stage;
180 legacy_binary->base.is_gs_copy_shader = args->is_gs_copy_shader;
181 legacy_binary->base.total_size = size;
182
183 if (program->collect_statistics) {
184 radv_compiler_statistics *statistics = (radv_compiler_statistics *)legacy_binary->data;
185 statistics->count = aco::num_statistics;
186 statistics->infos = statistic_infos;
187 memcpy(statistics->values, program->statistics, aco::num_statistics * sizeof(uint32_t));
188 }
189 legacy_binary->stats_size = stats_size;
190
191 memcpy(legacy_binary->data + legacy_binary->stats_size, code.data(), code.size() * sizeof(uint32_t));
192 legacy_binary->exec_size = exec_size;
193 legacy_binary->code_size = code.size() * sizeof(uint32_t);
194
195 legacy_binary->config = config;
196 legacy_binary->disasm_size = 0;
197 legacy_binary->ir_size = llvm_ir.size();
198
199 llvm_ir.copy((char*) legacy_binary->data + legacy_binary->stats_size + legacy_binary->code_size, llvm_ir.size());
200
201 if (get_disasm) {
202 disasm.copy((char*) legacy_binary->data + legacy_binary->stats_size + legacy_binary->code_size + llvm_ir.size(), disasm.size());
203 legacy_binary->disasm_size = disasm.size();
204 }
205
206 *binary = (radv_shader_binary*) legacy_binary;
207 }