src/Simplify_Select.cpp · xiongying/Halide

代码拉取完成,页面将自动刷新

扫描微信二维码支付

取消

支付完成

richgiteeai

Watch

不关注关注所有动态仅关注版本发行动态关注但不提醒动态

1 Star 0 Fork 3

xiongying/Halide

forked from Gitee 极速下载/Halide

代码 Wiki 统计流水线

服务

加入 Gitee

与超过 1400万开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)

免费加入

已有帐号? 立即登录

文件

main

分支 (1093)

标签 (17)

管理

main

xtensa-codegen

vksnk/dma-limit-channels

rootjalex/trs-codegen-cross

abadams/fix_7374

abadams/remove_hack_from_gpu_only_aottest

srj/gpu-cache

srj/generator_aot_gpu_multi_context_threaded

srj/xtensa-merge

abadams/vector_scan

abadams/fix_7365

darya-ver/ir-viz

vulkan-phase2-runtime

srj/param-map-deprecation

srj/rt-return-types

srj/main-vs2022

release/15.x

srj/param-map

abadams/ir_builder_unique_ptr

vksnk/restrict

v14.0.0

v13.0.4

v13.0.3

v13.0.2

v13.0.1

v13.0.0

v12.0.1

v12.0.0

v11.0.1

v11.0.0

v10.0.1

v10.0.0

release_2019_08_27

release_8.0.0

v8.0.0

release_2018_02_15

release_2013_11_11

克隆/下载

HTTPS SSH SVN SVN+SSH 下载ZIP

提示

下载代码请复制以下命令到终端执行

为确保你提交的代码身份被 Gitee 正确识别,请执行以下命令完成配置

git config --global user.name userName 
git config --global user.email userEmail

初次使用 SSH 协议进行代码克隆、推送等操作时,需按下述提示完成 SSH 配置

1 生成 RSA 密钥

2 获取 RSA 公钥内容,并配置到 SSH公钥中

在 Gitee 上使用 SVN,请访问使用指南

使用 HTTPS 协议时,命令行会出现如下账号密码验证步骤。基于安全考虑,Gitee 建议配置并使用私人令牌替代登录密码进行克隆、推送等操作

Username for 'https://gitee.com': userName

Password for 'https://userName@gitee.com': # 私人令牌

分支 1093

标签 17

Halide

src

Simplify_Select.cpp

Simplify_Select.cpp 15.97 KB

#include "Simplify_Internal.h"

namespace Halide {
namespace Internal {

Expr Simplify::visit(const Select *op, ExprInfo *bounds) {

ExprInfo t_bounds, f_bounds;
 Expr condition = mutate(op->condition, nullptr);
 Expr true_value = mutate(op->true_value, &t_bounds);
 Expr false_value = mutate(op->false_value, &f_bounds);

if (bounds) {
 bounds->min_defined = t_bounds.min_defined && f_bounds.min_defined;
 bounds->max_defined = t_bounds.max_defined && f_bounds.max_defined;
 bounds->min = std::min(t_bounds.min, f_bounds.min);
 bounds->max = std::max(t_bounds.max, f_bounds.max);
 bounds->alignment = ModulusRemainder::unify(t_bounds.alignment, f_bounds.alignment);
 bounds->trim_bounds_using_alignment();
 }

if (may_simplify(op->type)) {
 int lanes = op->type.lanes();
 auto rewrite = IRMatcher::rewriter(IRMatcher::select(condition, true_value, false_value), op->type);

// clang-format off
 if (EVAL_IN_LAMBDA
 (rewrite(select(IRMatcher::intrin(Call::likely, true), x, y), x) ||
 rewrite(select(IRMatcher::intrin(Call::likely, false), x, y), y) ||
 rewrite(select(IRMatcher::intrin(Call::likely_if_innermost, true), x, y), x) ||
 rewrite(select(IRMatcher::intrin(Call::likely_if_innermost, false), x, y), y) ||
 rewrite(select(1, x, y), x) ||
 rewrite(select(0, x, y), y) ||
 rewrite(select(x, y, y), y) ||
 rewrite(select(x, intrin(Call::likely, y), y), false_value) ||
 rewrite(select(x, y, intrin(Call::likely, y)), true_value) ||
 rewrite(select(x, intrin(Call::likely_if_innermost, y), y), false_value) ||
 rewrite(select(x, y, intrin(Call::likely_if_innermost, y)), true_value) ||
 false)) {
 return rewrite.result;
 }
 // clang-format on

// clang-format off
 if (EVAL_IN_LAMBDA
 (rewrite(select(broadcast(x, lanes), y, z), select(x, y, z)) ||
 rewrite(select(x != y, z, w), select(x == y, w, z)) ||
 rewrite(select(x <= y, z, w), select(y < x, w, z)) ||
 rewrite(select(x, select(y, z, w), z), select(x && !y, w, z)) ||
 rewrite(select(x, select(y, z, w), w), select(x && y, z, w)) ||
 rewrite(select(x, y, select(z, y, w)), select(x || z, y, w)) ||
 rewrite(select(x, y, select(z, w, y)), select(x || !z, y, w)) ||
 rewrite(select(x, select(x, y, z), w), select(x, y, w)) ||
 rewrite(select(x, y, select(x, z, w)), select(x, y, w)) ||
 rewrite(select(x, y + z, y + w), y + select(x, z, w)) ||
 rewrite(select(x, y + z, w + y), y + select(x, z, w)) ||
 rewrite(select(x, z + y, y + w), y + select(x, z, w)) ||
 rewrite(select(x, z + y, w + y), select(x, z, w) + y) ||
 rewrite(select(x, y - z, y - w), y - select(x, z, w)) ||
 rewrite(select(x, y - z, y + w), y + select(x, -z, w)) ||
 rewrite(select(x, y + z, y - w), y + select(x, z, -w)) ||
 rewrite(select(x, y - z, w + y), y + select(x, -z, w)) ||
 rewrite(select(x, z + y, y - w), y + select(x, z, -w)) ||
 rewrite(select(x, z - y, w - y), select(x, z, w) - y) ||
 rewrite(select(x, y * z, y * w), y * select(x, z, w)) ||
 rewrite(select(x, y * z, w * y), y * select(x, z, w)) ||
 rewrite(select(x, z * y, y * w), y * select(x, z, w)) ||
 rewrite(select(x, z * y, w * y), select(x, z, w) * y) ||
 rewrite(select(x, 0 - y * z, y * w), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - y * z, w * y), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - z * y, y * w), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - z * y, w * y), select(x, 0 - z, w) * y) ||
 rewrite(select(x, y * z, 0 - y * w), y * select(x, z, 0 - w)) ||
 rewrite(select(x, y * z, 0 - w * y), y * select(x, z, 0 - w)) ||
 rewrite(select(x, z * y, 0 - y * w), y * select(x, z, 0 - w)) ||
 rewrite(select(x, z * y, 0 - w * y), select(x, z, 0 - w) * y) ||

rewrite(select(x, z / y, w / y), select(x, z, w) / y) ||
 rewrite(select(x, z % y, w % y), select(x, z, w) % y) ||

rewrite(select(x, (y + z) + u, y + w), y + select(x, z + u, w)) ||
 rewrite(select(x, (y + z) - u, y + w), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (y + z), y + w), y + select(x, u + z, w)) ||
 rewrite(select(x, y + z, (y + w) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, y + z, (y + w) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, y + z, u + (y + w)), y + select(x, z, u + w)) ||

rewrite(select(x, (y + z) + u, w + y), y + select(x, z + u, w)) ||
 rewrite(select(x, (y + z) - u, w + y), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (y + z), w + y), y + select(x, u + z, w)) ||
 rewrite(select(x, y + z, (w + y) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, y + z, (w + y) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, y + z, u + (w + y)), y + select(x, z, u + w)) ||

rewrite(select(x, (z + y) + u, y + w), y + select(x, z + u, w)) ||
 rewrite(select(x, (z + y) - u, y + w), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (z + y), y + w), y + select(x, u + z, w)) ||
 rewrite(select(x, z + y, (y + w) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, z + y, (y + w) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, z + y, u + (y + w)), y + select(x, z, u + w)) ||

rewrite(select(x, (z + y) + u, w + y), select(x, z + u, w) + y) ||
 rewrite(select(x, (z + y) - u, w + y), select(x, z - u, w) + y) ||
 rewrite(select(x, u + (z + y), w + y), select(x, u + z, w) + y) ||
 rewrite(select(x, z + y, (w + y) + u), select(x, z, w + u) + y) ||
 rewrite(select(x, z + y, (w + y) - u), select(x, z, w - u) + y) ||
 rewrite(select(x, z + y, u + (w + y)), select(x, z, u + w) + y) ||
 rewrite(select(x, y + (z - w), u - w), select(x, y + z, u) - w) ||
 rewrite(select(x, (y - z) + w, u - z), select(x, w + y, u) - z) ||

rewrite(select(x, (y + z) + u, y), y + select(x, z + u, 0)) ||
 rewrite(select(x, (z + y) + u, y), y + select(x, z + u, 0)) ||
 rewrite(select(x, (y + z) - u, y), y + select(x, z - u, 0)) ||
 rewrite(select(x, (z + y) - u, y), y + select(x, z - u, 0)) ||
 rewrite(select(x, u + (y + z), y), y + select(x, u + z, 0)) ||
 rewrite(select(x, u + (z + y), y), y + select(x, u + z, 0)) ||

rewrite(select(x, y, (y + z) + u), y + select(x, 0, z + u)) ||
 rewrite(select(x, y, (z + y) + u), y + select(x, 0, z + u)) ||
 rewrite(select(x, y, (y + z) - u), y + select(x, 0, z - u)) ||
 rewrite(select(x, y, (z + y) - u), y + select(x, 0, z - u)) ||
 rewrite(select(x, y, u + (y + z)), y + select(x, 0, u + z)) ||
 rewrite(select(x, y, u + (z + y)), y + select(x, 0, u + z)) ||

rewrite(select(x, (y + z) + w, (u + y) + v), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y - z) + w, (u + y) + v), y + select(x, w - z, u + v)) ||

rewrite(select(x, y + (z + w), u + (v + w)), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), u + (v + z)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), u + (w + v)), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), u + (z + v)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), (u + w) + v), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), (u + z) + v), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), (w + u) + v), w + select(x, z + y, v + u)) ||
 rewrite(select(x, y + (z + w), (z + u) + v), z + select(x, y + w, v + u)) ||
 rewrite(select(x, (y + z) + w, u + (v + y)), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (v + z)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (y + v)), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (z + v)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (u + y) + v), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (u + z) + v), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (y + u) + v), y + select(x, z + w, v + u)) ||
 rewrite(select(x, (y + z) + w, (z + u) + v), z + select(x, y + w, v + u)) ||

rewrite(select(x, select(y, z, w), select(y, u, w)), select(y, select(x, z, u), w)) ||
 rewrite(select(x, select(y, z, w), select(y, z, u)), select(y, z, select(x, w, u))) ||

rewrite(select(x < y, x, y), min(x, y)) ||
 rewrite(select(x < y, y, x), max(x, y)) ||
 rewrite(select(x < 0, x * y, 0), min(x, 0) * y) ||
 rewrite(select(x < 0, 0, x * y), max(x, 0) * y) ||

rewrite(select(x, min(y, w), min(z, w)), min(select(x, y, z), w)) ||
 rewrite(select(x, min(y, w), min(w, z)), min(select(x, y, z), w)) ||
 rewrite(select(x, min(w, y), min(z, w)), min(w, select(x, y, z))) ||
 rewrite(select(x, min(w, y), min(w, z)), min(w, select(x, y, z))) ||
 rewrite(select(x, max(y, w), max(z, w)), max(select(x, y, z), w)) ||
 rewrite(select(x, max(y, w), max(w, z)), max(select(x, y, z), w)) ||
 rewrite(select(x, max(w, y), max(z, w)), max(w, select(x, y, z))) ||
 rewrite(select(x, max(w, y), max(w, z)), max(w, select(x, y, z))) ||

rewrite(select(0 < x, min(x*c0, c1), x*c0), min(x*c0, c1), c1 >= 0 && c0 >= 0) ||
 rewrite(select(x < c0, 0, min(x, c0) + c1), 0, c0 == -c1) ||
 rewrite(select(0 < x, ((x*c0) + c1) / x, y), select(0 < x, c0 - 1, y), c1 == -1) ||

rewrite(select(x, select(y, z, min(w, z)), min(u, z)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(w, z), z), min(u, z)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(u, z), select(y, z, min(w, z))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(u, z), select(y, min(w, z), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(w, z)), min(z, u)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(w, z), z), min(z, u)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(z, u), select(y, z, min(w, z))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(z, u), select(y, min(w, z), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(z, w)), min(u, z)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(z, w), z), min(u, z)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(u, z), select(y, z, min(z, w))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(u, z), select(y, min(z, w), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(z, w)), min(z, u)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(z, w), z), min(z, u)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(z, u), select(y, z, min(z, w))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(z, u), select(y, min(z, w), z)), min(select(x, u, select(y, w, z)), z)) ||

rewrite(select(x, select(y, z, max(w, z)), max(u, z)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(w, z), z), max(u, z)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(u, z), select(y, z, max(w, z))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(u, z), select(y, max(w, z), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(w, z)), max(z, u)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(w, z), z), max(z, u)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(z, u), select(y, z, max(w, z))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(z, u), select(y, max(w, z), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(z, w)), max(u, z)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(z, w), z), max(u, z)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(u, z), select(y, z, max(z, w))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(u, z), select(y, max(z, w), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(z, w)), max(z, u)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(z, w), z), max(z, u)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(z, u), select(y, z, max(z, w))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(z, u), select(y, max(z, w), z)), max(select(x, u, select(y, w, z)), z)) ||

// Note that in the rules below we know y is not a
 // constant because it appears on the LHS of an
 // addition. These rules therefore trade a non-constant
 // for a constant.
 rewrite(select(x, y + z, y), y + select(x, z, 0)) ||
 rewrite(select(x, y, y + z), y + select(x, 0, z)) ||

rewrite(select(x, y - z, y), y + select(x, 0 - z, 0), !is_const(y)) ||
 rewrite(select(x, y, y - z), y + select(x, 0, 0 - z), !is_const(y)) ||

(no_overflow_int(op->type) &&
 (rewrite(select(x, y * c0, c1), select(x, y, fold(c1 / c0)) * c0, c1 % c0 == 0) ||
 rewrite(select(x, c0, y * c1), select(x, fold(c0 / c1), y) * c1, c0 % c1 == 0) ||
 rewrite(select(x, y + c0, c1), select(x, y, fold(c1 - c0)) + c0) ||

// Selects that are equivalent to mins/maxes
 rewrite(select(c0 < x, x + c1, c2), max(x + c1, c2), c2 == c0 + c1 || c2 == c0 + c1 + 1) ||
 rewrite(select(x < c0, c1, x + c2), max(x + c2, c1), c1 == c0 + c2 || c1 + 1 == c0 + c2) ||
 rewrite(select(c0 < x, c1, x + c2), min(x + c2, c1), c1 == c0 + c2 || c1 == c0 + c2 + 1) ||
 rewrite(select(x < c0, x + c1, c2), min(x + c1, c2), c2 == c0 + c1 || c2 + 1 == c0 + c1) ||

rewrite(select(c0 < x, x, c1), max(x, c1), c1 == c0 + 1) ||
 rewrite(select(x < c0, c1, x), max(x, c1), c1 + 1 == c0) ||
 rewrite(select(c0 < x, c1, x), min(x, c1), c1 == c0 + 1) ||
 rewrite(select(x < c0, x, c1), min(x, c1), c1 + 1 == c0))) ||

(op->type.is_bool() &&
 (rewrite(select(x, true, false), cast(op->type, x)) ||
 rewrite(select(x, false, true), cast(op->type, !x)) ||
 rewrite(select(x, y, false), x && y) ||
 rewrite(select(x, y, true), !x || y) ||
 rewrite(select(x, false, y), !x && y) ||
 rewrite(select(x, true, y), x || y))))) {
 return mutate(rewrite.result, bounds);
 }
 // clang-format on
 }

if (condition.same_as(op->condition) &&
 true_value.same_as(op->true_value) &&
 false_value.same_as(op->false_value)) {
 return op;
 } else {
 return Select::make(std::move(condition), std::move(true_value), std::move(false_value));
 }
}

} // namespace Internal
} // namespace Halide

一键复制编辑原始数据按行查看历史

Evan Lee 提交于 2021年08月04日 12:54 +08:00 . Rewrite Rules Evaluation Project - Merging Relevant Synthesized Rewrit...

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248

#include "Simplify_Internal.h"

namespace Halide {
namespace Internal {

Expr Simplify::visit(const Select *op, ExprInfo *bounds) {

 ExprInfo t_bounds, f_bounds;
 Expr condition = mutate(op->condition, nullptr);
 Expr true_value = mutate(op->true_value, &t_bounds);
 Expr false_value = mutate(op->false_value, &f_bounds);

 if (bounds) {
 bounds->min_defined = t_bounds.min_defined && f_bounds.min_defined;
 bounds->max_defined = t_bounds.max_defined && f_bounds.max_defined;
 bounds->min = std::min(t_bounds.min, f_bounds.min);
 bounds->max = std::max(t_bounds.max, f_bounds.max);
 bounds->alignment = ModulusRemainder::unify(t_bounds.alignment, f_bounds.alignment);
 bounds->trim_bounds_using_alignment();
 }

 if (may_simplify(op->type)) {
 int lanes = op->type.lanes();
 auto rewrite = IRMatcher::rewriter(IRMatcher::select(condition, true_value, false_value), op->type);

 // clang-format off
 if (EVAL_IN_LAMBDA
 (rewrite(select(IRMatcher::intrin(Call::likely, true), x, y), x) ||
 rewrite(select(IRMatcher::intrin(Call::likely, false), x, y), y) ||
 rewrite(select(IRMatcher::intrin(Call::likely_if_innermost, true), x, y), x) ||
 rewrite(select(IRMatcher::intrin(Call::likely_if_innermost, false), x, y), y) ||
 rewrite(select(1, x, y), x) ||
 rewrite(select(0, x, y), y) ||
 rewrite(select(x, y, y), y) ||
 rewrite(select(x, intrin(Call::likely, y), y), false_value) ||
 rewrite(select(x, y, intrin(Call::likely, y)), true_value) ||
 rewrite(select(x, intrin(Call::likely_if_innermost, y), y), false_value) ||
 rewrite(select(x, y, intrin(Call::likely_if_innermost, y)), true_value) ||
 false)) {
 return rewrite.result;
 }
 // clang-format on

 // clang-format off
 if (EVAL_IN_LAMBDA
 (rewrite(select(broadcast(x, lanes), y, z), select(x, y, z)) ||
 rewrite(select(x != y, z, w), select(x == y, w, z)) ||
 rewrite(select(x <= y, z, w), select(y < x, w, z)) ||
 rewrite(select(x, select(y, z, w), z), select(x && !y, w, z)) ||
 rewrite(select(x, select(y, z, w), w), select(x && y, z, w)) ||
 rewrite(select(x, y, select(z, y, w)), select(x || z, y, w)) ||
 rewrite(select(x, y, select(z, w, y)), select(x || !z, y, w)) ||
 rewrite(select(x, select(x, y, z), w), select(x, y, w)) ||
 rewrite(select(x, y, select(x, z, w)), select(x, y, w)) ||
 rewrite(select(x, y + z, y + w), y + select(x, z, w)) ||
 rewrite(select(x, y + z, w + y), y + select(x, z, w)) ||
 rewrite(select(x, z + y, y + w), y + select(x, z, w)) ||
 rewrite(select(x, z + y, w + y), select(x, z, w) + y) ||
 rewrite(select(x, y - z, y - w), y - select(x, z, w)) ||
 rewrite(select(x, y - z, y + w), y + select(x, -z, w)) ||
 rewrite(select(x, y + z, y - w), y + select(x, z, -w)) ||
 rewrite(select(x, y - z, w + y), y + select(x, -z, w)) ||
 rewrite(select(x, z + y, y - w), y + select(x, z, -w)) ||
 rewrite(select(x, z - y, w - y), select(x, z, w) - y) ||
 rewrite(select(x, y * z, y * w), y * select(x, z, w)) ||
 rewrite(select(x, y * z, w * y), y * select(x, z, w)) ||
 rewrite(select(x, z * y, y * w), y * select(x, z, w)) ||
 rewrite(select(x, z * y, w * y), select(x, z, w) * y) ||
 rewrite(select(x, 0 - y * z, y * w), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - y * z, w * y), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - z * y, y * w), y * select(x, 0 - z, w)) ||
 rewrite(select(x, 0 - z * y, w * y), select(x, 0 - z, w) * y) ||
 rewrite(select(x, y * z, 0 - y * w), y * select(x, z, 0 - w)) ||
 rewrite(select(x, y * z, 0 - w * y), y * select(x, z, 0 - w)) ||
 rewrite(select(x, z * y, 0 - y * w), y * select(x, z, 0 - w)) ||
 rewrite(select(x, z * y, 0 - w * y), select(x, z, 0 - w) * y) ||

 rewrite(select(x, z / y, w / y), select(x, z, w) / y) ||
 rewrite(select(x, z % y, w % y), select(x, z, w) % y) ||

 rewrite(select(x, (y + z) + u, y + w), y + select(x, z + u, w)) ||
 rewrite(select(x, (y + z) - u, y + w), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (y + z), y + w), y + select(x, u + z, w)) ||
 rewrite(select(x, y + z, (y + w) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, y + z, (y + w) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, y + z, u + (y + w)), y + select(x, z, u + w)) ||

 rewrite(select(x, (y + z) + u, w + y), y + select(x, z + u, w)) ||
 rewrite(select(x, (y + z) - u, w + y), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (y + z), w + y), y + select(x, u + z, w)) ||
 rewrite(select(x, y + z, (w + y) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, y + z, (w + y) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, y + z, u + (w + y)), y + select(x, z, u + w)) ||

 rewrite(select(x, (z + y) + u, y + w), y + select(x, z + u, w)) ||
 rewrite(select(x, (z + y) - u, y + w), y + select(x, z - u, w)) ||
 rewrite(select(x, u + (z + y), y + w), y + select(x, u + z, w)) ||
 rewrite(select(x, z + y, (y + w) + u), y + select(x, z, w + u)) ||
 rewrite(select(x, z + y, (y + w) - u), y + select(x, z, w - u)) ||
 rewrite(select(x, z + y, u + (y + w)), y + select(x, z, u + w)) ||

 rewrite(select(x, (z + y) + u, w + y), select(x, z + u, w) + y) ||
 rewrite(select(x, (z + y) - u, w + y), select(x, z - u, w) + y) ||
 rewrite(select(x, u + (z + y), w + y), select(x, u + z, w) + y) ||
 rewrite(select(x, z + y, (w + y) + u), select(x, z, w + u) + y) ||
 rewrite(select(x, z + y, (w + y) - u), select(x, z, w - u) + y) ||
 rewrite(select(x, z + y, u + (w + y)), select(x, z, u + w) + y) ||
 rewrite(select(x, y + (z - w), u - w), select(x, y + z, u) - w) ||
 rewrite(select(x, (y - z) + w, u - z), select(x, w + y, u) - z) ||

 rewrite(select(x, (y + z) + u, y), y + select(x, z + u, 0)) ||
 rewrite(select(x, (z + y) + u, y), y + select(x, z + u, 0)) ||
 rewrite(select(x, (y + z) - u, y), y + select(x, z - u, 0)) ||
 rewrite(select(x, (z + y) - u, y), y + select(x, z - u, 0)) ||
 rewrite(select(x, u + (y + z), y), y + select(x, u + z, 0)) ||
 rewrite(select(x, u + (z + y), y), y + select(x, u + z, 0)) ||

 rewrite(select(x, y, (y + z) + u), y + select(x, 0, z + u)) ||
 rewrite(select(x, y, (z + y) + u), y + select(x, 0, z + u)) ||
 rewrite(select(x, y, (y + z) - u), y + select(x, 0, z - u)) ||
 rewrite(select(x, y, (z + y) - u), y + select(x, 0, z - u)) ||
 rewrite(select(x, y, u + (y + z)), y + select(x, 0, u + z)) ||
 rewrite(select(x, y, u + (z + y)), y + select(x, 0, u + z)) ||

 rewrite(select(x, (y + z) + w, (u + y) + v), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y - z) + w, (u + y) + v), y + select(x, w - z, u + v)) ||

 rewrite(select(x, y + (z + w), u + (v + w)), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), u + (v + z)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), u + (w + v)), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), u + (z + v)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), (u + w) + v), w + select(x, z + y, u + v)) ||
 rewrite(select(x, y + (z + w), (u + z) + v), z + select(x, y + w, u + v)) ||
 rewrite(select(x, y + (z + w), (w + u) + v), w + select(x, z + y, v + u)) ||
 rewrite(select(x, y + (z + w), (z + u) + v), z + select(x, y + w, v + u)) ||
 rewrite(select(x, (y + z) + w, u + (v + y)), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (v + z)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (y + v)), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, u + (z + v)), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (u + y) + v), y + select(x, z + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (u + z) + v), z + select(x, y + w, u + v)) ||
 rewrite(select(x, (y + z) + w, (y + u) + v), y + select(x, z + w, v + u)) ||
 rewrite(select(x, (y + z) + w, (z + u) + v), z + select(x, y + w, v + u)) ||

 rewrite(select(x, select(y, z, w), select(y, u, w)), select(y, select(x, z, u), w)) ||
 rewrite(select(x, select(y, z, w), select(y, z, u)), select(y, z, select(x, w, u))) ||

 rewrite(select(x < y, x, y), min(x, y)) ||
 rewrite(select(x < y, y, x), max(x, y)) ||
 rewrite(select(x < 0, x * y, 0), min(x, 0) * y) ||
 rewrite(select(x < 0, 0, x * y), max(x, 0) * y) ||

 rewrite(select(x, min(y, w), min(z, w)), min(select(x, y, z), w)) ||
 rewrite(select(x, min(y, w), min(w, z)), min(select(x, y, z), w)) ||
 rewrite(select(x, min(w, y), min(z, w)), min(w, select(x, y, z))) ||
 rewrite(select(x, min(w, y), min(w, z)), min(w, select(x, y, z))) ||
 rewrite(select(x, max(y, w), max(z, w)), max(select(x, y, z), w)) ||
 rewrite(select(x, max(y, w), max(w, z)), max(select(x, y, z), w)) ||
 rewrite(select(x, max(w, y), max(z, w)), max(w, select(x, y, z))) ||
 rewrite(select(x, max(w, y), max(w, z)), max(w, select(x, y, z))) ||

 rewrite(select(0 < x, min(x*c0, c1), x*c0), min(x*c0, c1), c1 >= 0 && c0 >= 0) ||
 rewrite(select(x < c0, 0, min(x, c0) + c1), 0, c0 == -c1) ||
 rewrite(select(0 < x, ((x*c0) + c1) / x, y), select(0 < x, c0 - 1, y), c1 == -1) ||

 rewrite(select(x, select(y, z, min(w, z)), min(u, z)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(w, z), z), min(u, z)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(u, z), select(y, z, min(w, z))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(u, z), select(y, min(w, z), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(w, z)), min(z, u)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(w, z), z), min(z, u)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(z, u), select(y, z, min(w, z))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(z, u), select(y, min(w, z), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(z, w)), min(u, z)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(z, w), z), min(u, z)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(u, z), select(y, z, min(z, w))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(u, z), select(y, min(z, w), z)), min(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, min(z, w)), min(z, u)), min(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, min(z, w), z), min(z, u)), min(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, min(z, u), select(y, z, min(z, w))), min(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, min(z, u), select(y, min(z, w), z)), min(select(x, u, select(y, w, z)), z)) ||

 rewrite(select(x, select(y, z, max(w, z)), max(u, z)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(w, z), z), max(u, z)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(u, z), select(y, z, max(w, z))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(u, z), select(y, max(w, z), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(w, z)), max(z, u)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(w, z), z), max(z, u)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(z, u), select(y, z, max(w, z))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(z, u), select(y, max(w, z), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(z, w)), max(u, z)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(z, w), z), max(u, z)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(u, z), select(y, z, max(z, w))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(u, z), select(y, max(z, w), z)), max(select(x, u, select(y, w, z)), z)) ||
 rewrite(select(x, select(y, z, max(z, w)), max(z, u)), max(select(x, select(y, z, w), u), z)) ||
 rewrite(select(x, select(y, max(z, w), z), max(z, u)), max(select(x, select(y, w, z), u), z)) ||
 rewrite(select(x, max(z, u), select(y, z, max(z, w))), max(select(x, u, select(y, z, w)), z)) ||
 rewrite(select(x, max(z, u), select(y, max(z, w), z)), max(select(x, u, select(y, w, z)), z)) ||

 // Note that in the rules below we know y is not a
 // constant because it appears on the LHS of an
 // addition. These rules therefore trade a non-constant
 // for a constant.
 rewrite(select(x, y + z, y), y + select(x, z, 0)) ||
 rewrite(select(x, y, y + z), y + select(x, 0, z)) ||

 rewrite(select(x, y - z, y), y + select(x, 0 - z, 0), !is_const(y)) ||
 rewrite(select(x, y, y - z), y + select(x, 0, 0 - z), !is_const(y)) ||

 (no_overflow_int(op->type) &&
 (rewrite(select(x, y * c0, c1), select(x, y, fold(c1 / c0)) * c0, c1 % c0 == 0) ||
 rewrite(select(x, c0, y * c1), select(x, fold(c0 / c1), y) * c1, c0 % c1 == 0) ||
 rewrite(select(x, y + c0, c1), select(x, y, fold(c1 - c0)) + c0) ||

 // Selects that are equivalent to mins/maxes
 rewrite(select(c0 < x, x + c1, c2), max(x + c1, c2), c2 == c0 + c1 || c2 == c0 + c1 + 1) ||
 rewrite(select(x < c0, c1, x + c2), max(x + c2, c1), c1 == c0 + c2 || c1 + 1 == c0 + c2) ||
 rewrite(select(c0 < x, c1, x + c2), min(x + c2, c1), c1 == c0 + c2 || c1 == c0 + c2 + 1) ||
 rewrite(select(x < c0, x + c1, c2), min(x + c1, c2), c2 == c0 + c1 || c2 + 1 == c0 + c1) ||

 rewrite(select(c0 < x, x, c1), max(x, c1), c1 == c0 + 1) ||
 rewrite(select(x < c0, c1, x), max(x, c1), c1 + 1 == c0) ||
 rewrite(select(c0 < x, c1, x), min(x, c1), c1 == c0 + 1) ||
 rewrite(select(x < c0, x, c1), min(x, c1), c1 + 1 == c0))) ||

 (op->type.is_bool() &&
 (rewrite(select(x, true, false), cast(op->type, x)) ||
 rewrite(select(x, false, true), cast(op->type, !x)) ||
 rewrite(select(x, y, false), x && y) ||
 rewrite(select(x, y, true), !x || y) ||
 rewrite(select(x, false, y), !x && y) ||
 rewrite(select(x, true, y), x || y))))) {
 return mutate(rewrite.result, bounds);
 }
 // clang-format on
 }

 if (condition.same_as(op->condition) &&
 true_value.same_as(op->true_value) &&
 false_value.same_as(op->false_value)) {
 return op;
 } else {
 return Select::make(std::move(condition), std::move(true_value), std::move(false_value));
 }
}

} // namespace Internal
} // namespace Halide