Home
last modified time | relevance | path

Searched refs:if0 (Results 1 – 25 of 332) sorted by relevance

12345678910>>...14

/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/
H A Dstlc.rkt9 (if0 e e e)
19 (if0 E e e)
29 (--> (in-hole E (if0 0 e_1 e_2))
32 (--> (in-hole E (if0 number e_1 e_2))
93 (typeof Γ (if0 e_1 e_2 e_3) τ)]
120 (if0 n
153 (test-->> red (term ((λ (x num) (if0 x x (+ x 1))) 2)) 3)
154 (test-->> red (term ((λ (x num) (if0 x x (+ x 1))) 0)) 0)
167 (test-equal (term (subst x y (if0 (+ 1 x) x x)))
168 (term (if0 (+ 1 y) y y)))
[all …]
H A Dlazy.rkt9 ;; extended with integers, +, and if0.
18 (if0 e e e)) ;; add conditional
65 (⇓ Γ (if0 e_1 e_2 e_3) Δ v)])
111 [(rename-bound (if0 e_1 e_2 e_3) x y)
112 (if0 (rename-bound e_1 x y)
134 (if0 (subst/no-avoid e_1 x y)
186 [(^/h Δ (if0 e_1 e_2 e_3) (z ...))
187 ((if0 e_1* e_2* e_3*) (z_* ...))
207 (if0 (replace-free e_1 (x y) ...)
254 (term (if0 x z z)))
[all …]
H A Dlazy-with-binding.rkt9 ;; extended with integers, +, and if0.
18 (if0 e e e)) ;; add conditional
69 (⇓ Γ (if0 e_1 e_2 e_3) Δ v)])
148 (test-equal (run (term (if0 0 1 2))) 1)
149 (test-equal (run (term (if0 1 2 3))) 3)
202 (if0 x
/dports/net/wireshark/wireshark-3.6.1/tools/
H A Dcheckhf.pl302 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
310 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
318 $if0 = 1; # inside #if 0
322 $if0 = 0;
326 $if0 = 0;
337 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
340 if ($if or $if0 != 1) {
H A DcheckAPIs.pl979 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
987 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
995 $if0 = 1; # inside #if 0
999 $if0 = 0;
1003 $if0 = 0;
1014 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
1017 if ($if or $if0 != 1) {
/dports/net/wireshark-lite/wireshark-3.6.1/tools/
H A Dcheckhf.pl302 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
310 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
318 $if0 = 1; # inside #if 0
322 $if0 = 0;
326 $if0 = 0;
337 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
340 if ($if or $if0 != 1) {
H A DcheckAPIs.pl979 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
987 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
995 $if0 = 1; # inside #if 0
999 $if0 = 0;
1003 $if0 = 0;
1014 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
1017 if ($if or $if0 != 1) {
/dports/net/tshark-lite/wireshark-3.6.1/tools/
H A Dcheckhf.pl302 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
310 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
318 $if0 = 1; # inside #if 0
322 $if0 = 0;
326 $if0 = 0;
337 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
340 if ($if or $if0 != 1) {
H A DcheckAPIs.pl979 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
987 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
995 $if0 = 1; # inside #if 0
999 $if0 = 0;
1003 $if0 = 0;
1014 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
1017 if ($if or $if0 != 1) {
/dports/net/tshark/wireshark-3.6.1/tools/
H A Dcheckhf.pl302 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
310 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
318 $if0 = 1; # inside #if 0
322 $if0 = 0;
326 $if0 = 0;
337 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
340 if ($if or $if0 != 1) {
H A DcheckAPIs.pl979 my ($if_lvl, $if0_lvl, $if0) = (0,0,0);
987 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl [$if] - $block");
995 $if0 = 1; # inside #if 0
999 $if0 = 0;
1003 $if0 = 0;
1014 print(STDERR "if0=$if0 if0_lvl=$if0_lvl lvl=$if_lvl\n");
1017 if ($if or $if0 != 1) {
/dports/audio/waon/waon-0.10/
H A Danalyse.c50 double if0; /* freq point of maximum */ variable
393 extern double if0; /* freq point of maximum */ in patch_power()
400 f = (double)if0 * freq_ratio; in patch_power()
429 extern double if0; /* freq point of maximum */ in init_patch()
525 if0 = -1; in init_patch()
531 if0 = i; in init_patch()
534 if (if0 == -1) in init_patch()
/dports/lang/racket/racket-8.3/share/pkgs/redex-doc/redex/scribblings/extended-exercises/
H A Dchannels.rkt11 (if0 e e e)
78 (--> (e_1 ... (in-hole E (if0 0 e_then e_else)) e_2 ...)
80 if0-true)
81 (--> (e_1 ... (in-hole E (if0 v e_then e_else)) e_2 ...)
84 if0-false)))
H A Dcontract.rkt13 (if0 e e e)
60 (--> (in-hole E (if0 0 e_then e_else)) (in-hole E e_then) if0-true)
61 (--> (in-hole E (if0 v e_then e_else))
64 if0-false)
/dports/www/h2o-devel/h2o-dcc7134/deps/picotls/deps/cifra/src/
H A Dbitops.h239 const uint32_t if0[4], in select_xor128()
246 out[0] ^= (if0[0] & mask0) | (if1[0] & mask1); in select_xor128()
247 out[1] ^= (if0[1] & mask0) | (if1[1] & mask1); in select_xor128()
248 out[2] ^= (if0[2] & mask0) | (if1[2] & mask1); in select_xor128()
249 out[3] ^= (if0[3] & mask0) | (if1[3] & mask1); in select_xor128()
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sygus/
H A Dpbe_multi.sy9 (define-fun if0 ((x (BitVec 64)) (y (BitVec 64)) (z (BitVec 64))) (BitVec 64) (ite (= x #x000000000…
23 (if0 Start Start Start)
52 (if0 Start Start Start)
H A Dicfp_14_12_diff_types.sy5 (define-fun if0 ((x (BitVec 64)) (y (BitVec 64)) (z (BitVec 64))) (BitVec 64) (ite (= x #x000000000…
15 (if0 Start Start2 Start2)
H A Dicfp_28_10.sy10 (define-fun if0 ((x (BitVec 64)) (y (BitVec 64)) (z (BitVec 64))) (BitVec 64) (ite (= x #x000000000…
24 (if0 Start Start Start)
H A Dicfp_14.12-flip-args.sy9 (define-fun if0 ((y (BitVec 64)) (x (BitVec 64)) (z (BitVec 64))) (BitVec 64) (ite (= x #x000000000…
23 (if0 Start Start Start)
/dports/misc/libemos/libemos-4.5.9-Source/gribtemplates/
H A DlocalDefinitionTemplate_098_000_013.old26 if0 - IF_EQ 0 flag
28 endif0 - ENDIF if0
H A DlocalDefinitionTemplate_098_000_01326 if0 - IF_EQ 0 flag
28 endif0 - ENDIF if0
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/Transforms/Sink/
H A Dbasic.ll120 ; CHECK: if0:
127 br i1 %cmp, label %endif, label %if0
129 if0:
/dports/devel/llvm11/llvm-11.0.1.src/test/Transforms/Sink/
H A Dbasic.ll120 ; CHECK: if0:
127 br i1 %cmp, label %endif, label %if0
129 if0:
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/Sink/
H A Dbasic.ll120 ; CHECK: if0:
127 br i1 %cmp, label %endif, label %if0
129 if0:
/dports/devel/llvm10/llvm-10.0.1.src/test/Transforms/Sink/
H A Dbasic.ll120 ; CHECK: if0:
127 br i1 %cmp, label %endif, label %if0
129 if0:

12345678910>>...14