Question about Linear output

[Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx>]

Hi,

I am facing a problem with following:

C input:
long long strlen(const char *s)
{
        long long n = 0;
        while (s[n] != 0)
                n++;
        return n;
}

Here is part extract of the linear output from dmr_C - this is the IR
before any simplifications.

.L2:
        br          .L4

.L3:
        load.64     %r9 <- 0[n]
        phisrc.64   %phi1(return) <- %r9
        br          .L5

.L5:
        phi.64      %r10 <- %phi1(return)
        ret.64      %r9

Problem is with OP_RET as it should I think return %r10 nor %r9.

I was wondering is this is already fixed somewhere?

I realize this is probably an optimization.

Thanks and Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html