//# print-bytecode
// An endless loop is valid Move IR.
main() {
label loop:
    jump loop;
}

//# print-bytecode
// Jumping to a label that is declared after the jump statement itself is valid.
main() {
label foo:
    jump bar;
label bar:
    jump foo;
}

//# print-bytecode --input=module
// Jumping to a label that isn't declared in the same function is invalid.
module 0x1.M {
    f() {
    label foo:
        jump bar;
    }
    g() {
    label bar:
        return;
    }
}