#include <stdio.h>
#include <unistd.h>
main()
{
  static char* reg[] = {"msb", "lsb", "x0", "mask", "msk0",
			"k", "k1", "Ovalue", "Ov_out", "C32"};
  int Nreg = sizeof(reg)/sizeof(char *);
  int p, i;
  FILE *fd;
  int ierr;
  int nb;
  

  for(i=0; i<Nreg; i++)
    printf("%s\t", reg[i]);
  putchar('\n');

  for(p=0; p<(1<<Nreg); p++){
    fd = fopen("otherRegisters", "w");
    for(i=0; i<Nreg; i++)
      fprintf(fd, "%s\t.set\t%c%d\n", reg[i], p >> i & 1 ? 'B' : 'A', 15-i);
    fclose(fd);
    fd = popen("asm6x bpack2.asm -v6400 -q", "r");
    if (fd == NULL){
      perror("Cannot run asm6x");
      exit(1);
    }
    ierr = pclose(fd);
    if (ierr != 0) continue;
    nb = 0;
    for(i=0; i<Nreg; i++){
      printf("%c\t",  p >> i & 1 ? 'B' : 'A');
      if (p >> i & 1) nb++;
    }
    printf("%d\n", nb);
    fflush(stdout);
  }
}