Hastlayer-SDK

using Hast.Transformer.SimpleMemory;
using System.Diagnostics.CodeAnalysis;
using System.Runtime.CompilerServices;

namespace Hast.TestInputs.Dynamic;

/// <summary>
/// Test cases for inlined methods.
/// </summary>
/// <remarks>
/// <para>
/// While inlined methods with multiple returns utilize goto statements gotos will never be produced by ILSpy during
/// decompilation. So we can't test goto handling with source including gotos originally.
/// </para>
/// </remarks>
public class InlinedCases : DynamicTestInputBase
{
    public virtual void InlinedMultiReturn(SimpleMemory memory) => memory.WriteInt32(0, InlinedMultiReturnInternal(memory.ReadInt32(0)));

    public int InlinedMultiReturn(int input)
    {
        var memory = CreateMemory(1);
        memory.WriteInt32(0, input);
        InlinedMultiReturn(memory);
        return memory.ReadInt32(0);
    }

    public virtual void NestedInlinedMultiReturn(SimpleMemory memory) =>
        memory.WriteInt32(0, NestedInlinedMultiReturnInternal(memory.ReadInt32(0)));

    public int NestedInlinedMultiReturn(int input)
    {
        var memory = CreateMemory(1);
        memory.WriteInt32(0, input);
        NestedInlinedMultiReturn(memory);
        return memory.ReadInt32(0);
    }

    [MethodImpl(MethodImplOptions.AggressiveInlining)]
    private int NestedInlinedMultiReturnInternal(int input) =>
        InlinedMultiReturnInternal(input) + InlinedMultiReturnInternal(input);

    [MethodImpl(MethodImplOptions.AggressiveInlining)]
    [SuppressMessage("Performance", "CA1822:Mark members as static", Justification = "Static methods are not supported.")]
    private int InlinedMultiReturnInternal(int input)
    {
        int output;

#pragma warning disable IDE0045 // Convert to conditional expression
#pragma warning disable S3240 // The simplest possible condition syntax should be used
        if (input > 0) output = 1;
        else output = 2;
#pragma warning restore S3240 // The simplest possible condition syntax should be used
#pragma warning restore IDE0045 // Convert to conditional expression

        return output;
    }
}