Home
last modified time | relevance | path

Searched refs:v65 (Results 1 – 25 of 1634) sorted by relevance

12345678910>>...66

/dports/misc/otter/otter-3.3f/examples/ivy/
H A Dcd-cn19.out315 …v65))(v1 . (I v66 v65))(v3 . (I (I v66 v64) (I v2 (I v66 v65)))))) (or (not (P (I (I (I (I v64 v65…
332 (56 (instantiate 34 ((v0 . v64)(v1 . v65)(v2 . (I v2 v65)))) (P (I (I (I (N v64) v65) (I v2 v65)) (…
379 …e 102 ((v0 . v64)(v1 . (I (N (I v65 v65)) v66)))) (or (not (P (I v64 (I (N (I v65 v65)) v66)))) (P…
395 …(instantiate 118 ((v0 . v64)(v1 . v65)(v2 . v65))) (or (not (P (I v64 (I v65 v65)))) (P (I (I v3 v…
411 … . v64)(v1 . (I (N v65) v65))(v2 . v65))) (or (not (P (I v64 (I (I (N v65) v65) v65)))) (P (I (I v…
412 (136 (instantiate 130 ((v0 . v64)(v1 . v65))) (P (I v64 (I (I (N v65) v65) v65))) NIL)
419 …v64)(v1 . v65)(v2 . v65)(v3 . (I v66 (I v64 v65))))) (or (not (P (I (I v64 (I (N v65) v65)) (I v66…
423 …v65) v65)))(v1 . (I v66 (I v64 v65))))) (or (not (P (I (I v64 (I (N v65) v65)) (I v66 (I v64 v65))…
431 …v65)) (I v64 v65)))(v1 . (I (I v65 v66) (I v64 v66))))) (or (not (P (I (I (N (I v64 v65)) (I v64 v…
435 …tiate 158 ((v0 . v65)(v1 . (I v66 v65)))) (or (not (P (I (N (I v65 (I v66 v65))) (I v65 (I v66 v65…
[all …]
H A Dlifsch.out210 …v1 . v65)(v2 . (SK1 (SK1 v64 v65) v2))(v3 . v67))) (or (P (SK1 v64 v65) (SK1 v64 v65)) (or (S (SK1…
214 …0 . v64)(v1 . v65)(v2 . (SK1 v64 v65))(v3 . v67))) (or (P (SK1 v64 v65) (SK1 v64 v65)) (or (S (SK1…
222 (49 (instantiate 28 ((v0 . v65)(v1 . v66))) (or (P (SK1 v65 v66) (SK1 v65 v66)) (or (not (S v65 (SK…
223 …nstantiate 48 ((v0 . v65)(v1 . v65)(v2 . v66)(v3 . v67))) (or (S v65 (SK1 v65 v66)) (or (P (SK1 v6…
224 …9 (2 1) 50 (1)) (or (P (SK1 v65 v66) (SK1 v65 v66)) (or (Q (SK1 v65 v66) v2) (or (P (SK1 v65 v66) …
231 …stantiate 56 ((v0 . v64)(v1 . v65)(v2 . (SK1 v64 v65)))) (or (P (SK1 v64 v65) (SK1 v64 v65)) (Q (S…
235 …e 56 ((v0 . v64)(v1 . v65)(v2 . (SK1 v1 (SK1 v64 v65))))) (or (P (SK1 v64 v65) (SK1 v64 v65)) (Q (…
242 …stantiate 56 ((v0 . v64)(v1 . v65)(v2 . (SK1 v64 v65)))) (or (P (SK1 v64 v65) (SK1 v64 v65)) (Q (S…
245 (72 (instantiate 71 ((v1 . v65))) (or (P (SK1 v0 v65) (SK1 v0 v65)) (or (not (S v65 v65)) (P (SK1 v…
246 (73 (instantiate 67 ((v0 . v65)(v1 . v65)(v2 . v66)(v3 . v67))) (or (S v65 v65) (P (SK1 v66 v67) (S…
[all …]
H A Dgroup-x2-refute.out138 (12 (instantiate 11 ((v0 . v65))) (= (F v65 v65) (E)) NIL)
139 (13 (instantiate 10 ((v0 . v65)(v1 . v65)(v2 . v66))) (= (F (F v65 v65) v66) (F v65 (F v65 v66))) N…
142 (16 (paramod 15 (1) 14 (1)) (= v66 (F v65 (F v65 v66))) NIL)
143 (17 (flip 16 ()) (= (F v65 (F v65 v66)) v66) NIL)
145 (19 (instantiate 11 ((v0 . (F v64 v65)))) (= (F (F v64 v65) (F v64 v65)) (E)) NIL)
146 …20 (instantiate 10 ((v0 . v64)(v1 . v65)(v2 . (F v64 v65)))) (= (F (F v64 v65) (F v64 v65)) (F v64…
147 (21 (paramod 19 (1) 20 (1)) (= (E) (F v64 (F v65 (F v64 v65)))) NIL)
148 (22 (flip 21 ()) (= (F v64 (F v65 (F v64 v65))) (E)) NIL)
150 (24 (instantiate 11 ((v0 . v65))) (= (F v65 v65) (E)) NIL)
151 (25 (instantiate 18 ((v0 . v65)(v1 . v65))) (= (F v65 (F v65 v65)) v65) NIL)
[all …]
H A Dgroup-x2.out138 (12 (instantiate 11 ((v0 . v65))) (= (F v65 v65) (E)) NIL)
139 (13 (instantiate 10 ((v0 . v65)(v1 . v65)(v2 . v66))) (= (F (F v65 v65) v66) (F v65 (F v65 v66))) N…
142 (16 (paramod 15 (1) 14 (1)) (= v66 (F v65 (F v65 v66))) NIL)
143 (17 (flip 16 ()) (= (F v65 (F v65 v66)) v66) NIL)
145 (19 (instantiate 11 ((v0 . (F v64 v65)))) (= (F (F v64 v65) (F v64 v65)) (E)) NIL)
146 …20 (instantiate 10 ((v0 . v64)(v1 . v65)(v2 . (F v64 v65)))) (= (F (F v64 v65) (F v64 v65)) (F v64…
147 (21 (paramod 19 (1) 20 (1)) (= (E) (F v64 (F v65 (F v64 v65)))) NIL)
148 (22 (flip 21 ()) (= (F v64 (F v65 (F v64 v65))) (E)) NIL)
150 (24 (instantiate 11 ((v0 . v65))) (= (F v65 v65) (E)) NIL)
151 (25 (instantiate 18 ((v0 . v65)(v1 . v65))) (= (F v65 (F v65 v65)) v65) NIL)
[all …]
H A Dcomb-sk-w.out158 (11 (instantiate 8 ((v1 . v65))) (= (A (A (K) v0) v65) v0) NIL)
159 …tantiate 10 ((v0 . v64)(v1 . v65)(v2 . (A (K) v0)))) (= (A (A v64 v65) (A (A (K) v0) v65)) (A (A (…
160 (13 (paramod 11 (1) 12 (1 2)) (= (A (A v64 v65) v0) (A (A (A (S) v64) (A (K) v0)) v65)) NIL)
162 (15 (instantiate 8 ((v0 . v65)(v1 . (A v66 v65)))) (= (A (A (K) v65) (A v66 v65)) v65) NIL)
163 (16 (instantiate 10 ((v0 . (K))(v1 . v65)(v2 . v66))) (= (A (A (K) v65) (A v66 v65)) (A (A (A (S) (…
164 (17 (paramod 15 (1) 16 (1)) (= v65 (A (A (A (S) (K)) v66) v65)) NIL)
165 (18 (flip 17 ()) (= (A (A (A (S) (K)) v66) v65) v65) NIL)
167 (20 (instantiate 19 ((v1 . v65))) (= (A (A (A (S) (K)) v0) v65) v65) NIL)
168 …((v0 . v64)(v1 . v65)(v2 . (A (A (S) (K)) v0)))) (= (A (A v64 v65) (A (A (A (S) (K)) v0) v65)) (A …
169 (22 (paramod 20 (1) 21 (1 2)) (= (A (A v64 v65) v65) (A (A (A (S) v64) (A (A (S) (K)) v0)) v65)) NI…
[all …]
H A Dgroup-comm.out198 (25 (instantiate 10 ((v0 . v65))) (= (F (G v65) v65) (E)) NIL)
199 (26 (instantiate 11 ((v0 . (G v65))(v1 . v65)(v2 . v66))) (= (F (F (G v65) v65) v66) (F (G v65) (F …
205 (32 (instantiate 13 ((v0 . (F v64 v65)))) (= (F (F v64 v65) (F (F v64 v65) (F v64 v65))) (E)) NIL)
206 … . v64)(v1 . v65)(v2 . (F (F v64 v65) (F v64 v65))))) (= (F (F v64 v65) (F (F v64 v65) (F v64 v65)…
207 (34 (paramod 32 (1) 33 (1)) (= (E) (F v64 (F v65 (F (F v64 v65) (F v64 v65))))) NIL)
208 …35 (instantiate 11 ((v0 . v64)(v1 . v65)(v2 . (F v64 v65)))) (= (F (F v64 v65) (F v64 v65)) (F v64…
210 (37 (flip 36 ()) (= (F v64 (F v65 (F v64 (F v65 (F v64 v65))))) (E)) NIL)
220 (47 (instantiate 10 ((v0 . v65))) (= (F (G v65) v65) (E)) NIL)
221 (48 (instantiate 31 ((v0 . (G v65))(v1 . v65))) (= (F (G (G v65)) (F (G v65) v65)) v65) NIL)
223 (50 (instantiate 46 ((v0 . (G v65)))) (= (F (G (G v65)) (E)) (F (G v65) (G v65))) NIL)
[all …]
/dports/misc/otter/otter-3.3f/examples/fringe/
H A Drob_ocd.out279 (12 (instantiate 2 ((v0 . v64)(v1 . v65))) (= (+ v64 v65) (+ v65 v64)) NIL)
294 (27 (instantiate 2 ((v0 . v65)(v1 . v66))) (= (+ v65 v66) (+ v66 v65)) NIL)
303 (36 (instantiate 15 ((v0 . v64)(v1 . v65))) (= (n (+ (n (+ v64 v65)) (n (+ v65 (n v64))))) v65) NIL)
306 …2 ((v0 . (n (+ v64 v65)))(v1 . (n (+ v65 (n v64)))))) (= (+ (n (+ v64 v65)) (n (+ v65 (n v64)))) (…
307 (40 (instantiate 15 ((v0 . v64)(v1 . v65))) (= (n (+ (n (+ v64 v65)) (n (+ v65 (n v64))))) v65) NIL)
333 (66 (instantiate 4 ((v0 . v65))) (= (+ v65 (+ v1 v2)) (+ v1 (+ v65 v2))) NIL)
446 … (instantiate 173 ((v0 . (n (+ v65 (n (n v65))))))) (= (+ (n (+ (c) (n (c)))) (n (+ v65 (n (n v65)…
449 (182 (paramod 181 (1) 180 (2 1)) (= (n (n (+ v65 (n (n v65))))) (n (n v65))) NIL)
454 (187 (instantiate 173 ((v0 . v65))) (= (+ (n (+ (c) (n (c)))) v65) v65) NIL)
458 (191 (instantiate 183 ((v0 . (n v65)))) (= (n (n (+ (n v65) (n (n (n v65)))))) (n (n (n v65)))) NIL)
[all …]
/dports/multimedia/libfame/libfame-0.9.1/src/
H A Didct_float.h47 dct_t v62,v64,v65; in idct_aan_row() local
71 v65 = v04-v64; in idct_aan_row()
100 block[row*8+3] = v65-v55; in idct_aan_row()
101 block[row*8+4] = v65+v55; in idct_aan_row()
128 dct_t v62,v64,v65; in idct_aan_col() local
152 v65 = v04-v64; in idct_aan_col()
181 block[3*8+col] = v65-v55; in idct_aan_col()
182 block[4*8+col] = v65+v55; in idct_aan_col()
/dports/lang/perl5.34/perl-5.34.0/t/op/
H A Dver.t166 is( "\x{41}", +v65, 'bug id 20000323.056 (#2641)');
167 is( "\x41", +v65, 'bug id 20000323.056 (#2641)');
237 %h = (v65 => 42);
238 ok( exists $h{v65}, "v-stringness is not engaged for vX" );
239 %h = (v65.66 => 42);
/dports/lang/perl5.30/perl-5.30.3/t/op/
H A Dver.t166 is( "\x{41}", +v65, 'bug id 20000323.056 (#2641)');
167 is( "\x41", +v65, 'bug id 20000323.056 (#2641)');
237 %h = (v65 => 42);
238 ok( exists $h{v65}, "v-stringness is not engaged for vX" );
239 %h = (v65.66 => 42);
/dports/lang/perl5.32/perl-5.32.1/t/op/
H A Dver.t166 is( "\x{41}", +v65, 'bug id 20000323.056 (#2641)');
167 is( "\x41", +v65, 'bug id 20000323.056 (#2641)');
237 %h = (v65 => 42);
238 ok( exists $h{v65}, "v-stringness is not engaged for vX" );
239 %h = (v65.66 => 42);
/dports/lang/perl5-devel/perl5-5.35.4-102-ge43d289c7c/t/op/
H A Dver.t166 is( "\x{41}", +v65, 'bug id 20000323.056 (#2641)');
167 is( "\x41", +v65, 'bug id 20000323.056 (#2641)');
237 %h = (v65 => 42);
238 ok( exists $h{v65}, "v-stringness is not engaged for vX" );
239 %h = (v65.66 => 42);
/dports/lang/zig-devel/zig-0.9.0/lib/std/target/
H A Dhexagon.zig36 v65,
170 .description = "Support features deprecated in v65",
213 result[@enumToInt(Feature.v65)] = .{
214 .llvm_name = "v65",
340 .v65,
358 .v65,
377 .v65,
397 .v65,
417 .v65,
/dports/lang/zig/zig-0.9.0/lib/std/target/
H A Dhexagon.zig36 v65,
170 .description = "Support features deprecated in v65",
213 result[@enumToInt(Feature.v65)] = .{
214 .llvm_name = "v65",
340 .v65,
358 .v65,
377 .v65,
397 .v65,
417 .v65,
/dports/devel/p5-superclass/superclass-0.003/t/
H A Dversion-check.t44 eval "package Foo; use superclass DotVersioned => v65.0.65; 1";
45 like( $@, qr/this is only/, "fail v65.0.65 version check" );
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/filetests/filetests/regalloc/
H A Dsolver-fixedconflict-var-2.clif12 block37(v65: i32):
79 v578, v579 = x86_sdivmodx v65, v577, v305
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/filetests/filetests/legalizer/
H A Dbitrev-i128.clif82 ; check: v65 = band v62, v79
83 ; check: v66 = ishl_imm v65, 16
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/llvm10/llvm-10.0.1.src/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/llvm11/llvm-11.0.1.src/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/CodeGen/Hexagon/
H A Dregscav-wrong-super-sub-regs.ll77 %v35 = phi i32 [ undef, %b2 ], [ %v94, %b3 ], [ %v65, %b13 ]
139 %v65 = add i32 %v35, -1
140 %v66 = getelementptr inbounds i32, i32* %v59, i32 %v65
172 %v91 = phi i32 [ %v94, %b16 ], [ %v65, %b13 ]

12345678910>>...66