OpenXM_contrib2/asir2000/builtin/dp-supp.c - diff

Return to dp-supp.c CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/dp-supp.c between version 1.57 and 1.61

version 1.57, 2010/05/01 02:17:49

version 1.61, 2015/08/14 13:51:54

Line 45

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.56 2009/10/15 07:08:40 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.60 2015/08/08 14:19:41 fujimoto Exp $

#include "ca.h"

#include "base.h"

Line 651 void dp_sp(DP p1,DP p2,DP *rp)

LIST hist;

NODE node;

node = mknode(4,ONE,0,s1,ONE);

node = mknode(4,ONE,NULLP,s1,ONE);

MKLIST(hist,node);

MKNODE(TraceList,hist,0);

node = mknode(4,ONE,0,0,ONE);

node = mknode(4,ONE,NULLP,NULLP,ONE);

chsgnd(s2,(DP *)&ARG2(node));

MKLIST(hist,node);

MKNODE(node,hist,TraceList); TraceList = node;

Line 704 void _dp_sp_dup(DP p1,DP p2,DP *rp)

LIST hist;

NODE node;

node = mknode(4,ONE,0,s1,ONE);

node = mknode(4,ONE,NULLP,s1,ONE);

MKLIST(hist,node);

MKNODE(TraceList,hist,0);

node = mknode(4,ONE,0,0,ONE);

node = mknode(4,ONE,NULLP,NULLP,ONE);

chsgnd(s2,(DP *)&ARG2(node));

MKLIST(hist,node);

MKNODE(node,hist,TraceList); TraceList = node;

Line 1249 DP *dp_true_nf_and_quotient_marked (NODE b,DP g,DP *ps

dn = (P)ONE;

if ( !g ) {

*rp = 0; *dnp = dn; return;

*rp = 0; *dnp = dn; return 0;

}

for ( n = 0, l = b; l; l = NEXT(l), n++ );

wb = (int *)ALLOCA(n*sizeof(int));

Line 1306 DP *dp_true_nf_and_quotient_marked_mod(NODE b,DP g,DP

for ( i = 0; i < n; i++ ) q[i] = 0;

dn = (P)ONEM;

if ( !g ) {

*rp = 0; *dnp = dn; return;

*rp = 0; *dnp = dn; return 0;

}

wb = (int *)ALLOCA(n*sizeof(int));

for ( i = 0, l = b; i < n; l = NEXT(l), i++ )

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>