Revision 33ed69afda68debb188f87dcbccfc2094105e451 authored by Pierrick Gaudry on 22 November 2010, 12:39:23 UTC, committed by Pierrick Gaudry on 22 November 2010, 12:39:23 UTC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/cado-nfs/trunk@416 3eaf19af-ecc0-40f6-b43f-672aa0c71c71
1 parent 8ef5659
Raw File
replace.c
/* This file is part of the gf2x library.

   Copyright 2007, 2008, 2009
   Richard Brent, Pierrick Gaudry, Emmanuel Thome', Paul Zimmermann

   This program is free software; you can redistribute it and/or modify it
   under the terms of the GNU Lesser General Public License as published by
   the Free Software Foundation; either version 2.1 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 Lesser General Public
   License for more details.
   
   You should have received a copy of the GNU Lesser General Public
   License along with CADO-NFS; see the file COPYING.  If not, write to
   the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor,
   Boston, MA 02110-1301, USA.
*/
/* Helper program for rewriting headers after tuning. */

#define _GNU_SOURCE

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include "replace.h"

void set_hash_define_int(struct hash_define * ptr, const char * name, int x)
{
    ptr->identifier = strdup(name);
    ptr->string = malloc(32);
    snprintf(ptr->string, 32, "%d", x);
}

void set_hash_define(struct hash_define * ptr, const char * name, const char *v)
{
    ptr->identifier = strdup(name);
    ptr->string = strdup(v);
    unsigned int l = strlen(ptr->string);
    for( ; l && isspace(ptr->string[l-1]) ; l--);
    ptr->string[l] = '\0';
}


typedef int (*sortfunc_t) (const void *, const void *);
int cmp_hash_define(struct hash_define * a, struct hash_define * b)
{
    return strcmp(a->identifier, b->identifier);
}
int search_hash_define(const char * a, struct hash_define * b)
{
    return strcmp(a, b->identifier);
}


void replace(struct hash_define * ptr, unsigned int n, const char * fname)
{

    qsort(ptr, n, sizeof(struct hash_define), (sortfunc_t) & cmp_hash_define);

    FILE * fi, * fo;
    char * fname_out;
    size_t sl = strlen(fname)+10;
    char buffer[1024];
    char id[80];

    fname_out = malloc(sl);
    snprintf(fname_out,sl,"%s.new",fname);

    fi = fopen(fname, "r");
    fo = fopen(fname_out, "w");

    for (;!feof(fi);) {
        const char * x, *y;
        if (fgets(buffer, sizeof(buffer), fi) == NULL) {
            /* EOF, most certainly */
            break;
        }
#define	IS_HDEFINE(X)	(strncmp(X,"#define",7) == 0)
#define	IS_HUNDEF(X)	(strncmp(X,"#undef",6) == 0)
        if (!(IS_HDEFINE(buffer) || IS_HUNDEF(buffer))) {
            fputs(buffer, fo);
            continue;
        }
        x = buffer;
        for(;*x && !isspace(*x);x++);
        for(;*x && isspace(*x);x++);
        for(y=x;*y&&!isspace(*y);y++);
        strncpy(id,x,y-x);
        id[y-x]='\0';
        /* identifier is id */
        struct hash_define * loc;
        loc = bsearch(id, ptr, n, sizeof(struct hash_define), (sortfunc_t) & search_hash_define);
        if (loc == NULL) {
            fputs(buffer, fo);
            continue;
        }
        if (loc->string[0] == '\0') {
            fprintf(stderr,
                    "Error: replacement string %s used twice!\n",
                    loc->identifier);
            exit(1);
        }
        for( ;; ) {
            x = buffer + strlen(buffer) - 1;
            for( ; (x - buffer >= 0) && isspace(*x) ; x--);
            /* If the current line was followed by a backslash, gobble
             * the following line as well.
             */
            if ((x - buffer >= 0) && *x != '\\')
                break;
            /* It's normally an error to arrive here, although there's
             * not much questioning as to what to do in such a situation
             */
            if (fgets(buffer, sizeof(buffer), fi) == NULL)
                break;
        }

        fprintf(fo,"#define %s\t\t%s\n", id, loc->string);
        loc->string[0]='\0';
    }
    for(unsigned int i = 0 ; i < n ; i++) {
        struct hash_define * loc = ptr + i;
        if (loc->string[0] != '\0') {
            fprintf(stderr, "Warning: replacement string %s not used ; value:\n%s\n", loc->identifier, loc->string);
        }
    }

    fclose(fi);
    fclose(fo);
    rename(fname_out, fname);
}
back to top