1 /* 2 * Copyright © 2012 Intel Corporation 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 * Authors: 24 * Eric Anholt <eric@anholt.net> 25 * 26 */ 27 28 #pragma once 29 30 #include "brw_ir_analysis.h" 31 #include "brw_ir_fs.h" 32 #include "util/bitset.h" 33 34 struct cfg_t; 35 struct fs_visitor; 36 37 namespace brw { 38 39 class fs_live_variables { 40 public: 41 struct block_data { 42 /** 43 * Which variables are defined before being used in the block. 44 * 45 * Note that for our purposes, "defined" means unconditionally, completely 46 * defined. 47 */ 48 BITSET_WORD *def; 49 50 /** 51 * Which variables are used before being defined in the block. 52 */ 53 BITSET_WORD *use; 54 55 /** Which defs reach the entry point of the block. */ 56 BITSET_WORD *livein; 57 58 /** Which defs reach the exit point of the block. */ 59 BITSET_WORD *liveout; 60 61 /** 62 * Variables such that the entry point of the block may be reached from any 63 * of their definitions. 64 */ 65 BITSET_WORD *defin; 66 67 /** 68 * Variables such that the exit point of the block may be reached from any 69 * of their definitions. 70 */ 71 BITSET_WORD *defout; 72 73 BITSET_WORD flag_def[1]; 74 BITSET_WORD flag_use[1]; 75 BITSET_WORD flag_livein[1]; 76 BITSET_WORD flag_liveout[1]; 77 }; 78 79 fs_live_variables(const fs_visitor *s); 80 ~fs_live_variables(); 81 82 bool validate(const fs_visitor *s) const; 83 84 analysis_dependency_class dependency_class()85 dependency_class() const 86 { 87 return (DEPENDENCY_INSTRUCTION_IDENTITY | 88 DEPENDENCY_INSTRUCTION_DATA_FLOW | 89 DEPENDENCY_VARIABLES); 90 } 91 92 bool vars_interfere(int a, int b) const; 93 bool vgrfs_interfere(int a, int b) const; var_from_reg(const brw_reg & reg)94 int var_from_reg(const brw_reg ®) const 95 { 96 return var_from_vgrf[reg.nr] + reg.offset / REG_SIZE; 97 } 98 99 /** Map from virtual GRF number to index in block_data arrays. */ 100 int *var_from_vgrf; 101 102 /** 103 * Map from any index in block_data to the virtual GRF containing it. 104 * 105 * For alloc.sizes of [1, 2, 3], vgrf_from_var would contain 106 * [0, 1, 1, 2, 2, 2]. 107 */ 108 int *vgrf_from_var; 109 110 int num_vars; 111 int num_vgrfs; 112 int bitset_words; 113 114 /** @{ 115 * Final computed live ranges for each var (each component of each virtual 116 * GRF). 117 */ 118 int *start; 119 int *end; 120 /** @} */ 121 122 /** @{ 123 * Final computed live ranges for each VGRF. 124 */ 125 int *vgrf_start; 126 int *vgrf_end; 127 /** @} */ 128 129 /** Per-basic-block information on live variables */ 130 struct block_data *block_data; 131 132 protected: 133 void setup_def_use(); 134 void setup_one_read(struct block_data *bd, int ip, const brw_reg ®); 135 void setup_one_write(struct block_data *bd, fs_inst *inst, int ip, 136 const brw_reg ®); 137 void compute_live_variables(); 138 void compute_start_end(); 139 140 const struct intel_device_info *devinfo; 141 const cfg_t *cfg; 142 void *mem_ctx; 143 }; 144 145 } /* namespace brw */ 146