[llvm] d8aa4a6 - [ARM][ fp16-promote.ll - cleanup CHECKS to be consistently inside each test. NFC.
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 14 06:41:39 PDT 2025
Author: Simon Pilgrim
Date: 2025-07-14T14:41:21+01:00
New Revision: d8aa4a6721c9cd09864fc1a7c5af7aaadec60b67
URL: https://github.com/llvm/llvm-project/commit/d8aa4a6721c9cd09864fc1a7c5af7aaadec60b67
DIFF: https://github.com/llvm/llvm-project/commit/d8aa4a6721c9cd09864fc1a7c5af7aaadec60b67.diff
LOG: [ARM][ fp16-promote.ll - cleanup CHECKS to be consistently inside each test. NFC.
Added:
Modified:
llvm/test/CodeGen/ARM/fp16-promote.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/ARM/fp16-promote.ll b/llvm/test/CodeGen/ARM/fp16-promote.ll
index b4e20c9bf6be9..1bd01508808c8 100644
--- a/llvm/test/CodeGen/ARM/fp16-promote.ll
+++ b/llvm/test/CodeGen/ARM/fp16-promote.ll
@@ -5,6 +5,7 @@
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n32"
target triple = "armv7---eabihf"
+define void @test_fadd(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fadd:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -14,7 +15,6 @@ target triple = "armv7---eabihf"
; CHECK-NOVFP: bl __aeabi_fadd
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fadd(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fadd half %a, %b
@@ -22,6 +22,7 @@ define void @test_fadd(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_fsub(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fsub:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -31,7 +32,6 @@ define void @test_fadd(ptr %p, ptr %q) #0 {
; CHECK-NOVFP: bl __aeabi_fsub
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fsub(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fsub half %a, %b
@@ -39,6 +39,7 @@ define void @test_fsub(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_fmul(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fmul:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -48,7 +49,6 @@ define void @test_fsub(ptr %p, ptr %q) #0 {
; CHECK-NOVFP: bl __aeabi_fmul
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fmul(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fmul half %a, %b
@@ -56,6 +56,7 @@ define void @test_fmul(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_fdiv(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fdiv:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -65,7 +66,6 @@ define void @test_fmul(ptr %p, ptr %q) #0 {
; CHECK-NOVFP: bl __aeabi_fdiv
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fdiv(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fdiv half %a, %b
@@ -73,6 +73,7 @@ define void @test_fdiv(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_frem(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_frem:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -81,7 +82,6 @@ define void @test_fdiv(ptr %p, ptr %q) #0 {
; CHECK-LIBCALL: bl fmodf
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_frem(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = frem half %a, %b
@@ -89,11 +89,11 @@ define void @test_frem(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_load_store(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_load_store:
; CHECK-ALL-NEXT: .fnstart
; CHECK-ALL: ldrh {{r[0-9]+}}, [{{r[0-9]+}}]
; CHECK-ALL: strh {{r[0-9]+}}, [{{r[0-9]+}}]
-define void @test_load_store(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
store half %a, ptr %q
ret void
@@ -104,17 +104,18 @@ define void @test_load_store(ptr %p, ptr %q) #0 {
declare half @test_callee(half %a, half %b) #0
+define half @test_call(half %a, half %b) #0 {
; CHECK-ALL-LABEL: test_call:
; CHECK-ALL-NEXT: .fnstart
; CHECK-ALL-NEXT: .save {r11, lr}
; CHECK-ALL-NEXT: push {r11, lr}
; CHECK-ALL-NEXT: bl test_callee
; CHECK-ALL-NEXT: pop {r11, pc}
-define half @test_call(half %a, half %b) #0 {
%r = call half @test_callee(half %a, half %b)
ret half %r
}
+define half @test_call_flipped(half %a, half %b) #0 {
; CHECK-ALL-LABEL: test_call_flipped:
; CHECK-ALL-NEXT: .fnstart
; CHECK-ALL-NEXT: .save {r11, lr}
@@ -127,11 +128,11 @@ define half @test_call(half %a, half %b) #0 {
; CHECK-NOVFP-NEXT: mov r1, r2
; CHECK-ALL-NEXT: bl test_callee
; CHECK-ALL-NEXT: pop {r11, pc}
-define half @test_call_flipped(half %a, half %b) #0 {
%r = call half @test_callee(half %b, half %a)
ret half %r
}
+define half @test_tailcall_flipped(half %a, half %b) #0 {
; CHECK-ALL-LABEL: test_tailcall_flipped:
; CHECK-ALL-NEXT: .fnstart
; CHECK-VFP-NEXT: vmov.f32 s2, s0
@@ -141,19 +142,18 @@ define half @test_call_flipped(half %a, half %b) #0 {
; CHECK-NOVFP-NEXT: mov r0, r1
; CHECK-NOVFP-NEXT: mov r1, r2
; CHECK-ALL-NEXT: b test_callee
-define half @test_tailcall_flipped(half %a, half %b) #0 {
%r = tail call half @test_callee(half %b, half %a)
ret half %r
}
; Optimizer picks %p or %q based on %c and only loads that value
; No conversion is needed
+define void @test_select(ptr %p, ptr %q, i1 zeroext %c) #0 {
; CHECK-ALL-LABEL: test_select:
; CHECK-ALL: cmp {{r[0-9]+}}, #0
; CHECK-ALL: movne {{r[0-9]+}}, {{r[0-9]+}}
; CHECK-ALL: ldrh {{r[0-9]+}}, [{{r[0-9]+}}]
; CHECK-ALL: strh {{r[0-9]+}}, [{{r[0-9]+}}]
-define void @test_select(ptr %p, ptr %q, i1 zeroext %c) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = select i1 %c, half %a, half %b
@@ -163,6 +163,7 @@ define void @test_select(ptr %p, ptr %q, i1 zeroext %c) #0 {
; Test only two variants of fcmp. These get translated to f32 vcmp
; instructions anyway.
+define i1 @test_fcmp_une(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fcmp_une:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -174,13 +175,13 @@ define void @test_select(ptr %p, ptr %q, i1 zeroext %c) #0 {
; CHECK-VFP-NEXT: movwne
; CHECK-NOVFP-NEXT: clz r0, r0
; CHECK-NOVFP-NEXT: lsr r0, r0, #5
-define i1 @test_fcmp_une(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fcmp une half %a, %b
ret i1 %r
}
+define i1 @test_fcmp_ueq(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_fcmp_ueq:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -190,13 +191,13 @@ define i1 @test_fcmp_une(ptr %p, ptr %q) #0 {
; CHECK-NOVFP: bl __aeabi_fcmpeq
; CHECK-FP16: vmrs APSR_nzcv, fpscr
; CHECK-LIBCALL: movw{{ne|eq}}
-define i1 @test_fcmp_ueq(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = fcmp ueq half %a, %b
ret i1 %r
}
+define void @test_br_cc(ptr %p, ptr %q, ptr %p1, ptr %p2) #0 {
; CHECK-ALL-LABEL: test_br_cc:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -208,7 +209,6 @@ define i1 @test_fcmp_ueq(ptr %p, ptr %q) #0 {
; CHECK-VFP: movmi
; CHECK-VFP: str
; CHECK-NOVFP: str
-define void @test_br_cc(ptr %p, ptr %q, ptr %p1, ptr %p2) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%c = fcmp uge half %a, %b
@@ -243,147 +243,147 @@ return:
ret void
}
+define i32 @test_fptosi_i32(ptr %p) #0 {
; CHECK-ALL-LABEL: test_fptosi_i32:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-VFP: vcvt.s32.f32
; CHECK-NOVFP: bl __aeabi_f2iz
-define i32 @test_fptosi_i32(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = fptosi half %a to i32
ret i32 %r
}
+define i64 @test_fptosi_i64(ptr %p) #0 {
; CHECK-ALL-LABEL: test_fptosi_i64:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-ALL: bl __aeabi_f2lz
-define i64 @test_fptosi_i64(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = fptosi half %a to i64
ret i64 %r
}
+define i32 @test_fptoui_i32(ptr %p) #0 {
; CHECK-ALL-LABEL: test_fptoui_i32:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-VFP: vcvt.u32.f32
; CHECK-NOVFP: bl __aeabi_f2uiz
-define i32 @test_fptoui_i32(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = fptoui half %a to i32
ret i32 %r
}
+define i64 @test_fptoui_i64(ptr %p) #0 {
; CHECK-ALL-LABEL: test_fptoui_i64:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-ALL: bl __aeabi_f2ulz
-define i64 @test_fptoui_i64(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = fptoui half %a to i64
ret i64 %r
}
+define void @test_sitofp_i32(i32 %a, ptr %p) #0 {
; CHECK-ALL-LABEL: test_sitofp_i32:
; CHECK-VFP: vcvt.f32.s32
; CHECK-NOVFP: bl __aeabi_i2f
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_sitofp_i32(i32 %a, ptr %p) #0 {
%r = sitofp i32 %a to half
store half %r, ptr %p
ret void
}
+define void @test_uitofp_i32(i32 %a, ptr %p) #0 {
; CHECK-ALL-LABEL: test_uitofp_i32:
; CHECK-VFP: vcvt.f32.u32
; CHECK-NOVFP: bl __aeabi_ui2f
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_uitofp_i32(i32 %a, ptr %p) #0 {
%r = uitofp i32 %a to half
store half %r, ptr %p
ret void
}
+define void @test_sitofp_i64(i64 %a, ptr %p) #0 {
; CHECK-ALL-LABEL: test_sitofp_i64:
; CHECK-ALL: bl __aeabi_l2f
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_sitofp_i64(i64 %a, ptr %p) #0 {
%r = sitofp i64 %a to half
store half %r, ptr %p
ret void
}
+define void @test_uitofp_i64(i64 %a, ptr %p) #0 {
; CHECK-ALL-LABEL: test_uitofp_i64:
; CHECK-ALL: bl __aeabi_ul2f
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_uitofp_i64(i64 %a, ptr %p) #0 {
%r = uitofp i64 %a to half
store half %r, ptr %p
ret void
}
+define void @test_fptrunc_float(float %f, ptr %p) #0 {
; CHECK-FP16-LABEL: test_fptrunc_float:
; CHECK-FP16: vcvtb.f16.f32
; CHECK-LIBCALL-LABEL: test_fptrunc_float:
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fptrunc_float(float %f, ptr %p) #0 {
%a = fptrunc float %f to half
store half %a, ptr %p
ret void
}
+define void @test_fptrunc_double(double %d, ptr %p) #0 {
; CHECK-FP16-LABEL: test_fptrunc_double:
; CHECK-FP16: bl __aeabi_d2h
; CHECK-LIBCALL-LABEL: test_fptrunc_double:
; CHECK-LIBCALL: bl __aeabi_d2h
-define void @test_fptrunc_double(double %d, ptr %p) #0 {
%a = fptrunc double %d to half
store half %a, ptr %p
ret void
}
+define float @test_fpextend_float(ptr %p) {
; CHECK-FP16-LABEL: test_fpextend_float:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL-LABEL: test_fpextend_float:
; CHECK-LIBCALL: bl __aeabi_h2f
-define float @test_fpextend_float(ptr %p) {
%a = load half, ptr %p, align 2
%r = fpext half %a to float
ret float %r
}
+define double @test_fpextend_double(ptr %p) {
; CHECK-FP16-LABEL: test_fpextend_double:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-LIBCALL-LABEL: test_fpextend_double:
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-VFP: vcvt.f64.f32
; CHECK-NOVFP: bl __aeabi_f2d
-define double @test_fpextend_double(ptr %p) {
%a = load half, ptr %p, align 2
%r = fpext half %a to double
ret double %r
}
+define i16 @test_bitcast_halftoi16(ptr %p) #0 {
; CHECK-ALL-LABEL: test_bitcast_halftoi16:
; CHECK-ALL-NEXT: .fnstart
; CHECK-ALL-NEXT: ldrh r0, [r0]
; CHECK-ALL-NEXT: bx lr
-define i16 @test_bitcast_halftoi16(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = bitcast half %a to i16
ret i16 %r
}
+define void @test_bitcast_i16tohalf(i16 %a, ptr %p) #0 {
; CHECK-ALL-LABEL: test_bitcast_i16tohalf:
; CHECK-ALL-NEXT: .fnstart
; CHECK-ALL-NEXT: strh r0, [r1]
; CHECK-ALL-NEXT: bx lr
-define void @test_bitcast_i16tohalf(i16 %a, ptr %p) #0 {
%r = bitcast i16 %a to half
store half %r, ptr %p
ret void
@@ -414,6 +414,7 @@ declare half @llvm.round.f16(half %a) #0
declare half @llvm.roundeven.f16(half %a) #0
declare half @llvm.fmuladd.f16(half %a, half %b, half %c) #0
+define void @test_sqrt(ptr %p) #0 {
; CHECK-ALL-LABEL: test_sqrt:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vsqrt.f32
@@ -422,13 +423,13 @@ declare half @llvm.fmuladd.f16(half %a, half %b, half %c) #0
; CHECK-LIBCALL-VFP: vsqrt.f32
; CHECK-NOVFP: bl sqrtf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_sqrt(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.sqrt.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_fpowi(ptr %p, i32 %b) #0 {
; CHECK-FP16-LABEL: test_fpowi:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl __powisf2
@@ -437,13 +438,13 @@ define void @test_sqrt(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl __powisf2
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fpowi(ptr %p, i32 %b) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.powi.f16.i32(half %a, i32 %b)
store half %r, ptr %p
ret void
}
+define void @test_sin(ptr %p) #0 {
; CHECK-FP16-LABEL: test_sin:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl sinf
@@ -452,13 +453,13 @@ define void @test_fpowi(ptr %p, i32 %b) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl sinf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_sin(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.sin.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_cos(ptr %p) #0 {
; CHECK-FP16-LABEL: test_cos:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl cosf
@@ -467,13 +468,13 @@ define void @test_sin(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl cosf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_cos(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.cos.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_tan(ptr %p) #0 {
; CHECK-FP16-LABEL: test_tan:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl tanf
@@ -482,13 +483,13 @@ define void @test_cos(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl tanf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_tan(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.tan.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_pow(ptr %p, ptr %q) #0 {
; CHECK-FP16-LABEL: test_pow:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -499,7 +500,6 @@ define void @test_tan(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl powf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_pow(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = call half @llvm.pow.f16(half %a, half %b)
@@ -507,6 +507,7 @@ define void @test_pow(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_cbrt(ptr %p) #0 {
; CHECK-FP16-LABEL: test_cbrt:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl powf
@@ -515,13 +516,13 @@ define void @test_pow(ptr %p, ptr %q) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl powf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_cbrt(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.pow.f16(half %a, half 0x3FD5540000000000)
store half %r, ptr %p
ret void
}
+define void @test_exp(ptr %p) #0 {
; CHECK-FP16-LABEL: test_exp:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl expf
@@ -530,13 +531,13 @@ define void @test_cbrt(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl expf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_exp(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.exp.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_exp2(ptr %p) #0 {
; CHECK-FP16-LABEL: test_exp2:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl exp2f
@@ -545,13 +546,13 @@ define void @test_exp(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl exp2f
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_exp2(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.exp2.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_log(ptr %p) #0 {
; CHECK-FP16-LABEL: test_log:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl logf
@@ -560,13 +561,13 @@ define void @test_exp2(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl logf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_log(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.log.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_log10(ptr %p) #0 {
; CHECK-FP16-LABEL: test_log10:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl log10f
@@ -575,13 +576,13 @@ define void @test_log(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl log10f
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_log10(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.log10.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_log2(ptr %p) #0 {
; CHECK-FP16-LABEL: test_log2:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl log2f
@@ -590,13 +591,13 @@ define void @test_log10(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl log2f
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_log2(ptr %p) #0 {
%a = load half, ptr %p, align 2
%r = call half @llvm.log2.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_fma(ptr %p, ptr %q, ptr %r) #0 {
; CHECK-FP16-LABEL: test_fma:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -609,7 +610,6 @@ define void @test_log2(ptr %p) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl fmaf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fma(ptr %p, ptr %q, ptr %r) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%c = load half, ptr %r, align 2
@@ -618,6 +618,7 @@ define void @test_fma(ptr %p, ptr %q, ptr %r) #0 {
ret void
}
+define void @test_fabs(ptr %p) {
; CHECK-FP16-LABEL: test_fabs:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vabs.f32
@@ -626,13 +627,13 @@ define void @test_fma(ptr %p, ptr %q, ptr %r) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bic
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fabs(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.fabs.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_minnum(ptr %p, ptr %q) #0 {
; CHECK-FP16-LABEL: test_minnum:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -643,7 +644,6 @@ define void @test_fabs(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl fminf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_minnum(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = call half @llvm.minnum.f16(half %a, half %b)
@@ -651,6 +651,7 @@ define void @test_minnum(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_maxnum(ptr %p, ptr %q) #0 {
; CHECK-FP16-LABEL: test_maxnum:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -661,7 +662,6 @@ define void @test_minnum(ptr %p, ptr %q) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl fmaxf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_maxnum(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = call half @llvm.maxnum.f16(half %a, half %b)
@@ -669,6 +669,7 @@ define void @test_maxnum(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_minimum(ptr %p) #0 {
; CHECK-ALL-LABEL: test_minimum:
; CHECK-FP16: vmov.f32 s0, #1.000000e+00
; CHECK-FP16: vcvtb.f32.f16
@@ -679,7 +680,6 @@ define void @test_maxnum(ptr %p, ptr %q) #0 {
; CHECK-VFP: vmrs
; CHECK-VFP: movge
; CHECK-NOVFP: bl __aeabi_fcmpge
-define void @test_minimum(ptr %p) #0 {
%a = load half, ptr %p, align 2
%c = fcmp ult half %a, 1.0
%r = select i1 %c, half %a, half 1.0
@@ -687,6 +687,7 @@ define void @test_minimum(ptr %p) #0 {
ret void
}
+define void @test_maximum(ptr %p) #0 {
; CHECK-ALL-LABEL: test_maximum:
; CHECK-FP16: vmov.f32 s0, #1.000000e+00
; CHECK-FP16: vcvtb.f32.f16
@@ -697,7 +698,6 @@ define void @test_minimum(ptr %p) #0 {
; CHECK-VFP: vmrs
; CHECK-VFP: movls
; CHECK-NOVFP: bl __aeabi_fcmple
-define void @test_maximum(ptr %p) #0 {
%a = load half, ptr %p, align 2
%c = fcmp ugt half %a, 1.0
%r = select i1 %c, half %a, half 1.0
@@ -705,6 +705,7 @@ define void @test_maximum(ptr %p) #0 {
ret void
}
+define void @test_copysign(ptr %p, ptr %q) #0 {
; CHECK-ALL-LABEL: test_copysign:
; CHECK-ALL: ldrh r2, [r0]
; CHECK-ALL-NEXT: ldrh r1, [r1]
@@ -713,8 +714,6 @@ define void @test_maximum(ptr %p) #0 {
; CHECK-ALL-NEXT: orr r1, r2, r1
; CHECK-ALL-NEXT: strh r1, [r0]
; CHECK-ALL-NEXT: bx lr
-
-define void @test_copysign(ptr %p, ptr %q) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%r = call half @llvm.copysign.f16(half %a, half %b)
@@ -722,6 +721,7 @@ define void @test_copysign(ptr %p, ptr %q) #0 {
ret void
}
+define void @test_floor(ptr %p) {
; CHECK-FP16-LABEL: test_floor:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl floorf
@@ -730,13 +730,13 @@ define void @test_copysign(ptr %p, ptr %q) #0 {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl floorf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_floor(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.floor.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_ceil(ptr %p) {
; CHECK-FP16-LABEL: test_ceil:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl ceilf
@@ -745,13 +745,13 @@ define void @test_floor(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl ceilf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_ceil(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.ceil.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_trunc(ptr %p) {
; CHECK-FP16-LABEL: test_trunc:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl truncf
@@ -760,13 +760,13 @@ define void @test_ceil(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl truncf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_trunc(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.trunc.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_rint(ptr %p) {
; CHECK-FP16-LABEL: test_rint:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl rintf
@@ -775,13 +775,13 @@ define void @test_trunc(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl rintf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_rint(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.rint.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_nearbyint(ptr %p) {
; CHECK-FP16-LABEL: test_nearbyint:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl nearbyintf
@@ -790,13 +790,13 @@ define void @test_rint(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl nearbyintf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_nearbyint(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.nearbyint.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_round(ptr %p) {
; CHECK-FP16-LABEL: test_round:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl roundf
@@ -805,13 +805,13 @@ define void @test_nearbyint(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl roundf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_round(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.round.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_roundeven(ptr %p) {
; CHECK-FP16-LABEL: test_roundeven:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: bl roundevenf
@@ -820,13 +820,13 @@ define void @test_round(ptr %p) {
; CHECK-LIBCALL: bl __aeabi_h2f
; CHECK-LIBCALL: bl roundevenf
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_roundeven(ptr %p) {
%a = load half, ptr %p, align 2
%r = call half @llvm.roundeven.f16(half %a)
store half %r, ptr %p
ret void
}
+define void @test_fmuladd(ptr %p, ptr %q, ptr %r) #0 {
; CHECK-FP16-LABEL: test_fmuladd:
; CHECK-FP16: vcvtb.f32.f16
; CHECK-FP16: vcvtb.f32.f16
@@ -847,7 +847,6 @@ define void @test_roundeven(ptr %p) {
; CHECK-LIBCALL-VFP: vadd.f32
; CHECK-NOVFP: bl __aeabi_fadd
; CHECK-LIBCALL: bl __aeabi_f2h
-define void @test_fmuladd(ptr %p, ptr %q, ptr %r) #0 {
%a = load half, ptr %p, align 2
%b = load half, ptr %q, align 2
%c = load half, ptr %r, align 2
@@ -859,7 +858,7 @@ define void @test_fmuladd(ptr %p, ptr %q, ptr %r) #0 {
; f16 vectors are not legal in the backend. Vector elements are not assigned
; to the register, but are stored in the stack instead. Hence insertelement
; and extractelement have these extra loads and stores.
-
+define void @test_insertelement(ptr %p, ptr %q, i32 %i) #0 {
; CHECK-ALL-LABEL: test_insertelement:
; CHECK-ALL: sub sp, sp, #8
@@ -880,7 +879,6 @@ define void @test_fmuladd(ptr %p, ptr %q, ptr %r) #0 {
; CHECK-ALL: strh
; CHECK-ALL: add sp, sp, #8
-define void @test_insertelement(ptr %p, ptr %q, i32 %i) #0 {
%a = load half, ptr %p, align 2
%b = load <4 x half>, ptr %q, align 8
%c = insertelement <4 x half> %b, half %a, i32 %i
@@ -888,6 +886,7 @@ define void @test_insertelement(ptr %p, ptr %q, i32 %i) #0 {
ret void
}
+define void @test_extractelement(ptr %p, ptr %q, i32 %i) #0 {
; CHECK-ALL-LABEL: test_extractelement:
; CHECK-ALL: push {{{.*}}, lr}
; CHECK-ALL: sub sp, sp, #8
@@ -898,7 +897,6 @@ define void @test_insertelement(ptr %p, ptr %q, i32 %i) #0 {
; CHECK-ALL: strh
; CHECK-ALL: add sp, sp, #8
; CHECK-ALL: pop {{{.*}}, pc}
-define void @test_extractelement(ptr %p, ptr %q, i32 %i) #0 {
%a = load <4 x half>, ptr %q, align 8
%b = extractelement <4 x half> %a, i32 %i
store half %b, ptr %p
@@ -909,12 +907,12 @@ define void @test_extractelement(ptr %p, ptr %q, i32 %i) #0 {
%struct.dummy = type { i32, half }
+define void @test_insertvalue(ptr %p, ptr %q) {
; CHECK-ALL-LABEL: test_insertvalue:
; CHECK-ALL-DAG: ldr
; CHECK-ALL-DAG: ldrh
; CHECK-ALL-DAG: strh
; CHECK-ALL-DAG: str
-define void @test_insertvalue(ptr %p, ptr %q) {
%a = load %struct.dummy, ptr %p
%b = load half, ptr %q
%c = insertvalue %struct.dummy %a, half %b, 1
@@ -922,35 +920,36 @@ define void @test_insertvalue(ptr %p, ptr %q) {
ret void
}
+define void @test_extractvalue(ptr %p, ptr %q) {
; CHECK-ALL-LABEL: test_extractvalue:
; CHECK-ALL: .fnstart
; CHECK-ALL: ldrh
; CHECK-ALL: strh
-define void @test_extractvalue(ptr %p, ptr %q) {
%a = load %struct.dummy, ptr %p
%b = extractvalue %struct.dummy %a, 1
store half %b, ptr %q
ret void
}
+define %struct.dummy @test_struct_return(ptr %p) {
; CHECK-ALL-LABEL: test_struct_return:
; CHECK-VFP-LIBCALL: bl __aeabi_h2f
; CHECK-NOVFP-DAG: ldr
; CHECK-NOVFP-DAG: ldrh
-define %struct.dummy @test_struct_return(ptr %p) {
%a = load %struct.dummy, ptr %p
ret %struct.dummy %a
}
+define half @test_struct_arg(%struct.dummy %p) {
; CHECK-ALL-LABEL: test_struct_arg:
; CHECK-ALL-NEXT: .fnstart
; CHECK-NOVFP-NEXT: mov r0, r1
; CHECK-ALL-NEXT: bx lr
-define half @test_struct_arg(%struct.dummy %p) {
%a = extractvalue %struct.dummy %p, 1
ret half %a
}
+define half @test_uitofp_i32_fadd(i32 %a, half %b) #0 {
; CHECK-LABEL: test_uitofp_i32_fadd:
; CHECK-VFP-DAG: vcvt.f32.u32
; CHECK-NOVFP-DAG: bl __aeabi_ui2f
@@ -965,12 +964,12 @@ define half @test_struct_arg(%struct.dummy %p) {
; CHECK-FP16-DAG: vcvtb.f16.f32
; CHECK-LIBCALL-DAG: bl __aeabi_f2h
-define half @test_uitofp_i32_fadd(i32 %a, half %b) #0 {
%c = uitofp i32 %a to half
%r = fadd half %b, %c
ret half %r
}
+define half @test_sitofp_i32_fadd(i32 %a, half %b) #0 {
; CHECK-LABEL: test_sitofp_i32_fadd:
; CHECK-VFP-DAG: vcvt.f32.s32
; CHECK-NOVFP-DAG: bl __aeabi_i2f
@@ -985,7 +984,6 @@ define half @test_uitofp_i32_fadd(i32 %a, half %b) #0 {
; CHECK-FP16-DAG: vcvtb.f16.f32
; CHECK-LIBCALL-DAG: bl __aeabi_f2h
-define half @test_sitofp_i32_fadd(i32 %a, half %b) #0 {
%c = sitofp i32 %a to half
%r = fadd half %b, %c
ret half %r
More information about the llvm-commits
mailing list