// File: jstaursky[P]hutch/src/Sleigh/slgh_compile.cc
// Function: ConsistencyChecker::printOpError(OpTpl*, Constructor*, int, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void ConsistencyChecker::printOpError(OpTpl *op,Constructor *ct,int4 err1,int4 err2,const string &msg)

{
  SubtableSymbol *sym = ct->getParent();
  OperandSymbol *op1,*op2;

  op1 = getOperandSymbol(err1,op,ct);
  if (err2 != err1)
    op2 = getOperandSymbol(err2,op,ct);
  else
    op2 = (OperandSymbol *)0;
  cerr << "Size restriction error in table \"" << sym->getName() << "\"" << endl;
  cerr << "  in constructor starting at line " << dec << ct->getLineno() << endl;
  if ((op1 != (OperandSymbol *)0)&&(op2 != (OperandSymbol *)0)) {
    cerr << "  Problem with \"" << op1->getName();
    cerr << "\" and \"" << op2->getName() << "\"";
  }
  else if (op1 != (OperandSymbol *)0)
    cerr << "  Problem with \"" << op1->getName() << "\"";
  else if (op2 != (OperandSymbol *)0)
    cerr << "  Problem with \"" << op2->getName() << "\"";
  else
    cerr << "  Problem";
  cerr << " in ";
  printOpName(cerr,op);
  cerr << " operator" << endl << "  " << msg << endl;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rdi
callq 0x6a640
movq -0x48(%rbp), %rdi
movq %rax, -0x30(%rbp)
movl -0x1c(%rbp), %esi
movq -0x10(%rbp), %rdx
movq -0x18(%rbp), %rcx
callq 0x5df70
movq %rax, -0x38(%rbp)
movl -0x20(%rbp), %eax
cmpl -0x1c(%rbp), %eax
je 0x5dd31
movq -0x48(%rbp), %rdi
movl -0x20(%rbp), %esi
movq -0x10(%rbp), %rdx
movq -0x18(%rbp), %rcx
callq 0x5df70
movq %rax, -0x40(%rbp)
jmp 0x5dd39
movq $0x0, -0x40(%rbp)
movq 0xd42a8(%rip), %rdi     # 0x131fe8
leaq 0x7b390(%rip), %rsi     # 0xd90d7
callq 0x11420
movq %rax, -0x58(%rbp)
movq -0x30(%rbp), %rdi
callq 0x401a0
movq -0x58(%rbp), %rdi
movq %rax, %rsi
callq 0x113e0
movq %rax, %rdi
leaq 0x7b3c4(%rip), %rsi     # 0xd9133
callq 0x11420
movq %rax, %rdi
movq 0xd4222(%rip), %rsi     # 0x131fa0
callq 0x114a0
movq 0xd425e(%rip), %rdi     # 0x131fe8
leaq 0x7b368(%rip), %rsi     # 0xd90f9
callq 0x11420
movq %rax, %rdi
leaq -0x38730(%rip), %rsi    # 0x25670
callq 0x11180
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rdi
callq 0x6a600
movq -0x50(%rbp), %rdi
movl %eax, %esi
callq 0x11880
movq %rax, %rdi
movq 0xd41d9(%rip), %rsi     # 0x131fa0
callq 0x114a0
cmpq $0x0, -0x38(%rbp)
je 0x5de46
cmpq $0x0, -0x40(%rbp)
je 0x5de46
movq 0xd4207(%rip), %rdi     # 0x131fe8
leaq 0x7b334(%rip), %rsi     # 0xd911c
callq 0x11420
movq %rax, -0x68(%rbp)
movq -0x38(%rbp), %rdi
callq 0x401a0
movq -0x68(%rbp), %rdi
movq %rax, %rsi
callq 0x113e0
movq 0xd41db(%rip), %rdi     # 0x131fe8
leaq 0x7b319(%rip), %rsi     # 0xd912d
callq 0x11420
movq %rax, -0x60(%rbp)
movq -0x40(%rbp), %rdi
callq 0x401a0
movq -0x60(%rbp), %rdi
movq %rax, %rsi
callq 0x113e0
movq %rax, %rdi
leaq 0x7b2f7(%rip), %rsi     # 0xd9133
callq 0x11420
jmp 0x5dee5
cmpq $0x0, -0x38(%rbp)
je 0x5de8a
movq 0xd4194(%rip), %rdi     # 0x131fe8
leaq 0x7b2c1(%rip), %rsi     # 0xd911c
callq 0x11420
movq %rax, -0x70(%rbp)
movq -0x38(%rbp), %rdi
callq 0x401a0
movq -0x70(%rbp), %rdi
movq %rax, %rsi
callq 0x113e0
movq %rax, %rdi
leaq 0x7b2b0(%rip), %rsi     # 0xd9133
callq 0x11420
jmp 0x5dee3
cmpq $0x0, -0x40(%rbp)
je 0x5dece
movq 0xd4150(%rip), %rdi     # 0x131fe8
leaq 0x7b27d(%rip), %rsi     # 0xd911c
callq 0x11420
movq %rax, -0x78(%rbp)
movq -0x40(%rbp), %rdi
callq 0x401a0
movq -0x78(%rbp), %rdi
movq %rax, %rsi
callq 0x113e0
movq %rax, %rdi
leaq 0x7b26c(%rip), %rsi     # 0xd9133
callq 0x11420
jmp 0x5dee1
movq 0xd4113(%rip), %rdi     # 0x131fe8
leaq 0x7b259(%rip), %rsi     # 0xd9135
callq 0x11420
jmp 0x5dee3
jmp 0x5dee5
movq 0xd40fc(%rip), %rdi     # 0x131fe8
leaq 0x7bf1d(%rip), %rsi     # 0xd9e10
callq 0x11420
movq -0x48(%rbp), %rdi
movq -0x10(%rbp), %rdx
movq 0xd40e1(%rip), %rsi     # 0x131fe8
callq 0x5b0f0
movq 0xd40d5(%rip), %rdi     # 0x131fe8
leaq 0x82b29(%rip), %rsi     # 0xe0a43
callq 0x11420
movq %rax, %rdi
movq 0xd4077(%rip), %rsi     # 0x131fa0
callq 0x114a0
movq %rax, %rdi
leaq 0x83530(%rip), %rsi     # 0xe1468
callq 0x11420
movq %rax, %rdi
movq -0x28(%rbp), %rsi
callq 0x113e0
movq %rax, %rdi
movq 0xd404d(%rip), %rsi     # 0x131fa0
callq 0x114a0
addq $0x80, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)