#
# Test of statements
#
# Copyright © 2022-2024 Samuel Lidén Borell <samuel@kodafritt.se>
#
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
#
# The above copyright notice and this permission notice shall be included in
# all copies or substantial portions of the Software.
#
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
# THE SOFTWARE.
#

func test_statements(int param) -> int
{
    var int i = param
    int x = 0
    {
        if x == 2 or i == 2 {
            i = -1
            while false {
                i = -2
            } loopempty {
                i = -3
            }
        } else if x == 3 or i == 3 {
            return -4
        } else {
            i += 2
            do {
                i += 4
                while false {
                    assert false
                } loopempty {
                    # TODO implement IR generation of loops
                    for int x in [67,131] {
                        i += x
                        if i == 1 break
                        for int y in [] {
                            if i == 2 break
                            return -5
                        } loopempty {
                            i -= 1
                        } loopend {
                            i -= 2
                        }
                    } loopend {
                        i += 256
                    }
                    i += 8
                }
            } while false
            i += 16
        }
    }
    i += 32
    return i
}

func test_empty_if(int x) -> int
{
    if x < 0 {
    }
    return 999
}

# TODO add test of break/continue

func statements_test()
{
    # FIXME disabled because for-loops are not implemented in the IR generator
    #assert test_statements(1) == 511
    assert test_statements(2) == 29
    assert test_statements(3) == -4
    assert test_empty_if(-1) == 999
    assert test_empty_if(0) == 999
    assert test_empty_if(1) == 999
}