| /dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/number_fields/quadratic_order/ |
| H A D | quadratic_number_standard_appl.cc | 93 quadratic_number_standard minus_a; in misctest() local
95 minus_a = a; in misctest()
96 minus_a.negate(); in misctest()
99 assert(minus_a.is_negative()); in misctest()
102 assert(minus_a.is_positive()); in misctest()
105 minus_a.absolute_value(); in misctest()
106 assert(minus_a.is_positive()); in misctest()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | bvpoly_dag.c | 1612 uint64_t minus_a; in bvc_dag_mono64() local
1635 minus_a = norm64(-a, bitsize); in bvc_dag_mono64()
1637 kma = popcount64(minus_a); in bvc_dag_mono64()
1640 if (kma < ka || (kma == ka && is_pos64(minus_a, bitsize))) { in bvc_dag_mono64()
1641 a = minus_a; in bvc_dag_mono64()
1651 uint32_t *minus_a; in bvc_dag_mono() local
1669 minus_a = dag->aux.data; in bvc_dag_mono()
1670 bvconst_negate(minus_a, w); in bvc_dag_mono()
1671 bvconst_normalize(minus_a, bitsize); in bvc_dag_mono()
1674 kma = bvconst_popcount(minus_a, w); in bvc_dag_mono()
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/config/spu/ |
| H A D | vmx2spu.h | 45 vec_char16 minus_a; in vec_abs() local
47 minus_a = (vec_char16)(spu_add((vec_ushort8)(spu_and(spu_xor(a, 0xFF), 0x7F)), 0x101)); in vec_abs()
48 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abs()
71 vec_char16 minus_a; in vec_abss() local
73 minus_a = (vec_char16)spu_add((vec_short8)(spu_xor(a, -1)), in vec_abss()
75 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
80 vec_short8 minus_a; in vec_abss() local
83 return (spu_sel(minus_a, a, spu_cmpgt(a, -1))); in vec_abss()
88 vec_int4 minus_a; in vec_abss() local
90 …minus_a = spu_add(spu_sub(0, a), (vec_int4)(spu_cmpeq(a, ((vec_int4){0x80000000,0x80000000,0x80000… in vec_abss()
[all …]
|
| /dports/lang/perl5.34/perl-5.34.0/dist/Devel-PPPort/ |
| H A D | TODO | 166 minus_a
|
| /dports/lang/perl5.32/perl-5.32.1/dist/Devel-PPPort/ |
| H A D | TODO | 166 minus_a
|
| /dports/devel/p5-Devel-PPPort/Devel-PPPort-3.63/ |
| H A D | TODO | 166 minus_a
|
| /dports/lang/perl5-devel/perl5-5.35.4-102-ge43d289c7c/dist/Devel-PPPort/ |
| H A D | TODO | 166 minus_a
|
| /dports/lang/perl5.30/perl-5.30.3/ |
| H A D | intrpvar.h | 367 PERLVAR(I, minus_a, bool)
|
| /dports/lang/perl5.34/perl-5.34.0/ |
| H A D | intrpvar.h | 484 PERLVAR(I, minus_a, bool)
|
| /dports/lang/perl5.32/perl-5.32.1/ |
| H A D | intrpvar.h | 426 PERLVAR(I, minus_a, bool)
|
| /dports/lang/perl5-devel/perl5-5.35.4-102-ge43d289c7c/ |
| H A D | intrpvar.h | 484 PERLVAR(I, minus_a, bool)
|
| /dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
| H A D | polynomial.cpp | 4989 scoped_numeral minus_a(m_manager); in pseudo_division_core() local
5062 m_manager.set(minus_a, a); in pseudo_division_core()
5063 m_manager.neg(minus_a); in pseudo_division_core()
5064 m_som_buffer.addmul(minus_a, m_prime, r_B); in pseudo_division_core()
5986 scoped_numeral minus_a(m_manager); in neg() local
5989 m_manager.set(minus_a, p->a(i)); in neg()
5990 m_manager.neg(minus_a); in neg()
5991 m_cheap_som_buffer.add(minus_a, p->m(i)); in neg()
|