llvm/test/CodeGen/X86/abdu.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686 -mattr=cmov | FileCheck %s --check-prefixes=X86
   3 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefixes=X64
   4
   5 ;
   6 ; trunc(abs(sub(zext(a),zext(b)))) -> abdu(a,b)
   7 ;
   8
   9 define i8 @abd_ext_i8(i8 %a, i8 %b) nounwind {
  10 ; X86-LABEL: abd_ext_i8:
  11 ; X86:       # %bb.0:
  12 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
  13 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
  14 ; X86-NEXT:    subl %eax, %ecx
  15 ; X86-NEXT:    movl %ecx, %eax
  16 ; X86-NEXT:    negl %eax
  17 ; X86-NEXT:    cmovsl %ecx, %eax
  18 ; X86-NEXT:    # kill: def $al killed $al killed $eax
  19 ; X86-NEXT:    retl
  20 ;
  21 ; X64-LABEL: abd_ext_i8:
  22 ; X64:       # %bb.0:
  23 ; X64-NEXT:    movzbl %sil, %eax
  24 ; X64-NEXT:    movzbl %dil, %ecx
  25 ; X64-NEXT:    subl %eax, %ecx
  26 ; X64-NEXT:    movl %ecx, %eax
  27 ; X64-NEXT:    negl %eax
  28 ; X64-NEXT:    cmovsl %ecx, %eax
  29 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  30 ; X64-NEXT:    retq
  31   %aext = zext i8 %a to i64
  32   %bext = zext i8 %b to i64
  33   %sub = sub i64 %aext, %bext
  34   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 false)
  35   %trunc = trunc i64 %abs to i8
  36   ret i8 %trunc
  37 }
  38
  39 define i8 @abd_ext_i8_undef(i8 %a, i8 %b) nounwind {
  40 ; X86-LABEL: abd_ext_i8_undef:
  41 ; X86:       # %bb.0:
  42 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
  43 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
  44 ; X86-NEXT:    subl %eax, %ecx
  45 ; X86-NEXT:    movl %ecx, %eax
  46 ; X86-NEXT:    negl %eax
  47 ; X86-NEXT:    cmovsl %ecx, %eax
  48 ; X86-NEXT:    # kill: def $al killed $al killed $eax
  49 ; X86-NEXT:    retl
  50 ;
  51 ; X64-LABEL: abd_ext_i8_undef:
  52 ; X64:       # %bb.0:
  53 ; X64-NEXT:    movzbl %sil, %eax
  54 ; X64-NEXT:    movzbl %dil, %ecx
  55 ; X64-NEXT:    subl %eax, %ecx
  56 ; X64-NEXT:    movl %ecx, %eax
  57 ; X64-NEXT:    negl %eax
  58 ; X64-NEXT:    cmovsl %ecx, %eax
  59 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  60 ; X64-NEXT:    retq
  61   %aext = zext i8 %a to i64
  62   %bext = zext i8 %b to i64
  63   %sub = sub i64 %aext, %bext
  64   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 true)
  65   %trunc = trunc i64 %abs to i8
  66   ret i8 %trunc
  67 }
  68
  69 define i16 @abd_ext_i16(i16 %a, i16 %b) nounwind {
  70 ; X86-LABEL: abd_ext_i16:
  71 ; X86:       # %bb.0:
  72 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
  73 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
  74 ; X86-NEXT:    subl %eax, %ecx
  75 ; X86-NEXT:    movl %ecx, %eax
  76 ; X86-NEXT:    negl %eax
  77 ; X86-NEXT:    cmovsl %ecx, %eax
  78 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  79 ; X86-NEXT:    retl
  80 ;
  81 ; X64-LABEL: abd_ext_i16:
  82 ; X64:       # %bb.0:
  83 ; X64-NEXT:    movzwl %si, %eax
  84 ; X64-NEXT:    movzwl %di, %ecx
  85 ; X64-NEXT:    subl %eax, %ecx
  86 ; X64-NEXT:    movl %ecx, %eax
  87 ; X64-NEXT:    negl %eax
  88 ; X64-NEXT:    cmovsl %ecx, %eax
  89 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  90 ; X64-NEXT:    retq
  91   %aext = zext i16 %a to i64
  92   %bext = zext i16 %b to i64
  93   %sub = sub i64 %aext, %bext
  94   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 false)
  95   %trunc = trunc i64 %abs to i16
  96   ret i16 %trunc
  97 }
  98
  99 define i16 @abd_ext_i16_undef(i16 %a, i16 %b) nounwind {
 100 ; X86-LABEL: abd_ext_i16_undef:
 101 ; X86:       # %bb.0:
 102 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 103 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
 104 ; X86-NEXT:    subl %eax, %ecx
 105 ; X86-NEXT:    movl %ecx, %eax
 106 ; X86-NEXT:    negl %eax
 107 ; X86-NEXT:    cmovsl %ecx, %eax
 108 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 109 ; X86-NEXT:    retl
 110 ;
 111 ; X64-LABEL: abd_ext_i16_undef:
 112 ; X64:       # %bb.0:
 113 ; X64-NEXT:    movzwl %si, %eax
 114 ; X64-NEXT:    movzwl %di, %ecx
 115 ; X64-NEXT:    subl %eax, %ecx
 116 ; X64-NEXT:    movl %ecx, %eax
 117 ; X64-NEXT:    negl %eax
 118 ; X64-NEXT:    cmovsl %ecx, %eax
 119 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 120 ; X64-NEXT:    retq
 121   %aext = zext i16 %a to i64
 122   %bext = zext i16 %b to i64
 123   %sub = sub i64 %aext, %bext
 124   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 true)
 125   %trunc = trunc i64 %abs to i16
 126   ret i16 %trunc
 127 }
 128
 129 define i32 @abd_ext_i32(i32 %a, i32 %b) nounwind {
 130 ; X86-LABEL: abd_ext_i32:
 131 ; X86:       # %bb.0:
 132 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 133 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 134 ; X86-NEXT:    movl %eax, %edx
 135 ; X86-NEXT:    subl %ecx, %edx
 136 ; X86-NEXT:    negl %edx
 137 ; X86-NEXT:    subl %ecx, %eax
 138 ; X86-NEXT:    cmovbel %edx, %eax
 139 ; X86-NEXT:    retl
 140 ;
 141 ; X64-LABEL: abd_ext_i32:
 142 ; X64:       # %bb.0:
 143 ; X64-NEXT:    movl %esi, %eax
 144 ; X64-NEXT:    movl %edi, %ecx
 145 ; X64-NEXT:    subq %rax, %rcx
 146 ; X64-NEXT:    movq %rcx, %rax
 147 ; X64-NEXT:    negq %rax
 148 ; X64-NEXT:    cmovsq %rcx, %rax
 149 ; X64-NEXT:    # kill: def $eax killed $eax killed $rax
 150 ; X64-NEXT:    retq
 151   %aext = zext i32 %a to i64
 152   %bext = zext i32 %b to i64
 153   %sub = sub i64 %aext, %bext
 154   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 false)
 155   %trunc = trunc i64 %abs to i32
 156   ret i32 %trunc
 157 }
 158
 159 define i32 @abd_ext_i32_undef(i32 %a, i32 %b) nounwind {
 160 ; X86-LABEL: abd_ext_i32_undef:
 161 ; X86:       # %bb.0:
 162 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 163 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 164 ; X86-NEXT:    movl %eax, %edx
 165 ; X86-NEXT:    subl %ecx, %edx
 166 ; X86-NEXT:    negl %edx
 167 ; X86-NEXT:    subl %ecx, %eax
 168 ; X86-NEXT:    cmovbel %edx, %eax
 169 ; X86-NEXT:    retl
 170 ;
 171 ; X64-LABEL: abd_ext_i32_undef:
 172 ; X64:       # %bb.0:
 173 ; X64-NEXT:    movl %esi, %eax
 174 ; X64-NEXT:    movl %edi, %ecx
 175 ; X64-NEXT:    subq %rax, %rcx
 176 ; X64-NEXT:    movq %rcx, %rax
 177 ; X64-NEXT:    negq %rax
 178 ; X64-NEXT:    cmovsq %rcx, %rax
 179 ; X64-NEXT:    # kill: def $eax killed $eax killed $rax
 180 ; X64-NEXT:    retq
 181   %aext = zext i32 %a to i64
 182   %bext = zext i32 %b to i64
 183   %sub = sub i64 %aext, %bext
 184   %abs = call i64 @llvm.abs.i64(i64 %sub, i1 true)
 185   %trunc = trunc i64 %abs to i32
 186   ret i32 %trunc
 187 }
 188
 189 define i64 @abd_ext_i64(i64 %a, i64 %b) nounwind {
 190 ; X86-LABEL: abd_ext_i64:
 191 ; X86:       # %bb.0:
 192 ; X86-NEXT:    pushl %esi
 193 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 194 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 195 ; X86-NEXT:    xorl %ecx, %ecx
 196 ; X86-NEXT:    subl {{[0-9]+}}(%esp), %eax
 197 ; X86-NEXT:    sbbl {{[0-9]+}}(%esp), %edx
 198 ; X86-NEXT:    movl $0, %esi
 199 ; X86-NEXT:    sbbl %esi, %esi
 200 ; X86-NEXT:    sbbl %ecx, %ecx
 201 ; X86-NEXT:    sarl $31, %ecx
 202 ; X86-NEXT:    xorl %ecx, %edx
 203 ; X86-NEXT:    xorl %ecx, %eax
 204 ; X86-NEXT:    subl %ecx, %eax
 205 ; X86-NEXT:    sbbl %ecx, %edx
 206 ; X86-NEXT:    popl %esi
 207 ; X86-NEXT:    retl
 208 ;
 209 ; X64-LABEL: abd_ext_i64:
 210 ; X64:       # %bb.0:
 211 ; X64-NEXT:    movq %rdi, %rax
 212 ; X64-NEXT:    subq %rsi, %rax
 213 ; X64-NEXT:    negq %rax
 214 ; X64-NEXT:    subq %rsi, %rdi
 215 ; X64-NEXT:    cmovaq %rdi, %rax
 216 ; X64-NEXT:    retq
 217   %aext = zext i64 %a to i128
 218   %bext = zext i64 %b to i128
 219   %sub = sub i128 %aext, %bext
 220   %abs = call i128 @llvm.abs.i128(i128 %sub, i1 false)
 221   %trunc = trunc i128 %abs to i64
 222   ret i64 %trunc
 223 }
 224
 225 define i64 @abd_ext_i64_undef(i64 %a, i64 %b) nounwind {
 226 ; X86-LABEL: abd_ext_i64_undef:
 227 ; X86:       # %bb.0:
 228 ; X86-NEXT:    pushl %esi
 229 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 230 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 231 ; X86-NEXT:    xorl %ecx, %ecx
 232 ; X86-NEXT:    subl {{[0-9]+}}(%esp), %eax
 233 ; X86-NEXT:    sbbl {{[0-9]+}}(%esp), %edx
 234 ; X86-NEXT:    movl $0, %esi
 235 ; X86-NEXT:    sbbl %esi, %esi
 236 ; X86-NEXT:    sbbl %ecx, %ecx
 237 ; X86-NEXT:    sarl $31, %ecx
 238 ; X86-NEXT:    xorl %ecx, %edx
 239 ; X86-NEXT:    xorl %ecx, %eax
 240 ; X86-NEXT:    subl %ecx, %eax
 241 ; X86-NEXT:    sbbl %ecx, %edx
 242 ; X86-NEXT:    popl %esi
 243 ; X86-NEXT:    retl
 244 ;
 245 ; X64-LABEL: abd_ext_i64_undef:
 246 ; X64:       # %bb.0:
 247 ; X64-NEXT:    movq %rdi, %rax
 248 ; X64-NEXT:    subq %rsi, %rax
 249 ; X64-NEXT:    negq %rax
 250 ; X64-NEXT:    subq %rsi, %rdi
 251 ; X64-NEXT:    cmovaq %rdi, %rax
 252 ; X64-NEXT:    retq
 253   %aext = zext i64 %a to i128
 254   %bext = zext i64 %b to i128
 255   %sub = sub i128 %aext, %bext
 256   %abs = call i128 @llvm.abs.i128(i128 %sub, i1 true)
 257   %trunc = trunc i128 %abs to i64
 258   ret i64 %trunc
 259 }
 260
 261 ;
 262 ; sub(umax(a,b),umin(a,b)) -> abdu(a,b)
 263 ;
 264
 265 define i8 @abd_minmax_i8(i8 %a, i8 %b) nounwind {
 266 ; X86-LABEL: abd_minmax_i8:
 267 ; X86:       # %bb.0:
 268 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 269 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 270 ; X86-NEXT:    subl %eax, %ecx
 271 ; X86-NEXT:    movl %ecx, %eax
 272 ; X86-NEXT:    negl %eax
 273 ; X86-NEXT:    cmovsl %ecx, %eax
 274 ; X86-NEXT:    # kill: def $al killed $al killed $eax
 275 ; X86-NEXT:    retl
 276 ;
 277 ; X64-LABEL: abd_minmax_i8:
 278 ; X64:       # %bb.0:
 279 ; X64-NEXT:    movzbl %sil, %eax
 280 ; X64-NEXT:    movzbl %dil, %ecx
 281 ; X64-NEXT:    subl %eax, %ecx
 282 ; X64-NEXT:    movl %ecx, %eax
 283 ; X64-NEXT:    negl %eax
 284 ; X64-NEXT:    cmovsl %ecx, %eax
 285 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 286 ; X64-NEXT:    retq
 287   %min = call i8 @llvm.umin.i8(i8 %a, i8 %b)
 288   %max = call i8 @llvm.umax.i8(i8 %a, i8 %b)
 289   %sub = sub i8 %max, %min
 290   ret i8 %sub
 291 }
 292
 293 define i16 @abd_minmax_i16(i16 %a, i16 %b) nounwind {
 294 ; X86-LABEL: abd_minmax_i16:
 295 ; X86:       # %bb.0:
 296 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 297 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
 298 ; X86-NEXT:    subl %eax, %ecx
 299 ; X86-NEXT:    movl %ecx, %eax
 300 ; X86-NEXT:    negl %eax
 301 ; X86-NEXT:    cmovsl %ecx, %eax
 302 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 303 ; X86-NEXT:    retl
 304 ;
 305 ; X64-LABEL: abd_minmax_i16:
 306 ; X64:       # %bb.0:
 307 ; X64-NEXT:    movzwl %si, %eax
 308 ; X64-NEXT:    movzwl %di, %ecx
 309 ; X64-NEXT:    subl %eax, %ecx
 310 ; X64-NEXT:    movl %ecx, %eax
 311 ; X64-NEXT:    negl %eax
 312 ; X64-NEXT:    cmovsl %ecx, %eax
 313 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 314 ; X64-NEXT:    retq
 315   %min = call i16 @llvm.umin.i16(i16 %a, i16 %b)
 316   %max = call i16 @llvm.umax.i16(i16 %a, i16 %b)
 317   %sub = sub i16 %max, %min
 318   ret i16 %sub
 319 }
 320
 321 define i32 @abd_minmax_i32(i32 %a, i32 %b) nounwind {
 322 ; X86-LABEL: abd_minmax_i32:
 323 ; X86:       # %bb.0:
 324 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 325 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 326 ; X86-NEXT:    movl %eax, %edx
 327 ; X86-NEXT:    subl %ecx, %edx
 328 ; X86-NEXT:    negl %edx
 329 ; X86-NEXT:    subl %ecx, %eax
 330 ; X86-NEXT:    cmovbel %edx, %eax
 331 ; X86-NEXT:    retl
 332 ;
 333 ; X64-LABEL: abd_minmax_i32:
 334 ; X64:       # %bb.0:
 335 ; X64-NEXT:    movl %esi, %eax
 336 ; X64-NEXT:    movl %edi, %ecx
 337 ; X64-NEXT:    subq %rax, %rcx
 338 ; X64-NEXT:    movq %rcx, %rax
 339 ; X64-NEXT:    negq %rax
 340 ; X64-NEXT:    cmovsq %rcx, %rax
 341 ; X64-NEXT:    # kill: def $eax killed $eax killed $rax
 342 ; X64-NEXT:    retq
 343   %min = call i32 @llvm.umin.i32(i32 %a, i32 %b)
 344   %max = call i32 @llvm.umax.i32(i32 %a, i32 %b)
 345   %sub = sub i32 %max, %min
 346   ret i32 %sub
 347 }
 348
 349 define i64 @abd_minmax_i64(i64 %a, i64 %b) nounwind {
 350 ; X86-LABEL: abd_minmax_i64:
 351 ; X86:       # %bb.0:
 352 ; X86-NEXT:    pushl %ebp
 353 ; X86-NEXT:    pushl %ebx
 354 ; X86-NEXT:    pushl %edi
 355 ; X86-NEXT:    pushl %esi
 356 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 357 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 358 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 359 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 360 ; X86-NEXT:    cmpl %eax, %ecx
 361 ; X86-NEXT:    movl %esi, %edi
 362 ; X86-NEXT:    sbbl %edx, %edi
 363 ; X86-NEXT:    movl %edx, %edi
 364 ; X86-NEXT:    cmovbl %esi, %edi
 365 ; X86-NEXT:    movl %eax, %ebx
 366 ; X86-NEXT:    cmovbl %ecx, %ebx
 367 ; X86-NEXT:    cmpl %ecx, %eax
 368 ; X86-NEXT:    movl %edx, %ebp
 369 ; X86-NEXT:    sbbl %esi, %ebp
 370 ; X86-NEXT:    cmovbl %esi, %edx
 371 ; X86-NEXT:    cmovbl %ecx, %eax
 372 ; X86-NEXT:    subl %ebx, %eax
 373 ; X86-NEXT:    sbbl %edi, %edx
 374 ; X86-NEXT:    popl %esi
 375 ; X86-NEXT:    popl %edi
 376 ; X86-NEXT:    popl %ebx
 377 ; X86-NEXT:    popl %ebp
 378 ; X86-NEXT:    retl
 379 ;
 380 ; X64-LABEL: abd_minmax_i64:
 381 ; X64:       # %bb.0:
 382 ; X64-NEXT:    movq %rdi, %rax
 383 ; X64-NEXT:    subq %rsi, %rax
 384 ; X64-NEXT:    negq %rax
 385 ; X64-NEXT:    subq %rsi, %rdi
 386 ; X64-NEXT:    cmovaq %rdi, %rax
 387 ; X64-NEXT:    retq
 388   %min = call i64 @llvm.umin.i64(i64 %a, i64 %b)
 389   %max = call i64 @llvm.umax.i64(i64 %a, i64 %b)
 390   %sub = sub i64 %max, %min
 391   ret i64 %sub
 392 }
 393
 394 ;
 395 ; select(icmp(a,b),sub(a,b),sub(b,a)) -> abdu(a,b)
 396 ;
 397
 398 define i8 @abd_cmp_i8(i8 %a, i8 %b) nounwind {
 399 ; X86-LABEL: abd_cmp_i8:
 400 ; X86:       # %bb.0:
 401 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 402 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 403 ; X86-NEXT:    movl %eax, %edx
 404 ; X86-NEXT:    subb %cl, %dl
 405 ; X86-NEXT:    negb %dl
 406 ; X86-NEXT:    subb %cl, %al
 407 ; X86-NEXT:    movzbl %al, %ecx
 408 ; X86-NEXT:    movzbl %dl, %eax
 409 ; X86-NEXT:    cmovael %ecx, %eax
 410 ; X86-NEXT:    # kill: def $al killed $al killed $eax
 411 ; X86-NEXT:    retl
 412 ;
 413 ; X64-LABEL: abd_cmp_i8:
 414 ; X64:       # %bb.0:
 415 ; X64-NEXT:    movl %esi, %eax
 416 ; X64-NEXT:    subb %dil, %al
 417 ; X64-NEXT:    negb %al
 418 ; X64-NEXT:    subb %dil, %sil
 419 ; X64-NEXT:    movzbl %sil, %ecx
 420 ; X64-NEXT:    movzbl %al, %eax
 421 ; X64-NEXT:    cmovael %ecx, %eax
 422 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 423 ; X64-NEXT:    retq
 424   %cmp = icmp ugt i8 %a, %b
 425   %ab = sub i8 %a, %b
 426   %ba = sub i8 %b, %a
 427   %sel = select i1 %cmp, i8 %ab, i8 %ba
 428   ret i8 %sel
 429 }
 430
 431 define i16 @abd_cmp_i16(i16 %a, i16 %b) nounwind {
 432 ; X86-LABEL: abd_cmp_i16:
 433 ; X86:       # %bb.0:
 434 ; X86-NEXT:    pushl %esi
 435 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
 436 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %edx
 437 ; X86-NEXT:    movl %ecx, %esi
 438 ; X86-NEXT:    subw %dx, %si
 439 ; X86-NEXT:    movl %esi, %eax
 440 ; X86-NEXT:    negl %eax
 441 ; X86-NEXT:    cmpw %dx, %cx
 442 ; X86-NEXT:    cmovael %esi, %eax
 443 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 444 ; X86-NEXT:    popl %esi
 445 ; X86-NEXT:    retl
 446 ;
 447 ; X64-LABEL: abd_cmp_i16:
 448 ; X64:       # %bb.0:
 449 ; X64-NEXT:    movl %edi, %ecx
 450 ; X64-NEXT:    subw %si, %cx
 451 ; X64-NEXT:    movl %ecx, %eax
 452 ; X64-NEXT:    negl %eax
 453 ; X64-NEXT:    cmpw %si, %di
 454 ; X64-NEXT:    cmovael %ecx, %eax
 455 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 456 ; X64-NEXT:    retq
 457   %cmp = icmp uge i16 %a, %b
 458   %ab = sub i16 %a, %b
 459   %ba = sub i16 %b, %a
 460   %sel = select i1 %cmp, i16 %ab, i16 %ba
 461   ret i16 %sel
 462 }
 463
 464 define i32 @abd_cmp_i32(i32 %a, i32 %b) nounwind {
 465 ; X86-LABEL: abd_cmp_i32:
 466 ; X86:       # %bb.0:
 467 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 468 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 469 ; X86-NEXT:    movl %eax, %edx
 470 ; X86-NEXT:    subl %ecx, %edx
 471 ; X86-NEXT:    negl %edx
 472 ; X86-NEXT:    subl %ecx, %eax
 473 ; X86-NEXT:    cmovbl %edx, %eax
 474 ; X86-NEXT:    retl
 475 ;
 476 ; X64-LABEL: abd_cmp_i32:
 477 ; X64:       # %bb.0:
 478 ; X64-NEXT:    movl %edi, %eax
 479 ; X64-NEXT:    subl %esi, %eax
 480 ; X64-NEXT:    negl %eax
 481 ; X64-NEXT:    subl %esi, %edi
 482 ; X64-NEXT:    cmovael %edi, %eax
 483 ; X64-NEXT:    retq
 484   %cmp = icmp ult i32 %a, %b
 485   %ab = sub i32 %a, %b
 486   %ba = sub i32 %b, %a
 487   %sel = select i1 %cmp, i32 %ba, i32 %ab
 488   ret i32 %sel
 489 }
 490
 491 define i64 @abd_cmp_i64(i64 %a, i64 %b) nounwind {
 492 ; X86-LABEL: abd_cmp_i64:
 493 ; X86:       # %bb.0:
 494 ; X86-NEXT:    pushl %ebx
 495 ; X86-NEXT:    pushl %edi
 496 ; X86-NEXT:    pushl %esi
 497 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 498 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 499 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 500 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 501 ; X86-NEXT:    movl %ecx, %edi
 502 ; X86-NEXT:    subl %eax, %edi
 503 ; X86-NEXT:    movl %esi, %ebx
 504 ; X86-NEXT:    sbbl %edx, %ebx
 505 ; X86-NEXT:    subl %ecx, %eax
 506 ; X86-NEXT:    sbbl %esi, %edx
 507 ; X86-NEXT:    cmovael %edi, %eax
 508 ; X86-NEXT:    cmovael %ebx, %edx
 509 ; X86-NEXT:    popl %esi
 510 ; X86-NEXT:    popl %edi
 511 ; X86-NEXT:    popl %ebx
 512 ; X86-NEXT:    retl
 513 ;
 514 ; X64-LABEL: abd_cmp_i64:
 515 ; X64:       # %bb.0:
 516 ; X64-NEXT:    movq %rdi, %rax
 517 ; X64-NEXT:    subq %rsi, %rax
 518 ; X64-NEXT:    negq %rax
 519 ; X64-NEXT:    subq %rsi, %rdi
 520 ; X64-NEXT:    cmovbq %rdi, %rax
 521 ; X64-NEXT:    retq
 522   %cmp = icmp uge i64 %a, %b
 523   %ab = sub i64 %a, %b
 524   %ba = sub i64 %b, %a
 525   %sel = select i1 %cmp, i64 %ba, i64 %ab
 526   ret i64 %sel
 527 }
 528
 529 declare i8 @llvm.abs.i8(i8, i1)
 530 declare i16 @llvm.abs.i16(i16, i1)
 531 declare i32 @llvm.abs.i32(i32, i1)
 532 declare i64 @llvm.abs.i64(i64, i1)
 533 declare i128 @llvm.abs.i128(i128, i1)
 534
 535 declare i8 @llvm.umax.i8(i8, i8)
 536 declare i16 @llvm.umax.i16(i16, i16)
 537 declare i32 @llvm.umax.i32(i32, i32)
 538 declare i64 @llvm.umax.i64(i64, i64)
 539
 540 declare i8 @llvm.umin.i8(i8, i8)
 541 declare i16 @llvm.umin.i16(i16, i16)
 542 declare i32 @llvm.umin.i32(i32, i32)
 543 declare i64 @llvm.umin.i64(i64, i64)