// File: /workspace/github_cpp_makefile_star2_O3/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 0xc750
movq %rdi, %rbx
leaq 0x7bf1(%rip), %rcx      # 0x1414c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0xcdd5(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x7c23(%rip), %rsi      # 0x1419d
movl $0x8, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x7046(%rip), %r15      # 0x135e2
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 0x7bc7(%rip), %rsi      # 0x141a6
movl $0x6, %edx
jmp 0xc71c
popq %rbx
popq %r14
popq %r15
retq
leaq 0xcd4a(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x7b8b(%rip), %rsi      # 0x14190
movl $0xc, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x6fbb(%rip), %r15      # 0x135e2
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 0xc680
leaq 0xccdf(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x7b52(%rip), %rsi      # 0x141c2
movl $0xb, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %rbx
leaq 0x7b18(%rip), %rsi      # 0x141aa
movl $0x2, %edx
jmp 0xc71c
leaq 0xcc9d(%rip), %rdi      # 0x19340
callq 0x3120
movq %rax, %r14
leaq 0x7afb(%rip), %rsi      # 0x141ad
movl $0x9, %edx
movq %rax, %rdi
callq 0x3200
movl 0x14(%rbx), %esi
movq %r14, %rdi
callq 0x3120
movq %rax, %r14
leaq 0x6f0e(%rip), %r15      # 0x135e2
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 0x7aa0(%rip), %rsi      # 0x141b7
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 0xc899(%rip), %rdi      # 0x18ff0
leaq 0x6a6a(%rip), %rsi      # 0x131c8
callq 0x31c0
leaq 0x7a64(%rip), %rsi      # 0x141ce
movq %rax, %rdi
callq 0x31c0
leaq 0x69f8(%rip), %rsi      # 0x13171
movq %rax, %rdi
callq 0x31c0
movq %rax, %rdi
movl $0x58, %esi
callq 0x3330
leaq 0x6a44(%rip), %rsi      # 0x131d9
movq %rax, %rdi
callq 0x31c0
leaq 0x7a38(%rip), %rsi      # 0x141dc
movq %rax, %rdi
callq 0x31c0
movq %rax, %rdi
callq 0x30d0
xorl %edi, %edi
callq 0x3220