test/CodeGen/Thumb2/float-ops.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-none-eabi   -mcpu=cortex-m3 | FileCheck %s -check-prefix=CHECK -check-prefix=NONE
   2 ; RUN: llc < %s -mtriple=thumbv7-none-eabihf -mcpu=cortex-m4 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=SP
   3 ; RUN: llc < %s -mtriple=thumbv7-none-eabihf -mcpu=cortex-a8 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=DP
   4
   5 define float @add_f(float %a, float %b) {
   6 entry:
   7 ; CHECK-LABEL: add_f:
   8 ; NONE: bl __aeabi_fadd
   9 ; HARD: vadd.f32  s0, s0, s1
  10   %0 = fadd float %a, %b
  11   ret float %0
  12 }
  13
  14 define double @add_d(double %a, double %b) {
  15 entry:
  16 ; CHECK-LABEL: add_d:
  17 ; NONE: bl __aeabi_dadd
  18 ; SP: bl __aeabi_dadd
  19 ; DP: vadd.f64  d0, d0, d1
  20   %0 = fadd double %a, %b
  21   ret double %0
  22 }
  23
  24 define float @sub_f(float %a, float %b) {
  25 entry:
  26 ; CHECK-LABEL: sub_f:
  27 ; NONE: bl __aeabi_fsub
  28 ; HARD: vsub.f32  s
  29   %0 = fsub float %a, %b
  30   ret float %0
  31 }
  32
  33 define double @sub_d(double %a, double %b) {
  34 entry:
  35 ; CHECK-LABEL: sub_d:
  36 ; NONE: bl __aeabi_dsub
  37 ; SP: bl __aeabi_dsub
  38 ; DP: vsub.f64  d0, d0, d1
  39   %0 = fsub double %a, %b
  40   ret double %0
  41 }
  42
  43 define float @mul_f(float %a, float %b) {
  44 entry:
  45 ; CHECK-LABEL: mul_f:
  46 ; NONE: bl __aeabi_fmul
  47 ; HARD: vmul.f32  s
  48   %0 = fmul float %a, %b
  49   ret float %0
  50 }
  51
  52 define double @mul_d(double %a, double %b) {
  53 entry:
  54 ; CHECK-LABEL: mul_d:
  55 ; NONE: bl __aeabi_dmul
  56 ; SP: bl __aeabi_dmul
  57 ; DP: vmul.f64  d0, d0, d1
  58   %0 = fmul double %a, %b
  59   ret double %0
  60 }
  61
  62 define float @div_f(float %a, float %b) {
  63 entry:
  64 ; CHECK-LABEL: div_f:
  65 ; NONE: bl __aeabi_fdiv
  66 ; HARD: vdiv.f32  s
  67   %0 = fdiv float %a, %b
  68   ret float %0
  69 }
  70
  71 define double @div_d(double %a, double %b) {
  72 entry:
  73 ; CHECK-LABEL: div_d:
  74 ; NONE: bl __aeabi_ddiv
  75 ; SP: bl __aeabi_ddiv
  76 ; DP: vdiv.f64  d0, d0, d1
  77   %0 = fdiv double %a, %b
  78   ret double %0
  79 }
  80
  81 define float @rem_f(float %a, float %b) {
  82 entry:
  83 ; CHECK-LABEL: rem_f:
  84 ; NONE: bl fmodf
  85 ; HARD: b fmodf
  86   %0 = frem float %a, %b
  87   ret float %0
  88 }
  89
  90 define double @rem_d(double %a, double %b) {
  91 entry:
  92 ; CHECK-LABEL: rem_d:
  93 ; NONE: bl fmod
  94 ; HARD: b fmod
  95   %0 = frem double %a, %b
  96   ret double %0
  97 }
  98
  99 define float @load_f(float* %a) {
 100 entry:
 101 ; CHECK-LABEL: load_f:
 102 ; NONE: ldr r0, [r0]
 103 ; HARD: vldr s0, [r0]
 104   %0 = load float* %a, align 4
 105   ret float %0
 106 }
 107
 108 define double @load_d(double* %a) {
 109 entry:
 110 ; CHECK-LABEL: load_d:
 111 ; NONE: ldm.w r0, {r0, r1}
 112 ; HARD: vldr d0, [r0]
 113   %0 = load double* %a, align 8
 114   ret double %0
 115 }
 116
 117 define void @store_f(float* %a, float %b) {
 118 entry:
 119 ; CHECK-LABEL: store_f:
 120 ; NONE: str r1, [r0]
 121 ; HARD: vstr s0, [r0]
 122   store float %b, float* %a, align 4
 123   ret void
 124 }
 125
 126 define void @store_d(double* %a, double %b) {
 127 entry:
 128 ; CHECK-LABEL: store_d:
 129 ; NONE: mov r1, r3
 130 ; NONE: str r2, [r0]
 131 ; NONE: str r1, [r0, #4]
 132 ; HARD: vstr d0, [r0]
 133   store double %b, double* %a, align 8
 134   ret void
 135 }
 136
 137 define double @f_to_d(float %a) {
 138 ; CHECK-LABEL: f_to_d:
 139 ; NONE: bl __aeabi_f2d
 140 ; SP: bl __aeabi_f2d
 141 ; DP: vcvt.f64.f32 d0, s0
 142   %1 = fpext float %a to double
 143   ret double %1
 144 }
 145
 146 define float @d_to_f(double %a) {
 147 ; CHECK-LABEL: d_to_f:
 148 ; NONE: bl __aeabi_d2f
 149 ; SP: bl __aeabi_d2f
 150 ; DP: vcvt.f32.f64 s0, d0
 151   %1 = fptrunc double %a to float
 152   ret float %1
 153 }
 154
 155 define i32 @f_to_si(float %a) {
 156 ; CHECK-LABEL: f_to_si:
 157 ; NONE: bl __aeabi_f2iz
 158 ; HARD: vcvt.s32.f32 s0, s0
 159 ; HARD: vmov r0, s0
 160   %1 = fptosi float %a to i32
 161   ret i32 %1
 162 }
 163
 164 define i32 @d_to_si(double %a) {
 165 ; CHECK-LABEL: d_to_si:
 166 ; NONE: bl __aeabi_d2iz
 167 ; SP: vmov r0, r1, d0
 168 ; SP: bl __aeabi_d2iz
 169 ; DP: vcvt.s32.f64 s0, d0
 170 ; DP: vmov r0, s0
 171   %1 = fptosi double %a to i32
 172   ret i32 %1
 173 }
 174
 175 define i32 @f_to_ui(float %a) {
 176 ; CHECK-LABEL: f_to_ui:
 177 ; NONE: bl __aeabi_f2uiz
 178 ; HARD: vcvt.u32.f32 s0, s0
 179 ; HARD: vmov r0, s0
 180   %1 = fptoui float %a to i32
 181   ret i32 %1
 182 }
 183
 184 define i32 @d_to_ui(double %a) {
 185 ; CHECK-LABEL: d_to_ui:
 186 ; NONE: bl __aeabi_d2uiz
 187 ; SP: vmov r0, r1, d0
 188 ; SP: bl __aeabi_d2uiz
 189 ; DP: vcvt.u32.f64 s0, d0
 190 ; DP: vmov r0, s0
 191   %1 = fptoui double %a to i32
 192   ret i32 %1
 193 }
 194
 195 define float @si_to_f(i32 %a) {
 196 ; CHECK-LABEL: si_to_f:
 197 ; NONE: bl __aeabi_i2f
 198 ; HARD: vcvt.f32.s32 s0, s0
 199   %1 = sitofp i32 %a to float
 200   ret float %1
 201 }
 202
 203 define double @si_to_d(i32 %a) {
 204 ; CHECK-LABEL: si_to_d:
 205 ; NONE: bl __aeabi_i2d
 206 ; SP: bl __aeabi_i2d
 207 ; DP: vcvt.f64.s32 d0, s0
 208   %1 = sitofp i32 %a to double
 209   ret double %1
 210 }
 211
 212 define float @ui_to_f(i32 %a) {
 213 ; CHECK-LABEL: ui_to_f:
 214 ; NONE: bl __aeabi_ui2f
 215 ; HARD: vcvt.f32.u32 s0, s0
 216   %1 = uitofp i32 %a to float
 217   ret float %1
 218 }
 219
 220 define double @ui_to_d(i32 %a) {
 221 ; CHECK-LABEL: ui_to_d:
 222 ; NONE: bl __aeabi_ui2d
 223 ; SP: bl __aeabi_ui2d
 224 ; DP: vcvt.f64.u32 d0, s0
 225   %1 = uitofp i32 %a to double
 226   ret double %1
 227 }
 228
 229 define float @bitcast_i_to_f(i32 %a) {
 230 ; CHECK-LABEL: bitcast_i_to_f:
 231 ; NONE-NOT: mov
 232 ; HARD: vmov s0, r0
 233   %1 = bitcast i32 %a to float
 234   ret float %1
 235 }
 236
 237 define double @bitcast_i_to_d(i64 %a) {
 238 ; CHECK-LABEL: bitcast_i_to_d:
 239 ; NONE-NOT: mov
 240 ; HARD: vmov d0, r0, r1
 241   %1 = bitcast i64 %a to double
 242   ret double %1
 243 }
 244
 245 define i32 @bitcast_f_to_i(float %a) {
 246 ; CHECK-LABEL: bitcast_f_to_i:
 247 ; NONE-NOT: mov
 248 ; HARD: vmov r0, s0
 249   %1 = bitcast float %a to i32
 250   ret i32 %1
 251 }
 252
 253 define i64 @bitcast_d_to_i(double %a) {
 254 ; CHECK-LABEL: bitcast_d_to_i:
 255 ; NONE-NOT: mov
 256 ; HARD: vmov r0, r1, d0
 257   %1 = bitcast double %a to i64
 258   ret i64 %1
 259 }
 260
 261 define float @select_f(float %a, float %b, i1 %c) {
 262 ; CHECK-LABEL: select_f:
 263 ; NONE: tst.w   r2, #1
 264 ; NONE: moveq   r0, r1
 265 ; HARD: tst.w   r0, #1
 266 ; HARD: vmovne.f32      s1, s0
 267 ; HARD: vmov.f32        s0, s1
 268   %1 = select i1 %c, float %a, float %b
 269   ret float %1
 270 }
 271
 272 define double @select_d(double %a, double %b, i1 %c) {
 273 ; CHECK-LABEL: select_d:
 274 ; NONE: ldr.w   [[REG:r[0-9]+]], [sp]
 275 ; NONE: ands    [[REG]], [[REG]], #1
 276 ; NONE: moveq   r0, r2
 277 ; NONE: moveq   r1, r3
 278 ; SP: ands r0, r0, #1
 279 ; SP-DAG: vmov [[ALO:r[0-9]+]], [[AHI:r[0-9]+]], d0
 280 ; SP-DAG: vmov [[BLO:r[0-9]+]], [[BHI:r[0-9]+]], d1
 281 ; SP: itt ne
 282 ; SP-DAG: movne [[BLO]], [[ALO]]
 283 ; SP-DAG: movne [[BHI]], [[AHI]]
 284 ; SP: vmov d0, [[BLO]], [[BHI]]
 285 ; DP: tst.w   r0, #1
 286 ; DP: vmovne.f64      d1, d0
 287 ; DP: vmov.f64        d0, d1
 288   %1 = select i1 %c, double %a, double %b
 289   ret double %1
 290 }