//! > Test empty function.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo() {}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters:
blk0 (root):
Statements:
End:
  Return()

//! > ==========================================================================

//! > Test unreachable code.

//! > test_runner_name
test_function_lowering(expect_diagnostics: true)

//! > function
fn foo(a: felt252) -> felt252 {
    return a + a * a;
    5;
    6;
    7
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics
warning: Unreachable code
 --> lib.cairo:3:5
    5;
    ^^

//! > lowering_flat
Parameters: v0: core::felt252
blk0 (root):
Statements:
  (v1: core::felt252) <- core::felt252_mul(v0, v0)
  (v2: core::felt252) <- core::felt252_add(v0, v1)
End:
  Return(v2)

//! > ==========================================================================

//! > Test unreachable code by match.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(a: never) -> felt252 {
    match a {};
    1 + 2
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: core::never
blk0 (root):
Statements:
End:
  Match(match_enum(v0) {
  })

//! > ==========================================================================

//! > Test single patterns.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(a: felt252) -> felt252 {
    let (_, _b) = (1, a);
    5
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: core::felt252
blk0 (root):
Statements:
  (v1: core::felt252) <- 5
End:
  Return(v1)

//! > ==========================================================================

//! > Test compound expressions.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(a: felt252) -> felt252 {
    let x = {
        7;
    };
    {
        x;
    }
    let _y = if 1 == 1 {
        6
    } else {
        7
    };
    foo(3) + 5 * {
        3;
        a + 0
    }
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: core::RangeCheck, v1: core::gas::GasBuiltin, v2: core::felt252
blk0 (root):
Statements:
End:
  Match(match core::gas::withdraw_gas(v0, v1) {
    Option::Some(v3, v4) => blk1,
    Option::None(v5, v6) => blk7,
  })

blk1:
Statements:
  (v7: core::felt252) <- 1
  (v8: core::felt252) <- 1
  (v9: core::felt252) <- core::felt252_sub(v7, v8)
End:
  Match(match core::felt252_is_zero(v9) {
    IsZeroResult::Zero => blk2,
    IsZeroResult::NonZero(v10) => blk3,
  })

blk2:
Statements:
End:
  Goto(blk4, {})

blk3:
Statements:
End:
  Goto(blk4, {})

blk4:
Statements:
  (v11: core::felt252) <- 3
  (v12: core::RangeCheck, v13: core::gas::GasBuiltin, v14: core::panics::PanicResult::<(core::felt252,)>) <- test::foo(v3, v4, v11)
End:
  Match(match_enum(v14) {
    PanicResult::Ok(v15) => blk5,
    PanicResult::Err(v16) => blk6,
  })

blk5:
Statements:
  (v17: core::felt252) <- struct_destructure(v15)
  (v18: core::felt252) <- 5
  (v19: core::felt252) <- 0
  (v20: core::felt252) <- core::felt252_add(v2, v19)
  (v21: core::felt252) <- core::felt252_mul(v18, v20)
  (v22: core::felt252) <- core::felt252_add(v17, v21)
  (v23: (core::felt252,)) <- struct_construct(v22)
  (v24: core::panics::PanicResult::<(core::felt252,)>) <- PanicResult::Ok(v23)
End:
  Return(v12, v13, v24)

blk6:
Statements:
  (v25: core::panics::PanicResult::<(core::felt252,)>) <- PanicResult::Err(v16)
End:
  Return(v12, v13, v25)

blk7:
Statements:
  (v26: core::array::Array::<core::felt252>) <- core::array::array_new::<core::felt252>()
  (v27: core::felt252) <- 375233589013918064796019
  (v28: core::array::Array::<core::felt252>) <- core::array::array_append::<core::felt252>(v26, v27)
  (v29: core::panics::Panic) <- struct_construct()
  (v30: (core::panics::Panic, core::array::Array::<core::felt252>)) <- struct_construct(v29, v28)
  (v31: core::panics::PanicResult::<(core::felt252,)>) <- PanicResult::Err(v30)
End:
  Return(v5, v6, v31)

//! > ==========================================================================

//! > Test match enum.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(x: MyEnum) -> felt252 {
    match x {
        MyEnum::A(_inner) => { return 5; },
        MyEnum::B(inner) => { inner },
        MyEnum::C(inner) => {
            // A workaround to drop inner.
            let (_a, _b) = inner.unbox();
            7
        }
    }
}

//! > function_name
foo

//! > module_code
enum MyEnum {
    A: (),
    B: felt252,
    C: Box::<((), felt252)>,
}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::MyEnum
blk0 (root):
Statements:
End:
  Match(match_enum(v0) {
    MyEnum::A(v1) => blk1,
    MyEnum::B(v2) => blk2,
    MyEnum::C(v3) => blk3,
  })

blk1:
Statements:
  (v4: core::felt252) <- 5
End:
  Return(v4)

blk2:
Statements:
End:
  Return(v2)

blk3:
Statements:
  (v5: ((), core::felt252)) <- core::box::unbox::<((), core::felt252)>(v3)
  (v6: core::felt252) <- 7
End:
  Return(v6)

//! > ==========================================================================

//! > Test literal generic argument.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(a: Array::<felt252, 5>) -> felt252 {
    felt252_const::<17>()
}

//! > function_name
foo

//! > module_code
type Array<T, const N: usize> = (T, felt252);

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: (core::felt252, core::felt252)
blk0 (root):
Statements:
  (v1: core::felt252) <- core::felt252_const::<17>()
End:
  Return(v1)

//! > ==========================================================================

//! > Test passing same argument as two ref params.

//! > Comments
TODO(spapini): Make this a semantic diagnostic.

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function
fn foo(mut a: felt252) -> felt252 {
    bar(ref a, ref a)
}

//! > function_name
foo

//! > module_code
#[inline(never)]
fn bar(ref a: felt252, ref b: felt252) -> felt252 {
    a = 0;
    b = 1;
    a + b
}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: core::felt252
blk0 (root):
Statements:
  (v1: core::felt252, v2: core::felt252, v3: core::felt252) <- test::bar(v0, v0)
End:
  Return(v3)

//! > ==========================================================================

//! > Test concretization with bad types.

//! > test_runner_name
test_function_lowering(expect_diagnostics: true)

//! > function
fn foo(mut data: Span::<felt252>) -> u128 {
    serde::Serde::<u128>::deserialize(ref data)
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics
error: Unexpected return type. Expected: "core::integer::u128", found: "core::option::Option::<core::integer::u128>".
 --> lib.cairo:1:43
fn foo(mut data: Span::<felt252>) -> u128 {
                                          ^

//! > lowering_diagnostics

//! > lowering_flat
<Failed lowering function - run with RUST_LOG=warn (or less) to see diagnostics>
