// File: datourat[P]IP-label-for-graph-reachability/Graph.cpp
// Function: Graph::checkLayerSeparation()
void Graph::checkLayerSeparation(){
	int u,v;
	bool flag=false;

	for (u=0; u<vsize; u++){
		for(int j=0; j<graph[u].outList.size(); j++){
			v=graph[u].outList[j];
			if(vl[v].layer<=vl[u].layer || vl[v].topoID <= vl[u].topoID ){
				cout << " checkLayerSeparation: Error" << endl;
				quit();
			}
		}

		for (int j=0; j<graph[u].inList.size(); j++){
			v=graph[u].inList[j];
			if(vl[u].layer-vl[v].layer==1)
				flag=true;
		}
		if(flag||graph[u].inList.size()==0)
			flag=false;
		else{
			cout << " checkLayerSeparation: No good separation" << endl;
			quit();
		}
	}
}

// Assembly:
subq $0x48, %rsp
movq %rdi, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x20(%rsp)
movb $0x0, 0x37(%rsp)
movl $0x0, 0x3c(%rsp)
movq 0x20(%rsp), %rcx
movl 0x3c(%rsp), %eax
cmpl 0xc(%rcx), %eax
jge 0x9208
movl $0x0, 0x30(%rsp)
movq 0x20(%rsp), %rdi
movslq 0x30(%rsp), %rax
movq %rax, 0x18(%rsp)
addq $0x48, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d60
movq %rax, %rdi
addq $0x18, %rdi
callq 0x4c10
movq %rax, %rcx
movq 0x18(%rsp), %rax
cmpq %rcx, %rax
jae 0x90eb
movq 0x20(%rsp), %rdi
addq $0x48, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d60
movq %rax, %rdi
addq $0x18, %rdi
movslq 0x30(%rsp), %rsi
callq 0x12960
movq 0x20(%rsp), %rdi
movl (%rax), %eax
movl %eax, 0x38(%rsp)
addq $0x30, %rdi
movslq 0x38(%rsp), %rsi
callq 0x11d40
movq 0x20(%rsp), %rdi
movzwl (%rax), %eax
movl %eax, 0x14(%rsp)
addq $0x30, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d40
movq %rax, %rcx
movl 0x14(%rsp), %eax
movzwl (%rcx), %ecx
cmpl %ecx, %eax
jle 0x90b2
movq 0x20(%rsp), %rdi
addq $0x30, %rdi
movslq 0x38(%rsp), %rsi
callq 0x11d40
movq 0x20(%rsp), %rdi
movl 0x4(%rax), %eax
movl %eax, 0x10(%rsp)
addq $0x30, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d40
movq %rax, %rcx
movl 0x10(%rsp), %eax
cmpl 0x4(%rcx), %eax
jg 0x90d9
movq 0x2bf1f(%rip), %rdi     # 0x34fd8
leaq 0x1f3ba(%rip), %rsi     # 0x2847a
callq 0x32c0
movq %rax, %rdi
movq 0x2bef9(%rip), %rsi     # 0x34fc8
callq 0x3300
callq 0x4da0
jmp 0x90db
movl 0x30(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x30(%rsp)
jmp 0x8fda
movl $0x0, 0x2c(%rsp)
movq 0x20(%rsp), %rdi
movslq 0x2c(%rsp), %rax
movq %rax, 0x8(%rsp)
addq $0x48, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d60
movq %rax, %rdi
callq 0x4c10
movq %rax, %rcx
movq 0x8(%rsp), %rax
cmpq %rcx, %rax
jae 0x91a0
movq 0x20(%rsp), %rdi
addq $0x48, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d60
movq %rax, %rdi
movslq 0x2c(%rsp), %rsi
callq 0x12960
movq 0x20(%rsp), %rdi
movl (%rax), %eax
movl %eax, 0x38(%rsp)
addq $0x30, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d40
movq 0x20(%rsp), %rdi
movzwl (%rax), %eax
movl %eax, 0x4(%rsp)
addq $0x30, %rdi
movslq 0x38(%rsp), %rsi
callq 0x11d40
movq %rax, %rcx
movl 0x4(%rsp), %eax
movzwl (%rcx), %ecx
subl %ecx, %eax
cmpl $0x1, %eax
jne 0x918e
movb $0x1, 0x37(%rsp)
jmp 0x9190
movl 0x2c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x2c(%rsp)
jmp 0x90f3
testb $0x1, 0x37(%rsp)
jne 0x91c8
movq 0x20(%rsp), %rdi
addq $0x48, %rdi
movslq 0x3c(%rsp), %rsi
callq 0x11d60
movq %rax, %rdi
callq 0x4c10
cmpq $0x0, %rax
jne 0x91cf
movb $0x0, 0x37(%rsp)
jmp 0x91f6
movq 0x2be02(%rip), %rdi     # 0x34fd8
leaq 0x1f2ba(%rip), %rsi     # 0x28497
callq 0x32c0
movq %rax, %rdi
movq 0x2bddc(%rip), %rsi     # 0x34fc8
callq 0x3300
callq 0x4da0
jmp 0x91f8
movl 0x3c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x3c(%rsp)
jmp 0x8fc0
addq $0x48, %rsp
retq
nopl (%rax)