test/CodeGen/X86/overflow.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=X32
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=X64
   4
   5 define i128 @mulhioverflow(i64 %a, i64 %b, i64 %c) nounwind {
   6 ; X32-LABEL: mulhioverflow:
   7 ; X32:       # %bb.0:
   8 ; X32-NEXT:    pushl %ebp
   9 ; X32-NEXT:    pushl %ebx
  10 ; X32-NEXT:    pushl %edi
  11 ; X32-NEXT:    pushl %esi
  12 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  13 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ebp
  14 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ebx
  15 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %esi
  16 ; X32-NEXT:    movl %ecx, %eax
  17 ; X32-NEXT:    mull %ebx
  18 ; X32-NEXT:    movl %edx, %edi
  19 ; X32-NEXT:    movl %ebp, %eax
  20 ; X32-NEXT:    mull %ebx
  21 ; X32-NEXT:    movl %edx, %ebx
  22 ; X32-NEXT:    movl %eax, %ebp
  23 ; X32-NEXT:    addl %edi, %ebp
  24 ; X32-NEXT:    adcl $0, %ebx
  25 ; X32-NEXT:    movl %ecx, %eax
  26 ; X32-NEXT:    mull %esi
  27 ; X32-NEXT:    movl %edx, %ecx
  28 ; X32-NEXT:    addl %ebp, %eax
  29 ; X32-NEXT:    adcl %ebx, %ecx
  30 ; X32-NEXT:    setb %bl
  31 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  32 ; X32-NEXT:    mull %esi
  33 ; X32-NEXT:    addl %ecx, %eax
  34 ; X32-NEXT:    movzbl %bl, %ecx
  35 ; X32-NEXT:    adcl %ecx, %edx
  36 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  37 ; X32-NEXT:    andl $1, %ecx
  38 ; X32-NEXT:    addl %eax, %ecx
  39 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  40 ; X32-NEXT:    movl %ecx, (%eax)
  41 ; X32-NEXT:    adcl $0, %edx
  42 ; X32-NEXT:    movl %edx, 4(%eax)
  43 ; X32-NEXT:    setb %cl
  44 ; X32-NEXT:    movzbl %cl, %ecx
  45 ; X32-NEXT:    movl %ecx, 8(%eax)
  46 ; X32-NEXT:    movl $0, 12(%eax)
  47 ; X32-NEXT:    popl %esi
  48 ; X32-NEXT:    popl %edi
  49 ; X32-NEXT:    popl %ebx
  50 ; X32-NEXT:    popl %ebp
  51 ; X32-NEXT:    retl $4
  52 ;
  53 ; X64-LABEL: mulhioverflow:
  54 ; X64:       # %bb.0:
  55 ; X64-NEXT:    movq %rdx, %rcx
  56 ; X64-NEXT:    movq %rdi, %rax
  57 ; X64-NEXT:    mulq %rsi
  58 ; X64-NEXT:    andl $1, %ecx
  59 ; X64-NEXT:    leaq (%rcx,%rdx), %rax
  60 ; X64-NEXT:    xorl %edx, %edx
  61 ; X64-NEXT:    retq
  62   %1 = zext i64 %a to i128
  63   %2 = zext i64 %b to i128
  64   %3 = mul i128 %1, %2
  65   %4 = lshr i128 %3, 64
  66   %5 = and i64 %c, 1
  67   %6 = zext i64 %5 to i128
  68   %7 = add i128 %4, %6
  69   ret i128 %7
  70 }