tricu

compiler-conformance.mjs (2383B)

---

 import {COMPILER_BUDGET} from './budgets.mjs';
 // Opt-in expensive compiler execution, deliberately not a *.test.mjs/default gate.
 import assert from 'node:assert/strict';
 import {readFile} from 'node:fs/promises';
 import {createHash} from 'node:crypto';
 import {contractEnvironment} from '../dist/contracts.js';
 import {Graph} from '../dist/graph.js';
 import {COMPILER_BUNDLE_LIMIT,decodeBundle,loadBundle} from '../dist/bundle.js';
 import {COMPILER_EXPORT,COMPILER_COLLECTION,sourceLiteral,compiledDefinitions} from '../dist/compiler.js';
 import {runIO} from '../dist/io.js';
 const vectors=JSON.parse(await readFile(new URL('./compiler-conformance.json',import.meta.url)));
 const descriptor=JSON.parse(await readFile(new URL('../compiler.json',import.meta.url)));
 const bytes=await readFile(new URL('../bundles/'+descriptor.hash+'.arboricx',import.meta.url));
 assert.equal(createHash('sha256').update(bytes).digest('hex'),vectors.compilerBundleSha256);
 assert.equal(descriptor.hash,vectors.compilerBundleSha256);
 const bundle=decodeBundle(bytes,COMPILER_BUNDLE_LIMIT);
 for(const c of vectors.cases){
   const g=new Graph({...COMPILER_BUDGET,...(c.extended?{fuel:500_000_000}:{})},COMPILER_COLLECTION),exports=loadBundle(g,bundle),start=performance.now();
   const result=g.apply(exports.get(COMPILER_EXPORT),[contractEnvironment(g,exports),sourceLiteral(g,c.source)]);
   if(c.diagnostic)assert.throws(()=>compiledDefinitions(g,result),error=>error.message===c.diagnostic);
   else {
     const definitions=compiledDefinitions(g,result);
     g.collect(definitions.values());
     assert.deepEqual([...definitions.keys()],Object.keys(c.definitions));
     for(const [name,tree] of Object.entries(c.definitions))assert.equal(g.toTernary(definitions.get(name),50000),tree);
     let applied=g.apply(definitions.get(c.export),c.arguments.map(arg=>g.fromTernary(arg)));
     if(c.mode==='io')applied=await runIO(g,applied,{before:async()=>{},after(){},running(){},read:async()=>c.input,write(){throw Error('unexpected output');}},true);
     assert.equal(g.toTernary(applied,50000),c.result);
   }
   assert.ok(g.stats.collections>0);assert.ok(g.stats.peakNodes<(c.extended?2_000_000:600_000));
   if(c.source.includes('other ='))assert.ok(g.stats.allocations>6_000_000);
   console.log('PASS Haskell compiler comparison',JSON.stringify(c.source),Math.round(performance.now()-start)+'ms',g.stats);
 }