Useless branches generated

[jbush001]

Useless branches generated

[jbush001]

The following code reproduces the issue:

volatile int var;

static int spiTransfer(int value)
{
    var = value & 0xff;
    while ((var & 1) == 0)
        ;

    return var;
}

void initSdmmcDevice()
{
    for (int i = 0; i < 2; i++)
        spiTransfer(0xff);

    spiTransfer(0);
}

The extra branch occurs after the wait loop in spiTransfer, which is inlined into initSdmmcDevice:

.LBB0_1:                                # %while.cond.i6
        ...
    load_32 s2, (s0)
    and s2, s2, 1
    bfalse s2, .LBB0_1
    goto .LBB0_4
.LBB0_4:                                # %spiTransfer.exit7

[jbush001]

This patch fixes cases where useless branches were generated, but compiling in debug mode also adds a bunch of goto pc+0 instructions.