// File: /workspace/github_c_makefile_star2_O0/ComplexNetworks-DCC-FCUP[P]gtrieScanner/Isomorphism.cpp
// Function: Isomorphism::canonicalStrNauty(Graph*, int*, char*)
void Isomorphism::canonicalStrNauty(Graph *myg, int *v, char *s) {
  int i, j, aux;

  static bool **adjM = myg->adjacencyMatrix();

  for (i=0; i<n; i++) {
    gv = GRAPHROW(g,i,m);
    EMPTYSET(gv,m);
    for (j=0; j<n; j++)
      if (adjM[v[i]][v[j]]) ADDELEMENT(gv,j);
  }

  nauty(g,lab,ptn,NULL,orbits,&options,&stats,
	workspace,WORKSPACE_SIZE,m,n,mm);

  aux=0;
  for (i=0; i<n; i++) {
    gv = GRAPHROW(mm,i,m); 
    for (j=0; j<n; j++)
         s[aux++] = ISELEMENT(gv,j)?'1':'0';
  }
  s[aux]=0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x80, %rsp
movq %rdi, -0x18(%rbp)
movq %rsi, -0x20(%rbp)
movq %rdx, -0x28(%rbp)
cmpb $0x0, 0x27b17(%rip)     # 0x355b8
jne 0xdadd
leaq 0x27b0e(%rip), %rdi     # 0x355b8
callq 0x3480
cmpl $0x0, %eax
je 0xdadd
movq -0x18(%rbp), %rdi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq %rax, -0x58(%rbp)
jmp 0xdac6
movq -0x58(%rbp), %rax
movq %rax, 0x27adf(%rip)     # 0x355b0
leaq 0x27ae0(%rip), %rdi     # 0x355b8
callq 0x3190
movl $0x0, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
cmpl 0x274c3(%rip), %eax     # 0x34fb0
jge 0xdbef
movslq -0x2c(%rbp), %rcx
movslq 0x274b6(%rip), %rax     # 0x34fb4
imulq %rax, %rcx
leaq 0x274b7(%rip), %rax     # 0x34fc0
shlq $0x2, %rcx
addq %rcx, %rax
movq %rax, 0x274a1(%rip)     # 0x34fb8
movq 0x2749a(%rip), %rax     # 0x34fb8
movslq 0x2748f(%rip), %rcx     # 0x34fb4
shlq $0x2, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
addq $-0x4, %rax
movq %rax, -0x50(%rbp)
cmpq 0x27475(%rip), %rax     # 0x34fb8
jb 0xdb6e
movq -0x50(%rbp), %rax
movl $0x0, (%rax)
jmp 0xdb30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq 0x27a54(%rip), %rdi     # 0x355b8
callq 0x3180
jmp 0xdd37
movl $0x0, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl 0x27432(%rip), %eax     # 0x34fb0
jge 0xdbdf
movq 0x27a29(%rip), %rax     # 0x355b0
movq -0x20(%rbp), %rcx
movslq -0x2c(%rbp), %rdx
movslq (%rcx,%rdx,4), %rcx
movq (%rax,%rcx,8), %rax
movq -0x20(%rbp), %rcx
movslq -0x30(%rbp), %rdx
movslq (%rcx,%rdx,4), %rcx
testb $0x1, (%rax,%rcx)
je 0xdbd2
movl -0x30(%rbp), %eax
andl $0x1f, %eax
movslq %eax, %rcx
leaq 0x1d757(%rip), %rax     # 0x2b310
movl (%rax,%rcx,4), %edx
movq 0x273f5(%rip), %rax     # 0x34fb8
movl -0x30(%rbp), %ecx
sarl $0x5, %ecx
movslq %ecx, %rcx
orl (%rax,%rcx,4), %edx
movl %edx, (%rax,%rcx,4)
jmp 0xdbd4
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0xdb75
jmp 0xdbe1
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0xdae4
movl 0x273be(%rip), %r11d    # 0x34fb4
movl 0x273b3(%rip), %r10d    # 0x34fb0
leaq 0x273bc(%rip), %rdi     # 0x34fc0
leaq 0x27545(%rip), %rsi     # 0x35150
leaq 0x2760e(%rip), %rdx     # 0x35220
xorl %eax, %eax
movl %eax, %ecx
leaq 0x276d3(%rip), %r8      # 0x352f0
leaq 0x1d67c(%rip), %r9      # 0x2b2a0
leaq 0x27795(%rip), %r14     # 0x353c0
leaq 0x1f67e(%rip), %rbx     # 0x2d2b0
leaq 0x277e7(%rip), %rax     # 0x35420
movq %r14, (%rsp)
movq %rbx, 0x8(%rsp)
movl $0x1f40, 0x10(%rsp)     # imm = 0x1F40
movl %r11d, 0x18(%rsp)
movl %r10d, 0x20(%rsp)
movq %rax, 0x28(%rsp)
callq 0x1a040
movl $0x0, -0x34(%rbp)
movl $0x0, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
cmpl 0x2733b(%rip), %eax     # 0x34fb0
jge 0xdd1f
movslq -0x2c(%rbp), %rcx
movslq 0x2732e(%rip), %rax     # 0x34fb4
imulq %rax, %rcx
leaq 0x2778f(%rip), %rax     # 0x35420
shlq $0x2, %rcx
addq %rcx, %rax
movq %rax, 0x27319(%rip)     # 0x34fb8
movl $0x0, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl 0x27301(%rip), %eax     # 0x34fb0
jge 0xdd0f
movq 0x27300(%rip), %rax     # 0x34fb8
movl -0x30(%rbp), %ecx
sarl $0x5, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %ecx
movl -0x30(%rbp), %eax
andl $0x1f, %eax
movslq %eax, %rdx
leaq 0x1d63c(%rip), %rax     # 0x2b310
andl (%rax,%rdx,4), %ecx
movb $0x31, %al
movb $0x30, %dl
movb %dl, -0x5a(%rbp)
cmpl $0x0, %ecx
movb %al, -0x59(%rbp)
jne 0xdcec
movb -0x5a(%rbp), %al
movb %al, -0x59(%rbp)
movb -0x59(%rbp), %dl
movq -0x28(%rbp), %rax
movl -0x34(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x34(%rbp)
movslq %ecx, %rcx
movb %dl, (%rax,%rcx)
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0xdca6
jmp 0xdd11
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0xdc6c
movq -0x28(%rbp), %rax
movslq -0x34(%rbp), %rcx
movb $0x0, (%rax,%rcx)
addq $0x80, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x3440