test/CodeGen/AArch64/minmax-of-minmax.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-unknown-unknown | FileCheck %s
   3
   4 ; There are 4 commuted variants (abbc/abcb/bcab/bcba) *
   5 ;           4 predicate variants ([*][lg][te]) *
   6 ;           4 min/max flavors (smin/smax/umin/umax) *
   7 ;           2 notted variants
   8 ;           = 128 tests
   9
  10 define <4 x i32> @smin_ab_bc(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  11 ; CHECK-LABEL: smin_ab_bc:
  12 ; CHECK:       // %bb.0:
  13 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  14 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
  15 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  16 ; CHECK-NEXT:    ret
  17   %cmp_ab = icmp slt <4 x i32> %a, %b
  18   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
  19   %cmp_bc = icmp slt <4 x i32> %b, %c
  20   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
  21   %cmp_ac = icmp slt <4 x i32> %a, %c
  22   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
  23   ret <4 x i32> %r
  24 }
  25
  26 define <4 x i32> @smin_ab_cb(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  27 ; CHECK-LABEL: smin_ab_cb:
  28 ; CHECK:       // %bb.0:
  29 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  30 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
  31 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  32 ; CHECK-NEXT:    ret
  33   %cmp_ab = icmp slt <4 x i32> %a, %b
  34   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
  35   %cmp_cb = icmp slt <4 x i32> %c, %b
  36   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
  37   %cmp_ac = icmp slt <4 x i32> %a, %c
  38   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
  39   ret <4 x i32> %r
  40 }
  41
  42 define <4 x i32> @smin_bc_ab(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  43 ; CHECK-LABEL: smin_bc_ab:
  44 ; CHECK:       // %bb.0:
  45 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
  46 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  47 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
  48 ; CHECK-NEXT:    ret
  49   %cmp_bc = icmp slt <4 x i32> %b, %c
  50   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
  51   %cmp_ab = icmp slt <4 x i32> %a, %b
  52   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
  53   %cmp_ca = icmp slt <4 x i32> %c, %a
  54   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
  55   ret <4 x i32> %r
  56 }
  57
  58 define <4 x i32> @smin_bc_ba(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  59 ; CHECK-LABEL: smin_bc_ba:
  60 ; CHECK:       // %bb.0:
  61 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
  62 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
  63 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
  64 ; CHECK-NEXT:    ret
  65   %cmp_bc = icmp slt <4 x i32> %b, %c
  66   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
  67   %cmp_ba = icmp slt <4 x i32> %b, %a
  68   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
  69   %cmp_ca = icmp slt <4 x i32> %c, %a
  70   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
  71   ret <4 x i32> %r
  72 }
  73
  74 define <4 x i32> @smin_ab_bc_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  75 ; CHECK-LABEL: smin_ab_bc_swap_pred:
  76 ; CHECK:       // %bb.0:
  77 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  78 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
  79 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  80 ; CHECK-NEXT:    ret
  81   %cmp_ab = icmp slt <4 x i32> %a, %b
  82   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
  83   %cmp_bc = icmp slt <4 x i32> %b, %c
  84   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
  85   %cmp_ac = icmp sgt <4 x i32> %c, %a
  86   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
  87   ret <4 x i32> %r
  88 }
  89
  90 define <4 x i32> @smin_ab_cb_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  91 ; CHECK-LABEL: smin_ab_cb_swap_pred:
  92 ; CHECK:       // %bb.0:
  93 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  94 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
  95 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
  96 ; CHECK-NEXT:    ret
  97   %cmp_ab = icmp slt <4 x i32> %a, %b
  98   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
  99   %cmp_cb = icmp slt <4 x i32> %c, %b
 100   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 101   %cmp_ac = icmp sgt <4 x i32> %c, %a
 102   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 103   ret <4 x i32> %r
 104 }
 105
 106 define <4 x i32> @smin_bc_ab_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 107 ; CHECK-LABEL: smin_bc_ab_swap_pred:
 108 ; CHECK:       // %bb.0:
 109 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 110 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 111 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 112 ; CHECK-NEXT:    ret
 113   %cmp_bc = icmp slt <4 x i32> %b, %c
 114   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 115   %cmp_ab = icmp slt <4 x i32> %a, %b
 116   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 117   %cmp_ca = icmp sgt <4 x i32> %a, %c
 118   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 119   ret <4 x i32> %r
 120 }
 121
 122 define <4 x i32> @smin_bc_ba_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 123 ; CHECK-LABEL: smin_bc_ba_swap_pred:
 124 ; CHECK:       // %bb.0:
 125 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 126 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
 127 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 128 ; CHECK-NEXT:    ret
 129   %cmp_bc = icmp slt <4 x i32> %b, %c
 130   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 131   %cmp_ba = icmp slt <4 x i32> %b, %a
 132   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 133   %cmp_ca = icmp sgt <4 x i32> %a, %c
 134   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 135   ret <4 x i32> %r
 136 }
 137
 138 define <4 x i32> @smin_ab_bc_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 139 ; CHECK-LABEL: smin_ab_bc_eq_pred:
 140 ; CHECK:       // %bb.0:
 141 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 142 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
 143 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 144 ; CHECK-NEXT:    ret
 145   %cmp_ab = icmp slt <4 x i32> %a, %b
 146   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 147   %cmp_bc = icmp slt <4 x i32> %b, %c
 148   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 149   %cmp_ac = icmp sle <4 x i32> %a, %c
 150   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 151   ret <4 x i32> %r
 152 }
 153
 154 define <4 x i32> @smin_ab_cb_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 155 ; CHECK-LABEL: smin_ab_cb_eq_pred:
 156 ; CHECK:       // %bb.0:
 157 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 158 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
 159 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 160 ; CHECK-NEXT:    ret
 161   %cmp_ab = icmp slt <4 x i32> %a, %b
 162   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 163   %cmp_cb = icmp slt <4 x i32> %c, %b
 164   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 165   %cmp_ac = icmp sle <4 x i32> %a, %c
 166   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 167   ret <4 x i32> %r
 168 }
 169
 170 define <4 x i32> @smin_bc_ab_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 171 ; CHECK-LABEL: smin_bc_ab_eq_pred:
 172 ; CHECK:       // %bb.0:
 173 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 174 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 175 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 176 ; CHECK-NEXT:    ret
 177   %cmp_bc = icmp slt <4 x i32> %b, %c
 178   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 179   %cmp_ab = icmp slt <4 x i32> %a, %b
 180   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 181   %cmp_ca = icmp sle <4 x i32> %c, %a
 182   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 183   ret <4 x i32> %r
 184 }
 185
 186 define <4 x i32> @smin_bc_ba_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 187 ; CHECK-LABEL: smin_bc_ba_eq_pred:
 188 ; CHECK:       // %bb.0:
 189 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 190 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
 191 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 192 ; CHECK-NEXT:    ret
 193   %cmp_bc = icmp slt <4 x i32> %b, %c
 194   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 195   %cmp_ba = icmp slt <4 x i32> %b, %a
 196   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 197   %cmp_ca = icmp sle <4 x i32> %c, %a
 198   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 199   ret <4 x i32> %r
 200 }
 201
 202 define <4 x i32> @smin_ab_bc_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 203 ; CHECK-LABEL: smin_ab_bc_eq_swap_pred:
 204 ; CHECK:       // %bb.0:
 205 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 206 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
 207 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 208 ; CHECK-NEXT:    ret
 209   %cmp_ab = icmp slt <4 x i32> %a, %b
 210   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 211   %cmp_bc = icmp slt <4 x i32> %b, %c
 212   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 213   %cmp_ac = icmp sge <4 x i32> %c, %a
 214   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 215   ret <4 x i32> %r
 216 }
 217
 218 define <4 x i32> @smin_ab_cb_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 219 ; CHECK-LABEL: smin_ab_cb_eq_swap_pred:
 220 ; CHECK:       // %bb.0:
 221 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 222 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
 223 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 224 ; CHECK-NEXT:    ret
 225   %cmp_ab = icmp slt <4 x i32> %a, %b
 226   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 227   %cmp_cb = icmp slt <4 x i32> %c, %b
 228   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 229   %cmp_ac = icmp sge <4 x i32> %c, %a
 230   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 231   ret <4 x i32> %r
 232 }
 233
 234 define <4 x i32> @smin_bc_ab_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 235 ; CHECK-LABEL: smin_bc_ab_eq_swap_pred:
 236 ; CHECK:       // %bb.0:
 237 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 238 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
 239 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 240 ; CHECK-NEXT:    ret
 241   %cmp_bc = icmp slt <4 x i32> %b, %c
 242   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 243   %cmp_ab = icmp slt <4 x i32> %a, %b
 244   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 245   %cmp_ca = icmp sge <4 x i32> %a, %c
 246   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 247   ret <4 x i32> %r
 248 }
 249
 250 define <4 x i32> @smin_bc_ba_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 251 ; CHECK-LABEL: smin_bc_ba_eq_swap_pred:
 252 ; CHECK:       // %bb.0:
 253 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
 254 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
 255 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
 256 ; CHECK-NEXT:    ret
 257   %cmp_bc = icmp slt <4 x i32> %b, %c
 258   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 259   %cmp_ba = icmp slt <4 x i32> %b, %a
 260   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 261   %cmp_ca = icmp sge <4 x i32> %a, %c
 262   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 263   ret <4 x i32> %r
 264 }
 265
 266 define <4 x i32> @smax_ab_bc(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 267 ; CHECK-LABEL: smax_ab_bc:
 268 ; CHECK:       // %bb.0:
 269 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 270 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
 271 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 272 ; CHECK-NEXT:    ret
 273   %cmp_ab = icmp sgt <4 x i32> %a, %b
 274   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 275   %cmp_bc = icmp sgt <4 x i32> %b, %c
 276   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 277   %cmp_ac = icmp sgt <4 x i32> %a, %c
 278   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 279   ret <4 x i32> %r
 280 }
 281
 282 define <4 x i32> @smax_ab_cb(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 283 ; CHECK-LABEL: smax_ab_cb:
 284 ; CHECK:       // %bb.0:
 285 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 286 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
 287 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 288 ; CHECK-NEXT:    ret
 289   %cmp_ab = icmp sgt <4 x i32> %a, %b
 290   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 291   %cmp_cb = icmp sgt <4 x i32> %c, %b
 292   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 293   %cmp_ac = icmp sgt <4 x i32> %a, %c
 294   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 295   ret <4 x i32> %r
 296 }
 297
 298 define <4 x i32> @smax_bc_ab(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 299 ; CHECK-LABEL: smax_bc_ab:
 300 ; CHECK:       // %bb.0:
 301 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 302 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 303 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 304 ; CHECK-NEXT:    ret
 305   %cmp_bc = icmp sgt <4 x i32> %b, %c
 306   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 307   %cmp_ab = icmp sgt <4 x i32> %a, %b
 308   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 309   %cmp_ca = icmp sgt <4 x i32> %c, %a
 310   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 311   ret <4 x i32> %r
 312 }
 313
 314 define <4 x i32> @smax_bc_ba(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 315 ; CHECK-LABEL: smax_bc_ba:
 316 ; CHECK:       // %bb.0:
 317 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 318 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
 319 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 320 ; CHECK-NEXT:    ret
 321   %cmp_bc = icmp sgt <4 x i32> %b, %c
 322   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 323   %cmp_ba = icmp sgt <4 x i32> %b, %a
 324   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 325   %cmp_ca = icmp sgt <4 x i32> %c, %a
 326   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 327   ret <4 x i32> %r
 328 }
 329
 330 define <4 x i32> @smax_ab_bc_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 331 ; CHECK-LABEL: smax_ab_bc_swap_pred:
 332 ; CHECK:       // %bb.0:
 333 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 334 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
 335 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 336 ; CHECK-NEXT:    ret
 337   %cmp_ab = icmp sgt <4 x i32> %a, %b
 338   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 339   %cmp_bc = icmp sgt <4 x i32> %b, %c
 340   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 341   %cmp_ac = icmp slt <4 x i32> %c, %a
 342   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 343   ret <4 x i32> %r
 344 }
 345
 346 define <4 x i32> @smax_ab_cb_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 347 ; CHECK-LABEL: smax_ab_cb_swap_pred:
 348 ; CHECK:       // %bb.0:
 349 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 350 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
 351 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 352 ; CHECK-NEXT:    ret
 353   %cmp_ab = icmp sgt <4 x i32> %a, %b
 354   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 355   %cmp_cb = icmp sgt <4 x i32> %c, %b
 356   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 357   %cmp_ac = icmp slt <4 x i32> %c, %a
 358   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 359   ret <4 x i32> %r
 360 }
 361
 362 define <4 x i32> @smax_bc_ab_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 363 ; CHECK-LABEL: smax_bc_ab_swap_pred:
 364 ; CHECK:       // %bb.0:
 365 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 366 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 367 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 368 ; CHECK-NEXT:    ret
 369   %cmp_bc = icmp sgt <4 x i32> %b, %c
 370   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 371   %cmp_ab = icmp sgt <4 x i32> %a, %b
 372   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 373   %cmp_ca = icmp slt <4 x i32> %a, %c
 374   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 375   ret <4 x i32> %r
 376 }
 377
 378 define <4 x i32> @smax_bc_ba_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 379 ; CHECK-LABEL: smax_bc_ba_swap_pred:
 380 ; CHECK:       // %bb.0:
 381 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 382 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
 383 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 384 ; CHECK-NEXT:    ret
 385   %cmp_bc = icmp sgt <4 x i32> %b, %c
 386   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 387   %cmp_ba = icmp sgt <4 x i32> %b, %a
 388   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 389   %cmp_ca = icmp slt <4 x i32> %a, %c
 390   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 391   ret <4 x i32> %r
 392 }
 393
 394 define <4 x i32> @smax_ab_bc_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 395 ; CHECK-LABEL: smax_ab_bc_eq_pred:
 396 ; CHECK:       // %bb.0:
 397 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 398 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
 399 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 400 ; CHECK-NEXT:    ret
 401   %cmp_ab = icmp sgt <4 x i32> %a, %b
 402   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 403   %cmp_bc = icmp sgt <4 x i32> %b, %c
 404   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 405   %cmp_ac = icmp sge <4 x i32> %a, %c
 406   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 407   ret <4 x i32> %r
 408 }
 409
 410 define <4 x i32> @smax_ab_cb_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 411 ; CHECK-LABEL: smax_ab_cb_eq_pred:
 412 ; CHECK:       // %bb.0:
 413 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 414 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
 415 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 416 ; CHECK-NEXT:    ret
 417   %cmp_ab = icmp sgt <4 x i32> %a, %b
 418   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 419   %cmp_cb = icmp sgt <4 x i32> %c, %b
 420   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 421   %cmp_ac = icmp sge <4 x i32> %a, %c
 422   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 423   ret <4 x i32> %r
 424 }
 425
 426 define <4 x i32> @smax_bc_ab_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 427 ; CHECK-LABEL: smax_bc_ab_eq_pred:
 428 ; CHECK:       // %bb.0:
 429 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 430 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 431 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 432 ; CHECK-NEXT:    ret
 433   %cmp_bc = icmp sgt <4 x i32> %b, %c
 434   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 435   %cmp_ab = icmp sgt <4 x i32> %a, %b
 436   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 437   %cmp_ca = icmp sge <4 x i32> %c, %a
 438   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 439   ret <4 x i32> %r
 440 }
 441
 442 define <4 x i32> @smax_bc_ba_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 443 ; CHECK-LABEL: smax_bc_ba_eq_pred:
 444 ; CHECK:       // %bb.0:
 445 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 446 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
 447 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 448 ; CHECK-NEXT:    ret
 449   %cmp_bc = icmp sgt <4 x i32> %b, %c
 450   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 451   %cmp_ba = icmp sgt <4 x i32> %b, %a
 452   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 453   %cmp_ca = icmp sge <4 x i32> %c, %a
 454   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 455   ret <4 x i32> %r
 456 }
 457
 458 define <4 x i32> @smax_ab_bc_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 459 ; CHECK-LABEL: smax_ab_bc_eq_swap_pred:
 460 ; CHECK:       // %bb.0:
 461 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 462 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
 463 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 464 ; CHECK-NEXT:    ret
 465   %cmp_ab = icmp sgt <4 x i32> %a, %b
 466   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 467   %cmp_bc = icmp sgt <4 x i32> %b, %c
 468   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 469   %cmp_ac = icmp sle <4 x i32> %c, %a
 470   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 471   ret <4 x i32> %r
 472 }
 473
 474 define <4 x i32> @smax_ab_cb_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 475 ; CHECK-LABEL: smax_ab_cb_eq_swap_pred:
 476 ; CHECK:       // %bb.0:
 477 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 478 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
 479 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 480 ; CHECK-NEXT:    ret
 481   %cmp_ab = icmp sgt <4 x i32> %a, %b
 482   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 483   %cmp_cb = icmp sgt <4 x i32> %c, %b
 484   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 485   %cmp_ac = icmp sle <4 x i32> %c, %a
 486   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 487   ret <4 x i32> %r
 488 }
 489
 490 define <4 x i32> @smax_bc_ab_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 491 ; CHECK-LABEL: smax_bc_ab_eq_swap_pred:
 492 ; CHECK:       // %bb.0:
 493 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 494 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
 495 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 496 ; CHECK-NEXT:    ret
 497   %cmp_bc = icmp sgt <4 x i32> %b, %c
 498   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 499   %cmp_ab = icmp sgt <4 x i32> %a, %b
 500   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 501   %cmp_ca = icmp sle <4 x i32> %a, %c
 502   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 503   ret <4 x i32> %r
 504 }
 505
 506 define <4 x i32> @smax_bc_ba_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 507 ; CHECK-LABEL: smax_bc_ba_eq_swap_pred:
 508 ; CHECK:       // %bb.0:
 509 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
 510 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
 511 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
 512 ; CHECK-NEXT:    ret
 513   %cmp_bc = icmp sgt <4 x i32> %b, %c
 514   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 515   %cmp_ba = icmp sgt <4 x i32> %b, %a
 516   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 517   %cmp_ca = icmp sle <4 x i32> %a, %c
 518   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 519   ret <4 x i32> %r
 520 }
 521
 522 define <4 x i32> @umin_ab_bc(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 523 ; CHECK-LABEL: umin_ab_bc:
 524 ; CHECK:       // %bb.0:
 525 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 526 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
 527 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 528 ; CHECK-NEXT:    ret
 529   %cmp_ab = icmp ult <4 x i32> %a, %b
 530   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 531   %cmp_bc = icmp ult <4 x i32> %b, %c
 532   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 533   %cmp_ac = icmp ult <4 x i32> %a, %c
 534   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 535   ret <4 x i32> %r
 536 }
 537
 538 define <4 x i32> @umin_ab_cb(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 539 ; CHECK-LABEL: umin_ab_cb:
 540 ; CHECK:       // %bb.0:
 541 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 542 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
 543 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 544 ; CHECK-NEXT:    ret
 545   %cmp_ab = icmp ult <4 x i32> %a, %b
 546   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 547   %cmp_cb = icmp ult <4 x i32> %c, %b
 548   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 549   %cmp_ac = icmp ult <4 x i32> %a, %c
 550   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 551   ret <4 x i32> %r
 552 }
 553
 554 define <4 x i32> @umin_bc_ab(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 555 ; CHECK-LABEL: umin_bc_ab:
 556 ; CHECK:       // %bb.0:
 557 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 558 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 559 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 560 ; CHECK-NEXT:    ret
 561   %cmp_bc = icmp ult <4 x i32> %b, %c
 562   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 563   %cmp_ab = icmp ult <4 x i32> %a, %b
 564   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 565   %cmp_ca = icmp ult <4 x i32> %c, %a
 566   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 567   ret <4 x i32> %r
 568 }
 569
 570 define <4 x i32> @umin_bc_ba(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 571 ; CHECK-LABEL: umin_bc_ba:
 572 ; CHECK:       // %bb.0:
 573 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 574 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
 575 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 576 ; CHECK-NEXT:    ret
 577   %cmp_bc = icmp ult <4 x i32> %b, %c
 578   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 579   %cmp_ba = icmp ult <4 x i32> %b, %a
 580   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 581   %cmp_ca = icmp ult <4 x i32> %c, %a
 582   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 583   ret <4 x i32> %r
 584 }
 585
 586 define <4 x i32> @umin_ab_bc_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 587 ; CHECK-LABEL: umin_ab_bc_swap_pred:
 588 ; CHECK:       // %bb.0:
 589 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 590 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
 591 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 592 ; CHECK-NEXT:    ret
 593   %cmp_ab = icmp ult <4 x i32> %a, %b
 594   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 595   %cmp_bc = icmp ult <4 x i32> %b, %c
 596   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 597   %cmp_ac = icmp ugt <4 x i32> %c, %a
 598   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 599   ret <4 x i32> %r
 600 }
 601
 602 define <4 x i32> @umin_ab_cb_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 603 ; CHECK-LABEL: umin_ab_cb_swap_pred:
 604 ; CHECK:       // %bb.0:
 605 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 606 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
 607 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 608 ; CHECK-NEXT:    ret
 609   %cmp_ab = icmp ult <4 x i32> %a, %b
 610   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 611   %cmp_cb = icmp ult <4 x i32> %c, %b
 612   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 613   %cmp_ac = icmp ugt <4 x i32> %c, %a
 614   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 615   ret <4 x i32> %r
 616 }
 617
 618 define <4 x i32> @umin_bc_ab_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 619 ; CHECK-LABEL: umin_bc_ab_swap_pred:
 620 ; CHECK:       // %bb.0:
 621 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 622 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 623 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 624 ; CHECK-NEXT:    ret
 625   %cmp_bc = icmp ult <4 x i32> %b, %c
 626   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 627   %cmp_ab = icmp ult <4 x i32> %a, %b
 628   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 629   %cmp_ca = icmp ugt <4 x i32> %a, %c
 630   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 631   ret <4 x i32> %r
 632 }
 633
 634 define <4 x i32> @umin_bc_ba_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 635 ; CHECK-LABEL: umin_bc_ba_swap_pred:
 636 ; CHECK:       // %bb.0:
 637 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 638 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
 639 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 640 ; CHECK-NEXT:    ret
 641   %cmp_bc = icmp ult <4 x i32> %b, %c
 642   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 643   %cmp_ba = icmp ult <4 x i32> %b, %a
 644   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 645   %cmp_ca = icmp ugt <4 x i32> %a, %c
 646   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 647   ret <4 x i32> %r
 648 }
 649
 650 define <4 x i32> @umin_ab_bc_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 651 ; CHECK-LABEL: umin_ab_bc_eq_pred:
 652 ; CHECK:       // %bb.0:
 653 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 654 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
 655 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 656 ; CHECK-NEXT:    ret
 657   %cmp_ab = icmp ult <4 x i32> %a, %b
 658   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 659   %cmp_bc = icmp ult <4 x i32> %b, %c
 660   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 661   %cmp_ac = icmp ule <4 x i32> %a, %c
 662   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 663   ret <4 x i32> %r
 664 }
 665
 666 define <4 x i32> @umin_ab_cb_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 667 ; CHECK-LABEL: umin_ab_cb_eq_pred:
 668 ; CHECK:       // %bb.0:
 669 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 670 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
 671 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 672 ; CHECK-NEXT:    ret
 673   %cmp_ab = icmp ult <4 x i32> %a, %b
 674   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 675   %cmp_cb = icmp ult <4 x i32> %c, %b
 676   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 677   %cmp_ac = icmp ule <4 x i32> %a, %c
 678   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 679   ret <4 x i32> %r
 680 }
 681
 682 define <4 x i32> @umin_bc_ab_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 683 ; CHECK-LABEL: umin_bc_ab_eq_pred:
 684 ; CHECK:       // %bb.0:
 685 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 686 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 687 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 688 ; CHECK-NEXT:    ret
 689   %cmp_bc = icmp ult <4 x i32> %b, %c
 690   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 691   %cmp_ab = icmp ult <4 x i32> %a, %b
 692   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 693   %cmp_ca = icmp ule <4 x i32> %c, %a
 694   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 695   ret <4 x i32> %r
 696 }
 697
 698 define <4 x i32> @umin_bc_ba_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 699 ; CHECK-LABEL: umin_bc_ba_eq_pred:
 700 ; CHECK:       // %bb.0:
 701 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 702 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
 703 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 704 ; CHECK-NEXT:    ret
 705   %cmp_bc = icmp ult <4 x i32> %b, %c
 706   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 707   %cmp_ba = icmp ult <4 x i32> %b, %a
 708   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 709   %cmp_ca = icmp ule <4 x i32> %c, %a
 710   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 711   ret <4 x i32> %r
 712 }
 713
 714 define <4 x i32> @umin_ab_bc_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 715 ; CHECK-LABEL: umin_ab_bc_eq_swap_pred:
 716 ; CHECK:       // %bb.0:
 717 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 718 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
 719 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 720 ; CHECK-NEXT:    ret
 721   %cmp_ab = icmp ult <4 x i32> %a, %b
 722   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 723   %cmp_bc = icmp ult <4 x i32> %b, %c
 724   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 725   %cmp_ac = icmp uge <4 x i32> %c, %a
 726   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 727   ret <4 x i32> %r
 728 }
 729
 730 define <4 x i32> @umin_ab_cb_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 731 ; CHECK-LABEL: umin_ab_cb_eq_swap_pred:
 732 ; CHECK:       // %bb.0:
 733 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 734 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
 735 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 736 ; CHECK-NEXT:    ret
 737   %cmp_ab = icmp ult <4 x i32> %a, %b
 738   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 739   %cmp_cb = icmp ult <4 x i32> %c, %b
 740   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 741   %cmp_ac = icmp uge <4 x i32> %c, %a
 742   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 743   ret <4 x i32> %r
 744 }
 745
 746 define <4 x i32> @umin_bc_ab_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 747 ; CHECK-LABEL: umin_bc_ab_eq_swap_pred:
 748 ; CHECK:       // %bb.0:
 749 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 750 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
 751 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 752 ; CHECK-NEXT:    ret
 753   %cmp_bc = icmp ult <4 x i32> %b, %c
 754   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 755   %cmp_ab = icmp ult <4 x i32> %a, %b
 756   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 757   %cmp_ca = icmp uge <4 x i32> %a, %c
 758   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 759   ret <4 x i32> %r
 760 }
 761
 762 define <4 x i32> @umin_bc_ba_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 763 ; CHECK-LABEL: umin_bc_ba_eq_swap_pred:
 764 ; CHECK:       // %bb.0:
 765 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
 766 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
 767 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
 768 ; CHECK-NEXT:    ret
 769   %cmp_bc = icmp ult <4 x i32> %b, %c
 770   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 771   %cmp_ba = icmp ult <4 x i32> %b, %a
 772   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 773   %cmp_ca = icmp uge <4 x i32> %a, %c
 774   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 775   ret <4 x i32> %r
 776 }
 777
 778 define <4 x i32> @umax_ab_bc(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 779 ; CHECK-LABEL: umax_ab_bc:
 780 ; CHECK:       // %bb.0:
 781 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 782 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
 783 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 784 ; CHECK-NEXT:    ret
 785   %cmp_ab = icmp ugt <4 x i32> %a, %b
 786   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 787   %cmp_bc = icmp ugt <4 x i32> %b, %c
 788   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 789   %cmp_ac = icmp ugt <4 x i32> %a, %c
 790   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 791   ret <4 x i32> %r
 792 }
 793
 794 define <4 x i32> @umax_ab_cb(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 795 ; CHECK-LABEL: umax_ab_cb:
 796 ; CHECK:       // %bb.0:
 797 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 798 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
 799 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 800 ; CHECK-NEXT:    ret
 801   %cmp_ab = icmp ugt <4 x i32> %a, %b
 802   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 803   %cmp_cb = icmp ugt <4 x i32> %c, %b
 804   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 805   %cmp_ac = icmp ugt <4 x i32> %a, %c
 806   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 807   ret <4 x i32> %r
 808 }
 809
 810 define <4 x i32> @umax_bc_ab(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 811 ; CHECK-LABEL: umax_bc_ab:
 812 ; CHECK:       // %bb.0:
 813 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 814 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 815 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 816 ; CHECK-NEXT:    ret
 817   %cmp_bc = icmp ugt <4 x i32> %b, %c
 818   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 819   %cmp_ab = icmp ugt <4 x i32> %a, %b
 820   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 821   %cmp_ca = icmp ugt <4 x i32> %c, %a
 822   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 823   ret <4 x i32> %r
 824 }
 825
 826 define <4 x i32> @umax_bc_ba(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 827 ; CHECK-LABEL: umax_bc_ba:
 828 ; CHECK:       // %bb.0:
 829 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 830 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
 831 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 832 ; CHECK-NEXT:    ret
 833   %cmp_bc = icmp ugt <4 x i32> %b, %c
 834   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 835   %cmp_ba = icmp ugt <4 x i32> %b, %a
 836   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 837   %cmp_ca = icmp ugt <4 x i32> %c, %a
 838   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 839   ret <4 x i32> %r
 840 }
 841
 842 define <4 x i32> @umax_ab_bc_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 843 ; CHECK-LABEL: umax_ab_bc_swap_pred:
 844 ; CHECK:       // %bb.0:
 845 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 846 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
 847 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 848 ; CHECK-NEXT:    ret
 849   %cmp_ab = icmp ugt <4 x i32> %a, %b
 850   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 851   %cmp_bc = icmp ugt <4 x i32> %b, %c
 852   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 853   %cmp_ac = icmp ult <4 x i32> %c, %a
 854   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 855   ret <4 x i32> %r
 856 }
 857
 858 define <4 x i32> @umax_ab_cb_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 859 ; CHECK-LABEL: umax_ab_cb_swap_pred:
 860 ; CHECK:       // %bb.0:
 861 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 862 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
 863 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 864 ; CHECK-NEXT:    ret
 865   %cmp_ab = icmp ugt <4 x i32> %a, %b
 866   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 867   %cmp_cb = icmp ugt <4 x i32> %c, %b
 868   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 869   %cmp_ac = icmp ult <4 x i32> %c, %a
 870   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 871   ret <4 x i32> %r
 872 }
 873
 874 define <4 x i32> @umax_bc_ab_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 875 ; CHECK-LABEL: umax_bc_ab_swap_pred:
 876 ; CHECK:       // %bb.0:
 877 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 878 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 879 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 880 ; CHECK-NEXT:    ret
 881   %cmp_bc = icmp ugt <4 x i32> %b, %c
 882   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 883   %cmp_ab = icmp ugt <4 x i32> %a, %b
 884   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 885   %cmp_ca = icmp ult <4 x i32> %a, %c
 886   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 887   ret <4 x i32> %r
 888 }
 889
 890 define <4 x i32> @umax_bc_ba_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 891 ; CHECK-LABEL: umax_bc_ba_swap_pred:
 892 ; CHECK:       // %bb.0:
 893 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 894 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
 895 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 896 ; CHECK-NEXT:    ret
 897   %cmp_bc = icmp ugt <4 x i32> %b, %c
 898   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 899   %cmp_ba = icmp ugt <4 x i32> %b, %a
 900   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 901   %cmp_ca = icmp ult <4 x i32> %a, %c
 902   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 903   ret <4 x i32> %r
 904 }
 905
 906 define <4 x i32> @umax_ab_bc_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 907 ; CHECK-LABEL: umax_ab_bc_eq_pred:
 908 ; CHECK:       // %bb.0:
 909 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 910 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
 911 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 912 ; CHECK-NEXT:    ret
 913   %cmp_ab = icmp ugt <4 x i32> %a, %b
 914   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 915   %cmp_bc = icmp ugt <4 x i32> %b, %c
 916   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 917   %cmp_ac = icmp uge <4 x i32> %a, %c
 918   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 919   ret <4 x i32> %r
 920 }
 921
 922 define <4 x i32> @umax_ab_cb_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 923 ; CHECK-LABEL: umax_ab_cb_eq_pred:
 924 ; CHECK:       // %bb.0:
 925 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 926 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
 927 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 928 ; CHECK-NEXT:    ret
 929   %cmp_ab = icmp ugt <4 x i32> %a, %b
 930   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 931   %cmp_cb = icmp ugt <4 x i32> %c, %b
 932   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 933   %cmp_ac = icmp uge <4 x i32> %a, %c
 934   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 935   ret <4 x i32> %r
 936 }
 937
 938 define <4 x i32> @umax_bc_ab_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 939 ; CHECK-LABEL: umax_bc_ab_eq_pred:
 940 ; CHECK:       // %bb.0:
 941 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 942 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 943 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 944 ; CHECK-NEXT:    ret
 945   %cmp_bc = icmp ugt <4 x i32> %b, %c
 946   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 947   %cmp_ab = icmp ugt <4 x i32> %a, %b
 948   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 949   %cmp_ca = icmp uge <4 x i32> %c, %a
 950   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
 951   ret <4 x i32> %r
 952 }
 953
 954 define <4 x i32> @umax_bc_ba_eq_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 955 ; CHECK-LABEL: umax_bc_ba_eq_pred:
 956 ; CHECK:       // %bb.0:
 957 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
 958 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
 959 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
 960 ; CHECK-NEXT:    ret
 961   %cmp_bc = icmp ugt <4 x i32> %b, %c
 962   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 963   %cmp_ba = icmp ugt <4 x i32> %b, %a
 964   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
 965   %cmp_ca = icmp uge <4 x i32> %c, %a
 966   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
 967   ret <4 x i32> %r
 968 }
 969
 970 define <4 x i32> @umax_ab_bc_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 971 ; CHECK-LABEL: umax_ab_bc_eq_swap_pred:
 972 ; CHECK:       // %bb.0:
 973 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 974 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
 975 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 976 ; CHECK-NEXT:    ret
 977   %cmp_ab = icmp ugt <4 x i32> %a, %b
 978   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 979   %cmp_bc = icmp ugt <4 x i32> %b, %c
 980   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
 981   %cmp_ac = icmp ule <4 x i32> %c, %a
 982   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
 983   ret <4 x i32> %r
 984 }
 985
 986 define <4 x i32> @umax_ab_cb_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
 987 ; CHECK-LABEL: umax_ab_cb_eq_swap_pred:
 988 ; CHECK:       // %bb.0:
 989 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 990 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
 991 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
 992 ; CHECK-NEXT:    ret
 993   %cmp_ab = icmp ugt <4 x i32> %a, %b
 994   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
 995   %cmp_cb = icmp ugt <4 x i32> %c, %b
 996   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
 997   %cmp_ac = icmp ule <4 x i32> %c, %a
 998   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
 999   ret <4 x i32> %r
1000 }
1001
1002 define <4 x i32> @umax_bc_ab_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
1003 ; CHECK-LABEL: umax_bc_ab_eq_swap_pred:
1004 ; CHECK:       // %bb.0:
1005 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
1006 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
1007 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
1008 ; CHECK-NEXT:    ret
1009   %cmp_bc = icmp ugt <4 x i32> %b, %c
1010   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1011   %cmp_ab = icmp ugt <4 x i32> %a, %b
1012   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1013   %cmp_ca = icmp ule <4 x i32> %a, %c
1014   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1015   ret <4 x i32> %r
1016 }
1017
1018 define <4 x i32> @umax_bc_ba_eq_swap_pred(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
1019 ; CHECK-LABEL: umax_bc_ba_eq_swap_pred:
1020 ; CHECK:       // %bb.0:
1021 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
1022 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
1023 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
1024 ; CHECK-NEXT:    ret
1025   %cmp_bc = icmp ugt <4 x i32> %b, %c
1026   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1027   %cmp_ba = icmp ugt <4 x i32> %b, %a
1028   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1029   %cmp_ca = icmp ule <4 x i32> %a, %c
1030   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1031   ret <4 x i32> %r
1032 }
1033
1034 define <4 x i32> @notted_smin_ab_bc(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1035 ; CHECK-LABEL: notted_smin_ab_bc:
1036 ; CHECK:       // %bb.0:
1037 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1038 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1039 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1040 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1041 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
1042 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1043 ; CHECK-NEXT:    ret
1044   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1045   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1046   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1047   %cmp_ab = icmp slt <4 x i32> %a, %b
1048   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1049   %cmp_bc = icmp slt <4 x i32> %b, %c
1050   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1051   %cmp_ac = icmp slt <4 x i32> %z, %x
1052   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1053   ret <4 x i32> %r
1054 }
1055
1056 define <4 x i32> @notted_smin_ab_cb(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1057 ; CHECK-LABEL: notted_smin_ab_cb:
1058 ; CHECK:       // %bb.0:
1059 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1060 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1061 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1062 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1063 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
1064 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1065 ; CHECK-NEXT:    ret
1066   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1067   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1068   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1069   %cmp_ab = icmp slt <4 x i32> %a, %b
1070   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1071   %cmp_cb = icmp slt <4 x i32> %c, %b
1072   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1073   %cmp_ac = icmp slt <4 x i32> %z, %x
1074   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1075   ret <4 x i32> %r
1076 }
1077
1078 define <4 x i32> @notted_smin_bc_ab(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1079 ; CHECK-LABEL: notted_smin_bc_ab:
1080 ; CHECK:       // %bb.0:
1081 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1082 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1083 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1084 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1085 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1086 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1087 ; CHECK-NEXT:    ret
1088   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1089   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1090   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1091   %cmp_bc = icmp slt <4 x i32> %b, %c
1092   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1093   %cmp_ab = icmp slt <4 x i32> %a, %b
1094   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1095   %cmp_ca = icmp slt <4 x i32> %x, %z
1096   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1097   ret <4 x i32> %r
1098 }
1099
1100 define <4 x i32> @notted_smin_bc_ba(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1101 ; CHECK-LABEL: notted_smin_bc_ba:
1102 ; CHECK:       // %bb.0:
1103 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1104 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1105 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1106 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1107 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
1108 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1109 ; CHECK-NEXT:    ret
1110   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1111   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1112   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1113   %cmp_bc = icmp slt <4 x i32> %b, %c
1114   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1115   %cmp_ba = icmp slt <4 x i32> %b, %a
1116   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1117   %cmp_ca = icmp slt <4 x i32> %x, %z
1118   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1119   ret <4 x i32> %r
1120 }
1121
1122 define <4 x i32> @notted_smin_ab_bc_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1123 ; CHECK-LABEL: notted_smin_ab_bc_swap_pred:
1124 ; CHECK:       // %bb.0:
1125 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1126 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1127 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1128 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1129 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
1130 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1131 ; CHECK-NEXT:    ret
1132   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1133   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1134   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1135   %cmp_ab = icmp slt <4 x i32> %a, %b
1136   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1137   %cmp_bc = icmp slt <4 x i32> %b, %c
1138   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1139   %cmp_ac = icmp sgt <4 x i32> %x, %z
1140   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1141   ret <4 x i32> %r
1142 }
1143
1144 define <4 x i32> @notted_smin_ab_cb_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1145 ; CHECK-LABEL: notted_smin_ab_cb_swap_pred:
1146 ; CHECK:       // %bb.0:
1147 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1148 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1149 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1150 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1151 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
1152 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1153 ; CHECK-NEXT:    ret
1154   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1155   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1156   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1157   %cmp_ab = icmp slt <4 x i32> %a, %b
1158   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1159   %cmp_cb = icmp slt <4 x i32> %c, %b
1160   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1161   %cmp_ac = icmp sgt <4 x i32> %x, %z
1162   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1163   ret <4 x i32> %r
1164 }
1165
1166 define <4 x i32> @notted_smin_bc_ab_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1167 ; CHECK-LABEL: notted_smin_bc_ab_swap_pred:
1168 ; CHECK:       // %bb.0:
1169 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1170 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1171 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1172 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1173 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1174 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1175 ; CHECK-NEXT:    ret
1176   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1177   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1178   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1179   %cmp_bc = icmp slt <4 x i32> %b, %c
1180   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1181   %cmp_ab = icmp slt <4 x i32> %a, %b
1182   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1183   %cmp_ca = icmp sgt <4 x i32> %z, %x
1184   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1185   ret <4 x i32> %r
1186 }
1187
1188 define <4 x i32> @notted_smin_bc_ba_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1189 ; CHECK-LABEL: notted_smin_bc_ba_swap_pred:
1190 ; CHECK:       // %bb.0:
1191 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1192 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1193 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1194 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1195 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
1196 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1197 ; CHECK-NEXT:    ret
1198   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1199   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1200   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1201   %cmp_bc = icmp slt <4 x i32> %b, %c
1202   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1203   %cmp_ba = icmp slt <4 x i32> %b, %a
1204   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1205   %cmp_ca = icmp sgt <4 x i32> %z, %x
1206   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1207   ret <4 x i32> %r
1208 }
1209
1210 define <4 x i32> @notted_smin_ab_bc_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1211 ; CHECK-LABEL: notted_smin_ab_bc_eq_pred:
1212 ; CHECK:       // %bb.0:
1213 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1214 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1215 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1216 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1217 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
1218 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1219 ; CHECK-NEXT:    ret
1220   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1221   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1222   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1223   %cmp_ab = icmp slt <4 x i32> %a, %b
1224   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1225   %cmp_bc = icmp slt <4 x i32> %b, %c
1226   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1227   %cmp_ac = icmp sle <4 x i32> %z, %x
1228   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1229   ret <4 x i32> %r
1230 }
1231
1232 define <4 x i32> @notted_smin_ab_cb_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1233 ; CHECK-LABEL: notted_smin_ab_cb_eq_pred:
1234 ; CHECK:       // %bb.0:
1235 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1236 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1237 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1238 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1239 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
1240 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1241 ; CHECK-NEXT:    ret
1242   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1243   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1244   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1245   %cmp_ab = icmp slt <4 x i32> %a, %b
1246   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1247   %cmp_cb = icmp slt <4 x i32> %c, %b
1248   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1249   %cmp_ac = icmp sle <4 x i32> %z, %x
1250   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1251   ret <4 x i32> %r
1252 }
1253
1254 define <4 x i32> @notted_smin_bc_ab_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1255 ; CHECK-LABEL: notted_smin_bc_ab_eq_pred:
1256 ; CHECK:       // %bb.0:
1257 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1258 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1259 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1260 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1261 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1262 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1263 ; CHECK-NEXT:    ret
1264   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1265   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1266   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1267   %cmp_bc = icmp slt <4 x i32> %b, %c
1268   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1269   %cmp_ab = icmp slt <4 x i32> %a, %b
1270   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1271   %cmp_ca = icmp sle <4 x i32> %x, %z
1272   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1273   ret <4 x i32> %r
1274 }
1275
1276 define <4 x i32> @notted_smin_bc_ba_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1277 ; CHECK-LABEL: notted_smin_bc_ba_eq_pred:
1278 ; CHECK:       // %bb.0:
1279 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1280 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1281 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1282 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1283 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
1284 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1285 ; CHECK-NEXT:    ret
1286   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1287   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1288   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1289   %cmp_bc = icmp slt <4 x i32> %b, %c
1290   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1291   %cmp_ba = icmp slt <4 x i32> %b, %a
1292   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1293   %cmp_ca = icmp sle <4 x i32> %x, %z
1294   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1295   ret <4 x i32> %r
1296 }
1297
1298 define <4 x i32> @notted_smin_ab_bc_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1299 ; CHECK-LABEL: notted_smin_ab_bc_eq_swap_pred:
1300 ; CHECK:       // %bb.0:
1301 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1302 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1303 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1304 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1305 ; CHECK-NEXT:    smin v1.4s, v1.4s, v2.4s
1306 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1307 ; CHECK-NEXT:    ret
1308   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1309   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1310   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1311   %cmp_ab = icmp slt <4 x i32> %a, %b
1312   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1313   %cmp_bc = icmp slt <4 x i32> %b, %c
1314   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1315   %cmp_ac = icmp sge <4 x i32> %x, %z
1316   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1317   ret <4 x i32> %r
1318 }
1319
1320 define <4 x i32> @notted_smin_ab_cb_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1321 ; CHECK-LABEL: notted_smin_ab_cb_eq_swap_pred:
1322 ; CHECK:       // %bb.0:
1323 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1324 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1325 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1326 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1327 ; CHECK-NEXT:    smin v1.4s, v2.4s, v1.4s
1328 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1329 ; CHECK-NEXT:    ret
1330   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1331   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1332   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1333   %cmp_ab = icmp slt <4 x i32> %a, %b
1334   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1335   %cmp_cb = icmp slt <4 x i32> %c, %b
1336   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1337   %cmp_ac = icmp sge <4 x i32> %x, %z
1338   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1339   ret <4 x i32> %r
1340 }
1341
1342 define <4 x i32> @notted_smin_bc_ab_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1343 ; CHECK-LABEL: notted_smin_bc_ab_eq_swap_pred:
1344 ; CHECK:       // %bb.0:
1345 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1346 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1347 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1348 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1349 ; CHECK-NEXT:    smin v0.4s, v0.4s, v1.4s
1350 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1351 ; CHECK-NEXT:    ret
1352   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1353   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1354   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1355   %cmp_bc = icmp slt <4 x i32> %b, %c
1356   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1357   %cmp_ab = icmp slt <4 x i32> %a, %b
1358   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1359   %cmp_ca = icmp sge <4 x i32> %z, %x
1360   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1361   ret <4 x i32> %r
1362 }
1363
1364 define <4 x i32> @notted_smin_bc_ba_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1365 ; CHECK-LABEL: notted_smin_bc_ba_eq_swap_pred:
1366 ; CHECK:       // %bb.0:
1367 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1368 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1369 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1370 ; CHECK-NEXT:    smin v2.4s, v1.4s, v2.4s
1371 ; CHECK-NEXT:    smin v0.4s, v1.4s, v0.4s
1372 ; CHECK-NEXT:    smin v0.4s, v2.4s, v0.4s
1373 ; CHECK-NEXT:    ret
1374   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1375   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1376   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1377   %cmp_bc = icmp slt <4 x i32> %b, %c
1378   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1379   %cmp_ba = icmp slt <4 x i32> %b, %a
1380   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1381   %cmp_ca = icmp sge <4 x i32> %z, %x
1382   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1383   ret <4 x i32> %r
1384 }
1385
1386 define <4 x i32> @notted_smax_ab_bc(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1387 ; CHECK-LABEL: notted_smax_ab_bc:
1388 ; CHECK:       // %bb.0:
1389 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1390 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1391 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1392 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1393 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
1394 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1395 ; CHECK-NEXT:    ret
1396   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1397   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1398   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1399   %cmp_ab = icmp sgt <4 x i32> %a, %b
1400   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1401   %cmp_bc = icmp sgt <4 x i32> %b, %c
1402   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1403   %cmp_ac = icmp sgt <4 x i32> %z, %x
1404   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1405   ret <4 x i32> %r
1406 }
1407
1408 define <4 x i32> @notted_smax_ab_cb(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1409 ; CHECK-LABEL: notted_smax_ab_cb:
1410 ; CHECK:       // %bb.0:
1411 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1412 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1413 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1414 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1415 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
1416 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1417 ; CHECK-NEXT:    ret
1418   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1419   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1420   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1421   %cmp_ab = icmp sgt <4 x i32> %a, %b
1422   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1423   %cmp_cb = icmp sgt <4 x i32> %c, %b
1424   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1425   %cmp_ac = icmp sgt <4 x i32> %z, %x
1426   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1427   ret <4 x i32> %r
1428 }
1429
1430 define <4 x i32> @notted_smax_bc_ab(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1431 ; CHECK-LABEL: notted_smax_bc_ab:
1432 ; CHECK:       // %bb.0:
1433 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1434 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1435 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1436 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1437 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1438 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1439 ; CHECK-NEXT:    ret
1440   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1441   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1442   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1443   %cmp_bc = icmp sgt <4 x i32> %b, %c
1444   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1445   %cmp_ab = icmp sgt <4 x i32> %a, %b
1446   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1447   %cmp_ca = icmp sgt <4 x i32> %x, %z
1448   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1449   ret <4 x i32> %r
1450 }
1451
1452 define <4 x i32> @notted_smax_bc_ba(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1453 ; CHECK-LABEL: notted_smax_bc_ba:
1454 ; CHECK:       // %bb.0:
1455 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1456 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1457 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1458 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1459 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
1460 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1461 ; CHECK-NEXT:    ret
1462   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1463   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1464   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1465   %cmp_bc = icmp sgt <4 x i32> %b, %c
1466   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1467   %cmp_ba = icmp sgt <4 x i32> %b, %a
1468   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1469   %cmp_ca = icmp sgt <4 x i32> %x, %z
1470   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1471   ret <4 x i32> %r
1472 }
1473
1474 define <4 x i32> @notted_smax_ab_bc_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1475 ; CHECK-LABEL: notted_smax_ab_bc_swap_pred:
1476 ; CHECK:       // %bb.0:
1477 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1478 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1479 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1480 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1481 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
1482 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1483 ; CHECK-NEXT:    ret
1484   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1485   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1486   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1487   %cmp_ab = icmp sgt <4 x i32> %a, %b
1488   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1489   %cmp_bc = icmp sgt <4 x i32> %b, %c
1490   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1491   %cmp_ac = icmp slt <4 x i32> %x, %z
1492   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1493   ret <4 x i32> %r
1494 }
1495
1496 define <4 x i32> @notted_smax_ab_cb_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1497 ; CHECK-LABEL: notted_smax_ab_cb_swap_pred:
1498 ; CHECK:       // %bb.0:
1499 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1500 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1501 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1502 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1503 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
1504 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1505 ; CHECK-NEXT:    ret
1506   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1507   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1508   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1509   %cmp_ab = icmp sgt <4 x i32> %a, %b
1510   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1511   %cmp_cb = icmp sgt <4 x i32> %c, %b
1512   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1513   %cmp_ac = icmp slt <4 x i32> %x, %z
1514   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1515   ret <4 x i32> %r
1516 }
1517
1518 define <4 x i32> @notted_smax_bc_ab_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1519 ; CHECK-LABEL: notted_smax_bc_ab_swap_pred:
1520 ; CHECK:       // %bb.0:
1521 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1522 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1523 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1524 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1525 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1526 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1527 ; CHECK-NEXT:    ret
1528   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1529   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1530   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1531   %cmp_bc = icmp sgt <4 x i32> %b, %c
1532   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1533   %cmp_ab = icmp sgt <4 x i32> %a, %b
1534   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1535   %cmp_ca = icmp slt <4 x i32> %z, %x
1536   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1537   ret <4 x i32> %r
1538 }
1539
1540 define <4 x i32> @notted_smax_bc_ba_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1541 ; CHECK-LABEL: notted_smax_bc_ba_swap_pred:
1542 ; CHECK:       // %bb.0:
1543 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1544 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1545 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1546 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1547 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
1548 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1549 ; CHECK-NEXT:    ret
1550   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1551   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1552   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1553   %cmp_bc = icmp sgt <4 x i32> %b, %c
1554   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1555   %cmp_ba = icmp sgt <4 x i32> %b, %a
1556   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1557   %cmp_ca = icmp slt <4 x i32> %z, %x
1558   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1559   ret <4 x i32> %r
1560 }
1561
1562 define <4 x i32> @notted_smax_ab_bc_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1563 ; CHECK-LABEL: notted_smax_ab_bc_eq_pred:
1564 ; CHECK:       // %bb.0:
1565 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1566 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1567 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1568 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1569 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
1570 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1571 ; CHECK-NEXT:    ret
1572   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1573   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1574   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1575   %cmp_ab = icmp sgt <4 x i32> %a, %b
1576   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1577   %cmp_bc = icmp sgt <4 x i32> %b, %c
1578   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1579   %cmp_ac = icmp sge <4 x i32> %z, %x
1580   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1581   ret <4 x i32> %r
1582 }
1583
1584 define <4 x i32> @notted_smax_ab_cb_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1585 ; CHECK-LABEL: notted_smax_ab_cb_eq_pred:
1586 ; CHECK:       // %bb.0:
1587 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1588 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1589 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1590 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1591 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
1592 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1593 ; CHECK-NEXT:    ret
1594   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1595   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1596   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1597   %cmp_ab = icmp sgt <4 x i32> %a, %b
1598   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1599   %cmp_cb = icmp sgt <4 x i32> %c, %b
1600   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1601   %cmp_ac = icmp sge <4 x i32> %z, %x
1602   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1603   ret <4 x i32> %r
1604 }
1605
1606 define <4 x i32> @notted_smax_bc_ab_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1607 ; CHECK-LABEL: notted_smax_bc_ab_eq_pred:
1608 ; CHECK:       // %bb.0:
1609 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1610 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1611 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1612 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1613 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1614 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1615 ; CHECK-NEXT:    ret
1616   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1617   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1618   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1619   %cmp_bc = icmp sgt <4 x i32> %b, %c
1620   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1621   %cmp_ab = icmp sgt <4 x i32> %a, %b
1622   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1623   %cmp_ca = icmp sge <4 x i32> %x, %z
1624   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1625   ret <4 x i32> %r
1626 }
1627
1628 define <4 x i32> @notted_smax_bc_ba_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1629 ; CHECK-LABEL: notted_smax_bc_ba_eq_pred:
1630 ; CHECK:       // %bb.0:
1631 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1632 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1633 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1634 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1635 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
1636 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1637 ; CHECK-NEXT:    ret
1638   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1639   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1640   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1641   %cmp_bc = icmp sgt <4 x i32> %b, %c
1642   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1643   %cmp_ba = icmp sgt <4 x i32> %b, %a
1644   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1645   %cmp_ca = icmp sge <4 x i32> %x, %z
1646   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1647   ret <4 x i32> %r
1648 }
1649
1650 define <4 x i32> @notted_smax_ab_bc_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1651 ; CHECK-LABEL: notted_smax_ab_bc_eq_swap_pred:
1652 ; CHECK:       // %bb.0:
1653 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1654 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1655 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1656 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1657 ; CHECK-NEXT:    smax v1.4s, v1.4s, v2.4s
1658 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1659 ; CHECK-NEXT:    ret
1660   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1661   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1662   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1663   %cmp_ab = icmp sgt <4 x i32> %a, %b
1664   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1665   %cmp_bc = icmp sgt <4 x i32> %b, %c
1666   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1667   %cmp_ac = icmp sle <4 x i32> %x, %z
1668   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1669   ret <4 x i32> %r
1670 }
1671
1672 define <4 x i32> @notted_smax_ab_cb_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1673 ; CHECK-LABEL: notted_smax_ab_cb_eq_swap_pred:
1674 ; CHECK:       // %bb.0:
1675 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1676 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1677 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1678 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1679 ; CHECK-NEXT:    smax v1.4s, v2.4s, v1.4s
1680 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1681 ; CHECK-NEXT:    ret
1682   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1683   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1684   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1685   %cmp_ab = icmp sgt <4 x i32> %a, %b
1686   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1687   %cmp_cb = icmp sgt <4 x i32> %c, %b
1688   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1689   %cmp_ac = icmp sle <4 x i32> %x, %z
1690   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1691   ret <4 x i32> %r
1692 }
1693
1694 define <4 x i32> @notted_smax_bc_ab_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1695 ; CHECK-LABEL: notted_smax_bc_ab_eq_swap_pred:
1696 ; CHECK:       // %bb.0:
1697 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1698 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1699 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1700 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1701 ; CHECK-NEXT:    smax v0.4s, v0.4s, v1.4s
1702 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1703 ; CHECK-NEXT:    ret
1704   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1705   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1706   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1707   %cmp_bc = icmp sgt <4 x i32> %b, %c
1708   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1709   %cmp_ab = icmp sgt <4 x i32> %a, %b
1710   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1711   %cmp_ca = icmp sle <4 x i32> %z, %x
1712   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1713   ret <4 x i32> %r
1714 }
1715
1716 define <4 x i32> @notted_smax_bc_ba_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1717 ; CHECK-LABEL: notted_smax_bc_ba_eq_swap_pred:
1718 ; CHECK:       // %bb.0:
1719 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1720 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1721 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1722 ; CHECK-NEXT:    smax v2.4s, v1.4s, v2.4s
1723 ; CHECK-NEXT:    smax v0.4s, v1.4s, v0.4s
1724 ; CHECK-NEXT:    smax v0.4s, v2.4s, v0.4s
1725 ; CHECK-NEXT:    ret
1726   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1727   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1728   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1729   %cmp_bc = icmp sgt <4 x i32> %b, %c
1730   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1731   %cmp_ba = icmp sgt <4 x i32> %b, %a
1732   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1733   %cmp_ca = icmp sle <4 x i32> %z, %x
1734   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1735   ret <4 x i32> %r
1736 }
1737
1738 define <4 x i32> @notted_umin_ab_bc(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1739 ; CHECK-LABEL: notted_umin_ab_bc:
1740 ; CHECK:       // %bb.0:
1741 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1742 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1743 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1744 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1745 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
1746 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1747 ; CHECK-NEXT:    ret
1748   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1749   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1750   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1751   %cmp_ab = icmp ult <4 x i32> %a, %b
1752   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1753   %cmp_bc = icmp ult <4 x i32> %b, %c
1754   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1755   %cmp_ac = icmp ult <4 x i32> %z, %x
1756   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1757   ret <4 x i32> %r
1758 }
1759
1760 define <4 x i32> @notted_umin_ab_cb(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1761 ; CHECK-LABEL: notted_umin_ab_cb:
1762 ; CHECK:       // %bb.0:
1763 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1764 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1765 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1766 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1767 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
1768 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1769 ; CHECK-NEXT:    ret
1770   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1771   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1772   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1773   %cmp_ab = icmp ult <4 x i32> %a, %b
1774   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1775   %cmp_cb = icmp ult <4 x i32> %c, %b
1776   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1777   %cmp_ac = icmp ult <4 x i32> %z, %x
1778   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1779   ret <4 x i32> %r
1780 }
1781
1782 define <4 x i32> @notted_umin_bc_ab(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1783 ; CHECK-LABEL: notted_umin_bc_ab:
1784 ; CHECK:       // %bb.0:
1785 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1786 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1787 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1788 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1789 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1790 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1791 ; CHECK-NEXT:    ret
1792   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1793   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1794   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1795   %cmp_bc = icmp ult <4 x i32> %b, %c
1796   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1797   %cmp_ab = icmp ult <4 x i32> %a, %b
1798   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1799   %cmp_ca = icmp ult <4 x i32> %x, %z
1800   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1801   ret <4 x i32> %r
1802 }
1803
1804 define <4 x i32> @notted_umin_bc_ba(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1805 ; CHECK-LABEL: notted_umin_bc_ba:
1806 ; CHECK:       // %bb.0:
1807 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1808 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1809 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1810 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1811 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
1812 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1813 ; CHECK-NEXT:    ret
1814   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1815   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1816   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1817   %cmp_bc = icmp ult <4 x i32> %b, %c
1818   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1819   %cmp_ba = icmp ult <4 x i32> %b, %a
1820   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1821   %cmp_ca = icmp ult <4 x i32> %x, %z
1822   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1823   ret <4 x i32> %r
1824 }
1825
1826 define <4 x i32> @notted_umin_ab_bc_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1827 ; CHECK-LABEL: notted_umin_ab_bc_swap_pred:
1828 ; CHECK:       // %bb.0:
1829 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1830 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1831 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1832 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1833 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
1834 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1835 ; CHECK-NEXT:    ret
1836   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1837   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1838   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1839   %cmp_ab = icmp ult <4 x i32> %a, %b
1840   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1841   %cmp_bc = icmp ult <4 x i32> %b, %c
1842   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1843   %cmp_ac = icmp ugt <4 x i32> %x, %z
1844   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1845   ret <4 x i32> %r
1846 }
1847
1848 define <4 x i32> @notted_umin_ab_cb_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1849 ; CHECK-LABEL: notted_umin_ab_cb_swap_pred:
1850 ; CHECK:       // %bb.0:
1851 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1852 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1853 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1854 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1855 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
1856 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1857 ; CHECK-NEXT:    ret
1858   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1859   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1860   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1861   %cmp_ab = icmp ult <4 x i32> %a, %b
1862   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1863   %cmp_cb = icmp ult <4 x i32> %c, %b
1864   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1865   %cmp_ac = icmp ugt <4 x i32> %x, %z
1866   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1867   ret <4 x i32> %r
1868 }
1869
1870 define <4 x i32> @notted_umin_bc_ab_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1871 ; CHECK-LABEL: notted_umin_bc_ab_swap_pred:
1872 ; CHECK:       // %bb.0:
1873 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1874 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1875 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1876 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1877 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1878 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1879 ; CHECK-NEXT:    ret
1880   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1881   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1882   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1883   %cmp_bc = icmp ult <4 x i32> %b, %c
1884   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1885   %cmp_ab = icmp ult <4 x i32> %a, %b
1886   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1887   %cmp_ca = icmp ugt <4 x i32> %z, %x
1888   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1889   ret <4 x i32> %r
1890 }
1891
1892 define <4 x i32> @notted_umin_bc_ba_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1893 ; CHECK-LABEL: notted_umin_bc_ba_swap_pred:
1894 ; CHECK:       // %bb.0:
1895 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1896 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1897 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1898 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1899 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
1900 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1901 ; CHECK-NEXT:    ret
1902   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1903   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1904   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1905   %cmp_bc = icmp ult <4 x i32> %b, %c
1906   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1907   %cmp_ba = icmp ult <4 x i32> %b, %a
1908   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1909   %cmp_ca = icmp ugt <4 x i32> %z, %x
1910   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1911   ret <4 x i32> %r
1912 }
1913
1914 define <4 x i32> @notted_umin_ab_bc_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1915 ; CHECK-LABEL: notted_umin_ab_bc_eq_pred:
1916 ; CHECK:       // %bb.0:
1917 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1918 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1919 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1920 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1921 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
1922 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1923 ; CHECK-NEXT:    ret
1924   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1925   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1926   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1927   %cmp_ab = icmp ult <4 x i32> %a, %b
1928   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1929   %cmp_bc = icmp ult <4 x i32> %b, %c
1930   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1931   %cmp_ac = icmp ule <4 x i32> %z, %x
1932   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
1933   ret <4 x i32> %r
1934 }
1935
1936 define <4 x i32> @notted_umin_ab_cb_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1937 ; CHECK-LABEL: notted_umin_ab_cb_eq_pred:
1938 ; CHECK:       // %bb.0:
1939 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1940 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1941 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1942 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1943 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
1944 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1945 ; CHECK-NEXT:    ret
1946   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1947   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1948   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1949   %cmp_ab = icmp ult <4 x i32> %a, %b
1950   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1951   %cmp_cb = icmp ult <4 x i32> %c, %b
1952   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
1953   %cmp_ac = icmp ule <4 x i32> %z, %x
1954   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
1955   ret <4 x i32> %r
1956 }
1957
1958 define <4 x i32> @notted_umin_bc_ab_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1959 ; CHECK-LABEL: notted_umin_bc_ab_eq_pred:
1960 ; CHECK:       // %bb.0:
1961 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1962 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1963 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1964 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1965 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
1966 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1967 ; CHECK-NEXT:    ret
1968   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1969   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1970   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1971   %cmp_bc = icmp ult <4 x i32> %b, %c
1972   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1973   %cmp_ab = icmp ult <4 x i32> %a, %b
1974   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
1975   %cmp_ca = icmp ule <4 x i32> %x, %z
1976   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
1977   ret <4 x i32> %r
1978 }
1979
1980 define <4 x i32> @notted_umin_bc_ba_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
1981 ; CHECK-LABEL: notted_umin_bc_ba_eq_pred:
1982 ; CHECK:       // %bb.0:
1983 ; CHECK-NEXT:    mvn v0.16b, v0.16b
1984 ; CHECK-NEXT:    mvn v1.16b, v1.16b
1985 ; CHECK-NEXT:    mvn v2.16b, v2.16b
1986 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
1987 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
1988 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
1989 ; CHECK-NEXT:    ret
1990   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
1991   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
1992   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
1993   %cmp_bc = icmp ult <4 x i32> %b, %c
1994   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
1995   %cmp_ba = icmp ult <4 x i32> %b, %a
1996   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
1997   %cmp_ca = icmp ule <4 x i32> %x, %z
1998   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
1999   ret <4 x i32> %r
2000 }
2001
2002 define <4 x i32> @notted_umin_ab_bc_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2003 ; CHECK-LABEL: notted_umin_ab_bc_eq_swap_pred:
2004 ; CHECK:       // %bb.0:
2005 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2006 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2007 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2008 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
2009 ; CHECK-NEXT:    umin v1.4s, v1.4s, v2.4s
2010 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
2011 ; CHECK-NEXT:    ret
2012   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2013   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2014   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2015   %cmp_ab = icmp ult <4 x i32> %a, %b
2016   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2017   %cmp_bc = icmp ult <4 x i32> %b, %c
2018   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2019   %cmp_ac = icmp uge <4 x i32> %x, %z
2020   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
2021   ret <4 x i32> %r
2022 }
2023
2024 define <4 x i32> @notted_umin_ab_cb_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2025 ; CHECK-LABEL: notted_umin_ab_cb_eq_swap_pred:
2026 ; CHECK:       // %bb.0:
2027 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2028 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2029 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2030 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
2031 ; CHECK-NEXT:    umin v1.4s, v2.4s, v1.4s
2032 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
2033 ; CHECK-NEXT:    ret
2034   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2035   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2036   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2037   %cmp_ab = icmp ult <4 x i32> %a, %b
2038   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2039   %cmp_cb = icmp ult <4 x i32> %c, %b
2040   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
2041   %cmp_ac = icmp uge <4 x i32> %x, %z
2042   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
2043   ret <4 x i32> %r
2044 }
2045
2046 define <4 x i32> @notted_umin_bc_ab_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2047 ; CHECK-LABEL: notted_umin_bc_ab_eq_swap_pred:
2048 ; CHECK:       // %bb.0:
2049 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2050 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2051 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2052 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
2053 ; CHECK-NEXT:    umin v0.4s, v0.4s, v1.4s
2054 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
2055 ; CHECK-NEXT:    ret
2056   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2057   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2058   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2059   %cmp_bc = icmp ult <4 x i32> %b, %c
2060   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2061   %cmp_ab = icmp ult <4 x i32> %a, %b
2062   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2063   %cmp_ca = icmp uge <4 x i32> %z, %x
2064   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
2065   ret <4 x i32> %r
2066 }
2067
2068 define <4 x i32> @notted_umin_bc_ba_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2069 ; CHECK-LABEL: notted_umin_bc_ba_eq_swap_pred:
2070 ; CHECK:       // %bb.0:
2071 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2072 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2073 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2074 ; CHECK-NEXT:    umin v2.4s, v1.4s, v2.4s
2075 ; CHECK-NEXT:    umin v0.4s, v1.4s, v0.4s
2076 ; CHECK-NEXT:    umin v0.4s, v2.4s, v0.4s
2077 ; CHECK-NEXT:    ret
2078   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2079   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2080   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2081   %cmp_bc = icmp ult <4 x i32> %b, %c
2082   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2083   %cmp_ba = icmp ult <4 x i32> %b, %a
2084   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
2085   %cmp_ca = icmp uge <4 x i32> %z, %x
2086   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
2087   ret <4 x i32> %r
2088 }
2089
2090 define <4 x i32> @notted_umax_ab_bc(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2091 ; CHECK-LABEL: notted_umax_ab_bc:
2092 ; CHECK:       // %bb.0:
2093 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2094 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2095 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2096 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2097 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
2098 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2099 ; CHECK-NEXT:    ret
2100   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2101   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2102   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2103   %cmp_ab = icmp ugt <4 x i32> %a, %b
2104   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2105   %cmp_bc = icmp ugt <4 x i32> %b, %c
2106   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2107   %cmp_ac = icmp ugt <4 x i32> %z, %x
2108   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
2109   ret <4 x i32> %r
2110 }
2111
2112 define <4 x i32> @notted_umax_ab_cb(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2113 ; CHECK-LABEL: notted_umax_ab_cb:
2114 ; CHECK:       // %bb.0:
2115 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2116 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2117 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2118 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2119 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
2120 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2121 ; CHECK-NEXT:    ret
2122   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2123   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2124   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2125   %cmp_ab = icmp ugt <4 x i32> %a, %b
2126   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2127   %cmp_cb = icmp ugt <4 x i32> %c, %b
2128   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
2129   %cmp_ac = icmp ugt <4 x i32> %z, %x
2130   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
2131   ret <4 x i32> %r
2132 }
2133
2134 define <4 x i32> @notted_umax_bc_ab(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2135 ; CHECK-LABEL: notted_umax_bc_ab:
2136 ; CHECK:       // %bb.0:
2137 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2138 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2139 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2140 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2141 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2142 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2143 ; CHECK-NEXT:    ret
2144   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2145   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2146   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2147   %cmp_bc = icmp ugt <4 x i32> %b, %c
2148   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2149   %cmp_ab = icmp ugt <4 x i32> %a, %b
2150   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2151   %cmp_ca = icmp ugt <4 x i32> %x, %z
2152   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
2153   ret <4 x i32> %r
2154 }
2155
2156 define <4 x i32> @notted_umax_bc_ba(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2157 ; CHECK-LABEL: notted_umax_bc_ba:
2158 ; CHECK:       // %bb.0:
2159 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2160 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2161 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2162 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2163 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
2164 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2165 ; CHECK-NEXT:    ret
2166   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2167   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2168   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2169   %cmp_bc = icmp ugt <4 x i32> %b, %c
2170   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2171   %cmp_ba = icmp ugt <4 x i32> %b, %a
2172   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
2173   %cmp_ca = icmp ugt <4 x i32> %x, %z
2174   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
2175   ret <4 x i32> %r
2176 }
2177
2178 define <4 x i32> @notted_umax_ab_bc_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2179 ; CHECK-LABEL: notted_umax_ab_bc_swap_pred:
2180 ; CHECK:       // %bb.0:
2181 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2182 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2183 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2184 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2185 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
2186 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2187 ; CHECK-NEXT:    ret
2188   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2189   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2190   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2191   %cmp_ab = icmp ugt <4 x i32> %a, %b
2192   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2193   %cmp_bc = icmp ugt <4 x i32> %b, %c
2194   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2195   %cmp_ac = icmp ult <4 x i32> %x, %z
2196   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
2197   ret <4 x i32> %r
2198 }
2199
2200 define <4 x i32> @notted_umax_ab_cb_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2201 ; CHECK-LABEL: notted_umax_ab_cb_swap_pred:
2202 ; CHECK:       // %bb.0:
2203 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2204 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2205 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2206 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2207 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
2208 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2209 ; CHECK-NEXT:    ret
2210   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2211   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2212   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2213   %cmp_ab = icmp ugt <4 x i32> %a, %b
2214   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2215   %cmp_cb = icmp ugt <4 x i32> %c, %b
2216   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
2217   %cmp_ac = icmp ult <4 x i32> %x, %z
2218   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
2219   ret <4 x i32> %r
2220 }
2221
2222 define <4 x i32> @notted_umax_bc_ab_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2223 ; CHECK-LABEL: notted_umax_bc_ab_swap_pred:
2224 ; CHECK:       // %bb.0:
2225 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2226 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2227 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2228 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2229 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2230 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2231 ; CHECK-NEXT:    ret
2232   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2233   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2234   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2235   %cmp_bc = icmp ugt <4 x i32> %b, %c
2236   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2237   %cmp_ab = icmp ugt <4 x i32> %a, %b
2238   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2239   %cmp_ca = icmp ult <4 x i32> %z, %x
2240   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
2241   ret <4 x i32> %r
2242 }
2243
2244 define <4 x i32> @notted_umax_bc_ba_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2245 ; CHECK-LABEL: notted_umax_bc_ba_swap_pred:
2246 ; CHECK:       // %bb.0:
2247 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2248 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2249 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2250 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2251 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
2252 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2253 ; CHECK-NEXT:    ret
2254   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2255   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2256   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2257   %cmp_bc = icmp ugt <4 x i32> %b, %c
2258   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2259   %cmp_ba = icmp ugt <4 x i32> %b, %a
2260   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
2261   %cmp_ca = icmp ult <4 x i32> %z, %x
2262   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
2263   ret <4 x i32> %r
2264 }
2265
2266 define <4 x i32> @notted_umax_ab_bc_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2267 ; CHECK-LABEL: notted_umax_ab_bc_eq_pred:
2268 ; CHECK:       // %bb.0:
2269 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2270 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2271 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2272 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2273 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
2274 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2275 ; CHECK-NEXT:    ret
2276   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2277   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2278   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2279   %cmp_ab = icmp ugt <4 x i32> %a, %b
2280   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2281   %cmp_bc = icmp ugt <4 x i32> %b, %c
2282   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2283   %cmp_ac = icmp uge <4 x i32> %z, %x
2284   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
2285   ret <4 x i32> %r
2286 }
2287
2288 define <4 x i32> @notted_umax_ab_cb_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2289 ; CHECK-LABEL: notted_umax_ab_cb_eq_pred:
2290 ; CHECK:       // %bb.0:
2291 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2292 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2293 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2294 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2295 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
2296 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2297 ; CHECK-NEXT:    ret
2298   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2299   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2300   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2301   %cmp_ab = icmp ugt <4 x i32> %a, %b
2302   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2303   %cmp_cb = icmp ugt <4 x i32> %c, %b
2304   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
2305   %cmp_ac = icmp uge <4 x i32> %z, %x
2306   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
2307   ret <4 x i32> %r
2308 }
2309
2310 define <4 x i32> @notted_umax_bc_ab_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2311 ; CHECK-LABEL: notted_umax_bc_ab_eq_pred:
2312 ; CHECK:       // %bb.0:
2313 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2314 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2315 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2316 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2317 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2318 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2319 ; CHECK-NEXT:    ret
2320   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2321   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2322   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2323   %cmp_bc = icmp ugt <4 x i32> %b, %c
2324   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2325   %cmp_ab = icmp ugt <4 x i32> %a, %b
2326   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2327   %cmp_ca = icmp uge <4 x i32> %x, %z
2328   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
2329   ret <4 x i32> %r
2330 }
2331
2332 define <4 x i32> @notted_umax_bc_ba_eq_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2333 ; CHECK-LABEL: notted_umax_bc_ba_eq_pred:
2334 ; CHECK:       // %bb.0:
2335 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2336 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2337 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2338 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2339 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
2340 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2341 ; CHECK-NEXT:    ret
2342   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2343   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2344   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2345   %cmp_bc = icmp ugt <4 x i32> %b, %c
2346   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2347   %cmp_ba = icmp ugt <4 x i32> %b, %a
2348   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
2349   %cmp_ca = icmp uge <4 x i32> %x, %z
2350   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
2351   ret <4 x i32> %r
2352 }
2353
2354 define <4 x i32> @notted_umax_ab_bc_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2355 ; CHECK-LABEL: notted_umax_ab_bc_eq_swap_pred:
2356 ; CHECK:       // %bb.0:
2357 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2358 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2359 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2360 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2361 ; CHECK-NEXT:    umax v1.4s, v1.4s, v2.4s
2362 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2363 ; CHECK-NEXT:    ret
2364   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2365   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2366   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2367   %cmp_ab = icmp ugt <4 x i32> %a, %b
2368   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2369   %cmp_bc = icmp ugt <4 x i32> %b, %c
2370   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2371   %cmp_ac = icmp ule <4 x i32> %x, %z
2372   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_bc
2373   ret <4 x i32> %r
2374 }
2375
2376 define <4 x i32> @notted_umax_ab_cb_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2377 ; CHECK-LABEL: notted_umax_ab_cb_eq_swap_pred:
2378 ; CHECK:       // %bb.0:
2379 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2380 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2381 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2382 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2383 ; CHECK-NEXT:    umax v1.4s, v2.4s, v1.4s
2384 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2385 ; CHECK-NEXT:    ret
2386   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2387   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2388   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2389   %cmp_ab = icmp ugt <4 x i32> %a, %b
2390   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2391   %cmp_cb = icmp ugt <4 x i32> %c, %b
2392   %min_cb = select <4 x i1> %cmp_cb, <4 x i32> %c, <4 x i32> %b
2393   %cmp_ac = icmp ule <4 x i32> %x, %z
2394   %r = select <4 x i1> %cmp_ac, <4 x i32> %min_ab, <4 x i32> %min_cb
2395   ret <4 x i32> %r
2396 }
2397
2398 define <4 x i32> @notted_umax_bc_ab_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2399 ; CHECK-LABEL: notted_umax_bc_ab_eq_swap_pred:
2400 ; CHECK:       // %bb.0:
2401 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2402 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2403 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2404 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2405 ; CHECK-NEXT:    umax v0.4s, v0.4s, v1.4s
2406 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2407 ; CHECK-NEXT:    ret
2408   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2409   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2410   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2411   %cmp_bc = icmp ugt <4 x i32> %b, %c
2412   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2413   %cmp_ab = icmp ugt <4 x i32> %a, %b
2414   %min_ab = select <4 x i1> %cmp_ab, <4 x i32> %a, <4 x i32> %b
2415   %cmp_ca = icmp ule <4 x i32> %z, %x
2416   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ab
2417   ret <4 x i32> %r
2418 }
2419
2420 define <4 x i32> @notted_umax_bc_ba_eq_swap_pred(<4 x i32> %x, <4 x i32> %y, <4 x i32> %z) {
2421 ; CHECK-LABEL: notted_umax_bc_ba_eq_swap_pred:
2422 ; CHECK:       // %bb.0:
2423 ; CHECK-NEXT:    mvn v0.16b, v0.16b
2424 ; CHECK-NEXT:    mvn v1.16b, v1.16b
2425 ; CHECK-NEXT:    mvn v2.16b, v2.16b
2426 ; CHECK-NEXT:    umax v2.4s, v1.4s, v2.4s
2427 ; CHECK-NEXT:    umax v0.4s, v1.4s, v0.4s
2428 ; CHECK-NEXT:    umax v0.4s, v2.4s, v0.4s
2429 ; CHECK-NEXT:    ret
2430   %a = xor <4 x i32> %x, <i32 -1, i32 -1, i32 -1, i32 -1>
2431   %b = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
2432   %c = xor <4 x i32> %z, <i32 -1, i32 -1, i32 -1, i32 -1>
2433   %cmp_bc = icmp ugt <4 x i32> %b, %c
2434   %min_bc = select <4 x i1> %cmp_bc, <4 x i32> %b, <4 x i32> %c
2435   %cmp_ba = icmp ugt <4 x i32> %b, %a
2436   %min_ba = select <4 x i1> %cmp_ba, <4 x i32> %b, <4 x i32> %a
2437   %cmp_ca = icmp ule <4 x i32> %z, %x
2438   %r = select <4 x i1> %cmp_ca, <4 x i32> %min_bc, <4 x i32> %min_ba
2439   ret <4 x i32> %r
2440 }
2441