Home
last modified time | relevance | path

Searched refs:z3 (Results 1 – 25 of 309) sorted by relevance

12345678910>>...13

/external/tensorflow/tensorflow/compiler/xla/service/
Dalgebraic_simplifier_proof_distributive_property.py35 import z3
40 FLOAT_TY = z3.Float16
42 a = z3.FP("a", FLOAT_TY())
43 b = z3.FP("b", FLOAT_TY())
44 c = z3.FP("c", FLOAT_TY())
46 s = z3.Solver()
49 s.add(z3.Extract(FLOAT_TY().sbits() - 1, 0, z3.fpToIEEEBV(c)) == 0)
51 for rm in [z3.RTZ(), z3.RNE()]:
52 z3.set_default_rounding_mode(rm)
58 z3.Not(
[all …]
/external/libjpeg-turbo/
Djidctint.c179 JLONG z1, z2, z3, z4, z5; variable
233 z3 = DEQUANTIZE(inptr[DCTSIZE * 6], quantptr[DCTSIZE * 6]);
235 z1 = MULTIPLY(z2 + z3, FIX_0_541196100);
236 tmp2 = z1 + MULTIPLY(z3, -FIX_1_847759065);
240 z3 = DEQUANTIZE(inptr[DCTSIZE * 4], quantptr[DCTSIZE * 4]);
242 tmp0 = LEFT_SHIFT(z2 + z3, CONST_BITS);
243 tmp1 = LEFT_SHIFT(z2 - z3, CONST_BITS);
261 z3 = tmp0 + tmp2;
263 z5 = MULTIPLY(z3 + z4, FIX_1_175875602); /* sqrt(2) * c3 */
271 z3 = MULTIPLY(z3, -FIX_1_961570560); /* sqrt(2) * (-c3-c5) */
[all …]
Djfdctint.c147 JLONG z1, z2, z3, z4, z5; variable
192 z3 = tmp4 + tmp6;
194 z5 = MULTIPLY(z3 + z4, FIX_1_175875602); /* sqrt(2) * c3 */
202 z3 = MULTIPLY(z3, -FIX_1_961570560); /* sqrt(2) * (-c3-c5) */
205 z3 += z5;
208 dataptr[7] = (DCTELEM)DESCALE(tmp4 + z1 + z3, CONST_BITS - PASS1_BITS);
210 dataptr[3] = (DCTELEM)DESCALE(tmp6 + z2 + z3, CONST_BITS - PASS1_BITS);
259 z3 = tmp4 + tmp6;
261 z5 = MULTIPLY(z3 + z4, FIX_1_175875602); /* sqrt(2) * c3 */
269 z3 = MULTIPLY(z3, -FIX_1_961570560); /* sqrt(2) * (-c3-c5) */
[all …]
Djfdctflt.c64 FAST_FLOAT z1, z2, z3, z4, z5, z11, z13; variable
105 z3 = tmp11 * ((FAST_FLOAT)0.707106781); /* c4 */
107 z11 = tmp7 + z3; /* phase 5 */
108 z13 = tmp7 - z3;
155 z3 = tmp11 * ((FAST_FLOAT)0.707106781); /* c4 */
157 z11 = tmp7 + z3; /* phase 5 */
158 z13 = tmp7 - z3;
Djfdctfst.c121 DCTELEM z1, z2, z3, z4, z5, z11, z13; variable
163 z3 = MULTIPLY(tmp11, FIX_0_707106781); /* c4 */
165 z11 = tmp7 + z3; /* phase 5 */
166 z13 = tmp7 - z3;
213 z3 = MULTIPLY(tmp11, FIX_0_707106781); /* c4 */
215 z11 = tmp7 + z3; /* phase 5 */
216 z13 = tmp7 - z3;
Djidctred.c126 JLONG z1, z2, z3, z4; variable
166 z3 = DEQUANTIZE(inptr[DCTSIZE * 6], quantptr[DCTSIZE * 6]);
168 tmp2 = MULTIPLY(z2, FIX_1_847759065) + MULTIPLY(z3, -FIX_0_765366865);
177 z3 = DEQUANTIZE(inptr[DCTSIZE * 3], quantptr[DCTSIZE * 3]);
182 MULTIPLY(z3, -FIX_2_172734803) + /* sqrt(2) * (-c1-c5) */
187 MULTIPLY(z3, FIX_0_899976223) + /* sqrt(2) * (c3-c7) */
240 z3 = (JLONG)wsptr[3];
245 MULTIPLY(z3, -FIX_2_172734803) + /* sqrt(2) * (-c1-c5) */
250 MULTIPLY(z3, FIX_0_899976223) + /* sqrt(2) * (c3-c7) */
/external/swiftshader/third_party/llvm-7.0/llvm/test/MC/AArch64/SVE/
Dst4w-diagnostics.s35 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, x0]
40 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, xzr]
45 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, x0, lsl #3]
50 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, w0]
55 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, w0, uxtw]
64 st4w {z2.s, z3.s, z4.s, z5.s}, p8, [x15, #10, MUL VL]
78 st4w { z0.s, z1.s, z2.s, z3.s, z4.s }, p0, [x0]
83 st4w { z0.s, z1.s, z2.s, z3.d }, p0, [x0]
88 st4w { z0.s, z1.s, z3.s, z5.s }, p0, [x0]
Dst4d-diagnostics.s35 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, x0]
40 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, xzr]
45 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, x0, lsl #2]
50 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, w0]
55 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, w0, uxtw]
65 st4d {z2.d, z3.d, z4.d, z5.d}, p8, [x15, #10, MUL VL]
79 st4d { z0.d, z1.d, z2.d, z3.d, z4.d }, p0, [x0]
84 st4d { z0.d, z1.d, z2.d, z3.b }, p0, [x0]
89 st4d { z0.d, z1.d, z3.d, z5.d }, p0, [x0]
Dst4h-diagnostics.s35 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, x0]
40 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, xzr]
45 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, x0, lsl #2]
50 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, w0]
55 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, w0, uxtw]
64 st4h {z2.h, z3.h, z4.h, z5.h}, p8, [x15, #10, MUL VL]
78 st4h { z0.h, z1.h, z2.h, z3.h, z4.h }, p0, [x0]
83 st4h { z0.h, z1.h, z2.h, z3.s }, p0, [x0]
88 st4h { z0.h, z1.h, z3.h, z5.h }, p0, [x0]
Dld4h-diagnostics.s35 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, x0]
40 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, xzr]
45 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, x0, lsl #2]
50 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, w0]
55 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, w0, uxtw]
64 ld4h {z2.h, z3.h, z4.h, z5.h}, p8/z, [x15, #10, MUL VL]
78 ld4h { z0.h, z1.h, z2.h, z3.h, z4.h }, p0/z, [x0]
83 ld4h { z0.h, z1.h, z2.h, z3.s }, p0/z, [x0]
88 ld4h { z0.h, z1.h, z3.h, z5.h }, p0/z, [x0]
Dld4w-diagnostics.s35 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, x0]
40 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, xzr]
45 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, x0, lsl #3]
50 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, w0]
55 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, w0, uxtw]
64 ld4w {z2.s, z3.s, z4.s, z5.s}, p8/z, [x15, #10, MUL VL]
78 ld4w { z0.s, z1.s, z2.s, z3.s, z4.s }, p0/z, [x0]
83 ld4w { z0.s, z1.s, z2.s, z3.d }, p0/z, [x0]
88 ld4w { z0.s, z1.s, z3.s, z5.s }, p0/z, [x0]
Dld4d-diagnostics.s35 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, x0]
40 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, xzr]
45 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, x0, lsl #2]
50 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, w0]
55 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, w0, uxtw]
64 ld4d {z2.d, z3.d, z4.d, z5.d}, p8/z, [x15, #10, MUL VL]
78 ld4d { z0.d, z1.d, z2.d, z3.d, z4.d }, p0/z, [x0]
83 ld4d { z0.d, z1.d, z2.d, z3.b }, p0/z, [x0]
88 ld4d { z0.d, z1.d, z3.d, z5.d }, p0/z, [x0]
Dst4b-diagnostics.s35 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, xzr]
40 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, x0, lsl #1]
45 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, w0]
50 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, w0, uxtw]
59 st4b {z2.b, z3.b, z4.b, z5.b}, p8, [x15, #10, MUL VL]
73 st4b { z0.b, z1.b, z2.b, z3.b, z4.b }, p0, [x0]
78 st4b { z0.b, z1.b, z2.b, z3.h }, p0, [x0]
83 st4b { z0.b, z1.b, z3.b, z5.b }, p0, [x0]
Dld4b-diagnostics.s35 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, xzr]
40 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, x0, lsl #1]
45 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, w0]
50 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, w0, uxtw]
59 ld4b {z2.b, z3.b, z4.b, z5.b}, p8/z, [x15, #10, MUL VL]
73 ld4b { z0.b, z1.b, z2.b, z3.b, z4.b }, p0/z, [x0]
78 ld4b { z0.b, z1.b, z2.b, z3.h }, p0/z, [x0]
83 ld4b { z0.b, z1.b, z3.b, z5.b }, p0/z, [x0]
/external/apache-commons-math/src/main/java/org/apache/commons/math/random/
DWell512a.java96 final int z3 = z1 ^ z2; in next() local
97 …final int z4 = (z0 ^ (z0 << 2)) ^ (z1 ^ (z1 << 18)) ^ (z2 << 28) ^ (z3 ^ ((z3 << 5) & 0xda442d24)); in next()
99 v[index] = z3; in next()
DWell19937a.java97 final int z3 = z1 ^ z2; in next() local
98 final int z4 = z0 ^ (z1 ^ (z1 << 9)) ^ (z2 ^ (z2 << 21)) ^ (z3 ^ (z3 >>> 21)); in next()
100 v[index] = z3; in next()
DWell19937c.java97 final int z3 = z1 ^ z2; in next() local
98 int z4 = z0 ^ (z1 ^ (z1 << 9)) ^ (z2 ^ (z2 << 21)) ^ (z3 ^ (z3 >>> 21)); in next()
100 v[index] = z3; in next()
DWell44497b.java100 final int z3 = z1 ^ z2; in next() local
103 int z4 = z0 ^ (z1 ^ (z1 >>> 20)) ^ z2Second ^ z3; in next()
105 v[index] = z3; in next()
DWell44497a.java98 final int z3 = z1 ^ z2; in next() local
101 final int z4 = z0 ^ (z1 ^ (z1 >>> 20)) ^ z2Second ^ z3; in next()
103 v[index] = z3; in next()
/external/bouncycastle/repackaged/bcprov/src/main/java/com/android/org/bouncycastle/crypto/modes/gcm/
DGCMUtil.java118 int z0 = 0, z1 = 0, z2 = 0, z3 = 0; in multiply() local
129 z3 ^= (y3 & m1); in multiply()
142 x[3] = z3; in multiply()
282 long z0 = t[0], z1 = t[1], z2 = t[2], z3 = t[3]; in square() local
284 z1 ^= z3 ^ (z3 >>> 1) ^ (z3 >>> 2) ^ (z3 >>> 7); in square()
285 z2 ^= (z3 << 63) ^ (z3 << 62) ^ (z3 << 57); in square()
/external/bouncycastle/bcprov/src/main/java/org/bouncycastle/crypto/modes/gcm/
DGCMUtil.java114 int z0 = 0, z1 = 0, z2 = 0, z3 = 0; in multiply() local
125 z3 ^= (y3 & m1); in multiply()
138 x[3] = z3; in multiply()
278 long z0 = t[0], z1 = t[1], z2 = t[2], z3 = t[3]; in square() local
280 z1 ^= z3 ^ (z3 >>> 1) ^ (z3 >>> 2) ^ (z3 >>> 7); in square()
281 z2 ^= (z3 << 63) ^ (z3 << 62) ^ (z3 << 57); in square()
/external/swiftshader/third_party/llvm-7.0/llvm/test/CodeGen/Mips/
Dselpat.ll10 @z3 = common global i32 0, align 4
29 store i32 %cond10, i32* @z3, align 4
52 store i32 %cond10, i32* @z3, align 4
79 store i32 %cond10, i32* @z3, align 4
102 store i32 %cond10, i32* @z3, align 4
127 store i32 %cond10, i32* @z3, align 4
152 store i32 %cond10, i32* @z3, align 4
177 store i32 %cond10, i32* @z3, align 4
201 store i32 %cond10, i32* @z3, align 4
223 store i32 %cond10, i32* @z3, align 4
[all …]
/external/llvm/test/CodeGen/Mips/
Dselpat.ll10 @z3 = common global i32 0, align 4
29 store i32 %cond10, i32* @z3, align 4
52 store i32 %cond10, i32* @z3, align 4
79 store i32 %cond10, i32* @z3, align 4
102 store i32 %cond10, i32* @z3, align 4
127 store i32 %cond10, i32* @z3, align 4
152 store i32 %cond10, i32* @z3, align 4
177 store i32 %cond10, i32* @z3, align 4
201 store i32 %cond10, i32* @z3, align 4
223 store i32 %cond10, i32* @z3, align 4
[all …]
/external/mesa3d/src/mesa/program/
Dprog_noise.c346 float x1, y1, z1, x2, y2, z2, x3, y3, z3; in _mesa_noise3() local
423 z3 = z0 - 1.0f + 3.0f * G3; in _mesa_noise3()
459 t3 = 0.6f - x3 * x3 - y3 * y3 - z3 * z3; in _mesa_noise3()
466 z3); in _mesa_noise3()
529 float x1, y1, z1, w1, x2, y2, z2, w2, x3, y3, z3, w3, x4, y4, z4, w4; in _mesa_noise4() local
568 z3 = z0 - k3 + 3.0f * G4; in _mesa_noise4()
614 t3 = 0.6f - x3 * x3 - y3 * y3 - z3 * z3 - w3 * w3; in _mesa_noise4()
622 x3, y3, z3, w3); in _mesa_noise4()
/external/lzma/CPP/7zip/UI/FileManager/
DProgressDialog2a.rc22 #undef z3
30 #define z3 (y4 + k + 1)
32 #define z2 (z3 + k + 1)
72 LTEXT "", IDT_PROGRESS_STATUS, m, z3, xc, MY_TEXT_NOPREFIX

12345678910>>...13