llvm/test/CodeGen/X86/fast-isel-fneg.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -fast-isel -fast-isel-abort=3 -mtriple=x86_64-apple-darwin10 | FileCheck %s
   3 ; RUN: llc < %s -fast-isel -mtriple=i686-- -mattr=+sse2 | FileCheck --check-prefix=SSE2 %s
   4
   5 define double @fneg_f64(double %x) nounwind {
   6 ; CHECK-LABEL: fneg_f64:
   7 ; CHECK:       ## %bb.0:
   8 ; CHECK-NEXT:    movq %xmm0, %rax
   9 ; CHECK-NEXT:    movabsq $-9223372036854775808, %rcx ## imm = 0x8000000000000000
  10 ; CHECK-NEXT:    xorq %rax, %rcx
  11 ; CHECK-NEXT:    movq %rcx, %xmm0
  12 ; CHECK-NEXT:    retq
  13 ;
  14 ; SSE2-LABEL: fneg_f64:
  15 ; SSE2:       # %bb.0:
  16 ; SSE2-NEXT:    pushl %ebp
  17 ; SSE2-NEXT:    movl %esp, %ebp
  18 ; SSE2-NEXT:    andl $-8, %esp
  19 ; SSE2-NEXT:    subl $8, %esp
  20 ; SSE2-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
  21 ; SSE2-NEXT:    xorps {{\.?LCPI[0-9]+_[0-9]+}}, %xmm0
  22 ; SSE2-NEXT:    movlps %xmm0, (%esp)
  23 ; SSE2-NEXT:    fldl (%esp)
  24 ; SSE2-NEXT:    movl %ebp, %esp
  25 ; SSE2-NEXT:    popl %ebp
  26 ; SSE2-NEXT:    retl
  27   %y = fneg double %x
  28   ret double %y
  29 }
  30
  31 define float @fneg_f32(float %x) nounwind {
  32 ; CHECK-LABEL: fneg_f32:
  33 ; CHECK:       ## %bb.0:
  34 ; CHECK-NEXT:    movd %xmm0, %eax
  35 ; CHECK-NEXT:    xorl $2147483648, %eax ## imm = 0x80000000
  36 ; CHECK-NEXT:    movd %eax, %xmm0
  37 ; CHECK-NEXT:    retq
  38 ;
  39 ; SSE2-LABEL: fneg_f32:
  40 ; SSE2:       # %bb.0:
  41 ; SSE2-NEXT:    pushl %eax
  42 ; SSE2-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
  43 ; SSE2-NEXT:    xorps {{\.?LCPI[0-9]+_[0-9]+}}, %xmm0
  44 ; SSE2-NEXT:    movss %xmm0, (%esp)
  45 ; SSE2-NEXT:    flds (%esp)
  46 ; SSE2-NEXT:    popl %eax
  47 ; SSE2-NEXT:    retl
  48   %y = fneg float %x
  49   ret float %y
  50 }
  51
  52 define void @fneg_f64_mem(ptr %x, ptr %y) nounwind {
  53 ; CHECK-LABEL: fneg_f64_mem:
  54 ; CHECK:       ## %bb.0:
  55 ; CHECK-NEXT:    movq {{.*#+}} xmm0 = mem[0],zero
  56 ; CHECK-NEXT:    movq %xmm0, %rax
  57 ; CHECK-NEXT:    movabsq $-9223372036854775808, %rcx ## imm = 0x8000000000000000
  58 ; CHECK-NEXT:    xorq %rax, %rcx
  59 ; CHECK-NEXT:    movq %rcx, %xmm0
  60 ; CHECK-NEXT:    movq %xmm0, (%rsi)
  61 ; CHECK-NEXT:    retq
  62 ;
  63 ; SSE2-LABEL: fneg_f64_mem:
  64 ; SSE2:       # %bb.0:
  65 ; SSE2-NEXT:    movl {{[0-9]+}}(%esp), %eax
  66 ; SSE2-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  67 ; SSE2-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
  68 ; SSE2-NEXT:    xorps {{\.?LCPI[0-9]+_[0-9]+}}, %xmm0
  69 ; SSE2-NEXT:    movsd %xmm0, (%eax)
  70 ; SSE2-NEXT:    retl
  71   %a = load double, ptr %x
  72   %b = fneg double %a
  73   store double %b, ptr %y
  74   ret void
  75 }
  76
  77 define void @fneg_f32_mem(ptr %x, ptr %y) nounwind {
  78 ; CHECK-LABEL: fneg_f32_mem:
  79 ; CHECK:       ## %bb.0:
  80 ; CHECK-NEXT:    movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
  81 ; CHECK-NEXT:    movd %xmm0, %eax
  82 ; CHECK-NEXT:    xorl $2147483648, %eax ## imm = 0x80000000
  83 ; CHECK-NEXT:    movd %eax, %xmm0
  84 ; CHECK-NEXT:    movd %xmm0, (%rsi)
  85 ; CHECK-NEXT:    retq
  86 ;
  87 ; SSE2-LABEL: fneg_f32_mem:
  88 ; SSE2:       # %bb.0:
  89 ; SSE2-NEXT:    movl {{[0-9]+}}(%esp), %eax
  90 ; SSE2-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  91 ; SSE2-NEXT:    movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
  92 ; SSE2-NEXT:    movd %xmm0, %ecx
  93 ; SSE2-NEXT:    xorl $2147483648, %ecx # imm = 0x80000000
  94 ; SSE2-NEXT:    movd %ecx, %xmm0
  95 ; SSE2-NEXT:    movd %xmm0, (%eax)
  96 ; SSE2-NEXT:    retl
  97   %a = load float, ptr %x
  98   %b = fneg float %a
  99   store float %b, ptr %y
 100   ret void
 101 }