llvm/test/CodeGen/VE/Scalar/fp_sub.ll

   1 ; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
   2
   3 define float @func1(float %a, float %b) {
   4 ; CHECK-LABEL: func1:
   5 ; CHECK:       # %bb.0:
   6 ; CHECK-NEXT:    fsub.s %s0, %s0, %s1
   7 ; CHECK-NEXT:    b.l.t (, %s10)
   8   %r = fsub float %a, %b
   9   ret float %r
  10 }
  11
  12 define double @func2(double %a, double %b) {
  13 ; CHECK-LABEL: func2:
  14 ; CHECK:       # %bb.0:
  15 ; CHECK-NEXT:    fsub.d %s0, %s0, %s1
  16 ; CHECK-NEXT:    b.l.t (, %s10)
  17   %r = fsub double %a, %b
  18   ret double %r
  19 }
  20
  21 define fp128 @func3(fp128 %a, fp128 %b) {
  22 ; CHECK-LABEL: func3:
  23 ; CHECK:       # %bb.0:
  24 ; CHECK-NEXT:    fsub.q %s0, %s0, %s2
  25 ; CHECK-NEXT:    b.l.t (, %s10)
  26   %r = fsub fp128 %a, %b
  27   ret fp128 %r
  28 }
  29
  30 define float @func4(float %a) {
  31 ; CHECK-LABEL: func4:
  32 ; CHECK:       # %bb.0:
  33 ; CHECK-NEXT:    lea.sl %s1, -1063256064
  34 ; CHECK-NEXT:    fadd.s %s0, %s0, %s1
  35 ; CHECK-NEXT:    b.l.t (, %s10)
  36   %r = fadd float %a, -5.000000e+00
  37   ret float %r
  38 }
  39
  40 define double @func5(double %a) {
  41 ; CHECK-LABEL: func5:
  42 ; CHECK:       # %bb.0:
  43 ; CHECK-NEXT:    lea.sl %s1, -1072431104
  44 ; CHECK-NEXT:    fadd.d %s0, %s0, %s1
  45 ; CHECK-NEXT:    b.l.t (, %s10)
  46   %r = fadd double %a, -5.000000e+00
  47   ret double %r
  48 }
  49
  50 define fp128 @func6(fp128 %a) {
  51 ; CHECK-LABEL: func6:
  52 ; CHECK:       # %bb.0:
  53 ; CHECK-NEXT:    lea %s2, .LCPI{{[0-9]+}}_0@lo
  54 ; CHECK-NEXT:    and %s2, %s2, (32)0
  55 ; CHECK-NEXT:    lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)
  56 ; CHECK-NEXT:    ld %s4, 8(, %s2)
  57 ; CHECK-NEXT:    ld %s5, (, %s2)
  58 ; CHECK-NEXT:    fadd.q %s0, %s0, %s4
  59 ; CHECK-NEXT:    b.l.t (, %s10)
  60   %r = fadd fp128 %a, 0xL0000000000000000C001400000000000
  61   ret fp128 %r
  62 }
  63
  64 define float @func7(float %a) {
  65 ; CHECK-LABEL: func7:
  66 ; CHECK:       # %bb.0:
  67 ; CHECK-NEXT:    lea.sl %s1, -8388609
  68 ; CHECK-NEXT:    fadd.s %s0, %s0, %s1
  69 ; CHECK-NEXT:    b.l.t (, %s10)
  70   %r = fadd float %a, 0xC7EFFFFFE0000000
  71   ret float %r
  72 }
  73
  74 define double @func8(double %a) {
  75 ; CHECK-LABEL: func8:
  76 ; CHECK:       # %bb.0:
  77 ; CHECK-NEXT:    lea %s1, -1
  78 ; CHECK-NEXT:    and %s1, %s1, (32)0
  79 ; CHECK-NEXT:    lea.sl %s1, -1048577(, %s1)
  80 ; CHECK-NEXT:    fadd.d %s0, %s0, %s1
  81 ; CHECK-NEXT:    b.l.t (, %s10)
  82   %r = fadd double %a, 0xFFEFFFFFFFFFFFFF
  83   ret double %r
  84 }
  85
  86 define fp128 @func9(fp128 %a) {
  87 ; CHECK-LABEL: func9:
  88 ; CHECK:       # %bb.0:
  89 ; CHECK-NEXT:    lea %s2, .LCPI{{[0-9]+}}_0@lo
  90 ; CHECK-NEXT:    and %s2, %s2, (32)0
  91 ; CHECK-NEXT:    lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)
  92 ; CHECK-NEXT:    ld %s4, 8(, %s2)
  93 ; CHECK-NEXT:    ld %s5, (, %s2)
  94 ; CHECK-NEXT:    fadd.q %s0, %s0, %s4
  95 ; CHECK-NEXT:    b.l.t (, %s10)
  96   %r = fadd fp128 %a, 0xLFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFF
  97   ret fp128 %r
  98 }
  99
 100 define float @fsubs_ir(float %a) {
 101 ; CHECK-LABEL: fsubs_ir:
 102 ; CHECK:       # %bb.0:
 103 ; CHECK-NEXT:    fsub.s %s0, 0, %s0
 104 ; CHECK-NEXT:    b.l.t (, %s10)
 105   %r = fsub float 0.e+00, %a
 106   ret float %r
 107 }
 108
 109 define float @fsubs_ri(float %a) {
 110 ; CHECK-LABEL: fsubs_ri:
 111 ; CHECK:       # %bb.0:
 112 ; CHECK-NEXT:    fadd.s %s0, %s0, (2)1
 113 ; CHECK-NEXT:    b.l.t (, %s10)
 114   %r = fsub float %a, 2.0e+00
 115   ret float %r
 116 }