// blocks 2

script {
    fn one_block() -> bool {
        entry():
        v0 = const bool false
        ret bool v0
    }

    fn two_blocks() -> bool {
        entry():
        v0 = const bool true
        br block(v0)

        block(v1: bool):
        ret bool v1
    }

    fn three_blocks(b: bool) -> bool {
        entry(b: bool):
        cbr b, then_block(), else_block()

        then_block():
        v0 = const bool false
        ret bool v0

        else_block():
        v1 = const bool true
        ret bool v1
    }

    fn main() -> bool {
// check: fn main() -> bool
        entry():

        v0 = call one_block()
// not: call one_block()
// check: const bool false

        v1 = call two_blocks()
// not: call two_blocks()
// check: const bool true

        v2 = call three_blocks(v1)
// check: call three_blocks
        ret bool v2
    }
}