mirror of
https://github.com/patchzyy/wiicompiled
synced 2026-10-13 11:37:22 -04:00
Michael G
54c608ef9c
* runtime: add experimental x86-64-v2 profile * fix review findings in network and translator * build: include mbedtls in macos compile audit * review fixes * cmake: restore macOS deployment target floor before project() * fix: Preserve explicit package versions and gate v3 tests on host support * fix: Prevent TLS session reuse after failed writes * fix: Gate cross-compiled profile tests on emulator availability --------- Co-authored-by: patchzyy <64382339+patchzyy@users.noreply.github.com>
80 lines
3.5 KiB
C#
80 lines
3.5 KiB
C#
using Translator.Core.Analysis.Ssa;
|
|
using Translator.Core.Analysis.Representation;
|
|
using Translator.Core.CodeGen;
|
|
using Translator.Core.Ir;
|
|
using Translator.Core.Representation;
|
|
using Xunit;
|
|
|
|
namespace Translator.Tests;
|
|
|
|
public class SharedLrContinuationCodeGenTests
|
|
{
|
|
[Fact]
|
|
public void OnlyLocalLinkRegisterContinuationsCountTowardSharedDispatch()
|
|
{
|
|
var function = new IrFunction("single_lr_continuation", "0x80001000", new[]
|
|
{
|
|
new IrBasicBlock("0x80001000", new IrInstruction[]
|
|
{
|
|
new IrCall(string.Empty, "0x81800000", Array.Empty<IrValue>()),
|
|
new IrAssign("lr", IrValue.Imm(unchecked((int)0x80001004u))),
|
|
new IrCall(string.Empty, "0x81800000", Array.Empty<IrValue>()),
|
|
new IrReturn(null)
|
|
})
|
|
});
|
|
var types = new RepresentationEnvironment(new Dictionary<string, ValueRepresentation>
|
|
{
|
|
["lr"] = ValueRepresentation.UInt32
|
|
});
|
|
|
|
var code = new CxxLinearCodeGenerator().Emit(0x80001000,
|
|
new SsaTransformer().Convert(function),
|
|
new FunctionAbiClassification("single_lr_continuation", ValueRepresentation.Void), types,
|
|
lrContinuationCallTargets: new HashSet<uint> { 0x81800000u });
|
|
|
|
Assert.DoesNotContain("lr_continuation_dispatch:", code);
|
|
Assert.DoesNotContain("goto lr_continuation_dispatch;", code);
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData(2)]
|
|
[InlineData(20)]
|
|
public void MultipleHooksShareOneCompleteDispatchAndKeepNormalFallthrough(int callCount)
|
|
{
|
|
var instructions = new List<IrInstruction>();
|
|
for (var i = 0; i < callCount; i++)
|
|
{
|
|
instructions.Add(new IrAssign("lr", IrValue.Imm(unchecked((int)(0x80001004u + (uint)i * 4u)))));
|
|
instructions.Add(new IrCall(string.Empty, "0x81800000", Array.Empty<IrValue>()));
|
|
}
|
|
instructions.Add(new IrAssign("r3", IrValue.Imm(8)));
|
|
instructions.Add(new IrReturn(null));
|
|
var function = new IrFunction("shared_lr_continuation", "0x80001000", new[]
|
|
{
|
|
new IrBasicBlock("0x80001000", instructions),
|
|
new IrBasicBlock("0x80001100", new IrInstruction[]
|
|
{
|
|
new IrAssign("r3", IrValue.Imm(1)), new IrReturn(null)
|
|
})
|
|
});
|
|
var types = new RepresentationEnvironment(new Dictionary<string, ValueRepresentation>
|
|
{
|
|
["lr"] = ValueRepresentation.UInt32, ["r3"] = ValueRepresentation.UInt32
|
|
});
|
|
var code = new CxxLinearCodeGenerator().Emit(0x80001000,
|
|
new SsaTransformer().Convert(function),
|
|
new FunctionAbiClassification("shared_lr_continuation", ValueRepresentation.Void), types,
|
|
lrContinuationCallTargets: new HashSet<uint> { 0x81800000u });
|
|
|
|
Assert.Equal(1, code.Split("switch (ctx->lr)").Length - 1);
|
|
Assert.Equal(callCount, code.Split("goto lr_continuation_dispatch;").Length - 1);
|
|
Assert.Equal(callCount, code.Split("if (ctx->lr != ").Length - 1);
|
|
Assert.Contains("case 0x80001100u:", code);
|
|
Assert.Contains("goto loc_80001100;", code);
|
|
Assert.Contains("InvokeIndirectCpu(ctx->lr, ctx);", code);
|
|
var sharedLabel = code.IndexOf("lr_continuation_dispatch:", StringComparison.Ordinal);
|
|
Assert.True(code.IndexOf("r3 = 8;", StringComparison.Ordinal) < sharedLabel);
|
|
Assert.True(code.IndexOf("case 0x80001100u:", StringComparison.Ordinal) > sharedLabel);
|
|
}
|
|
}
|