ce.awk

/\.quad/  {
  n = $2;
  if (n < 0) {
    n += 0x10000000000000;
    printf "\t%s\t%11s  # 0xfff%013x\n", $1, $2, n;
  } else {
    printf "\t%s\t%11s  # 0x%016x\n", $1, $2, n;
  }
  next;
}
/\.long/  { n = $2; if (n < 0) n += 0x100000000; printf "\t%s\t%11s  # 0x%08x\n", $1, $2, n; next }
/\.value/ { n = $2; if (n < 0) n += 0x10000; printf "\t%s\t%11s  # 0x%04x\n", $1, $2, n; next }
/\.byte/  { n = $2; if (n < 0) n += 0x100; printf "\t%s\t%11s  # 0x%02x\n", $1, $2, n; next }
/^#/ { next }
/\<-?[0-9]+\>/  {
  printf "%s \t#", $0;
  patsplit($0, a, /-?\<[0-9]+\>/)
  for (i in a) {
    n = a[i];
    if (n >= 0 && n <= 16) continue
    if (/\<r[a-z0-9]{2}\>/) {
      if (n < 0) {
        n += 0x10000000000000;
        printf " 0xfff%x", n;
      } else {
        printf " 0x%016x", n;
      }
    } else {
      if (n < 0) n += 0x100000000
      printf " 0x%08x", n
    }
  }
  printf "\n"
  next
}
/\.intel_syntax/ { next }
/:$/ { print "---------------------------------------------" }
{ print }