Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 1 | /* |
Michele Di Giorgio | d9eaf61 | 2020-07-08 11:12:57 +0100 | [diff] [blame] | 2 | * Copyright (c) 2017-2018 Arm Limited. |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: MIT |
| 5 | * |
| 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy |
| 7 | * of this software and associated documentation files (the "Software"), to |
| 8 | * deal in the Software without restriction, including without limitation the |
| 9 | * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or |
| 10 | * sell copies of the Software, and to permit persons to whom the Software is |
| 11 | * furnished to do so, subject to the following conditions: |
| 12 | * |
| 13 | * The above copyright notice and this permission notice shall be included in all |
| 14 | * copies or substantial portions of the Software. |
| 15 | * |
| 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| 19 | * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE |
| 22 | * SOFTWARE. |
| 23 | */ |
| 24 | #include "arm_compute/core/IAccessWindow.h" |
| 25 | |
| 26 | #include "arm_compute/core/Helpers.h" |
| 27 | #include "arm_compute/core/TensorInfo.h" |
| 28 | #include "arm_compute/core/Window.h" |
| 29 | |
| 30 | using namespace arm_compute; |
| 31 | |
| 32 | ValidRegion AccessWindowRectangle::compute_valid_region(const Window &window, const ValidRegion &input_valid_region) const |
| 33 | { |
| 34 | return compute_valid_region(window, input_valid_region, false, BorderSize(0)); |
| 35 | } |
| 36 | |
| 37 | ValidRegion AccessWindowRectangle::compute_valid_region(const Window &window, ValidRegion input_valid_region, bool border_undefined, BorderSize border_size) const |
| 38 | { |
| 39 | if(_info == nullptr) |
| 40 | { |
| 41 | return input_valid_region; |
| 42 | } |
| 43 | |
| 44 | Coordinates &anchor = input_valid_region.anchor; |
| 45 | Coordinates old_anchor(anchor); |
| 46 | TensorShape &shape = input_valid_region.shape; |
| 47 | |
| 48 | if(!border_undefined) |
| 49 | { |
| 50 | border_size = BorderSize(0); |
| 51 | } |
| 52 | |
| 53 | // Start of the valid region is equal to the start of the window. But it |
| 54 | // cannot be less than the start of the input's valid region plus the border |
| 55 | // size required by this kernel (if undefined). |
| 56 | // Additionally the valid region is shifted by the offset that is used by |
| 57 | // the kernel to write back output values. |
| 58 | anchor.set(0, std::max<int>(window.x().start() * _scale_x, anchor[0] + border_size.left) + _x); |
| 59 | if(_info->num_dimensions() > 1) |
| 60 | { |
| 61 | anchor.set(1, std::max<int>(window.y().start() * _scale_y, anchor[1] + border_size.top) + _y); |
| 62 | } |
| 63 | |
| 64 | // End of the valid region is equal to the start of the last write of the |
| 65 | // kernel plus the number of written elements. (This assumes that all |
| 66 | // written elements are valid). Nevertheless the end cannot be larger than |
| 67 | // the end of the input's valid region minus the border size. |
| 68 | // Note: not the end points of the region are stored but its size. Thus the |
| 69 | // old size is first converted into end points to compared against the |
| 70 | // execution window. Afterwards the new end points are converted back into |
| 71 | // a size of the region. |
| 72 | shape.set(0, std::min<int>(old_anchor[0] + shape[0] - border_size.right, (window.x().end() - window.x().step()) * _scale_x + _width) - anchor[0]); |
| 73 | if(_info->num_dimensions() > 1) |
| 74 | { |
| 75 | shape.set(1, std::min<int>(old_anchor[1] + shape[1] - border_size.bottom, (window.y().end() - window.y().step()) * _scale_y + _height) - anchor[1]); |
| 76 | } |
| 77 | |
| 78 | // For higher dimensions use the intersection of the window size and the |
| 79 | // valid region of the input |
| 80 | for(size_t d = 2; d < _info->num_dimensions(); ++d) |
| 81 | { |
| 82 | anchor.set(d, std::max(window[d].start(), input_valid_region.anchor[d])); |
| 83 | shape.set(d, std::min<int>(window[d].end(), input_valid_region.shape[d]) - anchor[d]); |
| 84 | } |
| 85 | |
| 86 | return input_valid_region; |
| 87 | } |
| 88 | |
| 89 | void AccessWindowRectangle::set_valid_region(const Window &window, const ValidRegion &input_valid_region, bool border_undefined, const BorderSize &border_size) |
| 90 | { |
| 91 | if(_info != nullptr) |
| 92 | { |
| 93 | _info->set_valid_region(compute_valid_region(window, input_valid_region, border_undefined, border_size)); |
| 94 | } |
| 95 | } |
| 96 | |
| 97 | bool AccessWindowRectangle::update_window_if_needed(Window &window) const |
| 98 | { |
| 99 | // Only update the window size if we can't use padding |
| 100 | if(_info == nullptr || _info->is_resizable()) |
| 101 | { |
| 102 | return false; |
| 103 | } |
| 104 | |
Anthony Barbier | ee50f51 | 2018-11-15 09:58:00 +0000 | [diff] [blame] | 105 | PaddingSize needed = get_needed_padding(window); |
| 106 | PaddingSize available = _info->padding(); |
| 107 | |
| 108 | if(needed.top <= available.top && needed.right <= available.right |
| 109 | && needed.bottom <= available.bottom |
| 110 | && needed.left <= available.left) |
| 111 | { |
| 112 | return false; |
| 113 | } |
| 114 | |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 115 | const TensorShape &shape = _info->tensor_shape(); |
| 116 | const Strides &strides = _info->strides_in_bytes(); |
| 117 | const size_t offset_first_element = _info->offset_first_element_in_bytes(); |
| 118 | |
| 119 | bool window_modified = false; |
| 120 | |
| 121 | int front_pad_y = 0; |
| 122 | |
| 123 | const int min_y = window.y().start() * _scale_y + _y; |
| 124 | const int max_y = (window.y().end() - window.y().step()) * _scale_y + _y + _height; |
| 125 | |
| 126 | // Adjust window start for Y dimension |
| 127 | if(min_y < 0) |
| 128 | { |
| 129 | // Calculate rows available above the tensor |
| 130 | const int front_pad_y_available = -static_cast<int>(offset_first_element / strides[1]); |
| 131 | |
| 132 | if(min_y < front_pad_y_available) |
| 133 | { |
| 134 | // Not enough padding available, need to shrink the window |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 135 | int start = adjust_up(min_y, front_pad_y_available, window.y().step() * _scale_y) - _y; |
| 136 | start = std::min<int>(start / _scale_y, window.y().end()); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 137 | |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 138 | window.set(1, Window::Dimension(start, window.y().end(), window.y().step())); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 139 | window_modified = true; |
| 140 | } |
| 141 | |
| 142 | // Update front padding with reconstructed value |
| 143 | front_pad_y = std::max(0, static_cast<int>(std::floor(-window.y().start() * _scale_y)) - _y); |
| 144 | } |
| 145 | |
| 146 | // Adjust window end for Y dimension |
| 147 | if(max_y > static_cast<int>(shape[1])) |
| 148 | { |
| 149 | const int stride_z = _info->num_dimensions() > 2 ? strides[2] : _info->total_size(); |
| 150 | |
| 151 | // Calculate rows available below the tensor |
| 152 | const int tail_pad_y_available = (stride_z / strides[1]) - shape[1] - front_pad_y; |
| 153 | |
| 154 | if(static_cast<int>(shape[1]) + tail_pad_y_available < max_y) |
| 155 | { |
| 156 | // Not enough padding available, need to shrink the window |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 157 | int end = adjust_down(max_y, shape[1] + tail_pad_y_available, window.y().step() * _scale_y) + window.y().step() * _scale_y - _y - _height; |
| 158 | end = std::max<int>(window.y().start(), end / _scale_y); |
| 159 | |
| 160 | window.set(1, Window::Dimension(window.y().start(), end, window.y().step())); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 161 | window_modified = true; |
| 162 | } |
| 163 | } |
| 164 | |
| 165 | int front_pad_x = 0; |
| 166 | |
| 167 | const int min_x = window.x().start() * _scale_x + _x; |
| 168 | const int max_x = (window.x().end() - window.x().step()) * _scale_x + _x + _width; |
| 169 | |
| 170 | const int stride_y = _info->num_dimensions() > 1 ? strides[1] : _info->total_size(); |
| 171 | |
| 172 | // Adjust window start for X dimension |
| 173 | if(min_x < 0) |
| 174 | { |
| 175 | const int front_pad_x_available = -std::min<int>(static_cast<int>(offset_first_element) - front_pad_y * strides[1], stride_y - shape[0] * strides[0]) / static_cast<int>(strides[0]); |
| 176 | |
| 177 | if(min_x < front_pad_x_available) |
| 178 | { |
| 179 | // Not enough padding available, need to shrink the window |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 180 | int start = adjust_up(min_x, front_pad_x_available, window.x().step() * _scale_x) - _x; |
| 181 | start = std::min<int>(start / _scale_x, window.x().end()); |
| 182 | |
| 183 | window.set(0, Window::Dimension(start, window.x().end(), window.x().step())); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 184 | window_modified = true; |
| 185 | } |
| 186 | |
| 187 | // Update front padding with reconstructed value |
| 188 | front_pad_x = std::max(0, static_cast<int>(std::floor(-window.x().start() * _scale_x)) - _x); |
| 189 | } |
| 190 | |
| 191 | // Adjust window end for X dimension |
| 192 | if(max_x > static_cast<int>(shape[0])) |
| 193 | { |
| 194 | const int tail_pad_x_available = (stride_y / strides[0]) - shape[0] - front_pad_x; |
| 195 | |
| 196 | if(static_cast<int>(shape[0]) + tail_pad_x_available < max_x) |
| 197 | { |
| 198 | // Not enough padding available, need to shrink the window |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 199 | int end = adjust_down(max_x, shape[0] + tail_pad_x_available, window.x().step() * _scale_x) + window.x().step() * _scale_x - _x - _width; |
| 200 | end = std::max<int>(window.x().start(), end / _scale_x); |
| 201 | |
| 202 | window.set(0, Window::Dimension(window.x().start(), end, window.x().step())); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 203 | window_modified = true; |
| 204 | } |
| 205 | } |
| 206 | |
| 207 | window.validate(); |
| 208 | |
| 209 | return window_modified; |
| 210 | } |
| 211 | |
Diego Lopez Recas | 35ceeb2 | 2017-12-04 18:56:10 +0000 | [diff] [blame] | 212 | bool AccessWindowRectangle::update_padding_if_needed(const Window &window) |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 213 | { |
| 214 | // Only update the padding if the tensor allows it |
| 215 | if(_info == nullptr || !_info->is_resizable()) |
| 216 | { |
| 217 | return false; |
| 218 | } |
Anthony Barbier | ee50f51 | 2018-11-15 09:58:00 +0000 | [diff] [blame] | 219 | // Update strides in tensor info |
| 220 | return _info->extend_padding( get_needed_padding(window)); |
| 221 | } |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 222 | |
Anthony Barbier | ee50f51 | 2018-11-15 09:58:00 +0000 | [diff] [blame] | 223 | PaddingSize AccessWindowRectangle::get_needed_padding(const Window &window)const |
| 224 | { |
Diego Lopez Recas | 0021d75 | 2017-12-18 14:42:56 +0000 | [diff] [blame] | 225 | ARM_COMPUTE_ERROR_ON(_scale_x == 0); |
| 226 | ARM_COMPUTE_ERROR_ON(_scale_y == 0); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 227 | |
| 228 | const int min_x = window.x().start() * _scale_x + _x; |
| 229 | const int max_x = (window.x().end() - window.x().step()) * _scale_x + _x + _width; |
| 230 | const int min_y = window.y().start() * _scale_y + _y; |
| 231 | const int max_y = (window.y().end() - window.y().step()) * _scale_y + _y + _height; |
| 232 | |
| 233 | const TensorShape &shape = _info->tensor_shape(); |
| 234 | |
| 235 | PaddingSize padding; |
| 236 | padding.left = std::max(0, -min_x); |
| 237 | padding.right = std::max<int>(0, max_x - shape[0]); |
Moritz Pflanzer | 5eab6c7 | 2017-09-17 12:33:31 +0100 | [diff] [blame] | 238 | padding.top = std::max(0, -min_y); |
| 239 | padding.bottom = std::max<int>(0, max_y - shape[1]); |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 240 | |
Anthony Barbier | ee50f51 | 2018-11-15 09:58:00 +0000 | [diff] [blame] | 241 | return padding; |
Anthony Barbier | 6ff3b19 | 2017-09-04 18:44:23 +0100 | [diff] [blame] | 242 | } |