test/CodeGen/SPARC/fp128.ll

   1 ; RUN: llc < %s -march=sparc -mattr=hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=HARD --check-prefix=BE
   2 ; RUN: llc < %s -march=sparcel -mattr=hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=HARD --check-prefix=EL
   3 ; RUN: llc < %s -march=sparc -mattr=-hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=SOFT --check-prefix=BE
   4 ; RUN: llc < %s -march=sparcel -mattr=-hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=SOFT --check-prefix=EL
   5
   6
   7 ; CHECK-LABEL: f128_ops:
   8 ; CHECK:      ldd
   9 ; CHECK:      ldd
  10 ; CHECK:      ldd
  11 ; CHECK:      ldd
  12 ; HARD:       faddq [[R0:.+]],  [[R1:.+]],  [[R2:.+]]
  13 ; HARD:       fsubq [[R2]], [[R3:.+]], [[R4:.+]]
  14 ; HARD:       fmulq [[R4]], [[R5:.+]], [[R6:.+]]
  15 ; HARD:       fdivq [[R6]], [[R2]]
  16 ; SOFT:       call _Q_add
  17 ; SOFT:       call _Q_sub
  18 ; SOFT:       call _Q_mul
  19 ; SOFT:       call _Q_div
  20 ; CHECK:      std
  21 ; CHECK:      std
  22
  23 define void @f128_ops(fp128* noalias sret %scalar.result, fp128* byval %a, fp128* byval %b, fp128* byval %c, fp128* byval %d) {
  24 entry:
  25   %0 = load fp128, fp128* %a, align 8
  26   %1 = load fp128, fp128* %b, align 8
  27   %2 = load fp128, fp128* %c, align 8
  28   %3 = load fp128, fp128* %d, align 8
  29   %4 = fadd fp128 %0, %1
  30   %5 = fsub fp128 %4, %2
  31   %6 = fmul fp128 %5, %3
  32   %7 = fdiv fp128 %6, %4
  33   store fp128 %7, fp128* %scalar.result, align 8
  34   ret void
  35 }
  36
  37 ; CHECK-LABEL: f128_spill:
  38 ; CHECK:       std %f{{.+}}, [%[[S0:.+]]]
  39 ; CHECK:       std %f{{.+}}, [%[[S1:.+]]]
  40 ; CHECK-DAG:   ldd [%[[S0]]], %f{{.+}}
  41 ; CHECK-DAG:   ldd [%[[S1]]], %f{{.+}}
  42 ; CHECK:       jmp {{%[oi]7}}+12
  43
  44 define void @f128_spill(fp128* noalias sret %scalar.result, fp128* byval %a) {
  45 entry:
  46   %0 = load fp128, fp128* %a, align 8
  47   call void asm sideeffect "", "~{f0},~{f1},~{f2},~{f3},~{f4},~{f5},~{f6},~{f7},~{f8},~{f9},~{f10},~{f11},~{f12},~{f13},~{f14},~{f15},~{f16},~{f17},~{f18},~{f19},~{f20},~{f21},~{f22},~{f23},~{f24},~{f25},~{f26},~{f27},~{f28},~{f29},~{f30},~{f31}"()
  48   store fp128 %0, fp128* %scalar.result, align 8
  49   ret void
  50 }
  51
  52 ; CHECK-LABEL: f128_compare:
  53 ; HARD:       fcmpq
  54 ; HARD-NEXT:  nop
  55 ; SOFT:       _Q_cmp
  56
  57 define i32 @f128_compare(fp128* byval %f0, fp128* byval %f1, i32 %a, i32 %b) {
  58 entry:
  59    %0 = load fp128, fp128* %f0, align 8
  60    %1 = load fp128, fp128* %f1, align 8
  61    %cond = fcmp ult fp128 %0, %1
  62    %ret = select i1 %cond, i32 %a, i32 %b
  63    ret i32 %ret
  64 }
  65
  66 ; CHECK-LABEL: f128_compare2:
  67 ; HARD:        fcmpq
  68 ; HARD:        fb{{ule|g}}
  69 ; SOFT:       _Q_cmp
  70 ; SOFT:       cmp
  71
  72 define i32 @f128_compare2() {
  73 entry:
  74   %0 = fcmp ogt fp128 undef, 0xL00000000000000000000000000000000
  75   br i1 %0, label %"5", label %"7"
  76
  77 "5":                                              ; preds = %entry
  78   ret i32 0
  79
  80 "7":                                              ; preds = %entry
  81   ret i32 1
  82 }
  83
  84
  85 ; CHECK-LABEL: f128_abs:
  86 ; CHECK:       ldd [%o0], %f0
  87 ; CHECK:       ldd [%o0+8], %f2
  88 ; BE:          fabss %f0, %f0
  89 ; EL:          fabss %f3, %f3
  90
  91 define void @f128_abs(fp128* noalias sret %scalar.result, fp128* byval %a) {
  92 entry:
  93   %0 = load fp128, fp128* %a, align 8
  94   %1 = tail call fp128 @llvm.fabs.f128(fp128 %0)
  95   store fp128 %1, fp128* %scalar.result, align 8
  96   ret void
  97 }
  98
  99 declare fp128 @llvm.fabs.f128(fp128) nounwind readonly
 100
 101 ; CHECK-LABEL: int_to_f128:
 102 ; HARD:       fitoq
 103 ; SOFT:       _Q_itoq
 104
 105 define void @int_to_f128(fp128* noalias sret %scalar.result, i32 %i) {
 106 entry:
 107   %0 = sitofp i32 %i to fp128
 108   store fp128 %0, fp128* %scalar.result, align 8
 109   ret void
 110 }
 111
 112 ; CHECK-LABEL: fp128_unaligned:
 113 ; CHECK:       ldub
 114 ; HARD:        faddq
 115 ; SOFT:       call _Q_add
 116 ; CHECK:       stb
 117 ; CHECK:       ret
 118
 119 define void @fp128_unaligned(fp128* %a, fp128* %b, fp128* %c) {
 120 entry:
 121   %0 = load fp128, fp128* %a, align 1
 122   %1 = load fp128, fp128* %b, align 1
 123   %2 = fadd fp128 %0, %1
 124   store fp128 %2, fp128* %c, align 1
 125   ret void
 126 }
 127
 128 ; CHECK-LABEL: uint_to_f128:
 129 ; HARD:       fdtoq
 130 ; SOFT:       _Q_utoq
 131
 132 define void @uint_to_f128(fp128* noalias sret %scalar.result, i32 %i) {
 133 entry:
 134   %0 = uitofp i32 %i to fp128
 135   store fp128 %0, fp128* %scalar.result, align 8
 136   ret void
 137 }
 138
 139 ; CHECK-LABEL: f128_to_i32:
 140 ; HARD:       fqtoi
 141 ; HARD:       fqtoi
 142 ; SOFT:       call _Q_qtou
 143 ; SOFT:       call _Q_qtoi
 144
 145
 146 define i32 @f128_to_i32(fp128* %a, fp128* %b) {
 147 entry:
 148   %0 = load fp128, fp128* %a, align 8
 149   %1 = load fp128, fp128* %b, align 8
 150   %2 = fptoui fp128 %0 to i32
 151   %3 = fptosi fp128 %1 to i32
 152   %4 = add i32 %2, %3
 153   ret i32 %4
 154 }
 155
 156 ; CHECK-LABEL:   test_itoq_qtoi
 157 ; HARD-DAG:      call _Q_lltoq
 158 ; HARD-DAG:      call _Q_qtoll
 159 ; HARD-DAG:      fitoq
 160 ; HARD-DAG:      fqtoi
 161 ; SOFT-DAG:      call _Q_lltoq
 162 ; SOFT-DAG:      call _Q_qtoll
 163 ; SOFT-DAG:      call _Q_itoq
 164 ; SOFT-DAG:      call _Q_qtoi
 165
 166 define void @test_itoq_qtoi(i64 %a, i32 %b, fp128* %c, fp128* %d, i64* %ptr0, fp128* %ptr1) {
 167 entry:
 168   %0 = sitofp i64 %a to fp128
 169   store  fp128 %0, fp128* %ptr1, align 8
 170   %cval = load fp128, fp128* %c, align 8
 171   %1 = fptosi fp128 %cval to i64
 172   store  i64 %1, i64* %ptr0, align 8
 173   %2 = sitofp i32 %b to fp128
 174   store  fp128 %2, fp128* %ptr1, align 8
 175   %dval = load fp128, fp128* %d, align 8
 176   %3 = fptosi fp128 %dval to i32
 177   %4 = bitcast i64* %ptr0 to i32*
 178   store  i32 %3, i32* %4, align 8
 179   ret void
 180 }
 181
 182 ; CHECK-LABEL:   test_utoq_qtou:
 183 ; CHECK-DAG:     call _Q_ulltoq
 184 ; CHECK-DAG:     call _Q_qtoull
 185 ; HARD-DAG:      fdtoq
 186 ; HARD-DAG:      fqtoi
 187 ; SOFT-DAG:      call _Q_utoq
 188 ; SOFT-DAG:      call _Q_qtou
 189
 190 define void @test_utoq_qtou(i64 %a, i32 %b, fp128* %c, fp128* %d, i64* %ptr0, fp128* %ptr1) {
 191 entry:
 192   %0 = uitofp i64 %a to fp128
 193   store  fp128 %0, fp128* %ptr1, align 8
 194   %cval = load fp128, fp128* %c, align 8
 195   %1 = fptoui fp128 %cval to i64
 196   store  i64 %1, i64* %ptr0, align 8
 197   %2 = uitofp i32 %b to fp128
 198   store  fp128 %2, fp128* %ptr1, align 8
 199   %dval = load fp128, fp128* %d, align 8
 200   %3 = fptoui fp128 %dval to i32
 201   %4 = bitcast i64* %ptr0 to i32*
 202   store  i32 %3, i32* %4, align 8
 203   ret void
 204 }
 205
 206 ; CHECK-LABEL: f128_neg:
 207 ; CHECK:       ldd [%o0], %f0
 208 ; CHECK:       ldd [%o0+8], %f2
 209 ; BE:          fnegs %f0, %f0
 210 ; EL:          fnegs %f3, %f3
 211
 212 define void @f128_neg(fp128* noalias sret %scalar.result, fp128* byval %a) {
 213 entry:
 214   %0 = load fp128, fp128* %a, align 8
 215   %1 = fsub fp128 0xL00000000000000008000000000000000, %0
 216   store fp128 %1, fp128* %scalar.result, align 8
 217   ret void
 218 }