245 lines
		
	
	
		
			5 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
		
		
			
		
	
	
			245 lines
		
	
	
		
			5 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| 
								 | 
							
								/*
							 | 
						||
| 
								 | 
							
								 * Copyright (c) 2003, 2007-14 Matteo Frigo
							 | 
						||
| 
								 | 
							
								 * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
							 | 
						||
| 
								 | 
							
								 *
							 | 
						||
| 
								 | 
							
								 * This program is free software; you can redistribute it and/or modify
							 | 
						||
| 
								 | 
							
								 * it under the terms of the GNU General Public License as published by
							 | 
						||
| 
								 | 
							
								 * the Free Software Foundation; either version 2 of the License, or
							 | 
						||
| 
								 | 
							
								 * (at your option) any later version.
							 | 
						||
| 
								 | 
							
								 *
							 | 
						||
| 
								 | 
							
								 * This program is distributed in the hope that it will be useful,
							 | 
						||
| 
								 | 
							
								 * but WITHOUT ANY WARRANTY; without even the implied warranty of
							 | 
						||
| 
								 | 
							
								 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
							 | 
						||
| 
								 | 
							
								 * GNU General Public License for more details.
							 | 
						||
| 
								 | 
							
								 *
							 | 
						||
| 
								 | 
							
								 * You should have received a copy of the GNU General Public License
							 | 
						||
| 
								 | 
							
								 * along with this program; if not, write to the Free Software
							 | 
						||
| 
								 | 
							
								 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
							 | 
						||
| 
								 | 
							
								 *
							 | 
						||
| 
								 | 
							
								 */
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								#include "kernel/ifftw.h"
							 | 
						||
| 
								 | 
							
								#include <stddef.h>
							 | 
						||
| 
								 | 
							
								#include <stdarg.h>
							 | 
						||
| 
								 | 
							
								#include <stdio.h>
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								#define BSZ 64
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void myputs(printer *p, const char *s)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     char c;
							 | 
						||
| 
								 | 
							
								     while ((c = *s++))
							 | 
						||
| 
								 | 
							
								          p->putchr(p, c);
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void newline(printer *p)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     int i;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     p->putchr(p, '\n');
							 | 
						||
| 
								 | 
							
								     for (i = 0; i < p->indent; ++i)
							 | 
						||
| 
								 | 
							
									  p->putchr(p, ' ');
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static const char *digits = "0123456789abcdef";
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void putint(printer *p, INT i)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     char buf[BSZ];
							 | 
						||
| 
								 | 
							
								     char *f = buf;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     if (i < 0) {
							 | 
						||
| 
								 | 
							
									  p->putchr(p, '-');
							 | 
						||
| 
								 | 
							
									  i = -i;
							 | 
						||
| 
								 | 
							
								     }
							 | 
						||
| 
								 | 
							
								     
							 | 
						||
| 
								 | 
							
								     do {
							 | 
						||
| 
								 | 
							
									  *f++ = digits[i % 10];
							 | 
						||
| 
								 | 
							
									  i /= 10;
							 | 
						||
| 
								 | 
							
								     } while (i);
							 | 
						||
| 
								 | 
							
								     
							 | 
						||
| 
								 | 
							
								     do {
							 | 
						||
| 
								 | 
							
									  p->putchr(p, *--f);
							 | 
						||
| 
								 | 
							
								     } while (f != buf);
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void putulong(printer *p, unsigned long i, unsigned base, int width)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     char buf[BSZ];
							 | 
						||
| 
								 | 
							
								     char *f = buf;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     do {
							 | 
						||
| 
								 | 
							
									  *f++ = digits[i % base];
							 | 
						||
| 
								 | 
							
									  i /= base;
							 | 
						||
| 
								 | 
							
								     } while (i);
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     while (width > f - buf) {
							 | 
						||
| 
								 | 
							
									  p->putchr(p, '0');
							 | 
						||
| 
								 | 
							
									  --width;
							 | 
						||
| 
								 | 
							
								     }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     do {
							 | 
						||
| 
								 | 
							
									  p->putchr(p, *--f);
							 | 
						||
| 
								 | 
							
								     } while (f != buf);
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void vprint(printer *p, const char *format, va_list ap)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     const char *s = format;
							 | 
						||
| 
								 | 
							
								     char c;
							 | 
						||
| 
								 | 
							
								     INT ival;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								     while ((c = *s++)) {
							 | 
						||
| 
								 | 
							
								          switch (c) {
							 | 
						||
| 
								 | 
							
									      case '%':
							 | 
						||
| 
								 | 
							
										   switch ((c = *s++)) {
							 | 
						||
| 
								 | 
							
										       case 'M': {
							 | 
						||
| 
								 | 
							
											    /* md5 value */
							 | 
						||
| 
								 | 
							
											    md5uint x = va_arg(ap, md5uint);
							 | 
						||
| 
								 | 
							
											    putulong(p, (unsigned long)(0xffffffffUL & x),
							 | 
						||
| 
								 | 
							
												     16u, 8);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'c': {
							 | 
						||
| 
								 | 
							
											    int x = va_arg(ap, int);
							 | 
						||
| 
								 | 
							
											    p->putchr(p, (char)x);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 's': {
							 | 
						||
| 
								 | 
							
											    char *x = va_arg(ap, char *);
							 | 
						||
| 
								 | 
							
											    if (x)
							 | 
						||
| 
								 | 
							
												 myputs(p, x);
							 | 
						||
| 
								 | 
							
											    else
							 | 
						||
| 
								 | 
							
												 goto putnull;
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'd': {
							 | 
						||
| 
								 | 
							
											    int x = va_arg(ap, int);
							 | 
						||
| 
								 | 
							
											    ival = (INT)x;
							 | 
						||
| 
								 | 
							
											    goto putival;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'D': {
							 | 
						||
| 
								 | 
							
											    ival = va_arg(ap, INT);
							 | 
						||
| 
								 | 
							
											    goto putival;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'v': {
							 | 
						||
| 
								 | 
							
											    /* print optional vector length */
							 | 
						||
| 
								 | 
							
											    ival = va_arg(ap, INT);
							 | 
						||
| 
								 | 
							
											    if (ival > 1) {
							 | 
						||
| 
								 | 
							
												 myputs(p, "-x");
							 | 
						||
| 
								 | 
							
												 goto putival;
							 | 
						||
| 
								 | 
							
											    }
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'o': {
							 | 
						||
| 
								 | 
							
											    /* integer option.  Usage: %oNAME= */
							 | 
						||
| 
								 | 
							
											    ival = va_arg(ap, INT);
							 | 
						||
| 
								 | 
							
											    if (ival)
							 | 
						||
| 
								 | 
							
												 p->putchr(p, '/');
							 | 
						||
| 
								 | 
							
											    while ((c = *s++) != '=')
							 | 
						||
| 
								 | 
							
												 if (ival)
							 | 
						||
| 
								 | 
							
												      p->putchr(p, c);
							 | 
						||
| 
								 | 
							
											    if (ival) {
							 | 
						||
| 
								 | 
							
												 p->putchr(p, '=');
							 | 
						||
| 
								 | 
							
												 goto putival;
							 | 
						||
| 
								 | 
							
											    }
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'u': {
							 | 
						||
| 
								 | 
							
											    unsigned x = va_arg(ap, unsigned);
							 | 
						||
| 
								 | 
							
											    putulong(p, (unsigned long)x, 10u, 0);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'x': {
							 | 
						||
| 
								 | 
							
											    unsigned x = va_arg(ap, unsigned);
							 | 
						||
| 
								 | 
							
											    putulong(p, (unsigned long)x, 16u, 0);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case '(': {
							 | 
						||
| 
								 | 
							
											    /* newline, augment indent level */
							 | 
						||
| 
								 | 
							
											    p->indent += p->indent_incr;
							 | 
						||
| 
								 | 
							
											    newline(p);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case ')': {
							 | 
						||
| 
								 | 
							
											    /* decrement indent level */
							 | 
						||
| 
								 | 
							
											    p->indent -= p->indent_incr;
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'p': {  /* note difference from C's %p */
							 | 
						||
| 
								 | 
							
											    /* print plan */
							 | 
						||
| 
								 | 
							
											    plan *x = va_arg(ap, plan *);
							 | 
						||
| 
								 | 
							
											    if (x) 
							 | 
						||
| 
								 | 
							
												 x->adt->print(x, p);
							 | 
						||
| 
								 | 
							
											    else 
							 | 
						||
| 
								 | 
							
												 goto putnull;
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'P': {
							 | 
						||
| 
								 | 
							
											    /* print problem */
							 | 
						||
| 
								 | 
							
											    problem *x = va_arg(ap, problem *);
							 | 
						||
| 
								 | 
							
											    if (x)
							 | 
						||
| 
								 | 
							
												 x->adt->print(x, p);
							 | 
						||
| 
								 | 
							
											    else
							 | 
						||
| 
								 | 
							
												 goto putnull;
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       case 'T': {
							 | 
						||
| 
								 | 
							
											    /* print tensor */
							 | 
						||
| 
								 | 
							
											    tensor *x = va_arg(ap, tensor *);
							 | 
						||
| 
								 | 
							
											    if (x)
							 | 
						||
| 
								 | 
							
												 X(tensor_print)(x, p);
							 | 
						||
| 
								 | 
							
											    else
							 | 
						||
| 
								 | 
							
												 goto putnull;
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										       }
							 | 
						||
| 
								 | 
							
										       default:
							 | 
						||
| 
								 | 
							
											    A(0 /* unknown format */);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
										   putnull:
							 | 
						||
| 
								 | 
							
											    myputs(p, "(null)");
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
										   putival:
							 | 
						||
| 
								 | 
							
											    putint(p, ival);
							 | 
						||
| 
								 | 
							
											    break;
							 | 
						||
| 
								 | 
							
										   }
							 | 
						||
| 
								 | 
							
										   break;
							 | 
						||
| 
								 | 
							
									      default:
							 | 
						||
| 
								 | 
							
										   p->putchr(p, c);
							 | 
						||
| 
								 | 
							
										   break;
							 | 
						||
| 
								 | 
							
								          }
							 | 
						||
| 
								 | 
							
								     }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								static void print(printer *p, const char *format, ...)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     va_list ap;
							 | 
						||
| 
								 | 
							
								     va_start(ap, format);
							 | 
						||
| 
								 | 
							
								     vprint(p, format, ap);
							 | 
						||
| 
								 | 
							
								     va_end(ap);
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								printer *X(mkprinter)(size_t size, 
							 | 
						||
| 
								 | 
							
										      void (*putchr)(printer *p, char c),
							 | 
						||
| 
								 | 
							
										      void (*cleanup)(printer *p))
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     printer *s = (printer *)MALLOC(size, OTHER);
							 | 
						||
| 
								 | 
							
								     s->print = print;
							 | 
						||
| 
								 | 
							
								     s->vprint = vprint;
							 | 
						||
| 
								 | 
							
								     s->putchr = putchr;
							 | 
						||
| 
								 | 
							
								     s->cleanup = cleanup;
							 | 
						||
| 
								 | 
							
								     s->indent = 0;
							 | 
						||
| 
								 | 
							
								     s->indent_incr = 2;
							 | 
						||
| 
								 | 
							
								     return s;
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								void X(printer_destroy)(printer *p)
							 | 
						||
| 
								 | 
							
								{
							 | 
						||
| 
								 | 
							
								     if (p->cleanup)
							 | 
						||
| 
								 | 
							
									  p->cleanup(p);
							 | 
						||
| 
								 | 
							
								     X(ifree)(p);
							 | 
						||
| 
								 | 
							
								}
							 |