LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: StringCreate
static Hax_HashEntry *
StringCreate(
    Hax_Interp *interp,
    Hax_HashTable *tablePtr,	/* Table in which to lookup entry. */
    char *key,			/* Key to use to find or create matching
				 * entry. */
    int *newPtr			/* Store info here telling whether a new
				 * entry was created. */)
{
    Interp *iPtr = (Interp *)interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    Hax_HashEntry *hPtr;
    char *p1, *p2;
    int index;

    index = HashString(key) & tablePtr->mask;

    /*
     * Search all of the entries in this bucket.
     */

    for (hPtr = tablePtr->buckets[index]; hPtr != NULL;
	    hPtr = hPtr->nextPtr) {
	for (p1 = key, p2 = hPtr->key.string; ; p1++, p2++) {
	    if (*p1 != *p2) {
		break;
	    }
	    if (*p1 == '\0') {
		*newPtr = 0;
		return hPtr;
	    }
	}
    }

    /*
     * Entry not found.  Add a new one to the bucket.
     */

    *newPtr = 1;
    hPtr = (Hax_HashEntry *) ckalloc(memoryp, (unsigned)
	    (sizeof(Hax_HashEntry) + strlen(key) - (sizeof(hPtr->key) -1)));
    hPtr->tablePtr = tablePtr;
    hPtr->bucketPtr = &(tablePtr->buckets[index]);
    hPtr->nextPtr = *hPtr->bucketPtr;
    hPtr->clientData = 0;
    strcpy(hPtr->key.string, key);
    *hPtr->bucketPtr = hPtr;
    tablePtr->numEntries++;

    /*
     * If the table has exceeded a decent size, rebuild it with many
     * more buckets.
     */

    if (tablePtr->numEntries >= tablePtr->rebuildSize) {
	RebuildTable(interp, tablePtr);
    }
    return hPtr;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %rbx
movq %rdi, %r14
movb (%rdx), %al
testb %al, %al
je 0xd343
leaq 0x1(%r15), %rsi
xorl %edx, %edx
movl %eax, %edi
movsbl %dil, %edi
leal (%rdx,%rdx,8), %edx
addl %edi, %edx
movb (%rsi), %dil
incq %rsi
testb %dil, %dil
jne 0xd32d
jmp 0xd345
xorl %edx, %edx
movq 0x280(%r14), %r13
andl 0x38(%rbx), %edx
movslq %edx, %rbp
movq (%rbx), %rdx
movq (%rdx,%rbp,8), %r12
testq %r12, %r12
je 0xd391
cmpb 0x20(%r12), %al
jne 0xd383
movl $0x21, %edx
movl %eax, %esi
testb %sil, %sil
je 0xd389
movb -0x20(%r15,%rdx), %sil
leaq 0x1(%rdx), %rdi
cmpb (%r12,%rdx), %sil
movq %rdi, %rdx
je 0xd36c
movq (%r12), %r12
jmp 0xd359
movl $0x0, (%rcx)
jmp 0xd407
movl $0x1, (%rcx)
movq %r15, %rdi
callq 0x41d0
leal 0x21(%rax), %esi
leaq 0x70b5(%rip), %rdx      # 0x1445e
movq %r13, %rdi
movl $0x213, %ecx            # imm = 0x213
callq 0x44d0
movq %rax, %r12
movq %rbx, 0x8(%rax)
movq (%rbx), %rax
leaq (%rax,%rbp,8), %r13
movq %r13, 0x10(%r12)
movq (%r13), %rax
movq %rax, (%r12)
movq $0x0, 0x18(%r12)
leaq 0x20(%r12), %rdi
movq %r15, %rsi
callq 0x40f0
movq %r12, (%r13)
movl 0x2c(%rbx), %eax
incl %eax
movl %eax, 0x2c(%rbx)
cmpl 0x30(%rbx), %eax
jl 0xd407
movq 0x280(%r14), %rdi
movq %rbx, %rsi
callq 0xd99e
movq %r12, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: OneWordCreate
static Hax_HashEntry *
OneWordCreate(
    Hax_Interp *interp,
    Hax_HashTable *tablePtr,	/* Table in which to lookup entry. */
    char *key,			/* Key to use to find or create matching
				 * entry. */
    int *newPtr			/* Store info here telling whether a new
				 * entry was created. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    Hax_HashEntry *hPtr;
    int index;

    index = RANDOM_INDEX(tablePtr, key);

    /*
     * Search all of the entries in this bucket.
     */

    for (hPtr = tablePtr->buckets[index]; hPtr != NULL;
	    hPtr = hPtr->nextPtr) {
	if (hPtr->key.oneWordValue == key) {
	    *newPtr = 0;
	    return hPtr;
	}
    }

    /*
     * Entry not found.  Add a new one to the bucket.
     */

    *newPtr = 1;
    hPtr = (Hax_HashEntry *) ckalloc(memoryp, sizeof(Hax_HashEntry));
    hPtr->tablePtr = tablePtr;
    hPtr->bucketPtr = &(tablePtr->buckets[index]);
    hPtr->nextPtr = *hPtr->bucketPtr;
    hPtr->clientData = 0;
    hPtr->key.oneWordValue = key;
    *hPtr->bucketPtr = hPtr;
    tablePtr->numEntries++;

    /*
     * If the table has exceeded a decent size, rebuild it with many
     * more buckets.
     */

    if (tablePtr->numEntries >= tablePtr->rebuildSize) {
	RebuildTable(interp, tablePtr);
    }
    return hPtr;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rcx, %rax
movq %rdx, %r15
movq %rsi, %rbx
imulq $0x41c64e6d, %rdx, %rdx # imm = 0x41C64E6D
movb 0x34(%rsi), %cl
sarq %cl, %rdx
movq %rdi, %r14
movq 0x280(%rdi), %rdi
andl 0x38(%rsi), %edx
movslq %edx, %r13
leaq (,%r13,8), %r12
addq (%rsi), %r12
movq (%r12), %r12
testq %r12, %r12
je 0xd493
cmpq %r15, 0x20(%r12)
jne 0xd47b
movl $0x0, (%rax)
jmp 0xd4f6
movl $0x1, (%rax)
leaq 0x6fbe(%rip), %rdx      # 0x1445e
movl $0x28, %esi
movl $0x286, %ecx            # imm = 0x286
callq 0x44d0
movq %rax, %r12
movq %rbx, 0x8(%rax)
movq (%rbx), %rax
leaq (%rax,%r13,8), %rax
movq %rax, 0x10(%r12)
movq (%rax), %rcx
movq %rcx, (%r12)
movq $0x0, 0x18(%r12)
movq %r15, 0x20(%r12)
movq %r12, (%rax)
movl 0x2c(%rbx), %eax
incl %eax
movl %eax, 0x2c(%rbx)
cmpl 0x30(%rbx), %eax
jl 0xd4f6
movq 0x280(%r14), %rdi
movq %rbx, %rsi
callq 0xd99e
movq %r12, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: ArrayFind
static Hax_HashEntry *
ArrayFind(
    Hax_HashTable *tablePtr,	/* Table in which to lookup entry. */
    char *key			/* Key to use to find matching entry. */)
{
    Hax_HashEntry *hPtr;
    int *arrayPtr = (int *) key;
    int *iPtr1, *iPtr2;
    int index, count;

    for (index = 0, count = tablePtr->keyType, iPtr1 = arrayPtr;
	    count > 0; count--, iPtr1++) {
	index += *iPtr1;
    }
    index = RANDOM_INDEX(tablePtr, index);

    /*
     * Search all of the entries in the appropriate bucket.
     */

    for (hPtr = tablePtr->buckets[index]; hPtr != NULL;
	    hPtr = hPtr->nextPtr) {
	for (iPtr1 = arrayPtr, iPtr2 = hPtr->key.words,
		count = tablePtr->keyType; ; count--, iPtr1++, iPtr2++) {
	    if (count == 0) {
		return hPtr;
	    }
	    if (*iPtr1 != *iPtr2) {
		break;
	    }
	}
    }
    return NULL;
}

// Assembly:
movl 0x3c(%rdi), %edx
xorl %eax, %eax
testl %edx, %edx
jle 0xd52c
leal 0x1(%rdx), %ecx
movq %rsi, %r8
movslq (%r8), %r9
cltq
addq %r9, %rax
addq $0x4, %r8
decl %ecx
cmpl $0x1, %ecx
ja 0xd512
imulq $0x41c64e6d, %rax, %rax # imm = 0x41C64E6D
movb 0x34(%rdi), %cl
sarq %cl, %rax
andl 0x38(%rdi), %eax
cltq
movq (%rdi), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xd569
movq %rax, %rcx
testq %rdx, %rdx
je 0xd56f
xorl %edi, %edi
movl (%rsi,%rdi,4), %r8d
cmpl 0x20(%rcx,%rdi,4), %r8d
jne 0xd561
incq %rdi
cmpl %edi, %edx
jne 0xd54d
jmp 0xd56c
movq (%rcx), %rcx
testq %rcx, %rcx
jne 0xd546
xorl %eax, %eax
retq
movq %rcx, %rax
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: Hax_DeleteHashEntry
void
Hax_DeleteHashEntry(
    Hax_Interp *interp,
    Hax_HashEntry *entryPtr)
{
    Interp *iPtr = (Interp *)interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    Hax_HashEntry *prevPtr;

    if (*entryPtr->bucketPtr == entryPtr) {
	*entryPtr->bucketPtr = entryPtr->nextPtr;
    } else {
	for (prevPtr = *entryPtr->bucketPtr; ; prevPtr = prevPtr->nextPtr) {
	    if (prevPtr == NULL) {
		Hax_Panic(
		    (char *) "malformed bucket chain in Hax_DeleteHashEntry");
	    }
	    if (prevPtr->nextPtr == entryPtr) {
		prevPtr->nextPtr = entryPtr->nextPtr;
		break;
	    }
	}
    }
    entryPtr->tablePtr->numEntries--;
    ckfree(memoryp, (char *) entryPtr);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq 0x280(%rdi), %r14
movq 0x10(%rsi), %r12
movq (%r12), %rax
cmpq %rsi, %rax
je 0xd6d6
leaq 0x836d(%rip), %r15      # 0x15a28
movq %rax, %r12
testq %rax, %rax
jne 0xd6cd
movq %r15, %rdi
xorl %eax, %eax
callq 0x4140
movq (%r12), %rax
cmpq %rbx, %rax
jne 0xd6bb
movq (%rbx), %rax
movq %rax, (%r12)
movq 0x8(%rbx), %rax
decl 0x2c(%rax)
leaq 0x6d73(%rip), %rdx      # 0x1445e
movq %r14, %rdi
movq %rbx, %rsi
movl $0xa0, %ecx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4280
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: Hax_DeleteHashTable
void
Hax_DeleteHashTable(
    Hax_Interp *interp,
    Hax_HashTable *tablePtr		/* Table to delete. */)
{
    Interp *iPtr = (Interp *)interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    Hax_HashEntry *hPtr, *nextPtr;
    int i;

    /*
     * Free up all the entries in the table.
     */

    for (i = 0; i < tablePtr->numBuckets; i++) {
	hPtr = tablePtr->buckets[i];
	while (hPtr != NULL) {
	    nextPtr = hPtr->nextPtr;
	    ckfree(memoryp, (char *) hPtr);
	    hPtr = nextPtr;
	}
    }

    /*
     * Free up the bucket array, if it was dynamically allocated.
     */

    if (tablePtr->buckets != tablePtr->staticBuckets) {
	ckfree(memoryp, (char *) tablePtr->buckets);
    }

    /*
     * Arrange for panics if the table is used again without
     * re-initialization.
     */

    tablePtr->findProc = BogusFind;
    tablePtr->createProc = BogusCreate;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %rbx
movq 0x280(%rdi), %r14
movl 0x28(%rsi), %eax
testl %eax, %eax
jle 0xd75f
xorl %r12d, %r12d
leaq 0x6d34(%rip), %r15      # 0x1445e
movq (%rbx), %rcx
movq (%rcx,%r12,8), %rsi
testq %rsi, %rsi
je 0xd754
movq (%rsi), %r13
movq %r14, %rdi
movq %r15, %rdx
movl $0xc6, %ecx
callq 0x4280
movq %r13, %rsi
testq %r13, %r13
jne 0xd736
movl 0x28(%rbx), %eax
incq %r12
movslq %eax, %rcx
cmpq %rcx, %r12
jl 0xd72a
movq (%rbx), %rsi
leaq 0x8(%rbx), %rax
cmpq %rax, %rsi
je 0xd77f
leaq 0x6cec(%rip), %rdx      # 0x1445e
movq %r14, %rdi
movl $0xd0, %ecx
callq 0x4280
leaq 0x19(%rip), %rax        # 0xd79f
movq %rax, 0x40(%rbx)
leaq 0x21(%rip), %rax        # 0xd7b2
movq %rax, 0x48(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHash.c
// Function: Hax_NextHashEntry
Hax_HashEntry *
Hax_NextHashEntry(
    Hax_HashSearch *searchPtr	/* Place to store information about
					 * progress through the table.  Must
					 * have been initialized by calling
					 * Hax_FirstHashEntry. */)
{
    Hax_HashEntry *hPtr;

    while (searchPtr->nextEntryPtr == NULL) {
	if (searchPtr->nextIndex >= searchPtr->tablePtr->numBuckets) {
	    return NULL;
	}
	searchPtr->nextEntryPtr =
		searchPtr->tablePtr->buckets[searchPtr->nextIndex];
	searchPtr->nextIndex++;
    }
    hPtr = searchPtr->nextEntryPtr;
    searchPtr->nextEntryPtr = hPtr->nextPtr;
    return hPtr;
}

// Assembly:
movq 0x10(%rdi), %rax
testq %rax, %rax
jne 0xd81d
movq (%rdi), %rcx
movl 0x28(%rcx), %eax
movslq 0x8(%rdi), %rdx
cmpl %eax, %edx
cmovgl %edx, %eax
movslq %eax, %rsi
leal 0x1(%rdx), %r8d
cmpq %rdx, %rsi
je 0xd825
movq (%rcx), %rax
movq (%rax,%rdx,8), %rax
movq %rax, 0x10(%rdi)
incq %rdx
movl %r8d, 0x8(%rdi)
incl %r8d
testq %rax, %rax
je 0xd7fe
movq (%rax), %rcx
movq %rcx, 0x10(%rdi)
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHistory.c
// Function: Hax_InitHistory
void
Hax_InitHistory(
    Hax_Interp *interp		/* Interpreter to initialize. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    int i;

    if (iPtr->numEvents != 0) {
	return;
    }
    iPtr->numEvents = 20;
    iPtr->events = (HistoryEvent *)
	    ckalloc(memoryp,
		(unsigned) (iPtr->numEvents * sizeof(HistoryEvent)));
    for (i = 0; i < iPtr->numEvents; i++) {
	iPtr->events[i].command = (char *) ckalloc(memoryp, INITIAL_CMD_SIZE);
	*iPtr->events[i].command = 0;
	iPtr->events[i].bytesAvl = INITIAL_CMD_SIZE;
    }
    iPtr->curEvent = 0;
    iPtr->curEventNum = 0;
    Hax_CreateCommand((Hax_Interp *) iPtr, (char *) "history", Hax_HistoryCmd,
	    (ClientData) NULL, (Hax_CmdDeleteProc *) NULL);
}

// Assembly:
cmpl $0x0, 0xd8(%rdi)
je 0xdb22
retq
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x280(%rdi), %r14
movl $0x14, 0xd8(%rdi)
leaq 0x8056(%rip), %rdx      # 0x15b9c
movl $0x140, %esi            # imm = 0x140
movq %r14, %rdi
movl $0x86, %ecx
callq 0x44d0
movq %rax, 0xe0(%rbx)
cmpl $0x0, 0xd8(%rbx)
jle 0xdbbb
xorl %r12d, %r12d
leaq 0x802a(%rip), %r15      # 0x15b9c
xorl %r13d, %r13d
movl $0x28, %esi
movq %r14, %rdi
movq %r15, %rdx
movl $0x88, %ecx
callq 0x44d0
movq 0xe0(%rbx), %rcx
movq %rax, (%rcx,%r12)
movb $0x0, (%rax)
movq 0xe0(%rbx), %rax
movl $0x28, 0x8(%rax,%r12)
incq %r13
movslq 0xd8(%rbx), %rax
addq $0x10, %r12
cmpq %rax, %r13
jl 0xdb75
movq $0x0, 0xe8(%rbx)
leaq 0x7fdc(%rip), %rsi      # 0x15ba9
movq 0xd3e4(%rip), %rdx      # 0x1afb8
movq %rbx, %rdi
xorl %ecx, %ecx
xorl %r8d, %r8d
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x4030
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHistory.c
// Function: MakeSpace
static void
MakeSpace(
    Interp *iPtr,
    HistoryEvent *hPtr,
    int size			/* # of bytes needed in hPtr. */)
{
    Hax_Memoryp *memoryp = iPtr->memoryp;
    if (hPtr->bytesAvl < size) {
	ckfree(memoryp, hPtr->command);
	hPtr->command = (char *) ckalloc(memoryp, (unsigned) size);
	hPtr->bytesAvl = size;
    }
}

// Assembly:
cmpl %edx, 0x8(%rsi)
jge 0xe7ee
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebx
movq %rsi, %r14
movq 0x280(%rdi), %r15
movq (%rsi), %rsi
leaq 0x73e2(%rip), %r12      # 0x15b9c
movq %r15, %rdi
movq %r12, %rdx
movl $0x21c, %ecx            # imm = 0x21C
callq 0x4280
movl %ebx, %esi
movq %r15, %rdi
movq %r12, %rdx
movl $0x21d, %ecx            # imm = 0x21D
callq 0x44d0
movq %rax, (%r14)
movl %ebx, 0x8(%r14)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHistory.c
// Function: RevResult
static void
RevResult(
    Interp *iPtr,		/* Interpreter in which to perform the
				 * substitution. */
    char *string		/* String to substitute. */)
{
    Hax_Memoryp *memoryp = iPtr->memoryp;
    HistoryRev *revPtr;
    char *evalFirst, *evalLast;
    char *argv[2];

    if ((iPtr->evalFirst == NULL) || (iPtr->revDisables > 0)) {
	return;
    }

    /*
     * Expand the replacement range to include the brackets that surround
     * the command.  If there aren't any brackets (i.e. this command was
     * invoked at top-level) then don't do any revision.  Also, if there
     * are several commands in brackets, of which this is just one,
     * then don't do any revision.
     */

    evalFirst = iPtr->evalFirst;
    evalLast = iPtr->evalLast + 1;
    while (1) {
	if (evalFirst == iPtr->historyFirst) {
	    return;
	}
	evalFirst--;
	if (*evalFirst == '[') {
	    break;
	}
	if (!isspace(*evalFirst)) {
	    return;
	}
    }
    if (*evalLast != ']') {
	return;
    }

    revPtr = (HistoryRev *) ckalloc(memoryp, sizeof(HistoryRev));
    revPtr->firstIndex = evalFirst - iPtr->historyFirst;
    revPtr->lastIndex = evalLast - iPtr->historyFirst;
    argv[0] = string;
    revPtr->newBytes = Hax_Merge((Hax_Interp *) iPtr, 1, argv);
    revPtr->newSize = strlen(revPtr->newBytes);
    InsertRev(iPtr, revPtr);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, 0x8(%rsp)
movq 0x108(%rdi), %r13
testq %r13, %r13
je 0xe96f
movq %rdi, %rbx
cmpl $0x0, 0x100(%rdi)
jle 0xe97e
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x280(%rbx), %rax
movq %rax, (%rsp)
movq 0xf8(%rbx), %r15
movq 0x110(%rbx), %r12
incq %r12
movl $0x1, %ebp
subl %r13d, %ebp
cmpq %r15, %r13
je 0xe96f
movsbq -0x1(%r13), %r14
cmpq $0x5b, %r14
je 0xe9c9
decq %r13
callq 0x4650
movq (%rax), %rax
incl %ebp
testb $0x20, 0x1(%rax,%r14,2)
jne 0xe9a2
jmp 0xe96f
cmpb $0x5d, (%r12)
jne 0xe96f
leaq 0x71c5(%rip), %rdx      # 0x15b9c
movl $0x20, %esi
movq (%rsp), %rdi
movl $0x2cb, %ecx            # imm = 0x2CB
callq 0x44d0
movq %rax, %r15
movl 0xf8(%rbx), %eax
addl %eax, %ebp
negl %ebp
movl %ebp, (%r15)
subl %eax, %r12d
movl %r12d, 0x4(%r15)
leaq 0x10(%rsp), %rdx
movq 0x8(%rsp), %rax
movq %rax, (%rdx)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x4520
movq %rax, 0x10(%r15)
movq %rax, %rdi
callq 0x41d0
movl %eax, 0x8(%r15)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xefa5
jmp 0xe96f
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHistory.c
// Function: RevCommand
static void
RevCommand(
    Interp *iPtr,		/* Interpreter in which to perform the
				 * substitution. */
    char *string		/* String to substitute. */)
{
    Hax_Memoryp *memoryp = iPtr->memoryp;
    HistoryRev *revPtr;

    if ((iPtr->evalFirst == NULL) || (iPtr->revDisables > 0)) {
	return;
    }
    revPtr = (HistoryRev *) ckalloc(memoryp, sizeof(HistoryRev));
    revPtr->firstIndex = iPtr->evalFirst - iPtr->historyFirst;
    revPtr->lastIndex = iPtr->evalLast - iPtr->historyFirst;
    revPtr->newSize = strlen(string);
    revPtr->newBytes =
	(char *) ckalloc(memoryp, (unsigned) (revPtr->newSize+1));
    strcpy(revPtr->newBytes, string);
    InsertRev(iPtr, revPtr);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
cmpq $0x0, 0x108(%rdi)
je 0xea5a
movq %rdi, %rbx
cmpl $0x0, 0x100(%rdi)
jle 0xea64
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rsi, %r14
movq 0x280(%rbx), %r12
leaq 0x7127(%rip), %r13      # 0x15b9c
movl $0x20, %esi
movq %r12, %rdi
movq %r13, %rdx
movl $0x286, %ecx            # imm = 0x286
callq 0x44d0
movq %rax, %r15
movl 0xf8(%rbx), %eax
movl 0x108(%rbx), %ecx
subl %eax, %ecx
movl %ecx, (%r15)
movl 0x110(%rbx), %ecx
subl %eax, %ecx
movl %ecx, 0x4(%r15)
movq %r14, %rdi
callq 0x41d0
movl %eax, 0x8(%r15)
leal 0x1(%rax), %esi
movq %r12, %rdi
movq %r13, %rdx
movl $0x28b, %ecx            # imm = 0x28B
callq 0x44d0
movq %rax, 0x10(%r15)
movq %rax, %rdi
movq %r14, %rsi
callq 0x40f0
movq %rbx, %rdi
movq %r15, %rsi
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xefa5
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxHistory.c
// Function: InsertRev
static void
InsertRev(
    Interp *iPtr,			/* Interpreter to use. */
    HistoryRev *revPtr	/* Revision to add to iPtr's list. */)
{
    Hax_Memoryp *memoryp = iPtr->memoryp;
    HistoryRev *curPtr;
    HistoryRev *prevPtr;

    for (curPtr = iPtr->revPtr, prevPtr = NULL; curPtr != NULL;
	    prevPtr = curPtr, curPtr = curPtr->nextPtr) {
	/*
	 * If this revision includes the new one (or vice versa) then
	 * just eliminate the one that is a subset of the other.
	 */

	if ((revPtr->firstIndex <= curPtr->firstIndex)
		&& (revPtr->lastIndex >= curPtr->firstIndex)) {
	    curPtr->firstIndex = revPtr->firstIndex;
	    curPtr->lastIndex = revPtr->lastIndex;
	    curPtr->newSize = revPtr->newSize;
	    ckfree(memoryp, curPtr->newBytes);
	    curPtr->newBytes = revPtr->newBytes;
	    ckfree(memoryp, (char *) revPtr);
	    return;
	}
	if ((revPtr->firstIndex >= curPtr->firstIndex)
		&& (revPtr->lastIndex <= curPtr->lastIndex)) {
	    ckfree(memoryp, revPtr->newBytes);
	    ckfree(memoryp, (char *) revPtr);
	    return;
	}

	if (revPtr->firstIndex < curPtr->firstIndex) {
	    break;
	}
    }

    /*
     * Insert revPtr just after prevPtr.
     */

    if (prevPtr == NULL) {
	revPtr->nextPtr = iPtr->revPtr;
	iPtr->revPtr = revPtr;
    } else {
	revPtr->nextPtr = prevPtr->nextPtr;
	prevPtr->nextPtr = revPtr;
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq 0xf0(%rdi), %rax
testq %rax, %rax
je 0xf011
movq 0x280(%rdi), %r14
movl (%rbx), %ecx
xorl %edx, %edx
movq %rax, %rsi
movq %rsi, %r12
movl (%rsi), %esi
cmpl %esi, %ecx
jg 0xefdc
movl 0x4(%rbx), %r8d
cmpl %esi, %r8d
jge 0xf053
cmpl %esi, %ecx
jl 0xeff9
movl 0x4(%rbx), %edx
cmpl 0x4(%r12), %edx
jle 0xf028
movq 0x18(%r12), %rsi
movq %r12, %rdx
testq %rsi, %rsi
jne 0xefca
jmp 0xf001
movq %rdx, %r12
testq %rdx, %rdx
je 0xf011
movq 0x18(%r12), %rax
movq %rax, 0x18(%rbx)
movq %rbx, 0x18(%r12)
jmp 0xf01c
movq %rax, 0x18(%rbx)
movq %rbx, 0xf0(%rdi)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x10(%rbx), %rsi
leaq 0x6b69(%rip), %r15      # 0x15b9c
movq %r14, %rdi
movq %r15, %rdx
movl $0x251, %ecx            # imm = 0x251
callq 0x4280
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movl $0x252, %ecx            # imm = 0x252
jmp 0xf097
movl %ecx, (%r12)
movl %r8d, 0x4(%r12)
movl 0x8(%rbx), %eax
movl %eax, 0x8(%r12)
movq 0x10(%r12), %rsi
leaq 0x6b2c(%rip), %r15      # 0x15b9c
movq %r14, %rdi
movq %r15, %rdx
movl $0x24a, %ecx            # imm = 0x24A
callq 0x4280
movq 0x10(%rbx), %rax
movq %rax, 0x10(%r12)
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movl $0x24c, %ecx            # imm = 0x24C
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4280
nop
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxParse.c
// Function: HaxParseNestedCmd
int
HaxParseNestedCmd(
    Hax_Interp *interp,		/* Interpreter to use for nested command
				 * evaluations and error messages. */
    char *string,		/* Character just after opening bracket. */
    int flags,			/* Flags to pass to nested Hax_Eval. */
    char **termPtr,		/* Store address of terminating character
				 * here. */
    ParseValue *pvPtr		/* Information about where to place
				 * result of command. */)
{
    int result, length, shortfall;
    Interp *iPtr = (Interp *) interp;

    result = Hax_Eval(interp, NULL, string, flags | HAX_BRACKET_TERM, termPtr);
    if (result != HAX_OK) {
	/*
	 * The increment below results in slightly cleaner message in
	 * the errorInfo variable (the close-bracket will appear).
	 */

	if (**termPtr == ']') {
	    *termPtr += 1;
	}
	return result;
    }
    (*termPtr) += 1;
    length = strlen(iPtr->result);
    shortfall = length + 1 - (pvPtr->end - pvPtr->next);
    if (shortfall > 0) {
	(*pvPtr->expandProc)(interp, pvPtr, shortfall);
    }
    strcpy(pvPtr->next, iPtr->result);
    pvPtr->next += length;
    Hax_FreeResult(interp);
    iPtr->result = iPtr->resultSpace;
    iPtr->resultSpace[0] = '\0';
    return HAX_OK;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %r8, %r14
movq %rcx, %r15
movl %edx, %ecx
movq %rsi, %rdx
movq %rdi, %rbx
orl $0x1, %ecx
xorl %esi, %esi
movq %r15, %r8
callq 0x45c0
movl %eax, %ebp
movq (%r15), %rax
testl %ebp, %ebp
je 0xf6b3
cmpb $0x5d, (%rax)
jne 0xf749
incq %rax
movq %rax, (%r15)
jmp 0xf749
incq %rax
movq %rax, (%r15)
movq (%rbx), %r12
movq %r12, %rdi
callq 0x41d0
movq %rax, %r15
movq 0x8(%r14), %rdi
subl 0x10(%r14), %eax
leal (%rax,%rdi), %edx
incl %edx
testl %edx, %edx
jle 0xf6e9
movq %rbx, %rdi
movq %r14, %rsi
callq *0x18(%r14)
movq 0x8(%r14), %rdi
movq (%rbx), %r12
movq %r12, %rsi
callq 0x40f0
movslq %r15d, %rax
addq %rax, 0x8(%r14)
movq 0x8(%rbx), %rax
testq %rax, %rax
je 0xf738
cmpq 0xb898(%rip), %rax      # 0x1afa0
je 0xf711
movq (%rbx), %rdi
callq *%rax
jmp 0xf730
movq %rbx, %rdi
callq 0x4550
movq (%rbx), %rsi
leaq 0x674c(%rip), %rdx      # 0x15e6f
movq %rax, %rdi
movl $0x1a6, %ecx            # imm = 0x1A6
callq 0x4280
movq $0x0, 0x8(%rbx)
leaq 0x1b0(%rbx), %rax
movq %rax, (%rbx)
movb $0x0, 0x1b0(%rbx)
movl %ebp, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxParse.c
// Function: HaxExpandParseValue
void
HaxExpandParseValue(
    Hax_Interp *interp,
    ParseValue *pvPtr,			/* Information about buffer that
					 * must be expanded.  If the clientData
					 * in the structure is non-zero, it
					 * means that the current buffer is
					 * dynamically allocated. */
    int needed				/* Minimum amount of additional space
					 * to allocate. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    int newSpace;
    char *newBuf;

    /*
     * Either double the size of the buffer or add enough new space
     * to meet the demand, whichever produces a larger new buffer.
     */

    newSpace = (pvPtr->end - pvPtr->buffer) + 1;
    if (newSpace < needed) {
	newSpace += needed;
    } else {
	newSpace += newSpace;
    }
    newBuf = (char *) ckalloc(memoryp, (unsigned) newSpace);

    /*
     * Copy from old buffer to new, free old buffer if needed, and
     * mark newBuf buffer as malloc-ed.
     */

    memcpy(newBuf, pvPtr->buffer, pvPtr->next - pvPtr->buffer);
    pvPtr->next = newBuf + (pvPtr->next - pvPtr->buffer);
    if (pvPtr->clientData != 0) {
	ckfree(memoryp, pvPtr->buffer);
    }
    pvPtr->buffer = newBuf;
    pvPtr->end = newBuf + newSpace - 1;
    pvPtr->clientData = (ClientData) 1;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq 0x280(%rdi), %r14
movl 0x10(%rsi), %eax
subl (%rsi), %eax
leal 0x1(%rax), %ecx
cmpl %edx, %ecx
leal 0x1(%rax,%rdx), %ecx
leal 0x2(%rax,%rax), %r15d
cmovll %ecx, %r15d
leaq 0x6226(%rip), %rdx      # 0x15e6f
movq %r14, %rdi
movq %r15, %rsi
movl $0x34b, %ecx            # imm = 0x34B
callq 0x44d0
movq %rax, %r12
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
subq %rsi, %rdx
movq %rax, %rdi
callq 0x43b0
movq (%rbx), %rsi
movq 0x8(%rbx), %rax
subq %rsi, %rax
addq %r12, %rax
movq %rax, 0x8(%rbx)
cmpq $0x0, 0x20(%rbx)
je 0xfc9a
leaq 0x61e2(%rip), %rdx      # 0x15e6f
movq %r14, %rdi
movl $0x355, %ecx            # imm = 0x355
callq 0x4280
movq %r12, (%rbx)
movslq %r15d, %rax
addq %r12, %rax
decq %rax
movq %rax, 0x10(%rbx)
movq $0x1, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxParse.c
// Function: QuoteEnd
static char *
QuoteEnd(
    char *string,		/* Pointer to character just after opening
				 * "quote". */
    int term			/* This character will terminate the
				 * quoted string (e.g. '"' or ')'). */)
{
    char *p = string;
    int count;

    while (*p != term) {
	if (*p == '\\') {
	    (void) Hax_Backslash(p, &count);
	    p += count;
	} else if (*p == '[') {
	    for (p++; *p != ']'; p++) {
		p = HaxWordEnd(p, 1);
		if (*p == 0) {
		    return p;
		}
	    }
	    p++;
	} else if (*p == '$') {
	    p = VarNameEnd(p);
	    if (*p == 0) {
		return p;
	    }
	    p++;
	} else if (*p == 0) {
	    return p;
	} else {
	    p++;
	}
    }
    return p-1;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movsbl (%rdi), %eax
cmpl %esi, %eax
jne 0xfe60
decq %rbx
movq %rbx, %rax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movl %esi, %ebp
leaq 0xc(%rsp), %r14
movzbl %al, %eax
cmpl $0x5a, %eax
jle 0xfe99
cmpl $0x5c, %eax
je 0xfeb0
cmpl $0x5b, %eax
jne 0xfec9
cmpb $0x5d, 0x1(%rbx)
je 0xfece
incq %rbx
movq %rbx, %rdi
movl $0x1, %esi
callq 0x41b0
movq %rax, %rbx
cmpb $0x0, (%rax)
jne 0xfe79
jmp 0xfe54
cmpl $0x24, %eax
jne 0xfec5
movq %rbx, %rdi
callq 0xfede
movq %rax, %rbx
cmpb $0x0, (%rax)
jne 0xfec9
jmp 0xfe54
movq %rbx, %rdi
movq %r14, %rsi
callq 0x42c0
movslq 0xc(%rsp), %rax
addq %rax, %rbx
jmp 0xfed2
testl %eax, %eax
je 0xfe54
incq %rbx
jmp 0xfed2
addq $0x2, %rbx
movsbl (%rbx), %eax
cmpl %ebp, %eax
jne 0xfe67
jmp 0xfe51
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxParse.c
// Function: VarNameEnd
static char *
VarNameEnd(
    char *string		/* Pointer to dollar-sign character. */)
{
    char *p = string+1;

    if (*p == '{') {
	for (p++; (*p != '}') && (*p != 0); p++) {
	    /* Empty loop body. */
	}
	return p;
    }
    while (isalnum(*p) || (*p == '_')) {
	p++;
    }
    if ((*p == '(') && (p != string+1)) {
	return QuoteEnd(p+1, ')');
    }
    return p-1;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
cmpb $0x7b, 0x1(%rdi)
jne 0xff00
addq $0x2, %rbx
movq %rbx, %rax
movzbl (%rax), %ecx
testl %ecx, %ecx
je 0xff4d
cmpl $0x7d, %ecx
je 0xff4d
incq %rax
jmp 0xfeef
callq 0x4650
movq (%rax), %rcx
xorl %edx, %edx
xorl %eax, %eax
movsbq 0x1(%rbx,%rdx), %rsi
decq %rax
incq %rdx
cmpq $0x5f, %rsi
je 0xff0c
movzwl (%rcx,%rsi,2), %edi
andl $0x8, %edi
jne 0xff0c
cmpq $-0x1, %rax
je 0xff47
cmpb $0x28, %sil
jne 0xff47
subq %rax, %rbx
incq %rbx
movq %rbx, %rdi
movl $0x29, %esi
popq %rbx
jmp 0xfe3f
notq %rax
addq %rbx, %rax
popq %rbx
retq
nop
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxProc.c
// Function: ProcDeleteProc
static void
ProcDeleteProc(
    Hax_Interp *interp,
    ClientData clientData		/* Procedure to be deleted. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    Proc *procPtr = (Proc *) clientData;
    Arg *argPtr;

    ckfree(memoryp, (char *) procPtr->command);
    for (argPtr = procPtr->argPtr; argPtr != NULL; ) {
	Arg *nextPtr = argPtr->nextPtr;

	ckfree(memoryp, (char *) argPtr);
	argPtr = nextPtr;
    }
    ckfree(memoryp, (char *) procPtr);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq 0x280(%rdi), %r14
movq 0x8(%rsi), %rsi
leaq 0x5a01(%rip), %rdx      # 0x15f5d
movq %r14, %rdi
movl $0x236, %ecx            # imm = 0x236
callq 0x4280
movq 0x10(%rbx), %rsi
testq %rsi, %rsi
je 0x10594
leaq 0x59e4(%rip), %r15      # 0x15f5d
movq (%rsi), %r12
movq %r14, %rdi
movq %r15, %rdx
movl $0x23a, %ecx            # imm = 0x23A
callq 0x4280
movq %r12, %rsi
testq %r12, %r12
jne 0x10579
leaq 0x59c2(%rip), %rdx      # 0x15f5d
movq %r14, %rdi
movq %rbx, %rsi
movl $0x23d, %ecx            # imm = 0x23D
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4280
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxProc.c
// Function: HaxGetFrame
int
HaxGetFrame(
    Hax_Interp *interp,		/* Interpreter in which to find frame. */
    char *string,		/* String describing frame. */
    CallFrame **framePtrPtr	/* Store pointer to frame here (or NULL
				 * if global frame indicated). */)
{
    Interp *iPtr = (Interp *) interp;
    int level, result;
    CallFrame *framePtr;

    if (iPtr->varFramePtr == NULL) {
	iPtr->result = (char *) "already at top level";
	return -1;
    }

    /*
     * Parse string to figure out which level number to go to.
     */

    result = 1;
    if (*string == '#') {
	if (Hax_GetInt(interp, string+1, &level) != HAX_OK) {
	    return -1;
	}
	if (level < 0) {
	    levelError:
	    Hax_AppendResult(interp, "bad level \"", string, "\"",
		    (char *) NULL);
	    return -1;
	}
    } else if (isdigit(*string)) {
	if (Hax_GetInt(interp, string, &level) != HAX_OK) {
	    return -1;
	}
	level = iPtr->varFramePtr->level - level;
    } else {
	level = iPtr->varFramePtr->level - 1;
	result = 0;
    }

    /*
     * Figure out which frame to use, and modify the interpreter so
     * its variables come from that frame.
     */

    if (level == 0) {
	framePtr = NULL;
    } else {
	for (framePtr = iPtr->varFramePtr; framePtr != NULL;
		framePtr = framePtr->callerVarPtr) {
	    if (framePtr->level == level) {
		break;
	    }
	}
	if (framePtr == NULL) {
	    goto levelError;
	}
    }
    *framePtrPtr = framePtr;
    return result;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdi, %r15
movq 0xc8(%rdi), %r12
testq %r12, %r12
je 0x10633
movq %rdx, %rbx
movq %rsi, %r14
movsbq (%rsi), %r13
cmpq $0x23, %r13
jne 0x10644
leaq 0x1(%r14), %rsi
leaq 0xc(%rsp), %rdx
movq %r15, %rdi
callq 0x41c0
movl %eax, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testl %ecx, %ecx
jne 0x106b9
movl 0xc(%rsp), %ecx
movl $0x1, %eax
testl %ecx, %ecx
jns 0x10695
leaq 0x473d(%rip), %rsi      # 0x14d57
leaq 0x3c8e(%rip), %rcx      # 0x142af
movq %r15, %rdi
movq %r14, %rdx
xorl %r8d, %r8d
xorl %eax, %eax
callq 0x4510
jmp 0x1063d
leaq 0x5971(%rip), %rax      # 0x15fab
movq %rax, (%r15)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
jmp 0x106b9
callq 0x4650
movq (%rax), %rax
testb $0x8, 0x1(%rax,%r13,2)
jne 0x10663
movl 0x50(%r12), %ecx
decl %ecx
movl %ecx, 0xc(%rsp)
xorl %eax, %eax
jmp 0x10695
leaq 0xc(%rsp), %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x41c0
movl %eax, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testl %ecx, %ecx
jne 0x106b9
movq 0xc8(%r15), %rax
movl 0x50(%rax), %ecx
subl 0xc(%rsp), %ecx
movl %ecx, 0xc(%rsp)
movl $0x1, %eax
testl %ecx, %ecx
je 0x106b4
movq 0xc8(%r15), %rdx
testq %rdx, %rdx
je 0x10613
cmpl %ecx, 0x50(%rdx)
je 0x106b6
movq 0x68(%rdx), %rdx
jmp 0x106a0
xorl %edx, %edx
movq %rdx, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxProc.c
// Function: Hax_UplevelCmd
int
Hax_UplevelCmd(
    ClientData dummy,			/* Not used. */
    Hax_Interp *interp,			/* Current interpreter. */
    int argc,				/* Number of arguments. */
    char **argv				/* Argument strings. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    int result;
    CallFrame *savedVarFramePtr, *framePtr;

    if (argc < 2) {
	uplevelSyntax:
	Hax_AppendResult(interp, "wrong # args: should be \"", argv[0],
		" ?level? command ?arg ...?\"", (char *) NULL);
	return HAX_ERROR;
    }

    /*
     * Find the level to use for executing the command.
     */

    result = HaxGetFrame(interp, argv[1], &framePtr);
    if (result == -1) {
	return HAX_ERROR;
    }
    argc -= (result+1);
    if (argc == 0) {
	goto uplevelSyntax;
    }
    argv += (result+1);

    /*
     * Modify the interpreter state to execute in the given frame.
     */

    savedVarFramePtr = iPtr->varFramePtr;
    iPtr->varFramePtr = framePtr;

    /*
     * Execute the residual arguments as a command.
     */

    if (argc == 1) {
	result = Hax_Eval(interp, NULL, argv[0], 0, (char **) NULL);
    } else {
	char *cmd;

	cmd = Hax_Concat(interp, argc, argv);
	result = Hax_Eval(interp, NULL, cmd, 0, (char **) NULL);
	ckfree(memoryp, cmd);
    }
    if (result == HAX_ERROR) {
	char msg[60];
	sprintf(msg, "\n    (\"uplevel\" body line %d)", interp->errorLine);
	Hax_AddErrorInfo(interp, msg);
    }

    /*
     * Restore the variable frame, and return.
     */

    iPtr->varFramePtr = savedVarFramePtr;
    return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x50, %rsp
movq %rcx, %r15
movq %rsi, %rbx
cmpl $0x1, %edx
jle 0x10703
movl %edx, %ebp
movq 0x280(%rbx), %r14
movq 0x8(%r15), %rsi
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x4200
cmpl $-0x1, %eax
je 0x10721
incl %eax
subl %eax, %ebp
jne 0x10735
movq (%r15), %rdx
leaq 0x4153(%rip), %rsi      # 0x14860
leaq 0x58ac(%rip), %rcx      # 0x15fc0
movq %rbx, %rdi
xorl %r8d, %r8d
xorl %eax, %eax
callq 0x4510
movl $0x1, %ebp
movl %ebp, %eax
addq $0x50, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl %eax, %eax
leaq (%r15,%rax,8), %rdx
movq 0xc8(%rbx), %r12
movq 0x8(%rsp), %rax
movq %rax, 0xc8(%rbx)
cmpl $0x1, %ebp
jne 0x10769
movq (%rdx), %rdx
movq %rbx, %rdi
xorl %esi, %esi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x45c0
movl %eax, %ebp
jmp 0x107a1
movq %rbx, %rdi
movl %ebp, %esi
callq 0x4670
movq %rax, %r15
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x45c0
movl %eax, %ebp
leaq 0x57cc(%rip), %rdx      # 0x15f5d
movq %r14, %rdi
movq %r15, %rsi
movl $0x13e, %ecx            # imm = 0x13E
callq 0x4280
cmpl $0x1, %ebp
jne 0x107ca
movl 0x10(%rbx), %edx
leaq 0x582c(%rip), %rsi      # 0x15fdc
leaq 0x10(%rsp), %r14
movq %r14, %rdi
xorl %eax, %eax
callq 0x45e0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4410
movq %r12, 0xc8(%rbx)
jmp 0x10726
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: Hax_ResetResult
void
Hax_ResetResult(
    Hax_Interp *interp		/* Interpreter for which to clear result. */)
{
    Interp *iPtr = (Interp *) interp;

    Hax_FreeResult(interp);
    iPtr->result = iPtr->resultSpace;
    iPtr->resultSpace[0] = 0;
    iPtr->flags &=
	    ~(ERR_ALREADY_LOGGED | ERR_IN_PROGRESS | ERROR_CODE_SET);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x10b2b
cmpq 0xa4a5(%rip), %rax      # 0x1afa0
je 0x10b04
movq (%rbx), %rdi
callq *%rax
jmp 0x10b23
movq %rbx, %rdi
callq 0x4550
movq (%rbx), %rsi
leaq 0x5628(%rip), %rdx      # 0x1613e
movq %rax, %rdi
movl $0x4c9, %ecx            # imm = 0x4C9
callq 0x4280
movq $0x0, 0x8(%rbx)
leaq 0x1b0(%rbx), %rax
movq %rax, (%rbx)
movb $0x0, 0x1b0(%rbx)
andb $-0xf, 0x1a0(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: Hax_SetResult
void
Hax_SetResult(
    Hax_Interp *interp,		/* Interpreter with which to associate the
				 * return value. */
    char *string,		/* Value to be returned.  If NULL,
				 * the result is set to an empty string. */
    Hax_FreeProc *freeProc	/* Gives information about the string:
				 * HAX_STATIC, HAX_VOLATILE, or the address
				 * of a Hax_FreeProc such as free. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    int length;
    Hax_FreeProc *oldFreeProc = iPtr->freeProc;
    char *oldResult = iPtr->result;

    iPtr->freeProc = freeProc;
    if (string == NULL) {
	iPtr->resultSpace[0] = 0;
	iPtr->result = iPtr->resultSpace;
	iPtr->freeProc = 0;
    } else if (freeProc == HAX_VOLATILE) {
	length = strlen(string);
	if (length > HAX_RESULT_SIZE) {
	    iPtr->result = (char *) ckalloc(memoryp, (unsigned) length+1);
	    iPtr->freeProc = (Hax_FreeProc *) free;
	} else {
	    iPtr->result = iPtr->resultSpace;
	    iPtr->freeProc = 0;
	}
	strcpy(iPtr->result, string);
    } else {
	iPtr->result = string;
    }

    /*
     * If the old result was dynamically-allocated, free it up.  Do it
     * here, rather than at the beginning, in case the new result value
     * was part of the old result value.
     */

    if (oldFreeProc != 0) {
	if (oldFreeProc == (Hax_FreeProc *) free) {
	    ckfree(memoryp, oldResult);
	} else {
	    (*oldFreeProc)(oldResult);
	}
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %r15
movq 0x280(%rdi), %r14
movq (%rdi), %rbx
movq 0x8(%rdi), %rcx
movq %rdx, 0x8(%rdi)
testq %rsi, %rsi
je 0x10b76
movq %rsi, %r12
cmpq $-0x1, %rdx
je 0x10b92
movq %r12, (%r15)
jmp 0x10be4
leaq 0x1b0(%r15), %rax
movb $0x0, 0x1b0(%r15)
movq %rax, (%r15)
movq $0x0, 0x8(%r15)
jmp 0x10be4
movq %rcx, %r13
movq %r12, %rdi
callq 0x41d0
cmpl $0xc8, %eax
jl 0x10bc9
incl %eax
leaq 0x5591(%rip), %rdx      # 0x1613e
movq %r14, %rdi
movq %rax, %rsi
movl $0x3c8, %ecx            # imm = 0x3C8
callq 0x44d0
movq %rax, %rdi
movq 0xa3d9(%rip), %rax      # 0x1afa0
jmp 0x10bd2
leaq 0x1b0(%r15), %rdi
xorl %eax, %eax
movq %rdi, (%r15)
movq %rax, 0x8(%r15)
movq %r12, %rsi
callq 0x40f0
movq %r13, %rcx
testq %rcx, %rcx
je 0x10c00
cmpq 0xa3b0(%rip), %rcx      # 0x1afa0
je 0x10c0a
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmpq *%rcx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x552d(%rip), %rdx      # 0x1613e
movq %r14, %rdi
movq %rbx, %rsi
movl $0x3db, %ecx            # imm = 0x3DB
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x4280
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: HaxCopyAndCollapse
void
HaxCopyAndCollapse(
    int count,			/* Total number of characters to copy
				 * from src. */
    char *src,		/* Copy from here... */
    char *dst		/* ... to here. */)
{
    char c;
    int numRead;

    for (c = *src; count > 0; src++, c = *src, count--) {
	if (c == '\\') {
	    *dst = Hax_Backslash(src, &numRead);
	    if (*dst != 0) {
		dst++;
	    }
	    src += numRead-1;
	    count -= numRead-1;
	} else {
	    *dst = c;
	    dst++;
	}
    }
    *dst = 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
testl %edi, %edi
jle 0x10c86
movq %rsi, %r14
movl %edi, %r15d
leaq 0x4(%rsp), %r12
movb (%r14), %al
cmpb $0x5c, %al
jne 0x10c71
movq %r14, %rdi
movq %r12, %rsi
callq 0x42c0
movb %al, (%rbx)
cmpb $0x1, %al
sbbq $-0x1, %rbx
movslq 0x4(%rsp), %rax
addq %rax, %r14
decq %r14
decq %rax
subl %eax, %r15d
jmp 0x10c76
movb %al, (%rbx)
incq %rbx
incq %r14
leal -0x1(%r15), %eax
cmpl $0x1, %r15d
movl %eax, %r15d
jg 0x10c44
movb $0x0, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: Hax_Merge
char *
Hax_Merge(
    Hax_Interp *interp,
    int argc,			/* How many strings to merge. */
    char **argv			/* Array of string values. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
#   define LOCAL_SIZE 20
    int localFlags[LOCAL_SIZE], *flagPtr;
    int numChars;
    char *result;
    char *dst;
    int i;

    /*
     * Pass 1: estimate space, gather flags.
     */

    if (argc <= LOCAL_SIZE) {
	flagPtr = localFlags;
    } else {
	flagPtr = (int *) ckalloc(memoryp, (unsigned) argc*sizeof(int));
    }
    numChars = 1;
    for (i = 0; i < argc; i++) {
	numChars += Hax_ScanElement(argv[i], &flagPtr[i]) + 1;
    }

    /*
     * Pass two: copy into the result area.
     */

    result = (char *) ckalloc(memoryp, (unsigned) numChars);
    dst = result;
    for (i = 0; i < argc; i++) {
	numChars = Hax_ConvertElement(argv[i], dst, flagPtr[i]);
	dst += numChars;
	*dst = ' ';
	dst++;
    }
    if (dst == result) {
	*dst = 0;
    } else {
	dst[-1] = 0;
    }

    if (flagPtr != localFlags) {
	ckfree(memoryp, (char *) flagPtr);
    }
    return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, %r15
movq 0x280(%rdi), %rbx
movl %esi, %ebp
leaq 0x10(%rsp), %r14
cmpl $0x15, %esi
movq %rbx, 0x8(%rsp)
jge 0x11095
testl %esi, %esi
jg 0x110b4
leaq 0x50cb(%rip), %rdx      # 0x1613e
movl $0x1, %esi
movq %rbx, %rdi
movl $0x2bc, %ecx            # imm = 0x2BC
callq 0x44d0
movq %rax, %r13
leaq 0x10(%rsp), %r14
movq %rax, %r12
jmp 0x1112e
leaq (,%rbp,4), %rsi
leaq 0x509a(%rip), %rdx      # 0x1613e
movq %rbx, %rdi
movl $0x2b1, %ecx            # imm = 0x2B1
callq 0x44d0
movq %rax, %r14
movl $0x1, %r13d
xorl %ebx, %ebx
movq %r14, %r12
movq (%r15,%rbx,8), %rdi
movq %r12, %rsi
callq 0x4110
addl %eax, %r13d
incl %r13d
incq %rbx
addq $0x4, %r12
cmpq %rbx, %rbp
jne 0x110bf
movl %r13d, %esi
leaq 0x5057(%rip), %rdx      # 0x1613e
movq 0x8(%rsp), %rdi
movl $0x2bc, %ecx            # imm = 0x2BC
callq 0x44d0
movq %rax, %r12
xorl %ebx, %ebx
movq %rax, %r13
movq (%r15,%rbx,8), %rdi
movl (%r14,%rbx,4), %edx
movq %rax, %rsi
callq 0x4170
movslq %eax, %rcx
leaq (%rcx,%r13), %rax
incq %rax
movb $0x20, -0x1(%rax)
incq %rbx
cmpq %rbx, %rbp
jne 0x110fb
addq %rcx, %r13
cmpq %r12, %rax
cmoveq %r12, %r13
movb $0x0, (%r13)
leaq 0x10(%rsp), %rax
cmpq %rax, %r14
je 0x11156
leaq 0x4ffa(%rip), %rdx      # 0x1613e
movq 0x8(%rsp), %rdi
movq %r14, %rsi
movl $0x2cb, %ecx            # imm = 0x2CB
callq 0x4280
movq %r12, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: Hax_Concat
char *
Hax_Concat(
    Hax_Interp *interp,
    int argc,			/* Number of strings to concatenate. */
    char **argv			/* Array of strings to concatenate. */)
{
    Interp *iPtr = (Interp *) interp;
    Hax_Memoryp *memoryp = iPtr->memoryp;
    int totalSize, i;
    char *p;
    char *result;

    for (totalSize = 1, i = 0; i < argc; i++) {
	totalSize += strlen(argv[i]) + 1;
    }
    result = (char *) ckalloc(memoryp, (unsigned) totalSize);
    if (argc == 0) {
	*result = '\0';
	return result;
    }
    for (p = result, i = 0; i < argc; i++) {
	char *element;
	int length;

	/*
	 * Clip white space off the front and back of the string
	 * to generate a neater result, and ignore any empty
	 * elements.
	 */

	element = argv[i];
	while (isspace(*element)) {
	    element++;
	}
	for (length = strlen(element);
		(length > 0) && (isspace(element[length-1]));
		length--) {
	    /* Null loop body. */
	}
	if (length == 0) {
	    continue;
	}
	(void) strncpy(p, element, length);
	p += length;
	*p = ' ';
	p++;
    }
    if (p != result) {
	p[-1] = 0;
    } else {
	*p = 0;
    }
    return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq 0x280(%rdi), %r15
testl %esi, %esi
jle 0x11285
movq %rdx, %r13
movl %esi, %ebp
movl %esi, %r14d
movl $0x1, %ebx
xorl %r12d, %r12d
movq (%r13,%r12,8), %rdi
callq 0x41d0
addl %eax, %ebx
incl %ebx
incq %r12
cmpq %r12, %r14
jne 0x11195
movl %ebx, %esi
leaq 0x4f8a(%rip), %rdx      # 0x1613e
movq %r15, %rdi
movl $0x2f2, %ecx            # imm = 0x2F2
callq 0x44d0
movq %rax, %r12
testl %ebp, %ebp
jle 0x112a3
callq 0x4650
movq %rax, 0x8(%rsp)
xorl %r15d, %r15d
movq %r12, (%rsp)
movq %r14, 0x10(%rsp)
movq %r13, %r14
movq (%r13,%r15,8), %rbp
movq 0x8(%rsp), %rax
movq (%rax), %rbx
leaq -0x1(%rbp), %r13
addq $-0x2, %rbp
movsbq 0x1(%r13), %rax
incq %r13
incq %rbp
testb $0x20, 0x1(%rbx,%rax,2)
jne 0x111fa
movq %r13, %rdi
callq 0x41d0
movl %eax, %ecx
addq %rcx, %rbp
xorl %esi, %esi
movq %rsi, %rdx
addl %eax, %esi
testl %esi, %esi
jle 0x11237
movsbq (%rbp,%rdx), %rdi
leaq -0x1(%rdx), %rsi
testb $0x20, 0x1(%rbx,%rdi,2)
jne 0x1121b
jmp 0x1123c
addq %rdx, %rcx
je 0x1125c
movslq %eax, %rbp
addq %rdx, %rbp
movq %r12, %rdi
movq %r13, %rsi
movq %rbp, %rdx
callq 0x40a0
addq %rbp, %r12
incq %r12
movb $0x20, -0x1(%r12)
movq %r14, %r13
incq %r15
movq 0x10(%rsp), %r14
cmpq %r14, %r15
jne 0x111e2
leaq -0x1(%r12), %rax
movq (%rsp), %rbx
cmpq %rbx, %r12
movq %rbx, %r12
cmoveq %rbx, %rax
jmp 0x112a6
leaq 0x4eb2(%rip), %rdx      # 0x1613e
movl $0x1, %esi
movq %r15, %rdi
movl $0x2f2, %ecx            # imm = 0x2F2
callq 0x44d0
movq %rax, %r12
jmp 0x112a6
movq %r12, %rax
movb $0x0, (%rax)
movq %r12, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/haxlang[P]hax/haxUtil.c
// Function: Hax_AppendResult
void
	/* VARARGS2 */ /* ARGSUSED */
Hax_AppendResult(
    Hax_Interp *interp,		/* Interpreter whose result is to be
				 * extended. */
    ...				/* One or more strings to add to the
				 * result, terminated with NULL. */)
{
    va_list argList, argList2;
    Interp *iPtr;
    char *string;
    int newSpace;

    /*
     * First, scan through all the arguments to see how much space is
     * needed.
     */

    va_start(argList, interp);
    va_copy(argList2, argList);
    iPtr = (Interp *) interp;
    newSpace = 0;
    while (1) {
	string = va_arg(argList, char *);
	if (string == NULL) {
	    break;
	}
	newSpace += strlen(string);
    }
    va_end(argList);

    /*
     * If the append buffer isn't already setup and large enough
     * to hold the new data, set it up.
     */

    if ((iPtr->result != iPtr->appendResult)
	   || ((newSpace + iPtr->appendUsed) >= iPtr->appendAvl)) {
       SetupAppendBuffer(iPtr, newSpace);
    }

    /*
     * Final step:  go through all the argument strings again, copying
     * them into the buffer.
     */

    while (1) {
	string = va_arg(argList2, char *);
	if (string == NULL) {
	    break;
	}
	strcpy(iPtr->appendResult + iPtr->appendUsed, string);
	iPtr->appendUsed += strlen(string);
    }
    va_end(argList2);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xf0, %rsp
movq %rdi, %rbx
leaq 0x40(%rsp), %r14
movq %rsi, 0x8(%r14)
movq %rdx, 0x10(%r14)
movq %rcx, 0x18(%r14)
movq %r8, 0x20(%r14)
movq %r9, 0x28(%r14)
testb %al, %al
je 0x11468
movaps %xmm0, 0x70(%rsp)
movaps %xmm1, 0x80(%rsp)
movaps %xmm2, 0x90(%rsp)
movaps %xmm3, 0xa0(%rsp)
movaps %xmm4, 0xb0(%rsp)
movaps %xmm5, 0xc0(%rsp)
movaps %xmm6, 0xd0(%rsp)
movaps %xmm7, 0xe0(%rsp)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, 0x20(%rsp)
leaq 0x120(%rsp), %rax
movq %rax, 0x28(%rsp)
movq %r14, 0x30(%rsp)
movq %r14, 0x10(%rsp)
movq 0x20(%rsp), %rcx
movq %rcx, (%rsp)
movq 0x28(%rsp), %rcx
movq %rcx, 0x8(%rsp)
movl $0x8, %r15d
xorl %ebp, %ebp
cmpl $0x28, %r15d
ja 0x114c3
movq %rax, %r12
movl %r15d, %eax
addq %r14, %rax
addl $0x8, %r15d
movl %r15d, 0x20(%rsp)
jmp 0x114cc
leaq 0x8(%rax), %r12
movq %r12, 0x28(%rsp)
movq (%rax), %rdi
testq %rdi, %rdi
je 0x114e0
callq 0x41d0
addl %eax, %ebp
movq %r12, %rax
jmp 0x114a9
movq (%rbx), %rax
cmpq 0x118(%rbx), %rax
jne 0x114fc
movl 0x124(%rbx), %eax
addl %ebp, %eax
cmpl 0x120(%rbx), %eax
jl 0x1152c
movq %rbx, %rdi
movl %ebp, %esi
callq 0x1156b
jmp 0x1152c
movslq 0x124(%rbx), %rdi
addq 0x118(%rbx), %rdi
movq %r14, %rsi
callq 0x40f0
movq %r14, %rdi
callq 0x41d0
addl %eax, 0x124(%rbx)
movl (%rsp), %ecx
cmpq $0x28, %rcx
ja 0x11545
movq %rcx, %rax
addq 0x10(%rsp), %rax
addl $0x8, %ecx
movl %ecx, (%rsp)
jmp 0x11553
movq 0x8(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %r14
testq %r14, %r14
jne 0x11508
addq $0xf0, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq