Condition statements

    if (c)
    {
      blk1;
    }
    else
    {
      blk2;
    }

Translates to

    if (!c) goto L1;
      blk1;
    goto L2;
    L1:
      blk2;
    L2:

If there is no else, then

    if (c)
    {
      blk1;
    }

translates to

    if (!c) goto L1;
      blk1;
    L1:

This is because the following code optimizes to no code:

goto L2;
L2: