Skip to content

Commit 62ba84a

Browse files
committed
cleanup
1 parent 3cb179e commit 62ba84a

File tree

2 files changed

+1
-11
lines changed

2 files changed

+1
-11
lines changed

Mba.Simplifier/Fuzzing/MSiMBAFuzzer.cs

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -48,15 +48,6 @@ public static void Run()
4848
var vec2 = LinearSimplifier.JitResultVectorOld(ctx, w, (ulong)ModuloReducer.GetMask(w), variables, result, multiBit, numCombinations);
4949
if(!vec1.SequenceEqual(vec2))
5050
throw new InvalidOperationException("Mismatch");
51-
52-
// Fuzz the other JIT
53-
//var jit = new Amd64OptimizingJit(ctx);
54-
//jit.Compile(fCase, variables, sharpPtr, true);
55-
ctx.Compile(fCase, ModuloReducer.GetMask(w), variables.ToArray(), sharpPtr);
56-
57-
var vec3 = LinearSimplifier.Execute(ctx, w, ulong.MaxValue, variables, multiBit, numCombinations, sharpPtr, false);
58-
if (!vec3.SequenceEqual(vec2))
59-
throw new InvalidOperationException("Mismatch");
6051
}
6152
}
6253

Mba.Simplifier/Pipeline/LinearSimplifier.cs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,7 @@ public unsafe static ApInt[] JitResultVectorOld(AstCtx ctx, uint bitWidth, ApInt
189189

190190
public unsafe static ApInt[] JitResultVectorNew(AstCtx ctx, uint bitWidth, ApInt mask, IReadOnlyList<AstIdx> variables, AstIdx ast, bool multiBit, ApInt numCombinations)
191191
{
192-
var jit = new Amd64OptimizingJit(ctx);
193-
jit.Compile(ast, variables.ToList(), MultibitSiMBA.JitPage.Value, false);
192+
ctx.Compile(ast, ModuloReducer.GetMask(bitWidth), variables.ToArray(), MultibitSiMBA.JitPage.Value);
194193
var vec = LinearSimplifier.Execute(ctx, bitWidth, mask, variables, multiBit, numCombinations, MultibitSiMBA.JitPage.Value, false);
195194
return vec;
196195
}

0 commit comments

Comments
 (0)