whiteblackgoose/codegenanalysis

Library for obtaining and analyzing the codegen of JIT for .NET. Can be used for both tests (assertions) and making reports (benchmarks).

Hi, it's WhiteBlackGoose

I'm a member of Angouri and Free Software Foundation, and author of AngouriMath.

I'm a Free Software enthusiast and mainly work on FOSS projects.

The rest please see my personal website (requires no javascript).

codegenanalysis's Issues

Logo

Lookup private methods in `CASubject` too

Currently the forwarded method must be public, otherwise a mysterious NRE is thrown.

Merge exception

Merge of symbols in visualizer

Conciser assertion failed messages

Support chained fowarding via `CASubject`

A method with CAAnalyze that forwards disassembling to another via CASubject will only reach the first forwarded method. If that target method contains another CASubject, it will be ignored. In other words, recursive method forwarding is not supported.

RunAsBDN

To use [Benchmark] and [GlobalSetup] things by name

Limit method length in the final table

CodegenAnalyzers

CodegenAnalyzers.GetBranches(CodegenInfo ci) -> IEnumerable<int>
CodegenAnalyzers.GetCalls(CodegenInfo ci) -> IEnumerable<int>
CodegenAnalyzers.GetLoops(CodegenInfo ci) -> IEnumerable<(int Start, int End)>
CodegenAnalyzers.GetStaticallyAllocatedStackMemory(CodegenInfo ci) -> int?

`CASubjectAttribute`

To allow investigating inner methods, e. g.

[CAAnalyze(5)]
[CASubject("CallA")]
public void SomeMethod(int a)
{
    CallA(CallB(a));
}

The full arguments are

string methodName, Type[] typeArgs, Type[] parameterTypes

Where methodName is

1. Method
2. SomeType.Method
3. SomeNamespace.SomeType.Method

Highlight problematic lines

E. g. for CodegenDoesNotHaveBranches it could look like this:

  27382   mov rax, rdx
> 27385   test rax, rax
  27387   jz 27382
  29233   call aaaa
> 23928   cmp rdx, rax
  20393   jg 29033

Jumps visualization

Similarly to ashmind/SharpLab#894

Visualize other jumps

1. Forward jumps (aka ifs)

Three libs?

Codegen

That one is just the core. It has the CodegenInfo object, and everything to get it.

var ci =  CodegenInfoResolver.GetCodegen(() => Add(4, 5));
Console.WriteLine(ci);

Codegen.Assertions

That one is a test suite: it has multiple assertions to verify the behaviour of JIT.

AssertCodegen.BranchesLessThan(5, () => Add(3, 5));

Codegen.Benchmarks

This one will build a report based on a codegen.

CodegenBenchmarkRunner.Run<Bench>();

class Bench
{
    [Benchmark]
    [Input(3, 5)]
    public void Add(int a, int b) => a + b;

    [Benchmark]
    [Input(3, 5, 6)]
    public void Add(int a, int b, int c) => a + b + c;
}

Output:

Method	Code size	Branches	Calls	Stack allocated memory	Backward jumps (loops)
SomeMethod	43 B	3	-	-	2
OtherMethod	164 B	7	11	164 B	-

(and prints the codegen)

Look up parent classes for `CASubject` attribute

AutoBest tier

Instead of hard-coded one, this one will detect the runtime version and adjust the tier to the best (with TC it will be tier1, otherwise default)

NRE

Line 125 in benchmark runner. Should produce something...

Conditional jumps should be branches

#2 (comment)

Concurrent dictionary

In EntryPointsListener