Home
last modified time | relevance | path

Searched refs:cmpM (Results 1 – 5 of 5) sorted by relevance

/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/utils/
H A Dmod_mpz_new.hpp94 int cmpM(const mp_limb_t *s) const { in cmpM() function in ModulusMPZ
126 ASSERT_EXPENSIVE (cmpM(a.r) < 0); in assertValid()
276 if (cy || cmpM(r.r) >= 0) { in add()
285 if (cy || cmpM(r.r) >= 0) { in add1()
305 if (cy || cmpM(r.r) >= 0) { in add()
376 if (cmpM(t) >= 0) { in mul()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DLHS.hs1872 mapM (List1.nubM (cmpM `on` thd3)) groups
1875 cmpM (a1, mst1) (a2, mst2) = do function
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/doc/
H A Dgccint.info10233 `cmpM'
10249 `cmpM' patterns should be used instead.
10451 instruction. In that case, the `cmpM' (and `tstM') patterns should
10456 `cmpM' pattern or a `tstM' pattern.
25028 * cmpM instruction pattern: Standard Names. (line 372)
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/doc/
H A Dgccint.info10233 `cmpM'
10249 `cmpM' patterns should be used instead.
10451 instruction. In that case, the `cmpM' (and `tstM') patterns should
10456 `cmpM' pattern or a `tstM' pattern.
25028 * cmpM instruction pattern: Standard Names. (line 372)
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/config/i386/
H A Di386.md413 ;; after the cmp) will actually emit the cmpM.