Make type checker aware of constants inlining and static branches elimination optimizations

The following code can't be built in debug mode with "-l 3 -O 3":

import Toybox.Lang;

(:release)
const CALL_G = true;

(:debug)
const CALL_G = false;

function f() as Number {
    if (CALL_G) {
        return g(); // Undefined symbol ':g' detected.
    } else {
        return 0;
    }
}

(:release)
function g() as Number {
    return 1;
}

The assembler code for release mode has no signs of branching due to compile time optimizations:

globals/f:
    argc 1
    spush globals
    getm
    lputv 0
    getselfv g
    invokemz
    return
globals/f_func_end:

Debug and release annotation are here only for testing purposes. The same happens for custom mutually exclusive annotations.

9811827

9811827 4 months ago in reply to jim_m_58

It is failing to do its job of type checking by thinking I need "g" in debug mode (in my original example), while I don't need it.
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
jim_m_58 4 months ago in reply to 9811827

And what's happening here is it is flagging this as an error at level 3 - catching it....
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel

9811827 4 months ago in reply to 9811827

To make things clear: I have code more like this and would like to have "f" and "h", but not "g".

import Toybox.Lang;

function f() as Number {
    return g();
}

(:release)
function g() as Number {
    return h();
}

(:debug)
function g() as Number {
    return 0;
}

(:release)
function h() as Number {
    return 1;
}

9811827 4 months ago

Thanks for the suggestion, but I'd like to avoid lowering type check level at all costs, since I want the compiler to catch errors, not me. And just in case, I'm aware of :typecheck annotation and would like to avoid it too wherever possible.

I don't want to have intermediate "g"-functions at all just to satisfy type checker.
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
jim_m_58 4 months ago in reply to 9811827

What if you use a lower level of type checking? You should be able to get by this by defining "function g().." for (:debug)
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel