[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / AArch64 / fp16_intrinsic_scalar_3op.ll
blobf3ad71b9c44551ab09a720487e0f663660a295bc
1 ; RUN: llc < %s -mtriple=aarch64-eabi -mattr=+v8.2a,+neon,+fullfp16  | FileCheck %s
3 define dso_local half @t_vfmah_f16(half %a, half %b, half %c) {
4 ; CHECK-LABEL: t_vfmah_f16:
5 ; CHECK:         fmadd h0, h1, h2, h0
6 ; CHECK-NEXT:    ret
7 entry:
8   %0 = tail call half @llvm.fma.f16(half %b, half %c, half %a)
9   ret half %0
12 define half @fnma16(half %a, half %b, half %c) nounwind readnone ssp {
13 ; CHECK-LABEL: fnma16:
14 ; CHECK: fnmadd h0, h0, h1, h2
15 entry:
16   %0 = tail call half @llvm.fma.f16(half %a, half %b, half %c)
17   %mul = fmul half %0, -1.000000e+00
18   ret half %mul
21 define half @fms16(half %a, half %b, half %c) nounwind readnone ssp {
22 ; CHECK-LABEL: fms16:
23 ; CHECK: fmsub h0, h0, h1, h2
24 entry:
25   %mul = fmul half %b, -1.000000e+00
26   %0 = tail call half @llvm.fma.f16(half %a, half %mul, half %c)
27   ret half %0
30 define half @fms16_com(half %a, half %b, half %c) nounwind readnone ssp {
31 ; CHECK-LABEL: fms16_com:
32 ; CHECK:       fmsub h0, h1, h0, h2
33 ; CHECK-NEXT:  ret
34 entry:
35   %mul = fmul half %b, -1.000000e+00
36   %0 = tail call half @llvm.fma.f16(half %mul, half %a, half %c)
37   ret half %0
40 define half @fnms16(half %a, half %b, half %c) nounwind readnone ssp {
41 ; CHECK-LABEL: fnms16:
42 ; CHECK:       fnmsub h0, h0, h1, h2
43 ; CHECK-NEXT:  ret
44 entry:
45   %mul = fmul half %c, -1.000000e+00
46   %0 = tail call half @llvm.fma.f16(half %a, half %b, half %mul)
47   ret half %0
50 define half @test_fmsub(half %a, half %b, half %c) {
51 ; CHECK-LABEL: test_fmsub:
52 ; CHECK:       fmsub h0, h0, h1, h2
53 ; CHECK-NEXT:  ret
54 entry:
55   %nega = fsub half -0.0, %a
56   %val = call half @llvm.fma.f16(half %nega, half %b, half %c)
57   ret half %val
60 define half @test_fnmadd(half %a, half %b, half %c) {
61 ; CHECK-LABEL: test_fnmadd:
62 ; CHECK:       fnmadd h0, h0, h1, h2
63 ; CHECK-NEXT:  ret
64 entry:
65   %nega = fsub half -0.0, %a
66   %negc = fsub half -0.0, %c
67   %val = call half @llvm.fma.f16(half %nega, half %b, half %negc)
68   ret half %val
71 define half @test_fmadd(half %a, half %b, half %c) {
72 ; CHECK-LABEL: test_fmadd:
73 ; CHECK:       fmadd h0, h0, h1, h2
74 ; CHECK-NEXT:  ret
75 entry:
76   %nega = fsub half -0.0, %a
77   %negb = fsub half -0.0, %b
78   %val = call half @llvm.fma.f16(half %nega, half %negb, half %c)
79   ret half %val
82 define half @test_fnmsub(half %a, half %b, half %c) {
83 ; CHECK-LABEL: test_fnmsub:
84 ; CHECK:       fnmsub h0, h0, h1, h2
85 ; CHECK-NEXT:  ret
86 entry:
87   %negc = fsub half -0.0, %c
88   %val = call half @llvm.fma.f16(half %a, half %b, half %negc)
89   ret half %val
92 declare half @llvm.fma.f16(half, half, half)