test/MC/ARM/simple-fp-encoding.ll

   1 ;RUN: llc -mtriple=armv7-apple-darwin -mcpu=cortex-a8 -mattr=-neonfp -show-mc-encoding < %s | FileCheck %s
   2
   3
   4 ; FIXME: Once the ARM integrated assembler is up and going, these sorts of tests
   5 ;        should run on .s source files rather than using llc to generate the
   6 ;        assembly.
   7
   8
   9 define double @f1(double %a, double %b) nounwind readnone {
  10 entry:
  11 ; CHECK: f1
  12 ; CHECK: vadd.f64 d16, d17, d16  @ encoding: [0xa0,0x0b,0x71,0xee]
  13   %add = fadd double %a, %b
  14   ret double %add
  15 }
  16
  17 define float @f2(float %a, float %b) nounwind readnone {
  18 entry:
  19 ; CHECK: f2
  20 ; CHECK: vadd.f32 s0, s1, s0  @ encoding: [0x80,0x0a,0x30,0xee]
  21   %add = fadd float %a, %b
  22   ret float %add
  23 }
  24
  25 define double @f3(double %a, double %b) nounwind readnone {
  26 entry:
  27 ; CHECK: f3
  28 ; CHECK: vsub.f64 d16, d17, d16  @ encoding: [0xe0,0x0b,0x71,0xee]
  29   %sub = fsub double %a, %b
  30   ret double %sub
  31 }
  32
  33 define float @f4(float %a, float %b) nounwind readnone {
  34 entry:
  35 ; CHECK: f4
  36 ; CHECK: vsub.f32 s0, s1, s0  @ encoding: [0xc0,0x0a,0x30,0xee]
  37   %sub = fsub float %a, %b
  38   ret float %sub
  39 }
  40
  41 define double @f5(double %a, double %b) nounwind readnone {
  42 entry:
  43 ; CHECK: f5
  44 ; CHECK: vdiv.f64 d16, d17, d16  @ encoding: [0xa0,0x0b,0xc1,0xee]
  45   %div = fdiv double %a, %b
  46   ret double %div
  47 }
  48
  49 define float @f6(float %a, float %b) nounwind readnone {
  50 entry:
  51 ; CHECK: f6
  52 ; CHECK: vdiv.f32 s0, s1, s0  @ encoding: [0x80,0x0a,0x80,0xee]
  53   %div = fdiv float %a, %b
  54   ret float %div
  55 }
  56
  57 define double @f7(double %a, double %b) nounwind readnone {
  58 entry:
  59 ; CHECK: f7
  60 ; CHECK: vmul.f64 d16, d17, d16  @ encoding: [0xa0,0x0b,0x61,0xee]
  61   %mul = fmul double %a, %b
  62   ret double %mul
  63 }
  64
  65 define float @f8(float %a, float %b) nounwind readnone {
  66 entry:
  67 ; CHECK: f8
  68 ; CHECK: vmul.f32 s0, s1, s0  @ encoding: [0x80,0x0a,0x20,0xee]
  69   %mul = fmul float %a, %b
  70   ret float %mul
  71 }
  72
  73 define double @f9(double %a, double %b) nounwind readnone {
  74 entry:
  75 ; CHECK: f9
  76 ; CHECK: vnmul.f64 d16, d17, d16  @ encoding: [0xe0,0x0b,0x61,0xee]
  77   %mul = fmul double %a, %b
  78   %sub = fsub double -0.000000e+00, %mul
  79   ret double %sub
  80 }
  81
  82 define void @f10(float %a, float %b, float* %c) nounwind readnone {
  83 entry:
  84 ; CHECK: f10
  85 ; CHECK: vnmul.f32 s0, s1, s0  @ encoding: [0xc0,0x0a,0x20,0xee]
  86   %mul = fmul float %a, %b
  87   %sub = fsub float -0.000000e+00, %mul
  88   store float %sub, float* %c, align 4
  89   ret void
  90 }
  91
  92 define i1 @f11(double %a, double %b) nounwind readnone {
  93 entry:
  94 ; CHECK: f11
  95 ; CHECK: vcmpe.f64 d17, d16  @ encoding: [0xe0,0x1b,0xf4,0xee]
  96   %cmp = fcmp oeq double %a, %b
  97   ret i1 %cmp
  98 }
  99
 100 define i1 @f12(float %a, float %b) nounwind readnone {
 101 entry:
 102 ; CHECK: f12
 103 ; CHECK: vcmpe.f32 s1, s0  @ encoding: [0xc0,0x0a,0xf4,0xee]
 104   %cmp = fcmp oeq float %a, %b
 105   ret i1 %cmp
 106 }
 107
 108 define i1 @f13(double %a) nounwind readnone {
 109 entry:
 110 ; CHECK: f13
 111 ; CHECK: vcmpe.f64 d16, #0  @ encoding: [0xc0,0x0b,0xf5,0xee]
 112   %cmp = fcmp oeq double %a, 0.000000e+00
 113   ret i1 %cmp
 114 }
 115
 116 define i1 @f14(float %a) nounwind readnone {
 117 entry:
 118 ; CHECK: f14
 119 ; CHECK: vcmpe.f32 s0, #0  @ encoding: [0xc0,0x0a,0xb5,0xee]
 120   %cmp = fcmp oeq float %a, 0.000000e+00
 121   ret i1 %cmp
 122 }
 123
 124 define double @f15(double %a) nounwind {
 125 entry:
 126 ; CHECK: f15
 127 ; CHECK: vabs.f64 d16, d16  @ encoding: [0xe0,0x0b,0xf0,0xee]
 128   %call = tail call double @fabsl(double %a)
 129   ret double %call
 130 }
 131
 132 declare double @fabsl(double)
 133
 134 define float @f16(float %a) nounwind {
 135 entry:
 136 ; CHECK: f16
 137 ; This call generates a "bfc" instruction instead of "vabs.f32".
 138   %call = tail call float @fabsf(float %a)
 139   ret float %call
 140 }
 141
 142 declare float @fabsf(float)
 143
 144 define float @f17(double %a) nounwind readnone {
 145 entry:
 146 ; CHECK: f17
 147 ; CHECK: vcvt.f32.f64 s0, d16  @ encoding: [0xe0,0x0b,0xb7,0xee]
 148   %conv = fptrunc double %a to float
 149   ret float %conv
 150 }
 151
 152 define double @f18(float %a) nounwind readnone {
 153 entry:
 154 ; CHECK: f18
 155 ; CHECK: vcvt.f64.f32 d16, s0  @ encoding: [0xc0,0x0a,0xf7,0xee]
 156   %conv = fpext float %a to double
 157   ret double %conv
 158 }