Home
last modified time | relevance | path

Searched refs:maxNeg (Results 1 – 17 of 17) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DNaming.cpp281 int maxNeg = 0; in apply_iter() local
301 if (d > maxNeg) { in apply_iter()
306 maxNeg = d; in apply_iter()
403 int maxNeg = 0; in apply_iter() local
428 maxNeg = d; in apply_iter()
791 int maxNeg = 0; in apply_sub() local
811 if (d > maxNeg) { in apply_sub()
816 maxNeg = d; in apply_sub()
904 int maxNeg = 0; in apply_sub() local
924 if (d > maxNeg) { in apply_sub()
[all …]
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/com/sun/java/util/jar/pack/
H A DCoding.java219 long maxNeg = range-1; in codeMin() local
220 while (!isNegativeCode(maxNeg, S)) in codeMin()
221 --maxNeg; in codeMin()
223 if (maxNeg < 0) return 0; // No negative codings at all. in codeMin()
224 return decodeSign32(maxNeg, S); in codeMin()
/dports/lang/clover/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/libosmesa/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/libosmesa-gallium/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-libs/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-dri-gallium/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-gallium-va/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-dri/mesa-21.3.6/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp647 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
649 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()
/dports/graphics/mesa-dri-classic/mesa-20.2.3/src/gallium/drivers/swr/rasterizer/jitter/
H A Dfetch_jit.cpp645 Value* maxNeg = ICMP_SLT(maxVertex, C((int64_t)0)); in JitGatherVertices() local
647 maxVertex = SELECT(maxNeg, C(0), TRUNC(maxVertex, mInt32Ty)); in JitGatherVertices()