244     uint16_t e1 = do_sqrdmlah_h(src1, src2, src3, false, true, sat);  in HELPER()  local
247     return deposit32(e1, 16, 16, e2);  in HELPER()
269     uint16_t e1 = do_sqrdmlah_h(src1, src2, src3, true, true, sat);  in HELPER()  local
272     return deposit32(e1, 16, 16, e2);  in HELPER()
888         float16 e1 = m[H2(i + 1)];  local
895             e1 = float16_maybe_ah_chs(e1, fpcr_ah);
898         d[H2(i)] = float16_add(e0, e1, fpst);
917         float32 e1 = m[H4(i + 1)];  in HELPER()  local
924             e1 = float32_maybe_ah_chs(e1, fpcr_ah);  in HELPER()
927         d[H4(i)] = float32_add(e0, e1, fpst);  in HELPER()
946         float64 e1 = m[i + 1];  in HELPER()  local
953             e1 = float64_maybe_ah_chs(e1, fpcr_ah);  in HELPER()
956         d[i] = float64_add(e0, e1, fpst);  in HELPER()
982         float16 e1 = m[H2(i + flip)] ^ negx_real;  in HELPER()  local
986         d[H2(i)] = float16_muladd(e2, e1, a[H2(i)], negf_real, fpst);  in HELPER()
1016         float16 e1 = negx_real ^ (flip ? mi : mr);  in HELPER()  local
1023             d[H2(j)] = float16_muladd(e2, e1, a[H2(j)], negf_real, fpst);  in HELPER()
1050         float32 e1 = m[H4(i + flip)] ^ negx_real;  in HELPER()  local
1054         d[H4(i)] = float32_muladd(e2, e1, a[H4(i)], negf_real, fpst);  in HELPER()
1084         float32 e1 = negx_real ^ (flip ? mi : mr);  in HELPER()  local
1091             d[H4(j)] = float32_muladd(e2, e1, a[H4(j)], negf_real, fpst);  in HELPER()
1118         float64 e1 = m[i + flip] ^ negx_real;  in HELPER()  local
1122         d[i] = float64_muladd(e2, e1, a[i], negf_real, fpst);  in HELPER()
2973 float32 bfdotadd(float32 sum, uint32_t e1, uint32_t e2, float_status *fpst)  in bfdotadd()  argument
2981     t1 = float32_mul(e1 << 16, e2 << 16, fpst);  in bfdotadd()
2982     t2 = float32_mul(e1 & 0xffff0000u, e2 & 0xffff0000u, fpst);  in bfdotadd()
2989 float32 bfdotadd_ebf(float32 sum, uint32_t e1, uint32_t e2,  in bfdotadd_ebf()  argument
2998     float64 e1r = float32_to_float64(e1 << 16, fpst);  in bfdotadd_ebf()
2999     float64 e1c = float32_to_float64(e1 & 0xffff0000u, fpst);  in bfdotadd_ebf()