Searched refs:R1 (Results 1 - 25 of 32) sorted by relevance

12

/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md4/
H A Dmd4_dgst.c127 R1(A,B,C,D,X( 0), 3,0x5A827999L);
128 R1(D,A,B,C,X( 4), 5,0x5A827999L);
129 R1(C,D,A,B,X( 8), 9,0x5A827999L);
130 R1(B,C,D,A,X(12),13,0x5A827999L);
131 R1(A,B,C,D,X( 1), 3,0x5A827999L);
132 R1(D,A,B,C,X( 5), 5,0x5A827999L);
133 R1(C,D,A,B,X( 9), 9,0x5A827999L);
134 R1(B,C,D,A,X(13),13,0x5A827999L);
135 R1(A,B,C,D,X( 2), 3,0x5A827999L);
136 R1(
[all...]
H A Dmd4_locl.h106 #define R1(a,b,c,d,k,s,t) { \ macro
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dcumulative_examples.pl141 [D1,R1] :: [6,2],
146 LR = [R1,R2,R3,R4,R5,R6],
156 D1 ## R1, D2 ## R2, D3 ## R3, D4 ## R4, D5 ## R5, D6 ## R6,
174 LR = [R1,R2,R3,R4],
191 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4],
207 LR = [R1,R2,R3,R4,R5,R6,R7],
228 R1 #> R2, R2 #> R3, R3 #> R4, R4 #> R5, R5 #> R6, R6 #> R7,
232 % [R1,R2,R3,R4,R5,R6,R7] = [11,10,9,7,3,2,1],
239 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4,O5,D5,R5,O6,D6,R6,O7,D7,R7],
240 % Vars = [D1,R1,D
[all...]
H A Dic_probing_tests.pl87 [eclipse]: R1 :: 1..3, R2 :: 2..3, R3=1,
88 ex2([X,Y,Z],[1,5,6],[10,5,5],[R1,R2,R3],3,[granularity(1),priority(5)],Cost).
95 R1 = 1
H A Dprobing_tests.pl86 [eclipse]: R1 :: 1..3, R2 :: 2..3, R3=1,
87 ex2([X,Y,Z],[1,5,6],[10,5,5],[R1,R2,R3],3,[granularity(1),priority(5)],Cost).
94 R1 = 1
H A Dic_probing_for_scheduling.pl416 Resources=[R1,R2,R3],
417 ic:(R1::1..2), R2=2, R3=1,
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md5/
H A Dmd5_dgst.c127 R1(A,B,C,D,X( 1), 5,0xf61e2562L);
128 R1(D,A,B,C,X( 6), 9,0xc040b340L);
129 R1(C,D,A,B,X(11),14,0x265e5a51L);
130 R1(B,C,D,A,X( 0),20,0xe9b6c7aaL);
131 R1(A,B,C,D,X( 5), 5,0xd62f105dL);
132 R1(D,A,B,C,X(10), 9,0x02441453L);
133 R1(C,D,A,B,X(15),14,0xd8a1e681L);
134 R1(B,C,D,A,X( 4),20,0xe7d3fbc8L);
135 R1(A,B,C,D,X( 9), 5,0x21e1cde6L);
136 R1(
[all...]
H A Dmd5_locl.h117 #define R1(a,b,c,d,k,s,t) { \ macro
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md5/asm/
H A Dmd5-586.pl25 %Ltmp1=("R0",&Np($C), "R1",&Np($C), "R2",&Np($C), "R3",&Np($D));
28 1, 6, 11, 0, 5, 10, 15, 4, 9, 14, 3, 8, 13, 2, 7, 12, # R1
62 &mov($tmp1,&Np($c)) if $pos == 1; # next tmp1 for R1
71 sub R1 subroutine
75 &comment("R1 $ki");
219 &comment("R1 section");
220 &R1(-1,$A,$B,$C,$D,$X,16, 5,0xf61e2562);
221 &R1( 0,$D,$A,$B,$C,$X,17, 9,0xc040b340);
222 &R1( 0,$C,$D,$A,$B,$X,18,14,0x265e5a51);
223 &R1(
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/
H A Ddigin.pl61 add(t(L,Y,R), X, t(L,Y,R1)) :-
63 add(R, X, R1).
69 addroot(t(L,Y,R), X, t(t(L,Y,R1), X,R2)) :-
71 addroot(R, X, t(R1,X,R2)).
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dkb.pl767 ** Rel isdr <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union
768 ** Rel isdr <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference
769 ** Rel isdr <[A1, .., Am] :^:> R1 :*: R2 where Cond % join
772 ** Rel expand <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union
773 ** Rel expand <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference
774 ** Rel expand <[A1, .., Am] :^:> R1 :*: R2 where Cond % join
1035 'KB_isd_noproj_where'( R1 :+: R2, Cond, X) :- !,
1036 R1 <@@> R2,
1037 X isdr R1 where Cond,
1040 'KB_isd_noproj_where'( R1
[all...]
H A Ddb.pl359 ** R1 and R2 have combatible schemas iff there corresponding
507 ** [A1, .., Am] :^: R1 :*: R2 where Cond % join with proj.
508 ** [A1, .., Am] :^: R1 :+: R2 where Cond % union with projection
509 ** [A1, .., Am] :^: R1 :-: R2 where Cond % difference with projection
612 /* R1 <-- R2 remove tuples in Expr (relation) from OutRel */
618 /* R1 <-- R2 where C delete result of selection */
623 /* R1 <-- RelExpr delete result of general query */
642 /* R1 <-- R2 where C i.e. difference operation */
685 ** R1 :+: R2 union
686 ** R1
[all...]
H A Dlinearize.pl220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
221 linearize(E2, C1, C, L, L1, R, R1, Mod).
225 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
226 linearize((-1)*E2, C1, C, L, L1, R, R1, Mod).
258 resubstitute_free_nonlinears(ProdR,L2,R0,R1),
264 R = [Aux=E1LinExpr*E2LinExpr|R1]
314 R1=[LHS=RHS|R0]
318 LHS=RHS,R1=R0
320 resubstitute_free_nonlinears(More,Lin,R1,R).
327 linearize(E, C0, C1, L1, L0, R1, R
[all...]
H A Dheaps.pl106 add_to_heap(N, Key, Datum, t(K1,D1,L1,R1), t(K2,D2,L2,R2)) :-
110 add_to_heap(E, M, K3, D3, L1, R1, L2, R2).
115 add_to_heap(1, N, Key, Datum, L, R1, L, R2) :- !,
116 add_to_heap(N, Key, Datum, R1, R2).
144 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K2,D2,t(K1,D1,L1,R1),R3), N) :-
149 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K1,D1,L3,t(K2,D2,L2,R2)), N) :- !,
150 repair_heap(L1, R1, L3, M),
152 repair_heap(t(K1,D1,L1,R1), t, t(K1,D1,L3,t), N) :- !,
153 repair_heap(L1, R1, L
[all...]
H A Dmegalog.pl991 bang_join_temp(R1, R2, CondT, ProjL, RelOut) :-
992 bang_join(R1, R2, CondT, ProjL, RelOut, 0).
993 bang_join_temp(R1, R2, CondT, ProjL, RelOut, Action) :-
994 bang_join(R1, R2, CondT, ProjL, RelOut, Action).
996 bang_diff_temp(R1, R2, CondT, ProjL, RelOut) :-
997 bang_diff(R1, R2, CondT, ProjL, RelOut, 0).
998 bang_diff_temp(R1, R2, CondT, ProjL, RelOut, Action) :-
999 bang_diff(R1, R2, CondT, ProjL, RelOut, Action).
H A Dpaddy.pl641 make_fold(F,Ff,Indf), may_reunfold_def(Indf,Ff,R,F1,R1),
642 unfold(II,u,(I:-F1,R1),no_prune)
682 (read_table(Rk,[I1,R1,Ind],aux_table), getval(transformed(Ind),1),
683 variant(R,R1), R=R1, internal_check(R,I1,I+F) ->
763 internal_check(R1,I1,Rest) :-
764 not (varof(V,R1), not occurs(V,I1), occurs(V,Rest)).
801 may_reunfold_def(Ind,Ff,R,F1,R1) :-
803 getval(clau(Id),(Ff,T)), first_rest1(T,R,F1,R1)
804 ; F1=Ff, R1
[all...]
H A Dordset.pl259 compare(R1, X, Y),
260 ( R1 == (=) ->
262 ; R1 == (<) ->
/barrelfish-2018-10-04/usr/eclipseclp/
H A DPACK747 StrCpy \$R1 \$R0 1
751 IntCmp \$R1 1 lbl_cmp_jre_minor_ver lbl_no_jre lbl_set_jre_home
758 StrCpy \$R1 \$R0 \$R2 2
760 IntCmp \$R1 2 lbl_set_jre_home lbl_no_jre lbl_set_jre_home
763 ReadRegStr \$R1 HKLM \"\$R3\\\$R0\" JavaHome
764 WriteRegStr HKLM \"Software\\IC-Parc\\Eclipse\\\${VER_MAJOR}\" JRE_HOME \$R1\$R4
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dread.pl112 ambigop(F, L1, O1, R1, L2, O2) :-
114 infixop(F, L1, O1, R1), !.
265 ambigop(F, L1, O1, R1, L2, O2), !,
266 ( exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S)
270 infixop(F, L1, O1, R1), !,
271 exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S).
H A Ddistfix.pl150 ambigop(F, L1, O1, R1, L2, O2) :-
152 infixop(F, L1, O1, R1), !.
311 ambigop(F, L1, O1, R1, L2, O2), !,
312 ( exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S)
316 infixop(F, L1, O1, R1), !,
317 exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S).
H A Dassoc.pl130 map_assoc(Pred, t(Key,Val,L0,R0), t(Key,Ans,L1,R1), Module) :-
133 map_assoc(Pred, R0, R1, Module).
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex442 taskResource(S1,E1,R1,S2,E2,R2) :-
443 ne(R1,R2).
444 taskResource(S1,E1,R1,S2,E2,R2) :-
445 R1=R2, S1 >= E2.
446 taskResource(S1,E1,R1,S2,E2,R2) :-
447 R1=R2, S2 >= E1.
1711 fdTaskResource(S1,E1,R1,S2,E2,R2) :-
1712 R1 ## R2.
1713 fdTaskResource(S1,E1,R1,S2,E2,R2) :-
1714 R1#
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/
H A Dpuzzle_bool.pl102 add(I,J,N,B,L,R1) ,
103 add(I-1,J,N,B,R1,R2) ,
H A Ddiaz_bool.pl289 at_least_one1(L,R1),
290 or(X,R1,R).
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Dset.pl134 seteval(S1, R1),
135 union_s(R, R1,Re).
138 seteval(S1, R1),
139 inter_s(R, R1, Re).
142 seteval(S1, R1),
143 diff_s(R, R1, Re).
150 seteval(S1, R1),
151 dis_s(R, R1).
167 seteval(S1, R1),
168 sub_s(R, R1)
[all...]

Completed in 88 milliseconds

12