// File: /workspace/github_cpp_makefile_star2_O1/dramninjasUMD[P]BOBSim/BusPacket.cpp
// Function: BOBSim::BusPacket::PrintVerification(unsigned long)
void BusPacket::PrintVerification(uint64_t currentCycle)
{
	switch(busPacketType)
	{
	case ACTIVATE:
		verificationOutput << currentCycle <<": activate (" << rank << "," << bank << "," << row <<");"<<endl;
		break;
	case READ_P:
		verificationOutput << currentCycle << ": read ("<<rank<<","<<bank<<","<<column<<",1,0);"<<endl;
		break;
	case WRITE_P:
		verificationOutput << currentCycle << ": write ("<<rank<<","<<bank<<","<<column<<",1,0,'h0);"<<endl;
		break;
	case REFRESH:
		verificationOutput << currentCycle <<": refresh (" << rank << ");"<<endl;
		break;
	case WRITE_DATA:

		break;
	default:
		ERROR("== Error - Unsupported bus packet type in verification");
		exit(0);
		break;
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movl 0x4(%rdi), %eax
decl %eax
cmpl $0x7, %eax
ja 0xc93c
movq %rdi, %rbx
leaq 0x7965(%rip), %rcx      # 0x140ac
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0xcbe9(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x7997(%rip), %rsi      # 0x140fd
movl $0x8, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x6e0a(%rip), %r15      # 0x13592
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0x10(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0x8(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %rbx
leaq 0x793b(%rip), %rsi      # 0x14106
movl $0x6, %edx
jmp 0xc908
popq %rbx
popq %r14
popq %r15
retq
leaq 0xcb5e(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x78ff(%rip), %rsi      # 0x140f0
movl $0xc, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x6d7f(%rip), %r15      # 0x13592
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0x10(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0xc(%rbx), %esi
jmp 0xc86c
leaq 0xcaf3(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x78c6(%rip), %rsi      # 0x14122
movl $0xb, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %rbx
leaq 0x788c(%rip), %rsi      # 0x1410a
movl $0x2, %edx
jmp 0xc908
leaq 0xcab1(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x786f(%rip), %rsi      # 0x1410d
movl $0x9, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x6cd2(%rip), %r15      # 0x13592
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0x10(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3200
movl 0x8(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %rbx
leaq 0x7814(%rip), %rsi      # 0x14117
movl $0xa, %edx
movq %rax, %rdi
callq 0x3200
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x31b0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x3130
movq 0xc6ad(%rip), %rdi      # 0x18ff0
leaq 0x682e(%rip), %rsi      # 0x13178
callq 0x31c0
leaq 0x77d8(%rip), %rsi      # 0x1412e
movq %rax, %rdi
callq 0x31c0
leaq 0x67bc(%rip), %rsi      # 0x13121
movq %rax, %rdi
callq 0x31c0
movq %rax, %rdi
movl $0x58, %esi
callq 0x3330
leaq 0x6808(%rip), %rsi      # 0x13189
movq %rax, %rdi
callq 0x31c0
leaq 0x77ac(%rip), %rsi      # 0x1413c
movq %rax, %rdi
callq 0x31c0
movq %rax, %rdi
callq 0x30d0
xorl %edi, %edi
callq 0x3220