| /third_party/openssl/crypto/modes/asm/ |
| D | ghash-c64xplus.pl | 33 ($Z0,$Z1,$Z2,$Z3, $H0, $H1, $H2, $H3,
85 || ZERO $Z3:$Z2
104 || LDDW *${xip}[0],$Z3:$Z2
117 || [B0] XOR $H3x,$Z3,$Z3
124 || [B0] XOR $H3x,$Z3,$Z3
130 STDW $Z3:$Z2,*${xip}[0]
131 || [B0] ZERO $Z3:$Z2
183 XOR.L $H3x,$Z3,$Z3 ; 7/1
189 || SHRMB.S $Z3,$Z2,$Z2
192 || SHRU $Z3,8,$Z3
[all …]
|
| D | aesni-gcm-x86_64.pl | 83 $Z0,$Z1,$Z2,$Z3,$Xi) = map("%xmm$_",(0..8));
106 vmovdqu $Z0,16+8(%rsp) # "$Z3" = 0
120 vpclmulqdq \$0x10,$Hkey,$Z3,$Z1
123 vpclmulqdq \$0x01,$Hkey,$Z3,$Z2
130 vpclmulqdq \$0x00,$Hkey,$Z3,$T1
134 vpclmulqdq \$0x11,$Hkey,$Z3,$Z3
152 vpxor 16+8(%rsp),$Xi,$Xi # modulo-scheduled [vpxor $Z3,$Xi,$Xi]
173 vpxor $Hkey,$Z3,$Z3
192 vpxor $Z1,$Z3,$Z3
214 vpxor $T1,$Z3,$Z3
[all …]
|
| /third_party/mesa3d/src/amd/addrlib/src/gfx11/ |
| D | gfx11SwizzlePattern.h | 1862 {Z3^Y4^X7, Z2^X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 51
1863 {Y3^Z3^X7, Z2^X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 52
1864 {Y3^Z3^X6, Z2^X3^Y6, Z1^Y4^X5, Z0^X4^Y5, }, // 53
1865 {Y2^Z3^X6, Z2^X3^Y5, Z1^Y3^X5, Z0^X4^Y4, }, // 54
1866 {Y2^Z3^X5, X2^Z2^Y5, Z1^Y3^X4, Z0^X3^Y4, }, // 55
1867 {Y4^X7, Z3^X4^Y7, Z2^Y5^X6, Z1^X5^Y6, }, // 56
1868 {Y3^X7, Z3^X4^Y6, Z2^Y4^X6, Z1^X5^Y5, }, // 57
1869 {Y3^X6, X3^Z3^Y6, Z2^Y4^X5, Z1^X4^Y5, }, // 58
1870 {Y2^X6, X3^Z3^Y5, Z2^Y3^X5, Z1^X4^Y4, }, // 59
1871 {Y2^X5, X2^Z3^Y5, Z2^Y3^X4, Z1^X3^Y4, }, // 60
[all …]
|
| /third_party/mesa3d/src/amd/addrlib/src/gfx10/ |
| D | gfx10SwizzlePattern.h | 3809 {Z3^Y4^X7, Z2^X4^Y7, Z1^Y5^X6, Z0^X5^Y6, }, // 21
3810 {Y3^Z3^X7, Z2^X4^Y6, Z1^Y4^X6, Z0^X5^Y5, }, // 22
3811 {Y3^Z3^X6, Z2^X3^Y6, Z1^Y4^X5, Z0^X4^Y5, }, // 23
3812 {Y2^Z3^X6, Z2^X3^Y5, Z1^Y3^X5, Z0^X4^Y4, }, // 24
3813 {Y2^Z3^X5, X2^Z2^Y5, Z1^Y3^X4, Z0^X3^Y4, }, // 25
3814 {Y4^Z4^X8, Z3^X4^Y8, Z2^Y5^X7, Z1^X5^Y7, }, // 26
3815 {Y3^Z4^X8, Z3^X4^Y7, Z2^Y4^X7, Z1^X5^Y6, }, // 27
3816 {Y3^Z4^X7, X3^Z3^Y7, Z2^Y4^X6, Z1^X4^Y6, }, // 28
3817 {Y2^Z4^X7, X3^Z3^Y6, Z2^Y3^X6, Z1^X4^Y5, }, // 29
3818 {Y2^Z4^X6, X2^Z3^Y6, Z2^Y3^X5, Z1^X3^Y5, }, // 30
[all …]
|
| /third_party/typescript/tests/baselines/reference/ |
| D | intersectionTypeNormalization.types | 71 type Z3 = A & C | A & D | X & (M | N) & C | X & (M | N) & D;
72 >Z3 : Z3
83 var z: Z3;
|
| D | intersectionTypeNormalization.js | 34 type Z3 = A & C | A & D | X & (M | N) & C | X & (M | N) & D;
39 var z: Z3;
|
| D | intersectionTypeNormalization.symbols | 139 type Z3 = A & C | A & D | X & (M | N) & C | X & (M | N) & D;
140 >Z3 : Symbol(Z3, Decl(intersectionTypeNormalization.ts, 31, 45))
181 var z: Z3;
183 >Z3 : Symbol(Z3, Decl(intersectionTypeNormalization.ts, 31, 45))
|
| /third_party/skia/third_party/externals/opengl-registry/extensions/SGIX/ |
| D | SGIX_impact_pixel_texture.txt | 94 PIXEL_TEX_GEN_Q_CEILING_SGIX GetTexParameter Z3 NONE pixel
95 PIXEL_TEX_GEN_Q_FLOOR_SGIX GetTexParameter Z3 NONE pixel
96 PIXEL_TEX_GEN_Q_ROUND_SGIX GetTexParameter Z3 NONE pixel
|
| /third_party/openGLES/extensions/SGIX/ |
| D | SGIX_impact_pixel_texture.txt | 94 PIXEL_TEX_GEN_Q_CEILING_SGIX GetTexParameter Z3 NONE pixel
95 PIXEL_TEX_GEN_Q_FLOOR_SGIX GetTexParameter Z3 NONE pixel
96 PIXEL_TEX_GEN_Q_ROUND_SGIX GetTexParameter Z3 NONE pixel
|
| /third_party/openGLES/extensions/EXT/ |
| D | EXT_texture_env_combine.txt | 317 SOURCE0_RGB_EXT GetTexEnviv n x Z3 TEXTURE texture
318 SOURCE1_RGB_EXT GetTexEnviv n x Z3 PREVIOUS_EXT texture
319 SOURCE2_RGB_EXT GetTexEnviv n x Z3 CONSTANT_EXT texture
320 SOURCE0_ALPHA_EXT GetTexEnviv n x Z3 TEXTURE texture
321 SOURCE1_ALPHA_EXT GetTexEnviv n x Z3 PREVIOUS_EXT texture
322 SOURCE2_ALPHA_EXT GetTexEnviv n x Z3 CONSTANT_EXT texture
|
| /third_party/skia/third_party/externals/opengl-registry/extensions/EXT/ |
| D | EXT_texture_env_combine.txt | 317 SOURCE0_RGB_EXT GetTexEnviv n x Z3 TEXTURE texture
318 SOURCE1_RGB_EXT GetTexEnviv n x Z3 PREVIOUS_EXT texture
319 SOURCE2_RGB_EXT GetTexEnviv n x Z3 CONSTANT_EXT texture
320 SOURCE0_ALPHA_EXT GetTexEnviv n x Z3 TEXTURE texture
321 SOURCE1_ALPHA_EXT GetTexEnviv n x Z3 PREVIOUS_EXT texture
322 SOURCE2_ALPHA_EXT GetTexEnviv n x Z3 CONSTANT_EXT texture
|
| /third_party/typescript/tests/cases/compiler/ |
| D | intersectionTypeNormalization.ts | 33 type Z3 = A & C | A & D | X & (M | N) & C | X & (M | N) & D; alias
38 var z: Z3;
|
| /third_party/openGLES/extensions/SGIS/ |
| D | SGIS_texture_edge_clamp.txt | 169 TEXTURE_WRAP_S GetTexParameteriv n x Z3 REPEAT texture
170 TEXTURE_WRAP_T GetTexParameteriv n x Z3 REPEAT texture
171 TEXTURE_WRAP_R_EXT GetTexParameteriv n x Z3 REPEAT texture
|
| /third_party/skia/third_party/externals/opengl-registry/extensions/SGIS/ |
| D | SGIS_texture_edge_clamp.txt | 169 TEXTURE_WRAP_S GetTexParameteriv n x Z3 REPEAT texture
170 TEXTURE_WRAP_T GetTexParameteriv n x Z3 REPEAT texture
171 TEXTURE_WRAP_R_EXT GetTexParameteriv n x Z3 REPEAT texture
|
| /third_party/openGLES/extensions/ARB/ |
| D | ARB_texture_env_combine.txt | 374 SOURCE0_RGB_ARB GetTexEnviv n x Z3 TEXTURE texture
375 SOURCE1_RGB_ARB GetTexEnviv n x Z3 PREVIOUS_ARB texture
376 SOURCE2_RGB_ARB GetTexEnviv n x Z3 CONSTANT_ARB texture
377 SOURCE0_ALPHA_ARB GetTexEnviv n x Z3 TEXTURE texture
378 SOURCE1_ALPHA_ARB GetTexEnviv n x Z3 PREVIOUS_ARB texture
379 SOURCE2_ALPHA_ARB GetTexEnviv n x Z3 CONSTANT_ARB texture
|
| D | ARB_texture_float.txt | 393 …TEXTURE_RED_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
394 …TEXTURE_GREEN_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
395 …TEXTURE_BLUE_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
396 …TEXTURE_ALPHA_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
397 …TEXTURE_LUMINANCE_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
398 …TEXTURE_INTENSITY_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
399 …TEXTURE_DEPTH_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
|
| /third_party/skia/third_party/externals/opengl-registry/extensions/ARB/ |
| D | ARB_texture_env_combine.txt | 364 SOURCE0_RGB_ARB GetTexEnviv n x Z3 TEXTURE texture
365 SOURCE1_RGB_ARB GetTexEnviv n x Z3 PREVIOUS_ARB texture
366 SOURCE2_RGB_ARB GetTexEnviv n x Z3 CONSTANT_ARB texture
367 SOURCE0_ALPHA_ARB GetTexEnviv n x Z3 TEXTURE texture
368 SOURCE1_ALPHA_ARB GetTexEnviv n x Z3 PREVIOUS_ARB texture
369 SOURCE2_ALPHA_ARB GetTexEnviv n x Z3 CONSTANT_ARB texture
|
| D | ARB_texture_float.txt | 383 …TEXTURE_RED_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
384 …TEXTURE_GREEN_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
385 …TEXTURE_BLUE_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
386 …TEXTURE_ALPHA_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
387 …TEXTURE_LUMINANCE_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
388 …TEXTURE_INTENSITY_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
389 …TEXTURE_DEPTH_TYPE_ARB Z3 GetTexLevelParameter - storage type 6.1.…
|
| /third_party/skia/third_party/externals/oboe/samples/RhythmGame/third_party/glm/detail/ |
| D | type_mat3x4.hpp | 51 typename X3, typename Y3, typename Z3, typename W3>
55 X3 x3, Y3 y3, Z3 z3, W3 w3);
|
| D | type_mat4x3.hpp | 53 typename X3, typename Y3, typename Z3,
58 X3 const & x3, Y3 const & y3, Z3 const & z3,
|
| D | type_mat3x3.hpp | 50 typename X3, typename Y3, typename Z3>
54 X3 x3, Y3 y3, Z3 z3);
|
| D | type_mat4x4.hpp | 52 typename X3, typename Y3, typename Z3, typename W3,
57 X3 const & x3, Y3 const & y3, Z3 const & z3, W3 const & w3,
|
| /third_party/openssl/fuzz/corpora/conf/ |
| D | 2a608572a2ed0f55ac76e193a2ac07bfecd894d6 | 275 Z3::=
|
| D | ca2049c01cb3ab136a583bd83be47be8151013c9 | 276 Z3::=
|
| /third_party/flutter/skia/third_party/externals/wuffs/doc/ |
| D | related-work.md | 66 also allows for pluggable theorem provers such as Z3, similar to
84 some cases, and also goes on to say, "Dafny/Z3 fails to verify the AES key
86 SMT solvers like Z3 are still occasionally unpredictable". Of course, Vale is
121 a sophisticated theorem prover like Z3, with the same trade-offs as discussed
131 and also relies on a sophisticated theorem prover like Z3.
|