/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md4/ |
H A D | md4_dgst.c | 110 R0(A,B,C,D,X( 0), 3,0); HOST_c2l(data,l); X( 2)=l; 111 R0(D,A,B,C,X( 1), 7,0); HOST_c2l(data,l); X( 3)=l; 112 R0(C,D,A,B,X( 2),11,0); HOST_c2l(data,l); X( 4)=l; 113 R0(B,C,D,A,X( 3),19,0); HOST_c2l(data,l); X( 5)=l; 114 R0(A,B,C,D,X( 4), 3,0); HOST_c2l(data,l); X( 6)=l; 115 R0(D,A,B,C,X( 5), 7,0); HOST_c2l(data,l); X( 7)=l; 116 R0(C,D,A,B,X( 6),11,0); HOST_c2l(data,l); X( 8)=l; 117 R0(B,C,D,A,X( 7),19,0); HOST_c2l(data,l); X( 9)=l; 118 R0(A,B,C,D,X( 8), 3,0); HOST_c2l(data,l); X(10)=l; 119 R0( [all...] |
H A D | md4_locl.h | 102 #define R0(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-2018-10-04/usr/eclipseclp/ |
H A D | PACK | 679 SectionGetFlags \${SecDoc} \$R0 680 IntOp \$R0 \$R0 & \${SF_SELECTED} 681 IntCmp \$R0 \${SF_SELECTED} \"\" lbl_no_online_doc lbl_no_online_doc 688 SectionGetFlags \${SecTclTk} \$R0 689 IntOp \$R0 \$R0 & \${SF_SELECTED} 690 IntCmp \$R0 \${SF_SELECTED} 0 +4 +4 729 ReadRegStr \$R0 HKLM \$R3 CurrentVersion 731 StrCmp \$R0 \"\" lbl_try_jd [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md5/ |
H A D | md5_dgst.c | 110 R0(A,B,C,D,X( 0), 7,0xd76aa478L); HOST_c2l(data,l); X( 2)=l; 111 R0(D,A,B,C,X( 1),12,0xe8c7b756L); HOST_c2l(data,l); X( 3)=l; 112 R0(C,D,A,B,X( 2),17,0x242070dbL); HOST_c2l(data,l); X( 4)=l; 113 R0(B,C,D,A,X( 3),22,0xc1bdceeeL); HOST_c2l(data,l); X( 5)=l; 114 R0(A,B,C,D,X( 4), 7,0xf57c0fafL); HOST_c2l(data,l); X( 6)=l; 115 R0(D,A,B,C,X( 5),12,0x4787c62aL); HOST_c2l(data,l); X( 7)=l; 116 R0(C,D,A,B,X( 6),17,0xa8304613L); HOST_c2l(data,l); X( 8)=l; 117 R0(B,C,D,A,X( 7),22,0xfd469501L); HOST_c2l(data,l); X( 9)=l; 118 R0(A,B,C,D,X( 8), 7,0x698098d8L); HOST_c2l(data,l); X(10)=l; 119 R0( [all...] |
H A D | md5_locl.h | 112 #define R0(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | linearize.pl | 204 linearize(E, C0, C, L, L0, R, R0, Mod) :- E = subscript(Array,Index), !, 206 C = C0, L = [1*Aux|L0], R = [Aux=E|R0] 209 linearize(Elem, C0, C, L, L0, R, R0, Mod) 215 linearize(+E, C0, C, L, L0, R, R0, Mod) :- !, 216 linearize(E, C0, C, L, L0, R, R0, Mod). 217 linearize(-E, C0, C, L, L0, R, R0, Mod) :- !, 218 linearize((-1)*E, C0, C, L, L0, R, R0, Mod). 219 linearize(E1+E2, C0, C, L, L0, R, R0, Mod) :- !, 220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod), 222 linearize(sum(List), C0, C, L, L0, R, R0, Mo [all...] |
H A D | kernel.pl | 2841 sum(X, R, R0, M) :- var(X), !, 2843 make_suspension(sum([R0|X],R), 0, Susp, M), 2848 sum([], R, R0, _M) :- !, R=R0. 2849 sum([X|Xs], R, R0, M) :- !, 2851 +(R0, R1, R2), 2853 sum(subscript(Array,Index), R, R0, M) :- !, 2855 ( number(Elems) -> +(R0, Elems, R) 2856 ; var(Elems) -> eval(Elems, R1, M), +(R0, R1, R) 2857 ; sum(Elems, R, R0, [all...] |
H A D | meta.pl | 773 x_res(Res0, R0), 774 comp_instances_handler(R0, List, R),
|
H A D | tracer_tcl.pl | 1098 get_subscripts([N,M], R0, C0, [R,C]) :- !, 1099 (N >= R0 -> R = R0
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md5/asm/ |
H A D | md5-586.pl | 25 %Ltmp1=("R0",&Np($C), "R1",&Np($C), "R2",&Np($C), "R3",&Np($D)); 27 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, # R0 43 sub R0 subroutine 52 &comment("R0 $ki"); 61 &mov($tmp1,&Np($c)) if $pos < 1; # next tmp1 for R0 199 &comment("R0 section"); 201 &R0(-2,$A,$B,$C,$D,$X, 0, 7,0xd76aa478); 202 &R0( 0,$D,$A,$B,$C,$X, 1,12,0xe8c7b756); 203 &R0( 0,$C,$D,$A,$B,$X, 2,17,0x242070db); 204 &R0( [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | r.pl | 545 substitute(_,[],R0,R) :- !, R0=R. 546 substitute(Coeff,[mono(C,V)|T],R0,R) :- 549 substitute(C1,Rhs,R0,R1) 551 R1 = [mono(C1,V)|R0] 557 substitute(_,[],R0,R) :- !, R0=R. 558 substitute(Coeff,[mono(C,V)|T],R0,R) :- 560 substitute_aux(C1,V,R0,R1), 564 substitute_aux(C,V,R0, [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | assoc.pl | 130 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/tutorial/ |
H A D | prolog.tex | 791 %rev([E|L], R0, R) :- rev(L, [E|R0], R).
|