// File: /workspace/github_c_makefile_star2_O0/thiagok00[P]INF1715-Compilers/GeraCodigo.c
// Function: gera_codigo_expcmp
static int gera_codigo_expcmp(Exp *e) {

  int idesq, iddir, idtemp=-1;
  char *op, *strtipobase;
  Base_TAG tipoexp;
  int lastid;

  tipoexp = e->u.expbin.expesq->tipo->tipo_base; //assumindo que os dois tipos sao iguais, garantido pela tipagem
  strtipobase = tipo_base_string(tipoexp);

  idesq = gera_codigo_expressao(e->u.expbin.expesq);
  iddir = gera_codigo_expressao(e->u.expbin.expdir);

  if (e->u.expbin.opbin == equal){
    if (tipoexp == bFloat)
      op = "fcmp oeq";
    else
      op = "icmp eq";
  }
  if (e->u.expbin.opbin == notequal){
    if (tipoexp == bFloat)
      op = "fcmp une";
    else
      op = "icmp ne";
  }
  if (e->u.expbin.opbin == greater ){
    if (tipoexp == bFloat)
      op = "fcmp ogt";
    else
      op = "icmp sgt";
  }
  if (e->u.expbin.opbin == less){
    if (tipoexp == bFloat)
      op = "fcmp olt";
    else
      op = "icmp slt";
  }
  if (e->u.expbin.opbin == greaterequal){
    if (tipoexp == bFloat)
      op = "fcmp oge";
    else
      op = "icmp sge";
  }
  if (e->u.expbin.opbin == lessequal){
    if (tipoexp == bFloat)
      op = "fcmp ole";
    else
      op = "icmp sge";
  }

  idtemp = gen_id();
  //%t(idtemp) = op tipo %t(idesq), %t(iddir)
  fprintf(output,"\t%%t%d = %s %s %%t%d, %%t%d\n",idtemp,op,strtipobase,idesq,iddir);
  lastid = idtemp;
  idtemp = gen_id();
  //%t(idtemp) = zext i1 %t(lastid) to i32
  fprintf(output,"\t%%t%d = zext i1 %%t%d to i32\n",idtemp,lastid);

  return idtemp;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movl $0xffffffff, -0x14(%rbp) # imm = 0xFFFFFFFF
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movl 0x4(%rax), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %edi
callq 0x7300
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x7b60
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x7b60
movl %eax, -0x10(%rbp)
movq -0x8(%rbp), %rax
cmpl $0x4, 0x20(%rax)
jne 0x873b
cmpl $0x3, -0x2c(%rbp)
jne 0x872e
leaq 0x27ed(%rip), %rax      # 0xaf15
movq %rax, -0x20(%rbp)
jmp 0x8739
leaq 0x27e9(%rip), %rax      # 0xaf1e
movq %rax, -0x20(%rbp)
jmp 0x873b
movq -0x8(%rbp), %rax
cmpl $0x5, 0x20(%rax)
jne 0x8765
cmpl $0x3, -0x2c(%rbp)
jne 0x8758
leaq 0x27d4(%rip), %rax      # 0xaf26
movq %rax, -0x20(%rbp)
jmp 0x8763
leaq 0x27d0(%rip), %rax      # 0xaf2f
movq %rax, -0x20(%rbp)
jmp 0x8765
movq -0x8(%rbp), %rax
cmpl $0x8, 0x20(%rax)
jne 0x878f
cmpl $0x3, -0x2c(%rbp)
jne 0x8782
leaq 0x27bb(%rip), %rax      # 0xaf37
movq %rax, -0x20(%rbp)
jmp 0x878d
leaq 0x27b7(%rip), %rax      # 0xaf40
movq %rax, -0x20(%rbp)
jmp 0x878f
movq -0x8(%rbp), %rax
cmpl $0x6, 0x20(%rax)
jne 0x87b9
cmpl $0x3, -0x2c(%rbp)
jne 0x87ac
leaq 0x27a3(%rip), %rax      # 0xaf49
movq %rax, -0x20(%rbp)
jmp 0x87b7
leaq 0x279f(%rip), %rax      # 0xaf52
movq %rax, -0x20(%rbp)
jmp 0x87b9
movq -0x8(%rbp), %rax
cmpl $0x9, 0x20(%rax)
jne 0x87e3
cmpl $0x3, -0x2c(%rbp)
jne 0x87d6
leaq 0x278b(%rip), %rax      # 0xaf5b
movq %rax, -0x20(%rbp)
jmp 0x87e1
leaq 0x2787(%rip), %rax      # 0xaf64
movq %rax, -0x20(%rbp)
jmp 0x87e3
movq -0x8(%rbp), %rax
cmpl $0x7, 0x20(%rax)
jne 0x880d
cmpl $0x3, -0x2c(%rbp)
jne 0x8800
leaq 0x2773(%rip), %rax      # 0xaf6d
movq %rax, -0x20(%rbp)
jmp 0x880b
leaq 0x275d(%rip), %rax      # 0xaf64
movq %rax, -0x20(%rbp)
jmp 0x880d
callq 0x77b0
movl %eax, -0x14(%rbp)
movq 0x596c(%rip), %rdi      # 0xe188
movl -0x14(%rbp), %edx
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %r8
movl -0xc(%rbp), %r9d
movl -0x10(%rbp), %eax
leaq 0x26c3(%rip), %rsi      # 0xaef8
movl %eax, (%rsp)
movb $0x0, %al
callq 0x10e0
movl -0x14(%rbp), %eax
movl %eax, -0x30(%rbp)
callq 0x77b0
movl %eax, -0x14(%rbp)
movq 0x5934(%rip), %rdi      # 0xe188
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %ecx
leaq 0x252e(%rip), %rsi      # 0xad8f
movb $0x0, %al
callq 0x10e0
movl -0x14(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)