// File: jstaursky[P]hutch/src/Sleigh/pcodecompile.cc
// Function: PcodeCompile::propagateSize(ConstructTpl*)
bool PcodeCompile::propagateSize(ConstructTpl *ct)

{				// Fill in size for varnodes with size 0
				// Return first OpTpl with a size 0 varnode
				// that cannot be filled in or NULL otherwise
  vector<OpTpl *> zerovec,zerovec2;
  vector<OpTpl *>::const_iterator iter;
  int4 lastsize;

  for(iter=ct->getOpvec().begin();iter!=ct->getOpvec().end();++iter)
    if ((*iter)->isZeroSize()) {
      fillinZero(*iter,ct->getOpvec());
      if ((*iter)->isZeroSize())
	zerovec.push_back(*iter);
    }
  lastsize = zerovec.size() + 1;
  while( zerovec.size() < lastsize ) {
    lastsize = zerovec.size();
    zerovec2.clear();
    for(iter=zerovec.begin();iter!=zerovec.end();++iter) {
      fillinZero(*iter,ct->getOpvec());
      if ((*iter)->isZeroSize())
	zerovec2.push_back( *iter );
    }
    zerovec = zerovec2;
  }
  if ( lastsize != 0 ) return false;
  return true;
}

// Assembly:
subq $0xd8, %rsp
movq %rdi, 0xc8(%rsp)
leaq 0xb0(%rsp), %rdi
callq 0xcf120
leaq 0x98(%rsp), %rdi
callq 0xcf120
leaq 0x90(%rsp), %rdi
callq 0xd8d80
movq 0xc8(%rsp), %rdi
callq 0xe1e50
movq %rax, 0x40(%rsp)
jmp 0x10dbfa
movq 0x40(%rsp), %rdi
callq 0xdc0c0
movq %rax, 0x80(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0xc8(%rsp), %rdi
callq 0xe1e50
movq %rax, 0x38(%rsp)
jmp 0x10dc30
movq 0x38(%rsp), %rdi
callq 0xd3030
movq %rax, 0x68(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0xcfac0
testb $0x1, %al
jne 0x10dc5a
jmp 0x10dd45
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq (%rax), %rdi
callq 0xe0fd0
movb %al, 0x37(%rsp)
jmp 0x10dc75
movb 0x37(%rsp), %al
testb $0x1, %al
jne 0x10dc82
jmp 0x10dd31
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq (%rax), %rax
movq %rax, 0x20(%rsp)
movq 0xc8(%rsp), %rdi
callq 0xe1e50
movq %rax, 0x28(%rsp)
jmp 0x10dcab
movq 0x28(%rsp), %rsi
movq 0x20(%rsp), %rdi
callq 0xd6090
jmp 0x10dcbc
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq (%rax), %rdi
callq 0xe0fd0
movb %al, 0x1f(%rsp)
jmp 0x10dcd7
movb 0x1f(%rsp), %al
testb $0x1, %al
jne 0x10dce1
jmp 0x10dd2f
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq %rax, %rsi
leaq 0xb0(%rsp), %rdi
callq 0xdc8a0
jmp 0x10dd00
jmp 0x10dd2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x78(%rsp)
movl %eax, 0x74(%rsp)
leaq 0x98(%rsp), %rdi
callq 0xd7770
leaq 0xb0(%rsp), %rdi
callq 0xd7770
jmp 0x10defe
jmp 0x10dd31
jmp 0x10dd33
leaq 0x90(%rsp), %rdi
callq 0xd8000
jmp 0x10dc1c
leaq 0xb0(%rsp), %rdi
callq 0xdd5e0
addq $0x1, %rax
movl %eax, 0x8c(%rsp)
leaq 0xb0(%rsp), %rdi
callq 0xdd5e0
movslq 0x8c(%rsp), %rcx
cmpq %rcx, %rax
jae 0x10dea7
leaq 0xb0(%rsp), %rdi
callq 0xdd5e0
movl %eax, 0x8c(%rsp)
leaq 0x98(%rsp), %rdi
callq 0xd9b80
leaq 0xb0(%rsp), %rdi
callq 0xd1660
movq %rax, 0x58(%rsp)
leaq 0x60(%rsp), %rdi
leaq 0x58(%rsp), %rsi
callq 0xd90f0
movq 0x60(%rsp), %rax
movq %rax, 0x90(%rsp)
leaq 0xb0(%rsp), %rdi
callq 0xdcb70
movq %rax, 0x50(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0xdfdf0
testb $0x1, %al
jne 0x10ddf7
jmp 0x10de8b
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq (%rax), %rax
movq %rax, 0x8(%rsp)
movq 0xc8(%rsp), %rdi
callq 0xe1e50
movq %rax, 0x10(%rsp)
jmp 0x10de20
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
callq 0xd6090
jmp 0x10de31
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq (%rax), %rdi
callq 0xe0fd0
movb %al, 0x7(%rsp)
jmp 0x10de4c
movb 0x7(%rsp), %al
testb $0x1, %al
jne 0x10de56
jmp 0x10de77
leaq 0x90(%rsp), %rdi
callq 0xdd340
movq %rax, %rsi
leaq 0x98(%rsp), %rdi
callq 0xdc8a0
jmp 0x10de75
jmp 0x10de77
jmp 0x10de79
leaq 0x90(%rsp), %rdi
callq 0xd8000
jmp 0x10ddca
leaq 0xb0(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0xddd20
jmp 0x10dea2
jmp 0x10dd5d
cmpl $0x0, 0x8c(%rsp)
je 0x10dec3
movb $0x0, 0xd7(%rsp)
movl $0x1, 0x4c(%rsp)
jmp 0x10ded3
movb $0x1, 0xd7(%rsp)
movl $0x1, 0x4c(%rsp)
leaq 0x98(%rsp), %rdi
callq 0xd7770
leaq 0xb0(%rsp), %rdi
callq 0xd7770
movb 0xd7(%rsp), %al
andb $0x1, %al
addq $0xd8, %rsp
retq
movq 0x78(%rsp), %rdi
callq 0xe0be0
nopl (%rax,%rax)