test/CodeGen/AArch64/floatdp_1source.ll

   1 ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
   2 ; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-apple-ios7.0 | FileCheck %s
   3
   4 @varhalf = global half 0.0
   5 @varfloat = global float 0.0
   6 @vardouble = global double 0.0
   7
   8 declare float @fabsf(float) readonly
   9 declare double @fabs(double) readonly
  10
  11 declare float @llvm.sqrt.f32(float %Val)
  12 declare double @llvm.sqrt.f64(double %Val)
  13
  14 declare float @ceilf(float) readonly
  15 declare double @ceil(double) readonly
  16
  17 declare float @floorf(float) readonly
  18 declare double @floor(double) readonly
  19
  20 declare float @truncf(float) readonly
  21 declare double @trunc(double) readonly
  22
  23 declare float @rintf(float) readonly
  24 declare double @rint(double) readonly
  25
  26 declare float @nearbyintf(float) readonly
  27 declare double @nearbyint(double) readonly
  28
  29 define void @simple_float() {
  30 ; CHECK-LABEL: simple_float:
  31   %val1 = load volatile float* @varfloat
  32
  33   %valabs = call float @fabsf(float %val1)
  34   store volatile float %valabs, float* @varfloat
  35 ; CHECK: fabs {{s[0-9]+}}, {{s[0-9]+}}
  36
  37   %valneg = fsub float -0.0, %val1
  38   store volatile float %valneg, float* @varfloat
  39 ; CHECK: fneg {{s[0-9]+}}, {{s[0-9]+}}
  40
  41   %valsqrt = call float @llvm.sqrt.f32(float %val1)
  42   store volatile float %valsqrt, float* @varfloat
  43 ; CHECK: fsqrt {{s[0-9]+}}, {{s[0-9]+}}
  44
  45   %valceil = call float @ceilf(float %val1)
  46   store volatile float %valceil, float* @varfloat
  47 ; CHECK: frintp {{s[0-9]+}}, {{s[0-9]+}}
  48
  49   %valfloor = call float @floorf(float %val1)
  50   store volatile float %valfloor, float* @varfloat
  51 ; CHECK: frintm {{s[0-9]+}}, {{s[0-9]+}}
  52
  53   %valtrunc = call float @truncf(float %val1)
  54   store volatile float %valtrunc, float* @varfloat
  55 ; CHECK: frintz {{s[0-9]+}}, {{s[0-9]+}}
  56
  57   %valrint = call float @rintf(float %val1)
  58   store volatile float %valrint, float* @varfloat
  59 ; CHECK: frintx {{s[0-9]+}}, {{s[0-9]+}}
  60
  61   %valnearbyint = call float @nearbyintf(float %val1)
  62   store volatile float %valnearbyint, float* @varfloat
  63 ; CHECK: frinti {{s[0-9]+}}, {{s[0-9]+}}
  64
  65   ret void
  66 }
  67
  68 define void @simple_double() {
  69 ; CHECK-LABEL: simple_double:
  70   %val1 = load volatile double* @vardouble
  71
  72   %valabs = call double @fabs(double %val1)
  73   store volatile double %valabs, double* @vardouble
  74 ; CHECK: fabs {{d[0-9]+}}, {{d[0-9]+}}
  75
  76   %valneg = fsub double -0.0, %val1
  77   store volatile double %valneg, double* @vardouble
  78 ; CHECK: fneg {{d[0-9]+}}, {{d[0-9]+}}
  79
  80   %valsqrt = call double @llvm.sqrt.f64(double %val1)
  81   store volatile double %valsqrt, double* @vardouble
  82 ; CHECK: fsqrt {{d[0-9]+}}, {{d[0-9]+}}
  83
  84   %valceil = call double @ceil(double %val1)
  85   store volatile double %valceil, double* @vardouble
  86 ; CHECK: frintp {{d[0-9]+}}, {{d[0-9]+}}
  87
  88   %valfloor = call double @floor(double %val1)
  89   store volatile double %valfloor, double* @vardouble
  90 ; CHECK: frintm {{d[0-9]+}}, {{d[0-9]+}}
  91
  92   %valtrunc = call double @trunc(double %val1)
  93   store volatile double %valtrunc, double* @vardouble
  94 ; CHECK: frintz {{d[0-9]+}}, {{d[0-9]+}}
  95
  96   %valrint = call double @rint(double %val1)
  97   store volatile double %valrint, double* @vardouble
  98 ; CHECK: frintx {{d[0-9]+}}, {{d[0-9]+}}
  99
 100   %valnearbyint = call double @nearbyint(double %val1)
 101   store volatile double %valnearbyint, double* @vardouble
 102 ; CHECK: frinti {{d[0-9]+}}, {{d[0-9]+}}
 103
 104   ret void
 105 }
 106
 107 define void @converts() {
 108 ; CHECK-LABEL: converts:
 109
 110   %val16 = load volatile half* @varhalf
 111   %val32 = load volatile float* @varfloat
 112   %val64 = load volatile double* @vardouble
 113
 114   %val16to32 = fpext half %val16 to float
 115   store volatile float %val16to32, float* @varfloat
 116 ; CHECK: fcvt {{s[0-9]+}}, {{h[0-9]+}}
 117
 118   %val16to64 = fpext half %val16 to double
 119   store volatile double %val16to64, double* @vardouble
 120 ; CHECK: fcvt {{d[0-9]+}}, {{h[0-9]+}}
 121
 122   %val32to16 = fptrunc float %val32 to half
 123   store volatile half %val32to16, half* @varhalf
 124 ; CHECK: fcvt {{h[0-9]+}}, {{s[0-9]+}}
 125
 126   %val32to64 = fpext float %val32 to double
 127   store volatile double %val32to64, double* @vardouble
 128 ; CHECK: fcvt {{d[0-9]+}}, {{s[0-9]+}}
 129
 130   %val64to16 = fptrunc double %val64 to half
 131   store volatile half %val64to16, half* @varhalf
 132 ; CHECK: fcvt {{h[0-9]+}}, {{d[0-9]+}}
 133
 134   %val64to32 = fptrunc double %val64 to float
 135   store volatile float %val64to32, float* @varfloat
 136 ; CHECK: fcvt {{s[0-9]+}}, {{d[0-9]+}}
 137
 138   ret void
 139 }