Searched refs:R2 (Results 1 - 25 of 33) sorted by relevance

12

/barrelfish-master/lib/openssl-1.0.0d/crypto/md4/
H A Dmd4_dgst.c144 R2(A,B,C,D,X( 0), 3,0x6ED9EBA1L);
145 R2(D,A,B,C,X( 8), 9,0x6ED9EBA1L);
146 R2(C,D,A,B,X( 4),11,0x6ED9EBA1L);
147 R2(B,C,D,A,X(12),15,0x6ED9EBA1L);
148 R2(A,B,C,D,X( 2), 3,0x6ED9EBA1L);
149 R2(D,A,B,C,X(10), 9,0x6ED9EBA1L);
150 R2(C,D,A,B,X( 6),11,0x6ED9EBA1L);
151 R2(B,C,D,A,X(14),15,0x6ED9EBA1L);
152 R2(A,B,C,D,X( 1), 3,0x6ED9EBA1L);
153 R2(
[all...]
H A Dmd4_locl.h110 #define R2(a,b,c,d,k,s,t) { \ macro
/barrelfish-master/lib/openssl-1.0.0d/crypto/md5/
H A Dmd5_dgst.c144 R2(A,B,C,D,X( 5), 4,0xfffa3942L);
145 R2(D,A,B,C,X( 8),11,0x8771f681L);
146 R2(C,D,A,B,X(11),16,0x6d9d6122L);
147 R2(B,C,D,A,X(14),23,0xfde5380cL);
148 R2(A,B,C,D,X( 1), 4,0xa4beea44L);
149 R2(D,A,B,C,X( 4),11,0x4bdecfa9L);
150 R2(C,D,A,B,X( 7),16,0xf6bb4b60L);
151 R2(B,C,D,A,X(10),23,0xbebfbc70L);
152 R2(A,B,C,D,X(13), 4,0x289b7ec6L);
153 R2(
[all...]
H A Dmd5_locl.h122 #define R2(a,b,c,d,k,s,t) { \ macro
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dcumulative_examples.pl142 [D2,R2] :: [4,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,O
[all...]
H A Dic_make_overlap_bivs.pl114 Task2 = task with [start:S2,duration:D2,resource:R2],
116 OutBivs=[R2|InBivs].
117 % If R2 is a variable, then Biv isn't really bivalued!
121 Task2 = task with [start:S2,duration:D2,resource:R2],
122 get_domain_as_list(R2,R2DomList),
127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1),
146 set_biv(S1,S2,D2,R2,Biv,Susp)
151 set_biv(S1,S2,D2,R2,Biv,Susp) :-
153 Biv=R2,
182 Task2 = task with [start:S2,duration:D2,resource:R2],
[all...]
H A Dmake_overlap_bivs.pl114 Task2 = task with [start:S2,duration:D2,resource:R2],
116 OutBivs=[R2|InBivs].
117 % If R2 is a variable, then Biv isn't really bivalued!
121 Task2 = task with [start:S2,duration:D2,resource:R2],
122 fd:dom(R2,R2DomList),
127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1),
146 set_biv(S1,S2,D2,R2,Biv,Susp)
151 set_biv(S1,S2,D2,R2,Biv,Susp) :-
153 Biv=R2,
182 Task2 = task with [start:S2,duration:D2,resource:R2],
[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).
96 R2 = 2
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).
95 R2 = 2
H A Dic_probe_search.pl115 Task2 = task with [start:S2,duration:D2,resource:R2],
118 Biv=R2,
H A Dic_probing_for_scheduling.pl416 Resources=[R1,R2,R3],
417 ic:(R1::1..2), R2=2, R3=1,
H A Dprobe_search.pl116 Task2 = task with [start:S2,duration:D2,resource:R2],
119 Biv=R2,
H A Dprobing_for_scheduling.pl416 Resources=[R1,R2,R3],
417 fd:(R1::1..2), R2=2, R3=1,
/barrelfish-master/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));
29 5, 8, 11, 14, 1, 4, 7, 10, 13, 0, 3, 6, 9, 12, 15, 2, # R2
94 sub R2 subroutine
101 &comment("R2 $ki");
119 &comment("R2 $ki");
238 &comment("R2 section");
239 &R2( 0,-1,$A,$B,$C,$D,$X,32, 4,0xfffa3942);
240 &R2( 1, 0,$D,$A,$B,$C,$X,33,11,0x8771f681);
241 &R2( 2, 0,$C,$D,$A,$B,$X,34,16,0x6d9d6122);
242 &R2(
[all...]
/barrelfish-master/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,
1038 X <+++ R2 where Cond.
1040 'KB_isd_noproj_where'( R1 :-: R2, Con
[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 */
642 /* R1 <-- R2 where C i.e. difference operation */
685 ** R1 :+: R2 union
686 ** R1 :-: R2 difference
687 ** R1 :*: R2 joi
[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) :-
147 repair_heap(L2, R2, R3, M),
149 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K1,D1,L3,t(K2,D2,L2,R2)), N) :- !,
155 repair_heap(t, t(K2,D2,L2,R2), t(K2,D2,t,R3), N) :- !,
156 repair_heap(L2, R2, R
[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).
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Ddigin.pl69 addroot(t(L,Y,R), X, t(t(L,Y,R1), X,R2)) :-
71 addroot(R, X, t(R1,X,R2)).
/barrelfish-master/usr/skb/programs/
H A Ddecoding_net3_multid.pl1154 route(N2Region, ResRegion, R2),
1156 union(R1,R2,Route).
1172 route(N2Region, ResRegion, R2),
1175 union(R1,R2,Route).
1186 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
1189 common_free_buffer([memory, [Size]], R1, R2, Dest, _),
1206 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
1209 common_free_map([memory, [Size]], R1, R2, ResR, _),
1213 mark_range_in_use(R2),
1383 route(NextRegion, DstRegion, R2),
[all...]
H A Ddecoding_net2.pl839 route(N2Region, ResRegion, R2),
841 union(R1,R2,Route).
857 route(N2Region, ResRegion, R2),
860 union(R1,R2,Route).
871 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
874 common_free_buffer([memory, [Size]], R1, R2, Dest, _),
891 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
894 common_free_map([memory, [Size]], R1, R2, ResR, _),
898 mark_range_in_use(R2),
1068 route(NextRegion, DstRegion, R2),
[all...]
H A Ddecoding_net3.pl1232 route(N2Region, ResRegion, R2),
1234 union(R1,R2,Route).
1250 route(N2Region, ResRegion, R2),
1253 union(R1,R2,Route).
1264 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]},
1267 common_free_buffer([memory, [Size]], R1, R2, Dest, _),
1284 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]},
1287 common_free_map([memory, [Size]], R1, R2, ResR, _),
1291 mark_range_in_use(R2),
1427 route_new(S, NextRegions, DstRegions, R2),
[all...]
/barrelfish-master/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#=R2, S
[all...]
/barrelfish-master/usr/eclipseclp/
H A DPACK755 StrLen \$R2 \$R0
758 StrCpy \$R1 \$R0 \$R2 2
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dpuzzle_bool.pl103 add(I-1,J,N,B,R1,R2) ,
104 add(I+1,J,N,B,R2,R3) ,

Completed in 287 milliseconds

12