misc/set-regs

   1 #! /bin/sh
   2
   3 # Time-stamp: <2010-01-19 17:56:00 feeley>
   4
   5 # Utility to change the number of registers in the virtual machine.
   6 #
   7 # Usage:  misc/set-regs [ <NB_GVM_REGS> [ <NB_ARG_REGS> ]]
   8
   9 NB_GVM_REGS=$1
  10 NB_ARG_REGS=$2
  11
  12 if [ "$NB_GVM_REGS" = "" ] ; then
  13   NB_GVM_REGS=5
  14 fi
  15
  16 if [ "$NB_ARG_REGS" = "" ] ; then
  17   NB_ARG_REGS=3
  18 fi
  19
  20 if [ "$NB_GVM_REGS" -lt 3 ] ; then
  21   echo "NB_GVM_REGS=$NB_ARG_REGS but it must be >= 3"
  22   exit 1
  23 fi
  24
  25 if [ "$NB_GVM_REGS" -gt 25 ] ; then
  26   echo "NB_GVM_REGS=$NB_ARG_REGS but it must be <= 25"
  27   exit 1
  28 fi
  29
  30 if [ "$NB_ARG_REGS" -lt 1 ] ; then
  31   echo "NB_ARG_REGS=$NB_ARG_REGS but it must be >= 1"
  32   exit 1
  33 fi
  34
  35 if [ "$NB_ARG_REGS" -gt 12 ] ; then
  36   echo "NB_ARG_REGS=$NB_ARG_REGS but it must be <= 12"
  37   exit 1
  38 fi
  39
  40 if [ "$NB_ARG_REGS" -gt `expr $NB_GVM_REGS - 2` ] ; then
  41   echo "NB_ARG_REGS=$NB_ARG_REGS but it must be <= `expr $NB_GVM_REGS - 2`"
  42   exit 1
  43 fi
  44
  45 # Make sure the bootstrap compiler is built.
  46
  47 make -j 2
  48
  49 # Save the current bootstrap compiler just in case something goes wrong.
  50
  51 cp gsc-comp gsc-comp-old
  52
  53 # Set the number of registers in the gsc/_t-c-1.scm file.
  54
  55 sed -e "s/(set! targ-nb-gvm-regs [0-9]*)/(set! targ-nb-gvm-regs $NB_GVM_REGS)/" -e "s/(set! targ-nb-arg-regs [0-9]*)/(set! targ-nb-arg-regs $NB_ARG_REGS)/" gsc/_t-c-1.scm > gsc/_t-c-1.scm-new
  56
  57 mv gsc/_t-c-1.scm-new gsc/_t-c-1.scm
  58
  59 # Build the new bootstrap compiler.
  60
  61 make -j 2
  62
  63 mv gsc/gsc gsc-comp
  64
  65 # Set the number of registers in the include/gambit.h file.
  66
  67 sed -e "s/#define ___NB_GVM_REGS [0-9]*/#define ___NB_GVM_REGS $NB_GVM_REGS/" -e "s/#define ___NB_ARG_REGS [0-9]*/#define ___NB_ARG_REGS $NB_ARG_REGS/" include/gambit.h.in > include/gambit.h.in-new
  68
  69 mv include/gambit.h.in-new include/gambit.h.in
  70
  71 # All the .c files previously generated by gsc are now invalid.
  72
  73 make bootclean
  74
  75 # Build the system using the new compiler.
  76
  77 make -j 2