test/CodeGen/X86/sadd_sat_plus.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=CHECK,X86
   3 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefixes=CHECK,X64
   4
   5 declare i4 @llvm.sadd.sat.i4(i4, i4)
   6 declare i8 @llvm.sadd.sat.i8(i8, i8)
   7 declare i16 @llvm.sadd.sat.i16(i16, i16)
   8 declare i32 @llvm.sadd.sat.i32(i32, i32)
   9 declare i64 @llvm.sadd.sat.i64(i64, i64)
  10
  11 define i32 @func32(i32 %x, i32 %y, i32 %z) nounwind {
  12 ; X86-LABEL: func32:
  13 ; X86:       # %bb.0:
  14 ; X86-NEXT:    pushl %esi
  15 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  16 ; X86-NEXT:    imull {{[0-9]+}}(%esp), %eax
  17 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
  18 ; X86-NEXT:    xorl %ecx, %ecx
  19 ; X86-NEXT:    movl %eax, %esi
  20 ; X86-NEXT:    addl %edx, %esi
  21 ; X86-NEXT:    setns %cl
  22 ; X86-NEXT:    addl $2147483647, %ecx # imm = 0x7FFFFFFF
  23 ; X86-NEXT:    addl %edx, %eax
  24 ; X86-NEXT:    cmovol %ecx, %eax
  25 ; X86-NEXT:    popl %esi
  26 ; X86-NEXT:    retl
  27 ;
  28 ; X64-LABEL: func32:
  29 ; X64:       # %bb.0:
  30 ; X64-NEXT:    imull %edx, %esi
  31 ; X64-NEXT:    xorl %eax, %eax
  32 ; X64-NEXT:    movl %edi, %ecx
  33 ; X64-NEXT:    addl %esi, %ecx
  34 ; X64-NEXT:    setns %al
  35 ; X64-NEXT:    addl $2147483647, %eax # imm = 0x7FFFFFFF
  36 ; X64-NEXT:    addl %edi, %esi
  37 ; X64-NEXT:    cmovnol %esi, %eax
  38 ; X64-NEXT:    retq
  39   %a = mul i32 %y, %z
  40   %tmp = call i32 @llvm.sadd.sat.i32(i32 %x, i32 %a)
  41   ret i32 %tmp
  42 }
  43
  44 define i64 @func64(i64 %x, i64 %y, i64 %z) nounwind {
  45 ; X86-LABEL: func64:
  46 ; X86:       # %bb.0:
  47 ; X86-NEXT:    pushl %ebp
  48 ; X86-NEXT:    pushl %ebx
  49 ; X86-NEXT:    pushl %edi
  50 ; X86-NEXT:    pushl %esi
  51 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
  52 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edi
  53 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ebx
  54 ; X86-NEXT:    addl {{[0-9]+}}(%esp), %edi
  55 ; X86-NEXT:    movl %ebx, %ebp
  56 ; X86-NEXT:    adcl %esi, %ebp
  57 ; X86-NEXT:    movl %ebp, %eax
  58 ; X86-NEXT:    sarl $31, %eax
  59 ; X86-NEXT:    xorl %ecx, %ecx
  60 ; X86-NEXT:    testl %ebp, %ebp
  61 ; X86-NEXT:    setns %cl
  62 ; X86-NEXT:    movl %ecx, %edx
  63 ; X86-NEXT:    addl $2147483647, %edx # imm = 0x7FFFFFFF
  64 ; X86-NEXT:    testl %ebx, %ebx
  65 ; X86-NEXT:    setns %bl
  66 ; X86-NEXT:    cmpb %cl, %bl
  67 ; X86-NEXT:    setne %cl
  68 ; X86-NEXT:    testl %esi, %esi
  69 ; X86-NEXT:    setns %ch
  70 ; X86-NEXT:    cmpb %ch, %bl
  71 ; X86-NEXT:    sete %ch
  72 ; X86-NEXT:    testb %cl, %ch
  73 ; X86-NEXT:    cmovel %ebp, %edx
  74 ; X86-NEXT:    cmovel %edi, %eax
  75 ; X86-NEXT:    popl %esi
  76 ; X86-NEXT:    popl %edi
  77 ; X86-NEXT:    popl %ebx
  78 ; X86-NEXT:    popl %ebp
  79 ; X86-NEXT:    retl
  80 ;
  81 ; X64-LABEL: func64:
  82 ; X64:       # %bb.0:
  83 ; X64-NEXT:    xorl %ecx, %ecx
  84 ; X64-NEXT:    movq %rdi, %rax
  85 ; X64-NEXT:    addq %rdx, %rax
  86 ; X64-NEXT:    setns %cl
  87 ; X64-NEXT:    movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF
  88 ; X64-NEXT:    addq %rcx, %rax
  89 ; X64-NEXT:    addq %rdx, %rdi
  90 ; X64-NEXT:    cmovnoq %rdi, %rax
  91 ; X64-NEXT:    retq
  92   %a = mul i64 %y, %z
  93   %tmp = call i64 @llvm.sadd.sat.i64(i64 %x, i64 %z)
  94   ret i64 %tmp
  95 }
  96
  97 define signext i16 @func16(i16 signext %x, i16 signext %y, i16 signext %z) nounwind {
  98 ; X86-LABEL: func16:
  99 ; X86:       # %bb.0:
 100 ; X86-NEXT:    pushl %esi
 101 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 102 ; X86-NEXT:    imulw {{[0-9]+}}(%esp), %ax
 103 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %edx
 104 ; X86-NEXT:    xorl %ecx, %ecx
 105 ; X86-NEXT:    movl %eax, %esi
 106 ; X86-NEXT:    addw %dx, %si
 107 ; X86-NEXT:    setns %cl
 108 ; X86-NEXT:    addl $32767, %ecx # imm = 0x7FFF
 109 ; X86-NEXT:    addw %dx, %ax
 110 ; X86-NEXT:    cmovol %ecx, %eax
 111 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 112 ; X86-NEXT:    popl %esi
 113 ; X86-NEXT:    retl
 114 ;
 115 ; X64-LABEL: func16:
 116 ; X64:       # %bb.0:
 117 ; X64-NEXT:    imull %edx, %esi
 118 ; X64-NEXT:    xorl %eax, %eax
 119 ; X64-NEXT:    movl %edi, %ecx
 120 ; X64-NEXT:    addw %si, %cx
 121 ; X64-NEXT:    setns %al
 122 ; X64-NEXT:    addl $32767, %eax # imm = 0x7FFF
 123 ; X64-NEXT:    addw %si, %di
 124 ; X64-NEXT:    cmovnol %edi, %eax
 125 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 126 ; X64-NEXT:    retq
 127   %a = mul i16 %y, %z
 128   %tmp = call i16 @llvm.sadd.sat.i16(i16 %x, i16 %a)
 129   ret i16 %tmp
 130 }
 131
 132 define signext i8 @func8(i8 signext %x, i8 signext %y, i8 signext %z) nounwind {
 133 ; X86-LABEL: func8:
 134 ; X86:       # %bb.0:
 135 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %al
 136 ; X86-NEXT:    mulb {{[0-9]+}}(%esp)
 137 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %dl
 138 ; X86-NEXT:    xorl %ecx, %ecx
 139 ; X86-NEXT:    movb %al, %ah
 140 ; X86-NEXT:    addb %dl, %ah
 141 ; X86-NEXT:    setns %cl
 142 ; X86-NEXT:    addl $127, %ecx
 143 ; X86-NEXT:    addb %dl, %al
 144 ; X86-NEXT:    movzbl %al, %eax
 145 ; X86-NEXT:    cmovol %ecx, %eax
 146 ; X86-NEXT:    # kill: def $al killed $al killed $eax
 147 ; X86-NEXT:    retl
 148 ;
 149 ; X64-LABEL: func8:
 150 ; X64:       # %bb.0:
 151 ; X64-NEXT:    movl %esi, %eax
 152 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 153 ; X64-NEXT:    mulb %dl
 154 ; X64-NEXT:    xorl %ecx, %ecx
 155 ; X64-NEXT:    movl %edi, %edx
 156 ; X64-NEXT:    addb %al, %dl
 157 ; X64-NEXT:    setns %cl
 158 ; X64-NEXT:    addl $127, %ecx
 159 ; X64-NEXT:    addb %al, %dil
 160 ; X64-NEXT:    movzbl %dil, %eax
 161 ; X64-NEXT:    cmovol %ecx, %eax
 162 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 163 ; X64-NEXT:    retq
 164   %a = mul i8 %y, %z
 165   %tmp = call i8 @llvm.sadd.sat.i8(i8 %x, i8 %a)
 166   ret i8 %tmp
 167 }
 168
 169 define signext i4 @func4(i4 signext %x, i4 signext %y, i4 signext %z) nounwind {
 170 ; X86-LABEL: func4:
 171 ; X86:       # %bb.0:
 172 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %al
 173 ; X86-NEXT:    mulb {{[0-9]+}}(%esp)
 174 ; X86-NEXT:    shlb $4, %al
 175 ; X86-NEXT:    sarb $4, %al
 176 ; X86-NEXT:    addb {{[0-9]+}}(%esp), %al
 177 ; X86-NEXT:    movzbl %al, %ecx
 178 ; X86-NEXT:    cmpb $7, %al
 179 ; X86-NEXT:    movl $7, %eax
 180 ; X86-NEXT:    cmovll %ecx, %eax
 181 ; X86-NEXT:    cmpb $-8, %al
 182 ; X86-NEXT:    movl $248, %ecx
 183 ; X86-NEXT:    cmovgl %eax, %ecx
 184 ; X86-NEXT:    movsbl %cl, %eax
 185 ; X86-NEXT:    retl
 186 ;
 187 ; X64-LABEL: func4:
 188 ; X64:       # %bb.0:
 189 ; X64-NEXT:    movl %esi, %eax
 190 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 191 ; X64-NEXT:    mulb %dl
 192 ; X64-NEXT:    shlb $4, %al
 193 ; X64-NEXT:    sarb $4, %al
 194 ; X64-NEXT:    addb %dil, %al
 195 ; X64-NEXT:    movzbl %al, %eax
 196 ; X64-NEXT:    cmpb $7, %al
 197 ; X64-NEXT:    movl $7, %ecx
 198 ; X64-NEXT:    cmovll %eax, %ecx
 199 ; X64-NEXT:    cmpb $-8, %cl
 200 ; X64-NEXT:    movl $248, %eax
 201 ; X64-NEXT:    cmovgl %ecx, %eax
 202 ; X64-NEXT:    movsbl %al, %eax
 203 ; X64-NEXT:    retq
 204   %a = mul i4 %y, %z
 205   %tmp = call i4 @llvm.sadd.sat.i4(i4 %x, i4 %a)
 206   ret i4 %tmp
 207 }