version 1.3, 2020/02/22 06:23:36 |
version 1.5, 2021/03/11 03:41:13 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr_body.c,v 1.2 2019/11/12 10:53:23 kondoh Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr_body.c,v 1.4 2020/10/06 06:31:20 noro Exp $ */ |
|
|
#define PRINTHAT (fortran_output?PUTS("**"):PUTS("^")) |
#define PRINTHAT (fortran_output?PUTS("**"):PUTS("^")) |
|
|
Line 568 void PRINTFNODE(FNODE f,int paren) |
|
Line 568 void PRINTFNODE(FNODE f,int paren) |
|
case L_AND: opname = ("@&&"); break; |
case L_AND: opname = ("@&&"); break; |
case L_OR: opname = ("@||"); break; |
case L_OR: opname = ("@||"); break; |
case L_NOT: opname = ("@!"); break; |
case L_NOT: opname = ("@!"); break; |
|
default: break; |
} |
} |
if ( (lid)FA0(f)==L_NOT ) { |
if ( (lid)FA0(f)==L_NOT ) { |
PUTS(opname); PRINTFNODE((FNODE)FA1(f),1); |
PUTS(opname); PRINTFNODE((FNODE)FA1(f),1); |
Line 603 void PRINTFNODE(FNODE f,int paren) |
|
Line 604 void PRINTFNODE(FNODE f,int paren) |
|
PUTS("("); PRINTFARGS(FA1(f)); PUTS(")"); |
PUTS("("); PRINTFARGS(FA1(f)); PUTS(")"); |
} |
} |
break; |
break; |
|
case I_PFDERIV: |
|
PUTS(((FUNC)FA0(f))->name); |
|
PUTS("{"); PRINTFARGS(FA2(f)); PUTS("}"); |
|
PUTS("("); PRINTFARGS(FA1(f)); PUTS(")"); |
|
break; |
/* XXX */ |
/* XXX */ |
case I_CAR: PUTS("car("); PRINTFNODE(FA0(f),0); PUTS(")"); break; |
case I_CAR: PUTS("car("); PRINTFNODE(FA0(f),0); PUTS(")"); break; |
case I_CDR: PUTS("cdr("); PRINTFNODE(FA0(f),0); PUTS(")"); break; |
case I_CDR: PUTS("cdr("); PRINTFNODE(FA0(f),0); PUTS(")"); break; |
Line 1098 void PRINTUP2(UP2 p) |
|
Line 1104 void PRINTUP2(UP2 p) |
|
PUTS("@"); PRINTHAT; TAIL PRINTF(OUT,"%d",d); |
PUTS("@"); PRINTHAT; TAIL PRINTF(OUT,"%d",d); |
} |
} |
for ( i = d-1; i >= 0; i-- ) { |
for ( i = d-1; i >= 0; i-- ) { |
if ( p->b[i/BSH] & (1<<(i%BSH)) ) |
if ( p->b[i/BSH] & (1<<(i%BSH)) ) { |
if ( !i ) { |
if ( !i ) { |
TAIL PRINTF(OUT,"+1"); |
TAIL PRINTF(OUT,"+1"); |
} else if ( i == 1 ) { |
} else if ( i == 1 ) { |
Line 1106 void PRINTUP2(UP2 p) |
|
Line 1112 void PRINTUP2(UP2 p) |
|
} else { |
} else { |
PUTS("+@"); PRINTHAT; TAIL PRINTF(OUT,"%d",i); |
PUTS("+@"); PRINTHAT; TAIL PRINTF(OUT,"%d",i); |
} |
} |
|
} |
} |
} |
TAIL PRINTF(OUT,")"); |
TAIL PRINTF(OUT,")"); |
} |
} |