17ec681f3Smrg/* 27ec681f3Smrg * Copyright 2014 Advanced Micro Devices, Inc. 37ec681f3Smrg * 47ec681f3Smrg * Permission is hereby granted, free of charge, to any person obtaining a 57ec681f3Smrg * copy of this software and associated documentation files (the 67ec681f3Smrg * "Software"), to deal in the Software without restriction, including 77ec681f3Smrg * without limitation the rights to use, copy, modify, merge, publish, 87ec681f3Smrg * distribute, sub license, and/or sell copies of the Software, and to 97ec681f3Smrg * permit persons to whom the Software is furnished to do so, subject to 107ec681f3Smrg * the following conditions: 117ec681f3Smrg * 127ec681f3Smrg * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 137ec681f3Smrg * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 147ec681f3Smrg * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL 157ec681f3Smrg * THE COPYRIGHT HOLDERS, AUTHORS AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM, 167ec681f3Smrg * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR 177ec681f3Smrg * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE 187ec681f3Smrg * USE OR OTHER DEALINGS IN THE SOFTWARE. 197ec681f3Smrg * 207ec681f3Smrg * The above copyright notice and this permission notice (including the 217ec681f3Smrg * next paragraph) shall be included in all copies or substantial portions 227ec681f3Smrg * of the Software. 237ec681f3Smrg * 247ec681f3Smrg */ 257ec681f3Smrg/* based on pieces from si_pipe.c and radeon_llvm_emit.c */ 267ec681f3Smrg#include "ac_llvm_util.h" 277ec681f3Smrg 287ec681f3Smrg#include "ac_llvm_build.h" 297ec681f3Smrg#include "c11/threads.h" 307ec681f3Smrg#include "gallivm/lp_bld_misc.h" 317ec681f3Smrg#include "util/bitscan.h" 327ec681f3Smrg#include "util/u_math.h" 337ec681f3Smrg#include <llvm-c/Core.h> 347ec681f3Smrg#include <llvm-c/Support.h> 357ec681f3Smrg#include <llvm-c/Transforms/IPO.h> 367ec681f3Smrg#include <llvm-c/Transforms/Scalar.h> 377ec681f3Smrg#include <llvm-c/Transforms/Utils.h> 387ec681f3Smrg 397ec681f3Smrg#include <assert.h> 407ec681f3Smrg#include <stdio.h> 417ec681f3Smrg#include <string.h> 427ec681f3Smrg 437ec681f3Smrgstatic void ac_init_llvm_target(void) 447ec681f3Smrg{ 457ec681f3Smrg LLVMInitializeAMDGPUTargetInfo(); 467ec681f3Smrg LLVMInitializeAMDGPUTarget(); 477ec681f3Smrg LLVMInitializeAMDGPUTargetMC(); 487ec681f3Smrg LLVMInitializeAMDGPUAsmPrinter(); 497ec681f3Smrg 507ec681f3Smrg /* For inline assembly. */ 517ec681f3Smrg LLVMInitializeAMDGPUAsmParser(); 527ec681f3Smrg 537ec681f3Smrg /* For ACO disassembly. */ 547ec681f3Smrg LLVMInitializeAMDGPUDisassembler(); 557ec681f3Smrg 567ec681f3Smrg /* Workaround for bug in llvm 4.0 that causes image intrinsics 577ec681f3Smrg * to disappear. 587ec681f3Smrg * https://reviews.llvm.org/D26348 597ec681f3Smrg * 607ec681f3Smrg * "mesa" is the prefix for error messages. 617ec681f3Smrg * 627ec681f3Smrg * -global-isel-abort=2 is a no-op unless global isel has been enabled. 637ec681f3Smrg * This option tells the backend to fall-back to SelectionDAG and print 647ec681f3Smrg * a diagnostic message if global isel fails. 657ec681f3Smrg */ 667ec681f3Smrg const char *argv[] = { 677ec681f3Smrg "mesa", 687ec681f3Smrg "-simplifycfg-sink-common=false", 697ec681f3Smrg "-global-isel-abort=2", 707ec681f3Smrg "-amdgpu-atomic-optimizations=true", 717ec681f3Smrg#if LLVM_VERSION_MAJOR == 11 727ec681f3Smrg /* This fixes variable indexing on LLVM 11. It also breaks atomic.cmpswap on LLVM >= 12. */ 737ec681f3Smrg "-structurizecfg-skip-uniform-regions", 747ec681f3Smrg#endif 757ec681f3Smrg }; 767ec681f3Smrg LLVMParseCommandLineOptions(ARRAY_SIZE(argv), argv, NULL); 777ec681f3Smrg} 787ec681f3Smrg 797ec681f3SmrgPUBLIC void ac_init_shared_llvm_once(void) 807ec681f3Smrg{ 817ec681f3Smrg static once_flag ac_init_llvm_target_once_flag = ONCE_FLAG_INIT; 827ec681f3Smrg call_once(&ac_init_llvm_target_once_flag, ac_init_llvm_target); 837ec681f3Smrg} 847ec681f3Smrg 857ec681f3Smrg#if !LLVM_IS_SHARED 867ec681f3Smrgstatic once_flag ac_init_static_llvm_target_once_flag = ONCE_FLAG_INIT; 877ec681f3Smrgstatic void ac_init_static_llvm_once(void) 887ec681f3Smrg{ 897ec681f3Smrg call_once(&ac_init_static_llvm_target_once_flag, ac_init_llvm_target); 907ec681f3Smrg} 917ec681f3Smrg#endif 927ec681f3Smrg 937ec681f3Smrgvoid ac_init_llvm_once(void) 947ec681f3Smrg{ 957ec681f3Smrg#if LLVM_IS_SHARED 967ec681f3Smrg ac_init_shared_llvm_once(); 977ec681f3Smrg#else 987ec681f3Smrg ac_init_static_llvm_once(); 997ec681f3Smrg#endif 1007ec681f3Smrg} 1017ec681f3Smrg 1027ec681f3Smrgstatic LLVMTargetRef ac_get_llvm_target(const char *triple) 1037ec681f3Smrg{ 1047ec681f3Smrg LLVMTargetRef target = NULL; 1057ec681f3Smrg char *err_message = NULL; 1067ec681f3Smrg 1077ec681f3Smrg if (LLVMGetTargetFromTriple(triple, &target, &err_message)) { 1087ec681f3Smrg fprintf(stderr, "Cannot find target for triple %s ", triple); 1097ec681f3Smrg if (err_message) { 1107ec681f3Smrg fprintf(stderr, "%s\n", err_message); 1117ec681f3Smrg } 1127ec681f3Smrg LLVMDisposeMessage(err_message); 1137ec681f3Smrg return NULL; 1147ec681f3Smrg } 1157ec681f3Smrg return target; 1167ec681f3Smrg} 1177ec681f3Smrg 1187ec681f3Smrgconst char *ac_get_llvm_processor_name(enum radeon_family family) 1197ec681f3Smrg{ 1207ec681f3Smrg switch (family) { 1217ec681f3Smrg case CHIP_TAHITI: 1227ec681f3Smrg return "tahiti"; 1237ec681f3Smrg case CHIP_PITCAIRN: 1247ec681f3Smrg return "pitcairn"; 1257ec681f3Smrg case CHIP_VERDE: 1267ec681f3Smrg return "verde"; 1277ec681f3Smrg case CHIP_OLAND: 1287ec681f3Smrg return "oland"; 1297ec681f3Smrg case CHIP_HAINAN: 1307ec681f3Smrg return "hainan"; 1317ec681f3Smrg case CHIP_BONAIRE: 1327ec681f3Smrg return "bonaire"; 1337ec681f3Smrg case CHIP_KABINI: 1347ec681f3Smrg return "kabini"; 1357ec681f3Smrg case CHIP_KAVERI: 1367ec681f3Smrg return "kaveri"; 1377ec681f3Smrg case CHIP_HAWAII: 1387ec681f3Smrg return "hawaii"; 1397ec681f3Smrg case CHIP_TONGA: 1407ec681f3Smrg return "tonga"; 1417ec681f3Smrg case CHIP_ICELAND: 1427ec681f3Smrg return "iceland"; 1437ec681f3Smrg case CHIP_CARRIZO: 1447ec681f3Smrg return "carrizo"; 1457ec681f3Smrg case CHIP_FIJI: 1467ec681f3Smrg return "fiji"; 1477ec681f3Smrg case CHIP_STONEY: 1487ec681f3Smrg return "stoney"; 1497ec681f3Smrg case CHIP_POLARIS10: 1507ec681f3Smrg return "polaris10"; 1517ec681f3Smrg case CHIP_POLARIS11: 1527ec681f3Smrg case CHIP_POLARIS12: 1537ec681f3Smrg case CHIP_VEGAM: 1547ec681f3Smrg return "polaris11"; 1557ec681f3Smrg case CHIP_VEGA10: 1567ec681f3Smrg return "gfx900"; 1577ec681f3Smrg case CHIP_RAVEN: 1587ec681f3Smrg return "gfx902"; 1597ec681f3Smrg case CHIP_VEGA12: 1607ec681f3Smrg return "gfx904"; 1617ec681f3Smrg case CHIP_VEGA20: 1627ec681f3Smrg return "gfx906"; 1637ec681f3Smrg case CHIP_RAVEN2: 1647ec681f3Smrg case CHIP_RENOIR: 1657ec681f3Smrg return "gfx909"; 1667ec681f3Smrg case CHIP_ARCTURUS: 1677ec681f3Smrg return "gfx908"; 1687ec681f3Smrg case CHIP_ALDEBARAN: 1697ec681f3Smrg return "gfx90a"; 1707ec681f3Smrg case CHIP_NAVI10: 1717ec681f3Smrg return "gfx1010"; 1727ec681f3Smrg case CHIP_NAVI12: 1737ec681f3Smrg return "gfx1011"; 1747ec681f3Smrg case CHIP_NAVI14: 1757ec681f3Smrg return "gfx1012"; 1767ec681f3Smrg case CHIP_SIENNA_CICHLID: 1777ec681f3Smrg case CHIP_NAVY_FLOUNDER: 1787ec681f3Smrg case CHIP_DIMGREY_CAVEFISH: 1797ec681f3Smrg case CHIP_BEIGE_GOBY: 1807ec681f3Smrg case CHIP_VANGOGH: 1817ec681f3Smrg case CHIP_YELLOW_CARP: 1827ec681f3Smrg return "gfx1030"; 1837ec681f3Smrg default: 1847ec681f3Smrg return ""; 1857ec681f3Smrg } 1867ec681f3Smrg} 1877ec681f3Smrg 1887ec681f3Smrgstatic LLVMTargetMachineRef ac_create_target_machine(enum radeon_family family, 1897ec681f3Smrg enum ac_target_machine_options tm_options, 1907ec681f3Smrg LLVMCodeGenOptLevel level, 1917ec681f3Smrg const char **out_triple) 1927ec681f3Smrg{ 1937ec681f3Smrg assert(family >= CHIP_TAHITI); 1947ec681f3Smrg const char *triple = (tm_options & AC_TM_SUPPORTS_SPILL) ? "amdgcn-mesa-mesa3d" : "amdgcn--"; 1957ec681f3Smrg LLVMTargetRef target = ac_get_llvm_target(triple); 1967ec681f3Smrg 1977ec681f3Smrg LLVMTargetMachineRef tm = 1987ec681f3Smrg LLVMCreateTargetMachine(target, triple, ac_get_llvm_processor_name(family), "", level, 1997ec681f3Smrg LLVMRelocDefault, LLVMCodeModelDefault); 2007ec681f3Smrg 2017ec681f3Smrg if (out_triple) 2027ec681f3Smrg *out_triple = triple; 2037ec681f3Smrg if (tm_options & AC_TM_ENABLE_GLOBAL_ISEL) 2047ec681f3Smrg ac_enable_global_isel(tm); 2057ec681f3Smrg return tm; 2067ec681f3Smrg} 2077ec681f3Smrg 2087ec681f3Smrgstatic LLVMPassManagerRef ac_create_passmgr(LLVMTargetLibraryInfoRef target_library_info, 2097ec681f3Smrg bool check_ir) 2107ec681f3Smrg{ 2117ec681f3Smrg LLVMPassManagerRef passmgr = LLVMCreatePassManager(); 2127ec681f3Smrg if (!passmgr) 2137ec681f3Smrg return NULL; 2147ec681f3Smrg 2157ec681f3Smrg if (target_library_info) 2167ec681f3Smrg LLVMAddTargetLibraryInfo(target_library_info, passmgr); 2177ec681f3Smrg 2187ec681f3Smrg if (check_ir) 2197ec681f3Smrg LLVMAddVerifierPass(passmgr); 2207ec681f3Smrg LLVMAddAlwaysInlinerPass(passmgr); 2217ec681f3Smrg /* Normally, the pass manager runs all passes on one function before 2227ec681f3Smrg * moving onto another. Adding a barrier no-op pass forces the pass 2237ec681f3Smrg * manager to run the inliner on all functions first, which makes sure 2247ec681f3Smrg * that the following passes are only run on the remaining non-inline 2257ec681f3Smrg * function, so it removes useless work done on dead inline functions. 2267ec681f3Smrg */ 2277ec681f3Smrg ac_llvm_add_barrier_noop_pass(passmgr); 2287ec681f3Smrg /* This pass should eliminate all the load and store instructions. */ 2297ec681f3Smrg LLVMAddPromoteMemoryToRegisterPass(passmgr); 2307ec681f3Smrg LLVMAddScalarReplAggregatesPass(passmgr); 2317ec681f3Smrg LLVMAddLICMPass(passmgr); 2327ec681f3Smrg LLVMAddAggressiveDCEPass(passmgr); 2337ec681f3Smrg LLVMAddCFGSimplificationPass(passmgr); 2347ec681f3Smrg /* This is recommended by the instruction combining pass. */ 2357ec681f3Smrg LLVMAddEarlyCSEMemSSAPass(passmgr); 2367ec681f3Smrg LLVMAddInstructionCombiningPass(passmgr); 2377ec681f3Smrg return passmgr; 2387ec681f3Smrg} 2397ec681f3Smrg 2407ec681f3Smrgstatic const char *attr_to_str(enum ac_func_attr attr) 2417ec681f3Smrg{ 2427ec681f3Smrg switch (attr) { 2437ec681f3Smrg case AC_FUNC_ATTR_ALWAYSINLINE: 2447ec681f3Smrg return "alwaysinline"; 2457ec681f3Smrg case AC_FUNC_ATTR_INREG: 2467ec681f3Smrg return "inreg"; 2477ec681f3Smrg case AC_FUNC_ATTR_NOALIAS: 2487ec681f3Smrg return "noalias"; 2497ec681f3Smrg case AC_FUNC_ATTR_NOUNWIND: 2507ec681f3Smrg return "nounwind"; 2517ec681f3Smrg case AC_FUNC_ATTR_READNONE: 2527ec681f3Smrg return "readnone"; 2537ec681f3Smrg case AC_FUNC_ATTR_READONLY: 2547ec681f3Smrg return "readonly"; 2557ec681f3Smrg case AC_FUNC_ATTR_WRITEONLY: 2567ec681f3Smrg return "writeonly"; 2577ec681f3Smrg case AC_FUNC_ATTR_INACCESSIBLE_MEM_ONLY: 2587ec681f3Smrg return "inaccessiblememonly"; 2597ec681f3Smrg case AC_FUNC_ATTR_CONVERGENT: 2607ec681f3Smrg return "convergent"; 2617ec681f3Smrg default: 2627ec681f3Smrg fprintf(stderr, "Unhandled function attribute: %x\n", attr); 2637ec681f3Smrg return 0; 2647ec681f3Smrg } 2657ec681f3Smrg} 2667ec681f3Smrg 2677ec681f3Smrgvoid ac_add_function_attr(LLVMContextRef ctx, LLVMValueRef function, int attr_idx, 2687ec681f3Smrg enum ac_func_attr attr) 2697ec681f3Smrg{ 2707ec681f3Smrg const char *attr_name = attr_to_str(attr); 2717ec681f3Smrg unsigned kind_id = LLVMGetEnumAttributeKindForName(attr_name, strlen(attr_name)); 2727ec681f3Smrg LLVMAttributeRef llvm_attr = LLVMCreateEnumAttribute(ctx, kind_id, 0); 2737ec681f3Smrg 2747ec681f3Smrg if (LLVMIsAFunction(function)) 2757ec681f3Smrg LLVMAddAttributeAtIndex(function, attr_idx, llvm_attr); 2767ec681f3Smrg else 2777ec681f3Smrg LLVMAddCallSiteAttribute(function, attr_idx, llvm_attr); 2787ec681f3Smrg} 2797ec681f3Smrg 2807ec681f3Smrgvoid ac_add_func_attributes(LLVMContextRef ctx, LLVMValueRef function, unsigned attrib_mask) 2817ec681f3Smrg{ 2827ec681f3Smrg attrib_mask |= AC_FUNC_ATTR_NOUNWIND; 2837ec681f3Smrg attrib_mask &= ~AC_FUNC_ATTR_LEGACY; 2847ec681f3Smrg 2857ec681f3Smrg while (attrib_mask) { 2867ec681f3Smrg enum ac_func_attr attr = 1u << u_bit_scan(&attrib_mask); 2877ec681f3Smrg ac_add_function_attr(ctx, function, -1, attr); 2887ec681f3Smrg } 2897ec681f3Smrg} 2907ec681f3Smrg 2917ec681f3Smrgvoid ac_dump_module(LLVMModuleRef module) 2927ec681f3Smrg{ 2937ec681f3Smrg char *str = LLVMPrintModuleToString(module); 2947ec681f3Smrg fprintf(stderr, "%s", str); 2957ec681f3Smrg LLVMDisposeMessage(str); 2967ec681f3Smrg} 2977ec681f3Smrg 2987ec681f3Smrgvoid ac_llvm_add_target_dep_function_attr(LLVMValueRef F, const char *name, unsigned value) 2997ec681f3Smrg{ 3007ec681f3Smrg char str[16]; 3017ec681f3Smrg 3027ec681f3Smrg snprintf(str, sizeof(str), "0x%x", value); 3037ec681f3Smrg LLVMAddTargetDependentFunctionAttr(F, name, str); 3047ec681f3Smrg} 3057ec681f3Smrg 3067ec681f3Smrgvoid ac_llvm_set_workgroup_size(LLVMValueRef F, unsigned size) 3077ec681f3Smrg{ 3087ec681f3Smrg if (!size) 3097ec681f3Smrg return; 3107ec681f3Smrg 3117ec681f3Smrg char str[32]; 3127ec681f3Smrg snprintf(str, sizeof(str), "%u,%u", size, size); 3137ec681f3Smrg LLVMAddTargetDependentFunctionAttr(F, "amdgpu-flat-work-group-size", str); 3147ec681f3Smrg} 3157ec681f3Smrg 3167ec681f3Smrgvoid ac_llvm_set_target_features(LLVMValueRef F, struct ac_llvm_context *ctx) 3177ec681f3Smrg{ 3187ec681f3Smrg char features[2048]; 3197ec681f3Smrg 3207ec681f3Smrg snprintf(features, sizeof(features), "+DumpCode%s%s", 3217ec681f3Smrg /* GFX9 has broken VGPR indexing, so always promote alloca to scratch. */ 3227ec681f3Smrg ctx->chip_class == GFX9 ? ",-promote-alloca" : "", 3237ec681f3Smrg /* Wave32 is the default. */ 3247ec681f3Smrg ctx->chip_class >= GFX10 && ctx->wave_size == 64 ? 3257ec681f3Smrg ",+wavefrontsize64,-wavefrontsize32" : ""); 3267ec681f3Smrg 3277ec681f3Smrg LLVMAddTargetDependentFunctionAttr(F, "target-features", features); 3287ec681f3Smrg} 3297ec681f3Smrg 3307ec681f3Smrgunsigned ac_count_scratch_private_memory(LLVMValueRef function) 3317ec681f3Smrg{ 3327ec681f3Smrg unsigned private_mem_vgprs = 0; 3337ec681f3Smrg 3347ec681f3Smrg /* Process all LLVM instructions. */ 3357ec681f3Smrg LLVMBasicBlockRef bb = LLVMGetFirstBasicBlock(function); 3367ec681f3Smrg while (bb) { 3377ec681f3Smrg LLVMValueRef next = LLVMGetFirstInstruction(bb); 3387ec681f3Smrg 3397ec681f3Smrg while (next) { 3407ec681f3Smrg LLVMValueRef inst = next; 3417ec681f3Smrg next = LLVMGetNextInstruction(next); 3427ec681f3Smrg 3437ec681f3Smrg if (LLVMGetInstructionOpcode(inst) != LLVMAlloca) 3447ec681f3Smrg continue; 3457ec681f3Smrg 3467ec681f3Smrg LLVMTypeRef type = LLVMGetElementType(LLVMTypeOf(inst)); 3477ec681f3Smrg /* No idea why LLVM aligns allocas to 4 elements. */ 3487ec681f3Smrg unsigned alignment = LLVMGetAlignment(inst); 3497ec681f3Smrg unsigned dw_size = align(ac_get_type_size(type) / 4, alignment); 3507ec681f3Smrg private_mem_vgprs += dw_size; 3517ec681f3Smrg } 3527ec681f3Smrg bb = LLVMGetNextBasicBlock(bb); 3537ec681f3Smrg } 3547ec681f3Smrg 3557ec681f3Smrg return private_mem_vgprs; 3567ec681f3Smrg} 3577ec681f3Smrg 3587ec681f3Smrgbool ac_init_llvm_compiler(struct ac_llvm_compiler *compiler, enum radeon_family family, 3597ec681f3Smrg enum ac_target_machine_options tm_options) 3607ec681f3Smrg{ 3617ec681f3Smrg const char *triple; 3627ec681f3Smrg memset(compiler, 0, sizeof(*compiler)); 3637ec681f3Smrg 3647ec681f3Smrg compiler->tm = ac_create_target_machine(family, tm_options, LLVMCodeGenLevelDefault, &triple); 3657ec681f3Smrg if (!compiler->tm) 3667ec681f3Smrg return false; 3677ec681f3Smrg 3687ec681f3Smrg if (tm_options & AC_TM_CREATE_LOW_OPT) { 3697ec681f3Smrg compiler->low_opt_tm = 3707ec681f3Smrg ac_create_target_machine(family, tm_options, LLVMCodeGenLevelLess, NULL); 3717ec681f3Smrg if (!compiler->low_opt_tm) 3727ec681f3Smrg goto fail; 3737ec681f3Smrg } 3747ec681f3Smrg 3757ec681f3Smrg compiler->target_library_info = ac_create_target_library_info(triple); 3767ec681f3Smrg if (!compiler->target_library_info) 3777ec681f3Smrg goto fail; 3787ec681f3Smrg 3797ec681f3Smrg compiler->passmgr = 3807ec681f3Smrg ac_create_passmgr(compiler->target_library_info, tm_options & AC_TM_CHECK_IR); 3817ec681f3Smrg if (!compiler->passmgr) 3827ec681f3Smrg goto fail; 3837ec681f3Smrg 3847ec681f3Smrg return true; 3857ec681f3Smrgfail: 3867ec681f3Smrg ac_destroy_llvm_compiler(compiler); 3877ec681f3Smrg return false; 3887ec681f3Smrg} 3897ec681f3Smrg 3907ec681f3Smrgvoid ac_destroy_llvm_compiler(struct ac_llvm_compiler *compiler) 3917ec681f3Smrg{ 3927ec681f3Smrg ac_destroy_llvm_passes(compiler->passes); 3937ec681f3Smrg ac_destroy_llvm_passes(compiler->low_opt_passes); 3947ec681f3Smrg 3957ec681f3Smrg if (compiler->passmgr) 3967ec681f3Smrg LLVMDisposePassManager(compiler->passmgr); 3977ec681f3Smrg if (compiler->target_library_info) 3987ec681f3Smrg ac_dispose_target_library_info(compiler->target_library_info); 3997ec681f3Smrg if (compiler->low_opt_tm) 4007ec681f3Smrg LLVMDisposeTargetMachine(compiler->low_opt_tm); 4017ec681f3Smrg if (compiler->tm) 4027ec681f3Smrg LLVMDisposeTargetMachine(compiler->tm); 4037ec681f3Smrg} 404