mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-01 00:12:50 +01:00
259 lines
6.3 KiB
LLVM
259 lines
6.3 KiB
LLVM
;RUN: llc -mtriple=armv7-apple-darwin -mcpu=cortex-a8 -mattr=-neonfp -show-mc-encoding < %s | FileCheck %s
|
|
|
|
|
|
; FIXME: Once the ARM integrated assembler is up and going, these sorts of tests
|
|
; should run on .s source files rather than using llc to generate the
|
|
; assembly.
|
|
|
|
|
|
define double @f1(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f1
|
|
; CHECK: vadd.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x71,0xee]
|
|
%add = fadd double %a, %b
|
|
ret double %add
|
|
}
|
|
|
|
define float @f2(float %a, float %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f2
|
|
; CHECK: vadd.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x30,0xee]
|
|
%add = fadd float %a, %b
|
|
ret float %add
|
|
}
|
|
|
|
define double @f3(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f3
|
|
; CHECK: vsub.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x71,0xee]
|
|
%sub = fsub double %a, %b
|
|
ret double %sub
|
|
}
|
|
|
|
define float @f4(float %a, float %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f4
|
|
; CHECK: vsub.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x30,0xee]
|
|
%sub = fsub float %a, %b
|
|
ret float %sub
|
|
}
|
|
|
|
define double @f5(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f5
|
|
; CHECK: vdiv.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0xc1,0xee]
|
|
%div = fdiv double %a, %b
|
|
ret double %div
|
|
}
|
|
|
|
define float @f6(float %a, float %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f6
|
|
; CHECK: vdiv.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x80,0xee]
|
|
%div = fdiv float %a, %b
|
|
ret float %div
|
|
}
|
|
|
|
define double @f7(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f7
|
|
; CHECK: vmul.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x61,0xee]
|
|
%mul = fmul double %a, %b
|
|
ret double %mul
|
|
}
|
|
|
|
define float @f8(float %a, float %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f8
|
|
; CHECK: vmul.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x20,0xee]
|
|
%mul = fmul float %a, %b
|
|
ret float %mul
|
|
}
|
|
|
|
define double @f9(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f9
|
|
; CHECK: vnmul.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x61,0xee]
|
|
%mul = fmul double %a, %b
|
|
%sub = fsub double -0.000000e+00, %mul
|
|
ret double %sub
|
|
}
|
|
|
|
define void @f10(float %a, float %b, float* %c) nounwind readnone {
|
|
entry:
|
|
; CHECK: f10
|
|
; CHECK: vnmul.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x20,0xee]
|
|
%mul = fmul float %a, %b
|
|
%sub = fsub float -0.000000e+00, %mul
|
|
store float %sub, float* %c, align 4
|
|
ret void
|
|
}
|
|
|
|
define i1 @f11(double %a, double %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f11
|
|
; CHECK: vcmpe.f64 d17, d16 @ encoding: [0xe0,0x1b,0xf4,0xee]
|
|
%cmp = fcmp oeq double %a, %b
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define i1 @f12(float %a, float %b) nounwind readnone {
|
|
entry:
|
|
; CHECK: f12
|
|
; CHECK: vcmpe.f32 s1, s0 @ encoding: [0xc0,0x0a,0xf4,0xee]
|
|
%cmp = fcmp oeq float %a, %b
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define i1 @f13(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f13
|
|
; CHECK: vcmpe.f64 d16, #0 @ encoding: [0xc0,0x0b,0xf5,0xee]
|
|
%cmp = fcmp oeq double %a, 0.000000e+00
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define i1 @f14(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f14
|
|
; CHECK: vcmpe.f32 s0, #0 @ encoding: [0xc0,0x0a,0xb5,0xee]
|
|
%cmp = fcmp oeq float %a, 0.000000e+00
|
|
ret i1 %cmp
|
|
}
|
|
|
|
define double @f15(double %a) nounwind {
|
|
entry:
|
|
; CHECK: f15
|
|
; CHECK: vabs.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf0,0xee]
|
|
%call = tail call double @fabsl(double %a)
|
|
ret double %call
|
|
}
|
|
|
|
declare double @fabsl(double)
|
|
|
|
define float @f16(float %a) nounwind {
|
|
entry:
|
|
; CHECK: f16
|
|
; FIXME: This call generates a "bfc" instruction instead of "vabs.f32".
|
|
%call = tail call float @fabsf(float %a)
|
|
ret float %call
|
|
}
|
|
|
|
declare float @fabsf(float)
|
|
|
|
define float @f17(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f17
|
|
; CHECK: vcvt.f32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xb7,0xee]
|
|
%conv = fptrunc double %a to float
|
|
ret float %conv
|
|
}
|
|
|
|
define double @f18(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f18
|
|
; CHECK: vcvt.f64.f32 d16, s0 @ encoding: [0xc0,0x0a,0xf7,0xee]
|
|
%conv = fpext float %a to double
|
|
ret double %conv
|
|
}
|
|
|
|
define double @f19(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f19
|
|
; CHECK: vneg.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0xee]
|
|
%sub = fsub double -0.000000e+00, %a
|
|
ret double %sub
|
|
}
|
|
|
|
define float @f20(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f20
|
|
; FIXME: This produces an 'eor' instruction.
|
|
%sub = fsub float -0.000000e+00, %a
|
|
ret float %sub
|
|
}
|
|
|
|
define double @f21(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f21
|
|
; CHECK: vsqrt.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf1,0xee]
|
|
%call = tail call double @sqrtl(double %a) nounwind
|
|
ret double %call
|
|
}
|
|
|
|
declare double @sqrtl(double) readnone
|
|
|
|
define float @f22(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f22
|
|
; CHECK: vsqrt.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb1,0xee]
|
|
%call = tail call float @sqrtf(float %a) nounwind
|
|
ret float %call
|
|
}
|
|
|
|
declare float @sqrtf(float) readnone
|
|
|
|
define double @f23(i32 %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f23
|
|
; CHECK: vcvt.f64.s32 d16, s0 @ encoding: [0xc0,0x0b,0xf8,0xee]
|
|
%conv = sitofp i32 %a to double
|
|
ret double %conv
|
|
}
|
|
|
|
define float @f24(i32 %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f24
|
|
; CHECK: vcvt.f32.s32 s0, s0 @ encoding: [0xc0,0x0a,0xb8,0xee]
|
|
%conv = sitofp i32 %a to float
|
|
ret float %conv
|
|
}
|
|
|
|
define double @f25(i32 %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f25
|
|
; CHECK: vcvt.f64.u32 d16, s0 @ encoding: [0x40,0x0b,0xf8,0xee]
|
|
%conv = uitofp i32 %a to double
|
|
ret double %conv
|
|
}
|
|
|
|
define float @f26(i32 %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f26
|
|
; CHECK: vcvt.f32.u32 s0, s0 @ encoding: [0x40,0x0a,0xb8,0xee]
|
|
%conv = uitofp i32 %a to float
|
|
ret float %conv
|
|
}
|
|
|
|
define i32 @f27(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f27
|
|
; CHECK: vcvt.s32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbd,0xee]
|
|
%conv = fptosi double %a to i32
|
|
ret i32 %conv
|
|
}
|
|
|
|
define i32 @f28(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f28
|
|
; CHECK: vcvt.s32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbd,0xee]
|
|
%conv = fptosi float %a to i32
|
|
ret i32 %conv
|
|
}
|
|
|
|
define i32 @f29(double %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f29
|
|
; CHECK: vcvt.u32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbc,0xee]
|
|
%conv = fptoui double %a to i32
|
|
ret i32 %conv
|
|
}
|
|
|
|
define i32 @f30(float %a) nounwind readnone {
|
|
entry:
|
|
; CHECK: f30
|
|
; CHECK: vcvt.u32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbc,0xee]
|
|
%conv = fptoui float %a to i32
|
|
ret i32 %conv
|
|
}
|