2if_false

Source Code

class TestIf {
    int f;
    int h;
    public void main() {
        int x;
        x = 40;
        if (x < 20)
            print(48);
        else
            print(49);
    }
}

---

---

---

---

---

---

---

---

Results

Assembly

.globl main

main:
   pushq  %rbp                # Save old EBP
   movq    %rsp, %rbp         # Save old ESP

   movq    $16, %rax
   movq    %rax, %rdi
   callq   malloc@PLT
   testq   %rax, %rax
   jz      fail_exit
   pushq   %rax

   callq   __LABEL0
   popq   %rax

   movq %rbp, %rsp            # Restore ESP
   popq %rbp                  # Restore EBP
   retq

__LABEL0:
   pushq  %rbp                # Save old EBP
   movq    %rsp, %rbp         # Save old ESP
   addq    $-8, %rsp

   ##MovL %0 <- 40
   movq   $40, %rax
   ##MoMo %1 <- %0
   ##MoMo %2 <- %1
   movq   %rax, %rbx
   ##MovL %3 <- 20
   movq   $20, %rax
   ##MoOp %4 <- %2,%3
   cmpq   %rbx, %rax
   setle   %dil
   xorb   $1, %dil
   movzbq %dil, %rax
   ##JuCo %4
   testq   %rax, %rax
   jnz     __LABEL1

__LABEL2:
   ##MovL %5 <- 49
   movq   $49, %rax
   ##Prin %5
   pushq  %rax                  ## prepare print call
   pushq  %rbx                  ## prepare print call
   movq   %rax, %rdi            ## print
   callq   putchar@PLT
   popq   %rbx
   popq   %rax
   ##Jump 3
   jmp    __LABEL3

__LABEL3:

   movq    %rbp, %rsp            # Restore ESP
   popq    %rbp                  # Restore EBP
   retq

__LABEL1:
   ##MovL %6 <- 48
   movq   $48, %rax
   ##Prin %6
   pushq  %rax                  ## prepare print call
   pushq  %rbx                  ## prepare print call
   movq   %rax, %rdi            ## print
   callq   putchar@PLT
   popq   %rbx
   popq   %rax
   ##Jump 3
   jmp    __LABEL3

fail_exit:
   movl   $1, %eax
   popq   %rbp
   retq

Expected

1

Got

1