├── .github ├── brilck-matcher.json ├── tap-matcher.json └── workflows │ ├── build.yaml │ ├── docs.yaml │ ├── python.yaml │ └── rust.yaml ├── .gitignore ├── .zed └── settings.json ├── LICENSE ├── Makefile ├── README.md ├── benchmarks ├── .gitignore ├── Makefile ├── README.md ├── core │ ├── ackermann.bril │ ├── ackermann.out │ ├── ackermann.prof │ ├── arithmetic-series.bril │ ├── arithmetic-series.out │ ├── arithmetic-series.prof │ ├── armstrong.bril │ ├── armstrong.out │ ├── armstrong.prof │ ├── bbs.bril │ ├── bbs.out │ ├── bbs.prof │ ├── bin-search.bril │ ├── bin-search.out │ ├── bin-search.prof │ ├── binary-fmt.bril │ ├── binary-fmt.out │ ├── binary-fmt.prof │ ├── binpow.bril │ ├── binpow.out │ ├── binpow.prof │ ├── bitshift.bril │ ├── bitshift.out │ ├── bitshift.prof │ ├── bitwise-ops.bril │ ├── bitwise-ops.out │ ├── bitwise-ops.prof │ ├── braille.bril │ ├── braille.out │ ├── braille.prof │ ├── catalan.bril │ ├── catalan.out │ ├── catalan.prof │ ├── check-primes.bril │ ├── check-primes.out │ ├── check-primes.prof │ ├── collatz.bril │ ├── collatz.out │ ├── collatz.prof │ ├── combination.bril │ ├── combination.out │ ├── combination.prof │ ├── dayofweek.bril │ ├── dayofweek.out │ ├── dayofweek.prof │ ├── delannoy.bril │ ├── delannoy.out │ ├── delannoy.prof │ ├── digital-root.bril │ ├── digital-root.out │ ├── digital-root.prof │ ├── euclid.bril │ ├── euclid.out │ ├── euclid.prof │ ├── fact.bril │ ├── fact.out │ ├── fact.prof │ ├── factors.bril │ ├── factors.out │ ├── factors.prof │ ├── fib_recursive.bril │ ├── fib_recursive.out │ ├── fib_recursive.prof │ ├── fitsinside.bril │ ├── fitsinside.out │ ├── fitsinside.prof │ ├── fizz-buzz.bril │ ├── fizz-buzz.out │ ├── fizz-buzz.prof │ ├── gcd.bril │ ├── gcd.out │ ├── gcd.prof │ ├── gebmm.bril │ ├── gebmm.out │ ├── gebmm.prof │ ├── geometric-sum.bril │ ├── geometric-sum.out │ ├── geometric-sum.prof │ ├── gpf.bril │ ├── gpf.out │ ├── gpf.prof │ ├── grad_desc.bril │ ├── grad_desc.out │ ├── grad_desc.prof │ ├── graycode.bril │ ├── graycode.out │ ├── graycode.prof │ ├── hamming.bril │ ├── hamming.out │ ├── hamming.prof │ ├── hanoi.bril │ ├── hanoi.out │ ├── hanoi.prof │ ├── is-decreasing.bril │ ├── is-decreasing.out │ ├── is-decreasing.prof │ ├── karatsuba.bril │ ├── karatsuba.out │ ├── karatsuba.prof │ ├── lcm.bril │ ├── lcm.out │ ├── lcm.prof │ ├── legendre.bril │ ├── legendre.out │ ├── legendre.prof │ ├── loopfact.bril │ ├── loopfact.out │ ├── loopfact.prof │ ├── mccarthy91.bril │ ├── mccarthy91.out │ ├── mccarthy91.prof │ ├── mod_inv.bril │ ├── mod_inv.out │ ├── mod_inv.prof │ ├── mod_pow.bril │ ├── mod_pow.out │ ├── mod_pow.prof │ ├── montgomery.bril │ ├── montgomery.out │ ├── montgomery.prof │ ├── mountain.bril │ ├── mountain.out │ ├── mountain.prof │ ├── orders.bril │ ├── orders.out │ ├── orders.prof │ ├── palindrome.bril │ ├── palindrome.out │ ├── palindrome.prof │ ├── pascals-row.bril │ ├── pascals-row.out │ ├── pascals-row.prof │ ├── perfect.bril │ ├── perfect.out │ ├── perfect.prof │ ├── permutation.bril │ ├── permutation.out │ ├── permutation.prof │ ├── primes-between.bril │ ├── primes-between.out │ ├── primes-between.prof │ ├── pythagorean_triple.bril │ ├── pythagorean_triple.out │ ├── pythagorean_triple.prof │ ├── quadratic.bril │ ├── quadratic.out │ ├── quadratic.prof │ ├── recfact.bril │ ├── recfact.out │ ├── recfact.prof │ ├── rectangles-area-difference.bril │ ├── rectangles-area-difference.out │ ├── rectangles-area-difference.prof │ ├── relative-primes.bril │ ├── relative-primes.out │ ├── relative-primes.prof │ ├── reverse.bril │ ├── reverse.out │ ├── reverse.prof │ ├── rot13.bril │ ├── rot13.out │ ├── rot13.prof │ ├── sqrt_bin_search.bril │ ├── sqrt_bin_search.out │ ├── sqrt_bin_search.prof │ ├── squares.bril │ ├── squares.out │ ├── squares.prof │ ├── sum-bits.bril │ ├── sum-bits.out │ ├── sum-bits.prof │ ├── sum-check.bril │ ├── sum-check.out │ ├── sum-check.prof │ ├── sum-digits.bril │ ├── sum-digits.out │ ├── sum-digits.prof │ ├── sum-divisible-by-m.bril │ ├── sum-divisible-by-m.out │ ├── sum-divisible-by-m.prof │ ├── sum-divisors.bril │ ├── sum-divisors.out │ ├── sum-divisors.prof │ ├── sum-of-cubes.bril │ ├── sum-of-cubes.out │ ├── sum-of-cubes.prof │ ├── sum-sq-diff.bril │ ├── sum-sq-diff.out │ ├── sum-sq-diff.prof │ ├── tail-call.bril │ ├── tail-call.out │ ├── tail-call.prof │ ├── totient.bril │ ├── totient.out │ ├── totient.prof │ ├── triangle.bril │ ├── triangle.out │ ├── triangle.prof │ ├── up-arrow.bril │ ├── up-arrow.out │ └── up-arrow.prof ├── float │ ├── birthday.bril │ ├── birthday.out │ ├── birthday.prof │ ├── conjugate-gradient.bril │ ├── conjugate-gradient.out │ ├── conjugate-gradient.prof │ ├── cordic.bril │ ├── cordic.out │ ├── cordic.prof │ ├── euler.bril │ ├── euler.out │ ├── euler.prof │ ├── exponentiation-by-squaring.bril │ ├── exponentiation-by-squaring.out │ ├── exponentiation-by-squaring.prof │ ├── harmonic-sum.bril │ ├── harmonic-sum.out │ ├── harmonic-sum.prof │ ├── leibniz.bril │ ├── leibniz.out │ ├── leibniz.prof │ ├── logistic.bril │ ├── logistic.out │ ├── logistic.prof │ ├── mandelbrot.bril │ ├── mandelbrot.out │ ├── mandelbrot.prof │ ├── n_root.bril │ ├── n_root.out │ ├── n_root.prof │ ├── newton.bril │ ├── newton.out │ ├── newton.prof │ ├── norm.bril │ ├── norm.out │ ├── norm.prof │ ├── pow.bril │ ├── pow.out │ ├── pow.prof │ ├── ray-bbox-intersection.bril │ ├── ray-bbox-intersection.out │ ├── ray-bbox-intersection.prof │ ├── ray-sphere-intersection.bril │ ├── ray-sphere-intersection.out │ ├── ray-sphere-intersection.prof │ ├── rgb2gray.bril │ ├── rgb2gray.out │ ├── rgb2gray.prof │ ├── riemann.bril │ ├── riemann.out │ ├── riemann.prof │ ├── sin.bril │ ├── sin.out │ ├── sin.prof │ ├── sqrt.bril │ ├── sqrt.out │ ├── sqrt.prof │ ├── sqrt.ts │ ├── sum-to-ten.bril │ ├── sum-to-ten.out │ └── sum-to-ten.prof ├── long │ ├── dead-branch.bril │ ├── dead-branch.out │ ├── dead-branch.prof │ └── function_call.bril ├── mem │ ├── 1dconv.bril │ ├── 1dconv.out │ ├── 1dconv.prof │ ├── 2dconvol.bril │ ├── 2dconvol.out │ ├── 2dconvol.prof │ ├── adj2csr.bril │ ├── adj2csr.out │ ├── adj2csr.prof │ ├── adler32.bril │ ├── adler32.out │ ├── adler32.prof │ ├── binary-search.bril │ ├── binary-search.out │ ├── binary-search.prof │ ├── bubblesort.bril │ ├── bubblesort.out │ ├── bubblesort.prof │ ├── char-poly.bril │ ├── char-poly.out │ ├── char-poly.prof │ ├── connected-components.bril │ ├── connected-components.out │ ├── connected-components.prof │ ├── cordic.bril │ ├── cordic.out │ ├── cordic.prof │ ├── csrmv.bril │ ├── csrmv.out │ ├── csrmv.prof │ ├── dot-product.bril │ ├── dot-product.out │ ├── dot-product.prof │ ├── eight-queens.bril │ ├── eight-queens.out │ ├── eight-queens.prof │ ├── fib.bril │ ├── fib.out │ ├── fib.prof │ ├── filter.bril │ ├── filter.out │ ├── filter.prof │ ├── fnv1-hash.bril │ ├── fnv1-hash.out │ ├── fnv1-hash.prof │ ├── insertion-sort.bril │ ├── insertion-sort.out │ ├── insertion-sort.prof │ ├── kadane.bril │ ├── kadane.out │ ├── kadane.prof │ ├── lis.bril │ ├── lis.out │ ├── lis.prof │ ├── major-elm.bril │ ├── major-elm.out │ ├── major-elm.prof │ ├── mat-mul.bril │ ├── mat-mul.out │ ├── mat-mul.prof │ ├── max-subarray.bril │ ├── max-subarray.out │ ├── max-subarray.prof │ ├── primitive-root.bril │ ├── primitive-root.out │ ├── primitive-root.prof │ ├── quickselect.bril │ ├── quickselect.out │ ├── quickselect.prof │ ├── quicksort-hoare.bril │ ├── quicksort-hoare.out │ ├── quicksort-hoare.prof │ ├── quicksort.bril │ ├── quicksort.out │ ├── quicksort.prof │ ├── shufflesort.bril │ ├── shufflesort.out │ ├── shufflesort.prof │ ├── sieve.bril │ ├── sieve.out │ ├── sieve.prof │ ├── sorting-network-five.bril │ ├── sorting-network-five.out │ ├── sorting-network-five.prof │ ├── systolic.bril │ ├── systolic.out │ ├── systolic.prof │ ├── two-sum.bril │ ├── two-sum.out │ ├── two-sum.prof │ ├── vsmul.bril │ ├── vsmul.out │ └── vsmul.prof ├── mixed │ ├── brilirs-only │ │ ├── fast-inverse-sqrt.bril │ │ ├── fast-inverse-sqrt.out │ │ ├── fast-inverse-sqrt.prof │ │ ├── montecarlo.bril │ │ ├── montecarlo.out │ │ └── montecarlo.prof │ ├── cholesky.bril │ ├── cholesky.out │ ├── cholesky.prof │ ├── gol.bril │ ├── gol.out │ ├── gol.prof │ ├── mat-inv.bril │ ├── mat-inv.out │ ├── mat-inv.prof │ ├── random_walk.bril │ ├── random_walk.out │ └── random_walk.prof ├── pi.bril ├── pi.out ├── pi.prof ├── plot.vl.json ├── summarize.py └── turnt.toml ├── book.toml ├── brench ├── .gitignore ├── brench.py ├── example.toml └── pyproject.toml ├── bril-llvm ├── README.md ├── brilc ├── brilpy.py ├── dom.py ├── linkedlist.bril ├── point.bril └── ssa.py ├── bril-ocaml ├── .gitignore ├── .ocamlformat ├── bril.opam ├── count │ ├── count.ml │ └── dune ├── dune-project ├── dune-workspace ├── lib │ ├── bril.ml │ ├── bril.mli │ ├── bril_type.ml │ ├── bril_type.mli │ ├── common.ml │ ├── common.mli │ ├── const.ml │ ├── const.mli │ ├── dest.ml │ ├── dest.mli │ ├── dune │ ├── func.ml │ ├── func.mli │ ├── instr.ml │ ├── instr.mli │ ├── op.ml │ └── op.mli └── test │ └── count │ ├── bools.bril │ ├── bools.out │ ├── empty.bril │ ├── empty.out │ ├── floats.bril │ ├── floats.out │ ├── funcs.bril │ ├── funcs.out │ ├── ints.bril │ ├── ints.out │ ├── ptr.bril │ ├── ptr.out │ └── turnt.toml ├── bril-rs ├── .gitignore ├── Cargo.toml ├── Makefile ├── README.md ├── bril2json │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── build.rs │ └── src │ │ ├── bril_grammar.lalrpop │ │ ├── cli.rs │ │ ├── lib.rs │ │ └── main.rs ├── brild │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── cli.rs │ │ ├── error.rs │ │ ├── lib.rs │ │ └── main.rs ├── brillvm │ ├── .gitignore │ ├── Cargo.toml │ ├── Makefile │ ├── README.md │ ├── runtime │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ └── main.rs │ └── src │ │ ├── cli.rs │ │ ├── lib.rs │ │ ├── llvm.rs │ │ └── main.rs ├── examples │ └── bril2txt.rs ├── rs2bril │ ├── Cargo.toml │ ├── README.md │ ├── example.rs │ └── src │ │ ├── cli.rs │ │ ├── lib.rs │ │ └── main.rs └── src │ ├── abstract_program.rs │ ├── conversion.rs │ ├── lib.rs │ └── program.rs ├── bril-swift ├── .gitignore ├── Package.swift ├── Sources │ └── Bril │ │ ├── Argument.swift │ │ ├── BrilParseError.swift │ │ ├── Code.swift │ │ ├── Function.swift │ │ ├── Instruction.swift │ │ ├── Operations │ │ ├── ConstantOperation.swift │ │ ├── EffectOperation.swift │ │ ├── Operation.swift │ │ └── ValueOperation.swift │ │ ├── Program.swift │ │ └── Type.swift └── Tests │ └── BrilTests │ └── BrilTests.swift ├── bril-ts ├── bril.ts ├── builder.ts ├── mem.d.ts ├── types.ts └── util.ts ├── bril-txt ├── briltxt.py └── pyproject.toml ├── bril-vim ├── ftdetect │ └── bril.vim ├── ftplugin │ └── bril.vim └── syntax │ └── bril.vim ├── bril2json-rs ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── parse-error.bril ├── src │ ├── lib.rs │ └── main.rs └── test.py ├── brilck.ts ├── brili.ts ├── brilift ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Makefile ├── rt.c ├── run.sh └── src │ ├── lib.rs │ ├── main.rs │ ├── rt.rs │ └── translator.rs ├── brilirs ├── .gitignore ├── .rustfmt.toml ├── Cargo.toml ├── Makefile ├── README.md ├── build.rs ├── pgo.sh ├── plot.vl.json ├── src │ ├── basic_block.rs │ ├── check.rs │ ├── cli.rs │ ├── error.rs │ ├── interp.rs │ ├── ir.rs │ ├── lib.rs │ └── main.rs ├── todo_list.txt └── turnt.toml ├── docs ├── SUMMARY.md ├── intro.md ├── lang │ ├── README.md │ ├── bitcast.md │ ├── char.md │ ├── core.md │ ├── dynamic.md │ ├── float.md │ ├── import.md │ ├── memory.md │ ├── spec.md │ ├── ssa.md │ ├── ssa2.md │ ├── syntax.md │ └── wellformed.md └── tools │ ├── README.md │ ├── bench.md │ ├── brench.md │ ├── brilck.md │ ├── brilift.md │ ├── brilirs.md │ ├── flat-bril.md │ ├── infer.md │ ├── interp.md │ ├── ocaml.md │ ├── plugin.md │ ├── rust.md │ ├── swift.md │ ├── text.md │ ├── ts.md │ ├── ts2bril.md │ └── web-playground.md ├── examples ├── .gitignore ├── Makefile ├── README.md ├── cfg.py ├── cfg_dot.py ├── df.py ├── dom.py ├── form_blocks.py ├── from_ssa.py ├── is_ssa.py ├── lvn.py ├── normalize.py ├── ssa_brench.toml ├── ssa_plot.json ├── tdce.py ├── test │ ├── df │ │ ├── cond-args.bril │ │ ├── cond-args.cprop.out │ │ ├── cond-args.defined.out │ │ ├── cond-args.live.out │ │ ├── cond.bril │ │ ├── cond.cprop.out │ │ ├── cond.defined.out │ │ ├── cond.live.out │ │ ├── fact.bril │ │ ├── fact.cprop.out │ │ ├── fact.defined.out │ │ ├── fact.live.out │ │ └── turnt.toml │ ├── dom │ │ ├── loopcond.bril │ │ ├── loopcond.dom.json │ │ ├── loopcond.front.json │ │ ├── loopcond.tree.json │ │ ├── loopcond.ts │ │ ├── turnt.toml │ │ ├── while.bril │ │ ├── while.dom.json │ │ ├── while.front.json │ │ └── while.tree.json │ ├── from_ssa │ │ ├── basic.bril │ │ ├── basic.out │ │ ├── dead-set.bril │ │ ├── dead-set.out │ │ ├── ssa-simple.bril │ │ ├── ssa-simple.out │ │ ├── swap-problem.bril │ │ ├── swap-problem.out │ │ └── turnt.toml │ ├── lvn │ │ ├── clobber-arg.bril │ │ ├── clobber-arg.out │ │ ├── clobber-fold.bril │ │ ├── clobber-fold.out │ │ ├── clobber.bril │ │ ├── clobber.out │ │ ├── commute.bril │ │ ├── commute.out │ │ ├── divide-by-zero.bril │ │ ├── divide-by-zero.out │ │ ├── fold-comparisons.bril │ │ ├── fold-comparisons.out │ │ ├── idchain-nonlocal.bril │ │ ├── idchain-nonlocal.out │ │ ├── idchain-prop.bril │ │ ├── idchain-prop.out │ │ ├── idchain.bril │ │ ├── idchain.out │ │ ├── logical-operators.bril │ │ ├── logical-operators.out │ │ ├── nonlocal-clobber.bril │ │ ├── nonlocal-clobber.out │ │ ├── nonlocal.bril │ │ ├── nonlocal.out │ │ ├── reassign.bril │ │ ├── reassign.out │ │ ├── redundant-dce.bril │ │ ├── redundant-dce.out │ │ ├── redundant.bril │ │ ├── redundant.out │ │ ├── rename-fold.bril │ │ ├── rename-fold.out │ │ └── turnt.toml │ ├── ssa │ │ ├── if-orig.bril │ │ ├── if-orig.out │ │ ├── if-ssa.bril │ │ ├── if-ssa.out │ │ ├── loop-orig.bril │ │ ├── loop-orig.out │ │ ├── loop-ssa.bril │ │ ├── loop-ssa.out │ │ └── turnt.toml │ ├── ssa_roundtrip │ │ ├── argwrite.bril │ │ ├── argwrite.out │ │ ├── if-const.bril │ │ ├── if-const.out │ │ ├── if-ssa.bril.BROKEN │ │ ├── if-ssa.out │ │ ├── if.bril │ │ ├── if.out │ │ ├── loop-branch.bril │ │ ├── loop-branch.out │ │ ├── loop.bril │ │ ├── loop.out │ │ ├── selfloop.bril │ │ ├── selfloop.out │ │ ├── turnt.toml │ │ ├── while.bril │ │ └── while.out │ ├── tdce │ │ ├── combo.bril │ │ ├── combo.out │ │ ├── diamond.bril │ │ ├── diamond.out │ │ ├── double-pass.bril │ │ ├── double-pass.out │ │ ├── double.bril │ │ ├── double.out │ │ ├── reassign-dkp.bril │ │ ├── reassign-dkp.out │ │ ├── reassign.bril │ │ ├── reassign.out │ │ ├── simple.bril │ │ ├── simple.out │ │ ├── skipped.bril │ │ ├── skipped.out │ │ └── turnt.toml │ └── to_ssa │ │ ├── argwrite.bril │ │ ├── argwrite.crude │ │ ├── argwrite.full │ │ ├── if-const.bril │ │ ├── if-const.crude │ │ ├── if-const.full │ │ ├── if.bril │ │ ├── if.crude │ │ ├── if.full │ │ ├── loop-branch.bril │ │ ├── loop-branch.crude │ │ ├── loop-branch.full │ │ ├── loop.bril │ │ ├── loop.crude │ │ ├── loop.full │ │ ├── selfloop.bril │ │ ├── selfloop.crude │ │ ├── selfloop.full │ │ ├── turnt.toml │ │ ├── while.bril │ │ ├── while.crude │ │ └── while.full ├── to_ssa.py ├── to_ssa_crude.py └── util.py ├── fastbril ├── .gitignore ├── Makefile ├── README.md ├── bytecode.txt ├── config │ ├── base.cf │ ├── float.cf │ ├── mem.cf │ ├── ssa.cf │ └── types.cf ├── doc │ ├── .gitignore │ ├── auto │ │ └── main.el │ └── main.tex ├── docgen.awk ├── docgen.sh ├── lib │ └── lib.c ├── src │ ├── .gitignore │ ├── asm │ │ ├── armv8.h │ │ ├── asm.c │ │ ├── asm.h │ │ ├── linear-scan.c │ │ ├── linear-scan.h │ │ ├── to_abstract_asm.c │ │ ├── to_abstract_asm.h │ │ ├── trivial-regalloc.c │ │ └── trivial-regalloc.h │ ├── bril-insns │ │ ├── base.h │ │ ├── float.h │ │ ├── instrs.c │ │ ├── instrs.h │ │ ├── mem.h │ │ ├── ssa.h │ │ └── types.h │ ├── byte-io.c │ ├── byte-io.h │ ├── interp │ │ ├── interp.c │ │ └── interp.h │ ├── libs │ │ ├── hashmap.c │ │ ├── hashmap.h │ │ └── json.h │ ├── main.c │ ├── parser.c │ ├── parser.h │ ├── pretty-printer.c │ └── pretty-printer.h └── srcgen.awk ├── flat-bril ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── rustfmt.toml └── src │ ├── flatten.rs │ ├── interp.rs │ ├── json_roundtrip.rs │ ├── main.rs │ ├── memfile.rs │ ├── types.rs │ └── unflatten.rs ├── test ├── README.md ├── check │ ├── argtype.bril │ ├── argtype.err │ ├── badcall.bril │ ├── badcall.err │ ├── badconst.bril │ ├── badconst.err │ ├── badid.bril │ ├── badid.err │ ├── badmem.bril │ ├── badmem.err │ ├── char.bril │ ├── char.err │ ├── extra.bril │ ├── extra.err │ ├── labels.bril │ ├── labels.err │ ├── main-args.bril │ ├── main-args.err │ ├── mainret.bril │ ├── mainret.err │ ├── mem.bril │ ├── mem.err │ ├── missarg.bril │ ├── missarg.err │ ├── missdest.bril │ ├── missdest.err │ ├── noret.bril │ ├── noret.err │ ├── printres.bril │ ├── printres.err │ ├── ptr.bril │ ├── ptr.err │ ├── speculate.bril │ ├── speculate.err │ ├── ssa.bril │ ├── ssa.err │ ├── tiny.bril │ ├── tiny.err │ ├── turnt.toml │ ├── typeconflict.bril │ ├── typeconflict.err │ ├── undef.bril │ └── undef.err ├── interp-error │ ├── char-error │ │ ├── badconversion.bril │ │ └── badconversion.err │ ├── core-error │ │ ├── call-nonvoid-return-nothing-error.bril │ │ ├── call-nonvoid-return-nothing-error.err │ │ ├── call-return-nothing-error.bril │ │ ├── call-return-nothing-error.err │ │ ├── call-return-wrong-type.bril │ │ ├── call-return-wrong-type.err │ │ ├── call-void-return-error.bril │ │ ├── call-void-return-error.err │ │ ├── call-wrong-argument-types.bril │ │ ├── call-wrong-argument-types.err │ │ ├── call-wrong-arity.bril │ │ ├── call-wrong-arity.err │ │ ├── call-wrong-declared-type.bril │ │ ├── call-wrong-declared-type.err │ │ ├── divide_by_zero.bril │ │ ├── divide_by_zero.err │ │ ├── duplicate_function.bril │ │ ├── duplicate_function.err │ │ ├── duplicate_main.bril │ │ ├── duplicate_main.err │ │ ├── undefined-func.bril │ │ └── undefined-func.err │ ├── dynamic-error │ │ ├── dynamic_error_simple.bril │ │ └── dynamic_error_simple.err │ ├── mem-error │ │ ├── double_free.bril │ │ ├── double_free.err │ │ ├── free_offset.bril │ │ ├── free_offset.err │ │ ├── leak.bril │ │ ├── leak.err │ │ ├── out_of_bounds.bril │ │ ├── out_of_bounds.err │ │ ├── out_of_bounds_2.bril │ │ ├── out_of_bounds_2.err │ │ ├── uninit_read.bril │ │ ├── uninit_read.err │ │ ├── wrong_write.bril │ │ └── wrong_write.err │ ├── spec-error │ │ ├── spec-call.bril │ │ ├── spec-call.err │ │ ├── spec-double-commit.bril │ │ ├── spec-double-commit.err │ │ ├── spec-nonspec-abort.bril │ │ ├── spec-nonspec-abort.err │ │ ├── spec-return-implicit.bril │ │ ├── spec-return-implicit.err │ │ ├── spec-return.bril │ │ └── spec-return.err │ ├── ssa-error │ │ ├── double-phi.err │ │ ├── missing-set.bril │ │ ├── missing-set.err │ │ ├── undef-add.bril │ │ ├── undef-add.err │ │ ├── undef-print.bril │ │ └── undef-print.err │ └── turnt.toml ├── interp │ ├── bitcast │ │ ├── float_and_int.bril │ │ └── float_and_int.out │ ├── char │ │ ├── char.bril │ │ ├── char.out │ │ ├── char_args.bril │ │ ├── char_args.out │ │ ├── char_ops.bril │ │ ├── char_ops.out │ │ ├── control_char.bril │ │ ├── control_char.out │ │ ├── conversions.bril │ │ └── conversions.out │ ├── core │ │ ├── add-overflow.bril │ │ ├── add-overflow.out │ │ ├── br.bril │ │ ├── br.out │ │ ├── call-with-args.bril │ │ ├── call-with-args.out │ │ ├── call.bril │ │ ├── call.out │ │ ├── dead_block.bril │ │ ├── dead_block.out │ │ ├── div.bril │ │ ├── div.out │ │ ├── jmp.bril │ │ ├── jmp.out │ │ ├── main-args.bril │ │ ├── main-args.out │ │ ├── main-bool-args.bril │ │ ├── main-bool-args.out │ │ ├── non_linear_control_flow.bril │ │ ├── non_linear_control_flow.out │ │ ├── nop.bril │ │ ├── nop.out │ │ ├── ret.bril │ │ ├── ret.out │ │ ├── tiny.bril │ │ └── tiny.out │ ├── dynamic │ │ ├── float_dynamic.bril │ │ ├── float_dynamic.out │ │ ├── mem_dynamic_dispatch.bril │ │ ├── mem_dynamic_dispatch.out │ │ ├── mem_dynamic_enum.bril │ │ ├── mem_dynamic_enum.out │ │ ├── mem_dynamic_struct.bril │ │ └── mem_dynamic_struct.out │ ├── float │ │ ├── float.bril │ │ ├── float.out │ │ ├── float_args.bril │ │ ├── float_args.out │ │ ├── float_divide_by_zero.bril │ │ ├── float_divide_by_zero.out │ │ ├── float_special.bril │ │ └── float_special.out │ ├── mem │ │ ├── access.bril │ │ ├── access.out │ │ ├── access_many.bril │ │ ├── access_many.out │ │ ├── access_ptr.bril │ │ ├── access_ptr.out │ │ ├── alloc.bril │ │ ├── alloc.out │ │ ├── alloc_large.bril │ │ ├── alloc_large.out │ │ ├── alloc_many.bril │ │ ├── alloc_many.out │ │ ├── fib.bril │ │ ├── fib.out │ │ ├── mem_id.bril │ │ ├── mem_id.out │ │ ├── ptr_call.bril │ │ ├── ptr_call.out │ │ ├── ptr_ret.bril │ │ └── ptr_ret.out │ ├── mixed │ │ ├── store-char.bril │ │ ├── store-char.out │ │ ├── store-float.bril │ │ └── store-float.out │ ├── spec │ │ ├── spec-abort.bril │ │ ├── spec-abort.out │ │ ├── spec-commit.bril │ │ ├── spec-commit.out │ │ ├── spec-nested.bril │ │ ├── spec-nested.out │ │ ├── spec-noabort.bril │ │ └── spec-noabort.out │ ├── ssa │ │ ├── ssa-simple.bril │ │ ├── ssa-simple.out │ │ ├── ssa-two-phi.bril │ │ ├── ssa-two-phi.out │ │ ├── ssu-regression.bril │ │ ├── ssu-regression.out │ │ ├── swap-problem.bril │ │ ├── swap-problem.out │ │ ├── undef.bril │ │ └── undef.out │ └── turnt.toml ├── linking │ ├── diamond.bril │ ├── diamond.out │ ├── link_ops.bril │ ├── link_ops.out │ ├── nested.bril │ ├── nested.out │ ├── recursive.bril │ ├── recursive.out │ └── turnt.toml ├── parse │ ├── add.bril │ ├── add.json │ ├── char.bril │ ├── char.json │ ├── comment.bril │ ├── comment.json │ ├── float.bril │ ├── float.json │ ├── mem.bril │ ├── mem.json │ ├── positions.bril │ ├── positions.json │ ├── print.bril │ ├── print.json │ └── turnt.toml ├── print │ ├── add.bril │ ├── add.json │ ├── call.bril │ ├── call.json │ ├── char.bril │ ├── char.json │ ├── eight-queens.bril │ ├── eight-queens.json │ ├── ptr.bril │ ├── ptr.json │ ├── spec-abort.bril │ ├── spec-abort.json │ └── turnt.toml ├── rs │ ├── ackermann.out │ ├── ackermann.rs │ ├── boolvar.out │ ├── boolvar.rs │ ├── call-explicit.out │ ├── call-explicit.rs │ ├── cholesky.out │ ├── cholesky.rs │ ├── cond.out │ ├── cond.rs │ ├── factorial.out │ ├── factorial.rs │ ├── float-add.out │ ├── float-add.rs │ ├── loopfact.out │ ├── loopfact.rs │ ├── nested_call.out │ ├── nested_call.rs │ ├── riemann.out │ ├── riemann.rs │ └── turnt.toml ├── ts-error │ ├── call-nonvoid-return-nothing.err │ ├── call-nonvoid-return-nothing.out │ ├── call-nonvoid-return-nothing.ts │ ├── call-return-nothing.err │ ├── call-return-nothing.out │ ├── call-return-nothing.ts │ ├── call-void-return.err │ ├── call-void-return.out │ ├── call-void-return.ts │ ├── call-wrong-arity.err │ ├── call-wrong-arity.out │ ├── call-wrong-arity.ts │ ├── call-wrong-declared-type.err │ ├── call-wrong-declared-type.out │ ├── call-wrong-declared-type.ts │ └── turnt.toml └── ts │ ├── boolvar.out │ ├── boolvar.ts │ ├── call-explicit-void.out │ ├── call-explicit-void.ts │ ├── call.out │ ├── call.ts │ ├── cond.out │ ├── cond.ts │ ├── factorial.out │ ├── factorial.ts │ ├── float-add.out │ ├── float-add.ts │ ├── loopfact.out │ ├── loopfact.ts │ ├── main.out │ ├── main.ts │ ├── memory-call.out │ ├── memory-call.ts │ ├── memory-loop.out │ ├── memory-loop.ts │ ├── memory-matrix.out │ ├── memory-matrix.ts │ ├── nested-call.out │ ├── nested-call.ts │ ├── printvar.out │ ├── printvar.ts │ ├── return.out │ ├── return.ts │ ├── simplified.out │ ├── simplified.ts │ └── turnt.toml ├── ts2bril.ts └── type-infer ├── Makefile ├── infer.py └── tests ├── fail-infer ├── arith_ops.bril ├── assign_label.bril ├── br.bril ├── comp_ops.bril ├── control_ops.bril ├── div.bril ├── idchain.bril ├── jmp.bril ├── logic_ops.bril ├── many_functions.bril ├── tricky-jump.bril └── turnt.toml ├── fail-typecheck ├── add.bril ├── arith_ops.bril ├── br.bril ├── comp_ops.bril ├── control_ops.bril ├── div.bril ├── idchain.bril ├── jmp.bril ├── logic_ops.bril ├── many_functions.bril ├── nop.bril ├── ret.bril ├── tiny.bril ├── tricky-jump.bril └── turnt.toml ├── infer ├── addarg.bril ├── addarg.tbril ├── arith_ops.bril ├── arith_ops.tbril ├── br.bril ├── br.tbril ├── comp_ops.bril ├── comp_ops.tbril ├── control_ops.bril ├── control_ops.tbril ├── div.bril ├── div.tbril ├── idchain.bril ├── idchain.tbril ├── jmp.bril ├── jmp.tbril ├── logic_ops.bril ├── logic_ops.tbril ├── many_functions.bril ├── many_functions.tbril ├── nop.bril ├── nop.tbril ├── ret.bril ├── ret.tbril ├── tiny.bril ├── tiny.tbril ├── tricky-jump.bril ├── tricky-jump.tbril └── turnt.toml ├── parse ├── add.bril ├── add.json ├── div.bril ├── div.json ├── partial.bril ├── partial.json └── turnt.toml ├── print ├── add.bril ├── add.json ├── div.bril ├── div.json ├── partial.bril ├── partial.json └── turnt.toml └── typecheck ├── arith_ops.bril ├── arith_ops.tbril ├── br.bril ├── br.tbril ├── comp_ops.bril ├── comp_ops.tbril ├── control_ops.bril ├── control_ops.tbril ├── div.bril ├── div.tbril ├── idchain.bril ├── idchain.tbril ├── jmp.bril ├── jmp.tbril ├── logic_ops.bril ├── logic_ops.tbril ├── many_functions.bril ├── many_functions.tbril ├── nop.bril ├── nop.tbril ├── ret.bril ├── ret.tbril ├── tiny.bril ├── tiny.tbril ├── tricky-jump.bril ├── tricky-jump.tbril └── turnt.toml /.github/brilck-matcher.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/brilck-matcher.json -------------------------------------------------------------------------------- /.github/tap-matcher.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/tap-matcher.json -------------------------------------------------------------------------------- /.github/workflows/build.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/workflows/build.yaml -------------------------------------------------------------------------------- /.github/workflows/docs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/workflows/docs.yaml -------------------------------------------------------------------------------- /.github/workflows/python.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/workflows/python.yaml -------------------------------------------------------------------------------- /.github/workflows/rust.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.github/workflows/rust.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.gitignore -------------------------------------------------------------------------------- /.zed/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/.zed/settings.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/.gitignore: -------------------------------------------------------------------------------- 1 | *.json 2 | bench.csv 3 | plot.svg 4 | -------------------------------------------------------------------------------- /benchmarks/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/Makefile -------------------------------------------------------------------------------- /benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/core/ackermann.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/ackermann.bril -------------------------------------------------------------------------------- /benchmarks/core/ackermann.out: -------------------------------------------------------------------------------- 1 | 509 2 | -------------------------------------------------------------------------------- /benchmarks/core/ackermann.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1464231 2 | -------------------------------------------------------------------------------- /benchmarks/core/arithmetic-series.out: -------------------------------------------------------------------------------- 1 | 28 2 | -------------------------------------------------------------------------------- /benchmarks/core/arithmetic-series.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 7 2 | -------------------------------------------------------------------------------- /benchmarks/core/armstrong.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/armstrong.bril -------------------------------------------------------------------------------- /benchmarks/core/armstrong.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/core/armstrong.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 133 2 | -------------------------------------------------------------------------------- /benchmarks/core/bbs.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/bbs.bril -------------------------------------------------------------------------------- /benchmarks/core/bbs.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/bbs.out -------------------------------------------------------------------------------- /benchmarks/core/bbs.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 137 2 | -------------------------------------------------------------------------------- /benchmarks/core/bin-search.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/bin-search.bril -------------------------------------------------------------------------------- /benchmarks/core/bin-search.out: -------------------------------------------------------------------------------- 1 | 738 2 | -------------------------------------------------------------------------------- /benchmarks/core/bin-search.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 358 2 | -------------------------------------------------------------------------------- /benchmarks/core/binary-fmt.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/binary-fmt.bril -------------------------------------------------------------------------------- /benchmarks/core/binary-fmt.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/binary-fmt.out -------------------------------------------------------------------------------- /benchmarks/core/binary-fmt.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 100 2 | -------------------------------------------------------------------------------- /benchmarks/core/binpow.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/binpow.bril -------------------------------------------------------------------------------- /benchmarks/core/binpow.out: -------------------------------------------------------------------------------- 1 | 2048 2 | -------------------------------------------------------------------------------- /benchmarks/core/binpow.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 105 2 | -------------------------------------------------------------------------------- /benchmarks/core/bitshift.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/bitshift.bril -------------------------------------------------------------------------------- /benchmarks/core/bitshift.out: -------------------------------------------------------------------------------- 1 | 96 2 | 625 3 | -------------------------------------------------------------------------------- /benchmarks/core/bitshift.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 167 2 | -------------------------------------------------------------------------------- /benchmarks/core/bitwise-ops.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/bitwise-ops.bril -------------------------------------------------------------------------------- /benchmarks/core/bitwise-ops.out: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /benchmarks/core/bitwise-ops.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1690 2 | -------------------------------------------------------------------------------- /benchmarks/core/braille.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/braille.bril -------------------------------------------------------------------------------- /benchmarks/core/braille.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/braille.out -------------------------------------------------------------------------------- /benchmarks/core/braille.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 325 2 | -------------------------------------------------------------------------------- /benchmarks/core/catalan.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/catalan.bril -------------------------------------------------------------------------------- /benchmarks/core/catalan.out: -------------------------------------------------------------------------------- 1 | 16796 2 | -------------------------------------------------------------------------------- /benchmarks/core/catalan.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 659378 2 | -------------------------------------------------------------------------------- /benchmarks/core/check-primes.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/check-primes.bril -------------------------------------------------------------------------------- /benchmarks/core/check-primes.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/check-primes.out -------------------------------------------------------------------------------- /benchmarks/core/check-primes.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 8468 2 | -------------------------------------------------------------------------------- /benchmarks/core/collatz.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/collatz.bril -------------------------------------------------------------------------------- /benchmarks/core/collatz.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/collatz.out -------------------------------------------------------------------------------- /benchmarks/core/collatz.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 169 2 | -------------------------------------------------------------------------------- /benchmarks/core/combination.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/combination.bril -------------------------------------------------------------------------------- /benchmarks/core/combination.out: -------------------------------------------------------------------------------- 1 | 220 2 | -------------------------------------------------------------------------------- /benchmarks/core/combination.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 178 2 | -------------------------------------------------------------------------------- /benchmarks/core/dayofweek.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/dayofweek.bril -------------------------------------------------------------------------------- /benchmarks/core/dayofweek.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /benchmarks/core/dayofweek.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 269 2 | -------------------------------------------------------------------------------- /benchmarks/core/delannoy.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/delannoy.bril -------------------------------------------------------------------------------- /benchmarks/core/delannoy.out: -------------------------------------------------------------------------------- 1 | 265729 2 | -------------------------------------------------------------------------------- /benchmarks/core/delannoy.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 5748752 2 | -------------------------------------------------------------------------------- /benchmarks/core/digital-root.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/digital-root.bril -------------------------------------------------------------------------------- /benchmarks/core/digital-root.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/digital-root.out -------------------------------------------------------------------------------- /benchmarks/core/digital-root.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 247 2 | -------------------------------------------------------------------------------- /benchmarks/core/euclid.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/euclid.bril -------------------------------------------------------------------------------- /benchmarks/core/euclid.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /benchmarks/core/euclid.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 563 2 | -------------------------------------------------------------------------------- /benchmarks/core/fact.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/fact.bril -------------------------------------------------------------------------------- /benchmarks/core/fact.out: -------------------------------------------------------------------------------- 1 | 2432902008176640000 2 | -------------------------------------------------------------------------------- /benchmarks/core/fact.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 229 2 | -------------------------------------------------------------------------------- /benchmarks/core/factors.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/factors.bril -------------------------------------------------------------------------------- /benchmarks/core/factors.out: -------------------------------------------------------------------------------- 1 | 2 2 | 2 3 | 3 4 | 5 5 | -------------------------------------------------------------------------------- /benchmarks/core/factors.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 72 2 | -------------------------------------------------------------------------------- /benchmarks/core/fib_recursive.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/fib_recursive.bril -------------------------------------------------------------------------------- /benchmarks/core/fib_recursive.out: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /benchmarks/core/fib_recursive.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 2693 2 | -------------------------------------------------------------------------------- /benchmarks/core/fitsinside.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/fitsinside.bril -------------------------------------------------------------------------------- /benchmarks/core/fitsinside.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/core/fitsinside.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 10 2 | -------------------------------------------------------------------------------- /benchmarks/core/fizz-buzz.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/fizz-buzz.bril -------------------------------------------------------------------------------- /benchmarks/core/fizz-buzz.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/fizz-buzz.out -------------------------------------------------------------------------------- /benchmarks/core/fizz-buzz.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 3652 2 | -------------------------------------------------------------------------------- /benchmarks/core/gcd.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/gcd.bril -------------------------------------------------------------------------------- /benchmarks/core/gcd.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /benchmarks/core/gcd.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 46 2 | -------------------------------------------------------------------------------- /benchmarks/core/gebmm.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/gebmm.bril -------------------------------------------------------------------------------- /benchmarks/core/gebmm.out: -------------------------------------------------------------------------------- 1 | 188 2 | -------------------------------------------------------------------------------- /benchmarks/core/gebmm.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 3011 2 | -------------------------------------------------------------------------------- /benchmarks/core/geometric-sum.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/geometric-sum.bril -------------------------------------------------------------------------------- /benchmarks/core/geometric-sum.out: -------------------------------------------------------------------------------- 1 | 242 2 | -------------------------------------------------------------------------------- /benchmarks/core/geometric-sum.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 35 2 | -------------------------------------------------------------------------------- /benchmarks/core/gpf.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/gpf.bril -------------------------------------------------------------------------------- /benchmarks/core/gpf.out: -------------------------------------------------------------------------------- 1 | 29 2 | -------------------------------------------------------------------------------- /benchmarks/core/gpf.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 759 2 | -------------------------------------------------------------------------------- /benchmarks/core/grad_desc.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/grad_desc.bril -------------------------------------------------------------------------------- /benchmarks/core/grad_desc.out: -------------------------------------------------------------------------------- 1 | 2048 2 | 2304 3 | -------------------------------------------------------------------------------- /benchmarks/core/grad_desc.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 229 2 | -------------------------------------------------------------------------------- /benchmarks/core/graycode.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/graycode.bril -------------------------------------------------------------------------------- /benchmarks/core/graycode.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/graycode.out -------------------------------------------------------------------------------- /benchmarks/core/graycode.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1259 2 | -------------------------------------------------------------------------------- /benchmarks/core/hamming.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/hamming.bril -------------------------------------------------------------------------------- /benchmarks/core/hamming.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /benchmarks/core/hamming.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 117 2 | -------------------------------------------------------------------------------- /benchmarks/core/hanoi.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/hanoi.bril -------------------------------------------------------------------------------- /benchmarks/core/hanoi.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/hanoi.out -------------------------------------------------------------------------------- /benchmarks/core/hanoi.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 99 2 | -------------------------------------------------------------------------------- /benchmarks/core/is-decreasing.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/is-decreasing.bril -------------------------------------------------------------------------------- /benchmarks/core/is-decreasing.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/core/is-decreasing.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 127 2 | -------------------------------------------------------------------------------- /benchmarks/core/karatsuba.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/karatsuba.bril -------------------------------------------------------------------------------- /benchmarks/core/karatsuba.out: -------------------------------------------------------------------------------- 1 | 4267635650 2 | -------------------------------------------------------------------------------- /benchmarks/core/karatsuba.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1548 2 | -------------------------------------------------------------------------------- /benchmarks/core/lcm.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/lcm.bril -------------------------------------------------------------------------------- /benchmarks/core/lcm.out: -------------------------------------------------------------------------------- 1 | 192 2 | -------------------------------------------------------------------------------- /benchmarks/core/lcm.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 2326 2 | -------------------------------------------------------------------------------- /benchmarks/core/legendre.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/legendre.bril -------------------------------------------------------------------------------- /benchmarks/core/legendre.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /benchmarks/core/legendre.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 153 2 | -------------------------------------------------------------------------------- /benchmarks/core/loopfact.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/loopfact.bril -------------------------------------------------------------------------------- /benchmarks/core/loopfact.out: -------------------------------------------------------------------------------- 1 | 40320 2 | -------------------------------------------------------------------------------- /benchmarks/core/loopfact.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 116 2 | -------------------------------------------------------------------------------- /benchmarks/core/mccarthy91.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/mccarthy91.bril -------------------------------------------------------------------------------- /benchmarks/core/mccarthy91.out: -------------------------------------------------------------------------------- 1 | 91 2 | -------------------------------------------------------------------------------- /benchmarks/core/mccarthy91.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1385 2 | -------------------------------------------------------------------------------- /benchmarks/core/mod_inv.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/mod_inv.bril -------------------------------------------------------------------------------- /benchmarks/core/mod_inv.out: -------------------------------------------------------------------------------- 1 | 2393 2 | -------------------------------------------------------------------------------- /benchmarks/core/mod_inv.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 558 2 | -------------------------------------------------------------------------------- /benchmarks/core/mod_pow.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/mod_pow.bril -------------------------------------------------------------------------------- /benchmarks/core/mod_pow.out: -------------------------------------------------------------------------------- 1 | 445 2 | -------------------------------------------------------------------------------- /benchmarks/core/mod_pow.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 243 2 | -------------------------------------------------------------------------------- /benchmarks/core/montgomery.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/montgomery.bril -------------------------------------------------------------------------------- /benchmarks/core/montgomery.out: -------------------------------------------------------------------------------- 1 | 11 2 | -------------------------------------------------------------------------------- /benchmarks/core/montgomery.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 17 2 | -------------------------------------------------------------------------------- /benchmarks/core/mountain.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/mountain.bril -------------------------------------------------------------------------------- /benchmarks/core/mountain.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/core/mountain.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 100 2 | -------------------------------------------------------------------------------- /benchmarks/core/orders.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/orders.bril -------------------------------------------------------------------------------- /benchmarks/core/orders.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/orders.out -------------------------------------------------------------------------------- /benchmarks/core/orders.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 5352 2 | -------------------------------------------------------------------------------- /benchmarks/core/palindrome.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/palindrome.bril -------------------------------------------------------------------------------- /benchmarks/core/palindrome.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/core/palindrome.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 298 2 | -------------------------------------------------------------------------------- /benchmarks/core/pascals-row.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/pascals-row.bril -------------------------------------------------------------------------------- /benchmarks/core/pascals-row.out: -------------------------------------------------------------------------------- 1 | 1 2 | 6 3 | 30 4 | 120 5 | 360 6 | 720 7 | -------------------------------------------------------------------------------- /benchmarks/core/pascals-row.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 146 2 | -------------------------------------------------------------------------------- /benchmarks/core/perfect.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/perfect.bril -------------------------------------------------------------------------------- /benchmarks/core/perfect.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /benchmarks/core/perfect.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 232 2 | -------------------------------------------------------------------------------- /benchmarks/core/permutation.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/permutation.bril -------------------------------------------------------------------------------- /benchmarks/core/permutation.out: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /benchmarks/core/permutation.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 130 2 | -------------------------------------------------------------------------------- /benchmarks/core/primes-between.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/primes-between.bril -------------------------------------------------------------------------------- /benchmarks/core/primes-between.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/primes-between.out -------------------------------------------------------------------------------- /benchmarks/core/primes-between.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 574100 2 | -------------------------------------------------------------------------------- /benchmarks/core/pythagorean_triple.out: -------------------------------------------------------------------------------- 1 | 75 100 2 | 44 117 3 | 35 120 4 | -------------------------------------------------------------------------------- /benchmarks/core/pythagorean_triple.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 61518 2 | -------------------------------------------------------------------------------- /benchmarks/core/quadratic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/quadratic.bril -------------------------------------------------------------------------------- /benchmarks/core/quadratic.out: -------------------------------------------------------------------------------- 1 | -1 2 | 3 3 | -------------------------------------------------------------------------------- /benchmarks/core/quadratic.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 785 2 | -------------------------------------------------------------------------------- /benchmarks/core/recfact.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/recfact.bril -------------------------------------------------------------------------------- /benchmarks/core/recfact.out: -------------------------------------------------------------------------------- 1 | 40320 2 | -------------------------------------------------------------------------------- /benchmarks/core/recfact.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 104 2 | -------------------------------------------------------------------------------- /benchmarks/core/rectangles-area-difference.out: -------------------------------------------------------------------------------- 1 | 50 2 | 78 3 | 28 4 | -------------------------------------------------------------------------------- /benchmarks/core/rectangles-area-difference.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 14 2 | -------------------------------------------------------------------------------- /benchmarks/core/relative-primes.out: -------------------------------------------------------------------------------- 1 | 19 2 | 17 3 | 13 4 | 11 5 | 9 6 | 7 7 | 3 8 | 1 9 | -------------------------------------------------------------------------------- /benchmarks/core/relative-primes.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1923 2 | -------------------------------------------------------------------------------- /benchmarks/core/reverse.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/reverse.bril -------------------------------------------------------------------------------- /benchmarks/core/reverse.out: -------------------------------------------------------------------------------- 1 | 321 2 | -------------------------------------------------------------------------------- /benchmarks/core/reverse.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 46 2 | -------------------------------------------------------------------------------- /benchmarks/core/rot13.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/rot13.bril -------------------------------------------------------------------------------- /benchmarks/core/rot13.out: -------------------------------------------------------------------------------- 1 | 23 2 | -------------------------------------------------------------------------------- /benchmarks/core/rot13.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 8 2 | -------------------------------------------------------------------------------- /benchmarks/core/sqrt_bin_search.out: -------------------------------------------------------------------------------- 1 | 6120 2 | -------------------------------------------------------------------------------- /benchmarks/core/sqrt_bin_search.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 744 2 | -------------------------------------------------------------------------------- /benchmarks/core/squares.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/squares.bril -------------------------------------------------------------------------------- /benchmarks/core/squares.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/squares.out -------------------------------------------------------------------------------- /benchmarks/core/squares.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 153 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-bits.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-bits.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-bits.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-bits.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 73 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-check.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-check.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-check.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-check.out -------------------------------------------------------------------------------- /benchmarks/core/sum-check.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 5018 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-digits.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-digits.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-digits.out: -------------------------------------------------------------------------------- 1 | 45 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-digits.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 219 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-divisible-by-m.out: -------------------------------------------------------------------------------- 1 | 15150 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-divisible-by-m.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 16 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-divisors.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-divisors.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-divisors.out: -------------------------------------------------------------------------------- 1 | 1 2 | 100 3 | 2 4 | 50 5 | 4 6 | 25 7 | 5 8 | 20 9 | 10 10 | 217 11 | -------------------------------------------------------------------------------- /benchmarks/core/sum-divisors.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 159 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-of-cubes.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-of-cubes.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-of-cubes.out: -------------------------------------------------------------------------------- 1 | 441 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-of-cubes.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 8 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-sq-diff.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/sum-sq-diff.bril -------------------------------------------------------------------------------- /benchmarks/core/sum-sq-diff.out: -------------------------------------------------------------------------------- 1 | 25164150 2 | -------------------------------------------------------------------------------- /benchmarks/core/sum-sq-diff.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 3038 2 | -------------------------------------------------------------------------------- /benchmarks/core/tail-call.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/tail-call.bril -------------------------------------------------------------------------------- /benchmarks/core/tail-call.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/core/tail-call.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 10504 2 | -------------------------------------------------------------------------------- /benchmarks/core/totient.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/totient.bril -------------------------------------------------------------------------------- /benchmarks/core/totient.out: -------------------------------------------------------------------------------- 1 | 2023 2 | 1632 3 | -------------------------------------------------------------------------------- /benchmarks/core/totient.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 253 2 | -------------------------------------------------------------------------------- /benchmarks/core/triangle.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/triangle.bril -------------------------------------------------------------------------------- /benchmarks/core/triangle.out: -------------------------------------------------------------------------------- 1 | 666 2 | -------------------------------------------------------------------------------- /benchmarks/core/triangle.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 188 2 | -------------------------------------------------------------------------------- /benchmarks/core/up-arrow.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/core/up-arrow.bril -------------------------------------------------------------------------------- /benchmarks/core/up-arrow.out: -------------------------------------------------------------------------------- 1 | 65536 2 | -------------------------------------------------------------------------------- /benchmarks/core/up-arrow.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 252 2 | -------------------------------------------------------------------------------- /benchmarks/float/birthday.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/birthday.bril -------------------------------------------------------------------------------- /benchmarks/float/birthday.out: -------------------------------------------------------------------------------- 1 | 0.50729723432398566 2 | -------------------------------------------------------------------------------- /benchmarks/float/birthday.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 484 2 | -------------------------------------------------------------------------------- /benchmarks/float/conjugate-gradient.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1999 2 | -------------------------------------------------------------------------------- /benchmarks/float/cordic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/cordic.bril -------------------------------------------------------------------------------- /benchmarks/float/cordic.out: -------------------------------------------------------------------------------- 1 | 0.86369602123419631 2 | -------------------------------------------------------------------------------- /benchmarks/float/cordic.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 517 2 | -------------------------------------------------------------------------------- /benchmarks/float/euler.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/euler.bril -------------------------------------------------------------------------------- /benchmarks/float/euler.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/euler.out -------------------------------------------------------------------------------- /benchmarks/float/euler.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1908 2 | -------------------------------------------------------------------------------- /benchmarks/float/exponentiation-by-squaring.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 187 2 | -------------------------------------------------------------------------------- /benchmarks/float/harmonic-sum.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/harmonic-sum.bril -------------------------------------------------------------------------------- /benchmarks/float/harmonic-sum.out: -------------------------------------------------------------------------------- 1 | 14.07801616295706282 2 | -------------------------------------------------------------------------------- /benchmarks/float/harmonic-sum.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 10950013 2 | -------------------------------------------------------------------------------- /benchmarks/float/leibniz.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/leibniz.bril -------------------------------------------------------------------------------- /benchmarks/float/leibniz.out: -------------------------------------------------------------------------------- 1 | 3.14159365359077425 2 | -------------------------------------------------------------------------------- /benchmarks/float/leibniz.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 12499997 2 | -------------------------------------------------------------------------------- /benchmarks/float/logistic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/logistic.bril -------------------------------------------------------------------------------- /benchmarks/float/logistic.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/logistic.out -------------------------------------------------------------------------------- /benchmarks/float/logistic.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1110 2 | -------------------------------------------------------------------------------- /benchmarks/float/mandelbrot.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/mandelbrot.bril -------------------------------------------------------------------------------- /benchmarks/float/mandelbrot.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/mandelbrot.out -------------------------------------------------------------------------------- /benchmarks/float/mandelbrot.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 2720947 2 | -------------------------------------------------------------------------------- /benchmarks/float/n_root.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/n_root.bril -------------------------------------------------------------------------------- /benchmarks/float/n_root.out: -------------------------------------------------------------------------------- 1 | 1.51571786995120950 2 | -------------------------------------------------------------------------------- /benchmarks/float/n_root.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 733 2 | -------------------------------------------------------------------------------- /benchmarks/float/newton.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/newton.bril -------------------------------------------------------------------------------- /benchmarks/float/newton.out: -------------------------------------------------------------------------------- 1 | 316.22618487405497945 2 | -------------------------------------------------------------------------------- /benchmarks/float/newton.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 217 2 | -------------------------------------------------------------------------------- /benchmarks/float/norm.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/norm.bril -------------------------------------------------------------------------------- /benchmarks/float/norm.out: -------------------------------------------------------------------------------- 1 | 110.55285076250027032 2 | -------------------------------------------------------------------------------- /benchmarks/float/norm.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 505 2 | -------------------------------------------------------------------------------- /benchmarks/float/pow.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/pow.bril -------------------------------------------------------------------------------- /benchmarks/float/pow.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/pow.out -------------------------------------------------------------------------------- /benchmarks/float/pow.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 36 2 | -------------------------------------------------------------------------------- /benchmarks/float/ray-bbox-intersection.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/float/ray-bbox-intersection.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 33 2 | -------------------------------------------------------------------------------- /benchmarks/float/ray-sphere-intersection.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /benchmarks/float/ray-sphere-intersection.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 142 2 | -------------------------------------------------------------------------------- /benchmarks/float/rgb2gray.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/rgb2gray.bril -------------------------------------------------------------------------------- /benchmarks/float/rgb2gray.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/rgb2gray.out -------------------------------------------------------------------------------- /benchmarks/float/rgb2gray.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 14 2 | -------------------------------------------------------------------------------- /benchmarks/float/riemann.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/riemann.bril -------------------------------------------------------------------------------- /benchmarks/float/riemann.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/riemann.out -------------------------------------------------------------------------------- /benchmarks/float/riemann.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 298 2 | -------------------------------------------------------------------------------- /benchmarks/float/sin.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/sin.bril -------------------------------------------------------------------------------- /benchmarks/float/sin.out: -------------------------------------------------------------------------------- 1 | 0.97533831838863938 2 | -------------------------------------------------------------------------------- /benchmarks/float/sin.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 58 2 | -------------------------------------------------------------------------------- /benchmarks/float/sqrt.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/sqrt.bril -------------------------------------------------------------------------------- /benchmarks/float/sqrt.out: -------------------------------------------------------------------------------- 1 | 18.08314132002512409 2 | -------------------------------------------------------------------------------- /benchmarks/float/sqrt.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 322 2 | -------------------------------------------------------------------------------- /benchmarks/float/sqrt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/sqrt.ts -------------------------------------------------------------------------------- /benchmarks/float/sum-to-ten.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/sum-to-ten.bril -------------------------------------------------------------------------------- /benchmarks/float/sum-to-ten.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/float/sum-to-ten.out -------------------------------------------------------------------------------- /benchmarks/float/sum-to-ten.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 143 2 | -------------------------------------------------------------------------------- /benchmarks/long/dead-branch.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/long/dead-branch.bril -------------------------------------------------------------------------------- /benchmarks/long/dead-branch.out: -------------------------------------------------------------------------------- 1 | 50 2 | -------------------------------------------------------------------------------- /benchmarks/long/dead-branch.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1196 2 | -------------------------------------------------------------------------------- /benchmarks/long/function_call.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/long/function_call.bril -------------------------------------------------------------------------------- /benchmarks/mem/1dconv.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/1dconv.bril -------------------------------------------------------------------------------- /benchmarks/mem/1dconv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/1dconv.out -------------------------------------------------------------------------------- /benchmarks/mem/1dconv.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 391 2 | -------------------------------------------------------------------------------- /benchmarks/mem/2dconvol.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/2dconvol.bril -------------------------------------------------------------------------------- /benchmarks/mem/2dconvol.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/2dconvol.out -------------------------------------------------------------------------------- /benchmarks/mem/2dconvol.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 21709 2 | -------------------------------------------------------------------------------- /benchmarks/mem/adj2csr.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/adj2csr.bril -------------------------------------------------------------------------------- /benchmarks/mem/adj2csr.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/adj2csr.out -------------------------------------------------------------------------------- /benchmarks/mem/adj2csr.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 56629 2 | -------------------------------------------------------------------------------- /benchmarks/mem/adler32.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/adler32.bril -------------------------------------------------------------------------------- /benchmarks/mem/adler32.out: -------------------------------------------------------------------------------- 1 | 1794899728 2 | -------------------------------------------------------------------------------- /benchmarks/mem/adler32.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 6851 2 | -------------------------------------------------------------------------------- /benchmarks/mem/binary-search.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/binary-search.bril -------------------------------------------------------------------------------- /benchmarks/mem/binary-search.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmarks/mem/binary-search.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 78 2 | -------------------------------------------------------------------------------- /benchmarks/mem/bubblesort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/bubblesort.bril -------------------------------------------------------------------------------- /benchmarks/mem/bubblesort.out: -------------------------------------------------------------------------------- 1 | 1 2 | 3 3 | 7 4 | 9 5 | 10 6 | -------------------------------------------------------------------------------- /benchmarks/mem/bubblesort.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 253 2 | -------------------------------------------------------------------------------- /benchmarks/mem/char-poly.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/char-poly.bril -------------------------------------------------------------------------------- /benchmarks/mem/char-poly.out: -------------------------------------------------------------------------------- 1 | -1 2 | 8 3 | -11 4 | -156 5 | -------------------------------------------------------------------------------- /benchmarks/mem/char-poly.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 383 2 | -------------------------------------------------------------------------------- /benchmarks/mem/connected-components.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1978 2 | -------------------------------------------------------------------------------- /benchmarks/mem/cordic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/cordic.bril -------------------------------------------------------------------------------- /benchmarks/mem/cordic.out: -------------------------------------------------------------------------------- 1 | 0.76616737005754065 2 | -------------------------------------------------------------------------------- /benchmarks/mem/cordic.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1062 2 | -------------------------------------------------------------------------------- /benchmarks/mem/csrmv.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/csrmv.bril -------------------------------------------------------------------------------- /benchmarks/mem/csrmv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/csrmv.out -------------------------------------------------------------------------------- /benchmarks/mem/csrmv.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 121202 2 | -------------------------------------------------------------------------------- /benchmarks/mem/dot-product.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/dot-product.bril -------------------------------------------------------------------------------- /benchmarks/mem/dot-product.out: -------------------------------------------------------------------------------- 1 | 17050 2 | -------------------------------------------------------------------------------- /benchmarks/mem/dot-product.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 88 2 | -------------------------------------------------------------------------------- /benchmarks/mem/eight-queens.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/eight-queens.bril -------------------------------------------------------------------------------- /benchmarks/mem/eight-queens.out: -------------------------------------------------------------------------------- 1 | 92 2 | -------------------------------------------------------------------------------- /benchmarks/mem/eight-queens.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1006454 2 | -------------------------------------------------------------------------------- /benchmarks/mem/fib.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/fib.bril -------------------------------------------------------------------------------- /benchmarks/mem/fib.out: -------------------------------------------------------------------------------- 1 | 34 2 | -------------------------------------------------------------------------------- /benchmarks/mem/fib.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 121 2 | -------------------------------------------------------------------------------- /benchmarks/mem/filter.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/filter.bril -------------------------------------------------------------------------------- /benchmarks/mem/filter.out: -------------------------------------------------------------------------------- 1 | 102 2 | 103 3 | 105 4 | -------------------------------------------------------------------------------- /benchmarks/mem/filter.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 94 2 | -------------------------------------------------------------------------------- /benchmarks/mem/fnv1-hash.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/fnv1-hash.bril -------------------------------------------------------------------------------- /benchmarks/mem/fnv1-hash.out: -------------------------------------------------------------------------------- 1 | 8573363309 2 | -------------------------------------------------------------------------------- /benchmarks/mem/fnv1-hash.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1768440 2 | -------------------------------------------------------------------------------- /benchmarks/mem/insertion-sort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/insertion-sort.bril -------------------------------------------------------------------------------- /benchmarks/mem/insertion-sort.out: -------------------------------------------------------------------------------- 1 | 7 2 | 22 3 | 35 4 | 60 5 | 81 6 | -------------------------------------------------------------------------------- /benchmarks/mem/insertion-sort.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 170 2 | -------------------------------------------------------------------------------- /benchmarks/mem/kadane.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/kadane.bril -------------------------------------------------------------------------------- /benchmarks/mem/kadane.out: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /benchmarks/mem/kadane.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 157 2 | -------------------------------------------------------------------------------- /benchmarks/mem/lis.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/lis.bril -------------------------------------------------------------------------------- /benchmarks/mem/lis.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmarks/mem/lis.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 583 2 | -------------------------------------------------------------------------------- /benchmarks/mem/major-elm.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/major-elm.bril -------------------------------------------------------------------------------- /benchmarks/mem/major-elm.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmarks/mem/major-elm.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 47 2 | -------------------------------------------------------------------------------- /benchmarks/mem/mat-mul.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/mat-mul.bril -------------------------------------------------------------------------------- /benchmarks/mem/mat-mul.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/mat-mul.out -------------------------------------------------------------------------------- /benchmarks/mem/mat-mul.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1990407 2 | -------------------------------------------------------------------------------- /benchmarks/mem/max-subarray.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/max-subarray.bril -------------------------------------------------------------------------------- /benchmarks/mem/max-subarray.out: -------------------------------------------------------------------------------- 1 | 100 2 | -------------------------------------------------------------------------------- /benchmarks/mem/max-subarray.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 193 2 | -------------------------------------------------------------------------------- /benchmarks/mem/primitive-root.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/primitive-root.bril -------------------------------------------------------------------------------- /benchmarks/mem/primitive-root.out: -------------------------------------------------------------------------------- 1 | 17 2 | -------------------------------------------------------------------------------- /benchmarks/mem/primitive-root.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 11029 2 | -------------------------------------------------------------------------------- /benchmarks/mem/quickselect.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/quickselect.bril -------------------------------------------------------------------------------- /benchmarks/mem/quickselect.out: -------------------------------------------------------------------------------- 1 | 108 2 | -------------------------------------------------------------------------------- /benchmarks/mem/quickselect.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 279 2 | -------------------------------------------------------------------------------- /benchmarks/mem/quicksort-hoare.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/quicksort-hoare.bril -------------------------------------------------------------------------------- /benchmarks/mem/quicksort-hoare.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/quicksort-hoare.out -------------------------------------------------------------------------------- /benchmarks/mem/quicksort-hoare.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 27333 2 | -------------------------------------------------------------------------------- /benchmarks/mem/quicksort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/quicksort.bril -------------------------------------------------------------------------------- /benchmarks/mem/quicksort.out: -------------------------------------------------------------------------------- 1 | 5 2 | 6 3 | 21 4 | 46 5 | 82 6 | 94 7 | -------------------------------------------------------------------------------- /benchmarks/mem/quicksort.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 264 2 | -------------------------------------------------------------------------------- /benchmarks/mem/shufflesort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/shufflesort.bril -------------------------------------------------------------------------------- /benchmarks/mem/shufflesort.out: -------------------------------------------------------------------------------- 1 | 12 2 | 123 3 | 234 4 | 525 5 | 873 6 | -------------------------------------------------------------------------------- /benchmarks/mem/shufflesort.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 36564 2 | -------------------------------------------------------------------------------- /benchmarks/mem/sieve.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/sieve.bril -------------------------------------------------------------------------------- /benchmarks/mem/sieve.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/sieve.out -------------------------------------------------------------------------------- /benchmarks/mem/sieve.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 3482 2 | -------------------------------------------------------------------------------- /benchmarks/mem/sorting-network-five.out: -------------------------------------------------------------------------------- 1 | 1 2 | 3 3 | 7 4 | 9 5 | 10 6 | -------------------------------------------------------------------------------- /benchmarks/mem/sorting-network-five.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 284 2 | -------------------------------------------------------------------------------- /benchmarks/mem/systolic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/systolic.bril -------------------------------------------------------------------------------- /benchmarks/mem/systolic.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/systolic.out -------------------------------------------------------------------------------- /benchmarks/mem/systolic.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 527 2 | -------------------------------------------------------------------------------- /benchmarks/mem/two-sum.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/two-sum.bril -------------------------------------------------------------------------------- /benchmarks/mem/two-sum.out: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | -------------------------------------------------------------------------------- /benchmarks/mem/two-sum.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 98 2 | -------------------------------------------------------------------------------- /benchmarks/mem/vsmul.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mem/vsmul.bril -------------------------------------------------------------------------------- /benchmarks/mem/vsmul.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/mem/vsmul.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 86036 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/brilirs-only/fast-inverse-sqrt.out: -------------------------------------------------------------------------------- 1 | 0.70692965079546399 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/brilirs-only/fast-inverse-sqrt.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 28 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/brilirs-only/montecarlo.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 110333392 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/cholesky.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/cholesky.bril -------------------------------------------------------------------------------- /benchmarks/mixed/cholesky.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/cholesky.out -------------------------------------------------------------------------------- /benchmarks/mixed/cholesky.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 3761 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/gol.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/gol.bril -------------------------------------------------------------------------------- /benchmarks/mixed/gol.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/gol.out -------------------------------------------------------------------------------- /benchmarks/mixed/gol.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1425 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/mat-inv.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/mat-inv.bril -------------------------------------------------------------------------------- /benchmarks/mixed/mat-inv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/mat-inv.out -------------------------------------------------------------------------------- /benchmarks/mixed/mat-inv.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 1044 2 | -------------------------------------------------------------------------------- /benchmarks/mixed/random_walk.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/random_walk.bril -------------------------------------------------------------------------------- /benchmarks/mixed/random_walk.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/mixed/random_walk.out -------------------------------------------------------------------------------- /benchmarks/mixed/random_walk.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 516754 2 | -------------------------------------------------------------------------------- /benchmarks/pi.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/pi.bril -------------------------------------------------------------------------------- /benchmarks/pi.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/pi.out -------------------------------------------------------------------------------- /benchmarks/pi.prof: -------------------------------------------------------------------------------- 1 | total_dyn_inst: 5929426 2 | -------------------------------------------------------------------------------- /benchmarks/plot.vl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/plot.vl.json -------------------------------------------------------------------------------- /benchmarks/summarize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/summarize.py -------------------------------------------------------------------------------- /benchmarks/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/benchmarks/turnt.toml -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/book.toml -------------------------------------------------------------------------------- /brench/.gitignore: -------------------------------------------------------------------------------- 1 | dist/ 2 | -------------------------------------------------------------------------------- /brench/brench.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brench/brench.py -------------------------------------------------------------------------------- /brench/example.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brench/example.toml -------------------------------------------------------------------------------- /brench/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brench/pyproject.toml -------------------------------------------------------------------------------- /bril-llvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/README.md -------------------------------------------------------------------------------- /bril-llvm/brilc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/brilc -------------------------------------------------------------------------------- /bril-llvm/brilpy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/brilpy.py -------------------------------------------------------------------------------- /bril-llvm/dom.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/dom.py -------------------------------------------------------------------------------- /bril-llvm/linkedlist.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/linkedlist.bril -------------------------------------------------------------------------------- /bril-llvm/point.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/point.bril -------------------------------------------------------------------------------- /bril-llvm/ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-llvm/ssa.py -------------------------------------------------------------------------------- /bril-ocaml/.gitignore: -------------------------------------------------------------------------------- 1 | .merlin 2 | _build/ 3 | -------------------------------------------------------------------------------- /bril-ocaml/.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/.ocamlformat -------------------------------------------------------------------------------- /bril-ocaml/bril.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/bril.opam -------------------------------------------------------------------------------- /bril-ocaml/count/count.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/count/count.ml -------------------------------------------------------------------------------- /bril-ocaml/count/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/count/dune -------------------------------------------------------------------------------- /bril-ocaml/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.7) 2 | (name bril) -------------------------------------------------------------------------------- /bril-ocaml/dune-workspace: -------------------------------------------------------------------------------- 1 | (lang dune 2.7) -------------------------------------------------------------------------------- /bril-ocaml/lib/bril.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/bril.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/bril.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/bril.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/bril_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/bril_type.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/bril_type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/bril_type.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/common.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/common.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/const.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/const.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/const.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/dest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/dest.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/dest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/dest.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/dune -------------------------------------------------------------------------------- /bril-ocaml/lib/func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/func.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/func.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/func.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/instr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/instr.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/instr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/instr.mli -------------------------------------------------------------------------------- /bril-ocaml/lib/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/op.ml -------------------------------------------------------------------------------- /bril-ocaml/lib/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/lib/op.mli -------------------------------------------------------------------------------- /bril-ocaml/test/count/bools.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/bools.bril -------------------------------------------------------------------------------- /bril-ocaml/test/count/bools.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/bools.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/empty.bril: -------------------------------------------------------------------------------- 1 | @main {} 2 | -------------------------------------------------------------------------------- /bril-ocaml/test/count/empty.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/empty.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/floats.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/floats.bril -------------------------------------------------------------------------------- /bril-ocaml/test/count/floats.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/floats.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/funcs.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/funcs.bril -------------------------------------------------------------------------------- /bril-ocaml/test/count/funcs.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/funcs.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/ints.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/ints.bril -------------------------------------------------------------------------------- /bril-ocaml/test/count/ints.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/ints.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/ptr.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/ptr.bril -------------------------------------------------------------------------------- /bril-ocaml/test/count/ptr.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/ptr.out -------------------------------------------------------------------------------- /bril-ocaml/test/count/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ocaml/test/count/turnt.toml -------------------------------------------------------------------------------- /bril-rs/.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | Cargo.lock 3 | .idea/** 4 | -------------------------------------------------------------------------------- /bril-rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/Makefile -------------------------------------------------------------------------------- /bril-rs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/README.md -------------------------------------------------------------------------------- /bril-rs/bril2json/.gitignore: -------------------------------------------------------------------------------- 1 | src/bril_grammar.rs -------------------------------------------------------------------------------- /bril-rs/bril2json/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/bril2json/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/README.md -------------------------------------------------------------------------------- /bril-rs/bril2json/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/build.rs -------------------------------------------------------------------------------- /bril-rs/bril2json/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/src/cli.rs -------------------------------------------------------------------------------- /bril-rs/bril2json/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/src/lib.rs -------------------------------------------------------------------------------- /bril-rs/bril2json/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/bril2json/src/main.rs -------------------------------------------------------------------------------- /bril-rs/brild/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/brild/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/README.md -------------------------------------------------------------------------------- /bril-rs/brild/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/src/cli.rs -------------------------------------------------------------------------------- /bril-rs/brild/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/src/error.rs -------------------------------------------------------------------------------- /bril-rs/brild/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/src/lib.rs -------------------------------------------------------------------------------- /bril-rs/brild/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brild/src/main.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll -------------------------------------------------------------------------------- /bril-rs/brillvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/brillvm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/Makefile -------------------------------------------------------------------------------- /bril-rs/brillvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/README.md -------------------------------------------------------------------------------- /bril-rs/brillvm/runtime/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/runtime/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/brillvm/runtime/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/runtime/build.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/runtime/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/runtime/src/main.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/src/cli.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/src/lib.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/src/llvm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/src/llvm.rs -------------------------------------------------------------------------------- /bril-rs/brillvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/brillvm/src/main.rs -------------------------------------------------------------------------------- /bril-rs/examples/bril2txt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/examples/bril2txt.rs -------------------------------------------------------------------------------- /bril-rs/rs2bril/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/Cargo.toml -------------------------------------------------------------------------------- /bril-rs/rs2bril/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/README.md -------------------------------------------------------------------------------- /bril-rs/rs2bril/example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/example.rs -------------------------------------------------------------------------------- /bril-rs/rs2bril/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/src/cli.rs -------------------------------------------------------------------------------- /bril-rs/rs2bril/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/src/lib.rs -------------------------------------------------------------------------------- /bril-rs/rs2bril/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/rs2bril/src/main.rs -------------------------------------------------------------------------------- /bril-rs/src/abstract_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/src/abstract_program.rs -------------------------------------------------------------------------------- /bril-rs/src/conversion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/src/conversion.rs -------------------------------------------------------------------------------- /bril-rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/src/lib.rs -------------------------------------------------------------------------------- /bril-rs/src/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-rs/src/program.rs -------------------------------------------------------------------------------- /bril-swift/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-swift/.gitignore -------------------------------------------------------------------------------- /bril-swift/Package.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-swift/Package.swift -------------------------------------------------------------------------------- /bril-swift/Sources/Bril/Code.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-swift/Sources/Bril/Code.swift -------------------------------------------------------------------------------- /bril-swift/Sources/Bril/Type.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-swift/Sources/Bril/Type.swift -------------------------------------------------------------------------------- /bril-ts/bril.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ts/bril.ts -------------------------------------------------------------------------------- /bril-ts/builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ts/builder.ts -------------------------------------------------------------------------------- /bril-ts/mem.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ts/mem.d.ts -------------------------------------------------------------------------------- /bril-ts/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ts/types.ts -------------------------------------------------------------------------------- /bril-ts/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-ts/util.ts -------------------------------------------------------------------------------- /bril-txt/briltxt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-txt/briltxt.py -------------------------------------------------------------------------------- /bril-txt/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-txt/pyproject.toml -------------------------------------------------------------------------------- /bril-vim/ftdetect/bril.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-vim/ftdetect/bril.vim -------------------------------------------------------------------------------- /bril-vim/ftplugin/bril.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-vim/ftplugin/bril.vim -------------------------------------------------------------------------------- /bril-vim/syntax/bril.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril-vim/syntax/bril.vim -------------------------------------------------------------------------------- /bril2json-rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /bril2json-rs/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/Cargo.lock -------------------------------------------------------------------------------- /bril2json-rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/Cargo.toml -------------------------------------------------------------------------------- /bril2json-rs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/README.md -------------------------------------------------------------------------------- /bril2json-rs/parse-error.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/parse-error.bril -------------------------------------------------------------------------------- /bril2json-rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/src/lib.rs -------------------------------------------------------------------------------- /bril2json-rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/src/main.rs -------------------------------------------------------------------------------- /bril2json-rs/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/bril2json-rs/test.py -------------------------------------------------------------------------------- /brilck.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilck.ts -------------------------------------------------------------------------------- /brili.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brili.ts -------------------------------------------------------------------------------- /brilift/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | -------------------------------------------------------------------------------- /brilift/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/Cargo.lock -------------------------------------------------------------------------------- /brilift/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/Cargo.toml -------------------------------------------------------------------------------- /brilift/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/Makefile -------------------------------------------------------------------------------- /brilift/rt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/rt.c -------------------------------------------------------------------------------- /brilift/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/run.sh -------------------------------------------------------------------------------- /brilift/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/src/lib.rs -------------------------------------------------------------------------------- /brilift/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/src/main.rs -------------------------------------------------------------------------------- /brilift/src/rt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/src/rt.rs -------------------------------------------------------------------------------- /brilift/src/translator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilift/src/translator.rs -------------------------------------------------------------------------------- /brilirs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/.gitignore -------------------------------------------------------------------------------- /brilirs/.rustfmt.toml: -------------------------------------------------------------------------------- 1 | tab_spaces = 2 2 | -------------------------------------------------------------------------------- /brilirs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/Cargo.toml -------------------------------------------------------------------------------- /brilirs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/Makefile -------------------------------------------------------------------------------- /brilirs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/README.md -------------------------------------------------------------------------------- /brilirs/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/build.rs -------------------------------------------------------------------------------- /brilirs/pgo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/pgo.sh -------------------------------------------------------------------------------- /brilirs/plot.vl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/plot.vl.json -------------------------------------------------------------------------------- /brilirs/src/basic_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/basic_block.rs -------------------------------------------------------------------------------- /brilirs/src/check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/check.rs -------------------------------------------------------------------------------- /brilirs/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/cli.rs -------------------------------------------------------------------------------- /brilirs/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/error.rs -------------------------------------------------------------------------------- /brilirs/src/interp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/interp.rs -------------------------------------------------------------------------------- /brilirs/src/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/ir.rs -------------------------------------------------------------------------------- /brilirs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/lib.rs -------------------------------------------------------------------------------- /brilirs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/src/main.rs -------------------------------------------------------------------------------- /brilirs/todo_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/todo_list.txt -------------------------------------------------------------------------------- /brilirs/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/brilirs/turnt.toml -------------------------------------------------------------------------------- /docs/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/SUMMARY.md -------------------------------------------------------------------------------- /docs/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/intro.md -------------------------------------------------------------------------------- /docs/lang/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/README.md -------------------------------------------------------------------------------- /docs/lang/bitcast.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/bitcast.md -------------------------------------------------------------------------------- /docs/lang/char.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/char.md -------------------------------------------------------------------------------- /docs/lang/core.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/core.md -------------------------------------------------------------------------------- /docs/lang/dynamic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/dynamic.md -------------------------------------------------------------------------------- /docs/lang/float.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/float.md -------------------------------------------------------------------------------- /docs/lang/import.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/import.md -------------------------------------------------------------------------------- /docs/lang/memory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/memory.md -------------------------------------------------------------------------------- /docs/lang/spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/spec.md -------------------------------------------------------------------------------- /docs/lang/ssa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/ssa.md -------------------------------------------------------------------------------- /docs/lang/ssa2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/ssa2.md -------------------------------------------------------------------------------- /docs/lang/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/syntax.md -------------------------------------------------------------------------------- /docs/lang/wellformed.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/lang/wellformed.md -------------------------------------------------------------------------------- /docs/tools/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/README.md -------------------------------------------------------------------------------- /docs/tools/bench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/bench.md -------------------------------------------------------------------------------- /docs/tools/brench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/brench.md -------------------------------------------------------------------------------- /docs/tools/brilck.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/brilck.md -------------------------------------------------------------------------------- /docs/tools/brilift.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/brilift.md -------------------------------------------------------------------------------- /docs/tools/brilirs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/brilirs.md -------------------------------------------------------------------------------- /docs/tools/flat-bril.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/flat-bril.md -------------------------------------------------------------------------------- /docs/tools/infer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/infer.md -------------------------------------------------------------------------------- /docs/tools/interp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/interp.md -------------------------------------------------------------------------------- /docs/tools/ocaml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/ocaml.md -------------------------------------------------------------------------------- /docs/tools/plugin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/plugin.md -------------------------------------------------------------------------------- /docs/tools/rust.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/rust.md -------------------------------------------------------------------------------- /docs/tools/swift.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/swift.md -------------------------------------------------------------------------------- /docs/tools/text.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/text.md -------------------------------------------------------------------------------- /docs/tools/ts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/ts.md -------------------------------------------------------------------------------- /docs/tools/ts2bril.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/ts2bril.md -------------------------------------------------------------------------------- /docs/tools/web-playground.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/docs/tools/web-playground.md -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/cfg.py -------------------------------------------------------------------------------- /examples/cfg_dot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/cfg_dot.py -------------------------------------------------------------------------------- /examples/df.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/df.py -------------------------------------------------------------------------------- /examples/dom.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/dom.py -------------------------------------------------------------------------------- /examples/form_blocks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/form_blocks.py -------------------------------------------------------------------------------- /examples/from_ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/from_ssa.py -------------------------------------------------------------------------------- /examples/is_ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/is_ssa.py -------------------------------------------------------------------------------- /examples/lvn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/lvn.py -------------------------------------------------------------------------------- /examples/normalize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/normalize.py -------------------------------------------------------------------------------- /examples/ssa_brench.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/ssa_brench.toml -------------------------------------------------------------------------------- /examples/ssa_plot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/ssa_plot.json -------------------------------------------------------------------------------- /examples/tdce.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/tdce.py -------------------------------------------------------------------------------- /examples/test/df/cond-args.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond-args.bril -------------------------------------------------------------------------------- /examples/test/df/cond-args.live.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond-args.live.out -------------------------------------------------------------------------------- /examples/test/df/cond.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond.bril -------------------------------------------------------------------------------- /examples/test/df/cond.cprop.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond.cprop.out -------------------------------------------------------------------------------- /examples/test/df/cond.defined.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond.defined.out -------------------------------------------------------------------------------- /examples/test/df/cond.live.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/cond.live.out -------------------------------------------------------------------------------- /examples/test/df/fact.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/fact.bril -------------------------------------------------------------------------------- /examples/test/df/fact.cprop.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/fact.cprop.out -------------------------------------------------------------------------------- /examples/test/df/fact.defined.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/fact.defined.out -------------------------------------------------------------------------------- /examples/test/df/fact.live.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/fact.live.out -------------------------------------------------------------------------------- /examples/test/df/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/df/turnt.toml -------------------------------------------------------------------------------- /examples/test/dom/loopcond.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/loopcond.bril -------------------------------------------------------------------------------- /examples/test/dom/loopcond.dom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/loopcond.dom.json -------------------------------------------------------------------------------- /examples/test/dom/loopcond.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/loopcond.ts -------------------------------------------------------------------------------- /examples/test/dom/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/turnt.toml -------------------------------------------------------------------------------- /examples/test/dom/while.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/while.bril -------------------------------------------------------------------------------- /examples/test/dom/while.dom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/while.dom.json -------------------------------------------------------------------------------- /examples/test/dom/while.front.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/while.front.json -------------------------------------------------------------------------------- /examples/test/dom/while.tree.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/dom/while.tree.json -------------------------------------------------------------------------------- /examples/test/from_ssa/basic.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/from_ssa/basic.bril -------------------------------------------------------------------------------- /examples/test/from_ssa/basic.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /examples/test/from_ssa/dead-set.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /examples/test/from_ssa/ssa-simple.out: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /examples/test/from_ssa/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/from_ssa/turnt.toml -------------------------------------------------------------------------------- /examples/test/lvn/clobber-arg.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber-arg.bril -------------------------------------------------------------------------------- /examples/test/lvn/clobber-arg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber-arg.out -------------------------------------------------------------------------------- /examples/test/lvn/clobber-fold.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber-fold.bril -------------------------------------------------------------------------------- /examples/test/lvn/clobber-fold.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber-fold.out -------------------------------------------------------------------------------- /examples/test/lvn/clobber.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber.bril -------------------------------------------------------------------------------- /examples/test/lvn/clobber.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/clobber.out -------------------------------------------------------------------------------- /examples/test/lvn/commute.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/commute.bril -------------------------------------------------------------------------------- /examples/test/lvn/commute.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/commute.out -------------------------------------------------------------------------------- /examples/test/lvn/idchain-prop.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/idchain-prop.bril -------------------------------------------------------------------------------- /examples/test/lvn/idchain-prop.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/idchain-prop.out -------------------------------------------------------------------------------- /examples/test/lvn/idchain.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/idchain.bril -------------------------------------------------------------------------------- /examples/test/lvn/idchain.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/idchain.out -------------------------------------------------------------------------------- /examples/test/lvn/nonlocal.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/nonlocal.bril -------------------------------------------------------------------------------- /examples/test/lvn/nonlocal.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/nonlocal.out -------------------------------------------------------------------------------- /examples/test/lvn/reassign.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/reassign.bril -------------------------------------------------------------------------------- /examples/test/lvn/reassign.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/reassign.out -------------------------------------------------------------------------------- /examples/test/lvn/redundant-dce.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/redundant-dce.out -------------------------------------------------------------------------------- /examples/test/lvn/redundant.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/redundant.bril -------------------------------------------------------------------------------- /examples/test/lvn/redundant.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/redundant.out -------------------------------------------------------------------------------- /examples/test/lvn/rename-fold.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/rename-fold.bril -------------------------------------------------------------------------------- /examples/test/lvn/rename-fold.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/rename-fold.out -------------------------------------------------------------------------------- /examples/test/lvn/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/lvn/turnt.toml -------------------------------------------------------------------------------- /examples/test/ssa/if-orig.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa/if-orig.bril -------------------------------------------------------------------------------- /examples/test/ssa/if-orig.out: -------------------------------------------------------------------------------- 1 | no 2 | -------------------------------------------------------------------------------- /examples/test/ssa/if-ssa.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa/if-ssa.bril -------------------------------------------------------------------------------- /examples/test/ssa/if-ssa.out: -------------------------------------------------------------------------------- 1 | yes 2 | -------------------------------------------------------------------------------- /examples/test/ssa/loop-orig.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa/loop-orig.bril -------------------------------------------------------------------------------- /examples/test/ssa/loop-orig.out: -------------------------------------------------------------------------------- 1 | no 2 | -------------------------------------------------------------------------------- /examples/test/ssa/loop-ssa.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa/loop-ssa.bril -------------------------------------------------------------------------------- /examples/test/ssa/loop-ssa.out: -------------------------------------------------------------------------------- 1 | yes 2 | -------------------------------------------------------------------------------- /examples/test/ssa/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa/turnt.toml -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/argwrite.out: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/if-const.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/if-ssa.out: -------------------------------------------------------------------------------- 1 | 94 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/if.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/ssa_roundtrip/if.bril -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/if.out: -------------------------------------------------------------------------------- 1 | 2209 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/loop-branch.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/loop.out: -------------------------------------------------------------------------------- 1 | 16 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/selfloop.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /examples/test/ssa_roundtrip/while.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /examples/test/tdce/combo.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/combo.bril -------------------------------------------------------------------------------- /examples/test/tdce/combo.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/combo.out -------------------------------------------------------------------------------- /examples/test/tdce/diamond.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/diamond.bril -------------------------------------------------------------------------------- /examples/test/tdce/diamond.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/diamond.out -------------------------------------------------------------------------------- /examples/test/tdce/double-pass.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/double-pass.bril -------------------------------------------------------------------------------- /examples/test/tdce/double-pass.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/double-pass.out -------------------------------------------------------------------------------- /examples/test/tdce/double.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/double.bril -------------------------------------------------------------------------------- /examples/test/tdce/double.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/double.out -------------------------------------------------------------------------------- /examples/test/tdce/reassign-dkp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/reassign-dkp.out -------------------------------------------------------------------------------- /examples/test/tdce/reassign.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/reassign.bril -------------------------------------------------------------------------------- /examples/test/tdce/reassign.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/reassign.out -------------------------------------------------------------------------------- /examples/test/tdce/simple.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/simple.bril -------------------------------------------------------------------------------- /examples/test/tdce/simple.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/simple.out -------------------------------------------------------------------------------- /examples/test/tdce/skipped.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/skipped.bril -------------------------------------------------------------------------------- /examples/test/tdce/skipped.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/skipped.out -------------------------------------------------------------------------------- /examples/test/tdce/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/tdce/turnt.toml -------------------------------------------------------------------------------- /examples/test/to_ssa/argwrite.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/argwrite.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/argwrite.crude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/argwrite.crude -------------------------------------------------------------------------------- /examples/test/to_ssa/argwrite.full: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/argwrite.full -------------------------------------------------------------------------------- /examples/test/to_ssa/if-const.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if-const.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/if-const.crude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if-const.crude -------------------------------------------------------------------------------- /examples/test/to_ssa/if-const.full: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if-const.full -------------------------------------------------------------------------------- /examples/test/to_ssa/if.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/if.crude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if.crude -------------------------------------------------------------------------------- /examples/test/to_ssa/if.full: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/if.full -------------------------------------------------------------------------------- /examples/test/to_ssa/loop.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/loop.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/loop.crude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/loop.crude -------------------------------------------------------------------------------- /examples/test/to_ssa/loop.full: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/loop.full -------------------------------------------------------------------------------- /examples/test/to_ssa/selfloop.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/selfloop.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/turnt.toml -------------------------------------------------------------------------------- /examples/test/to_ssa/while.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/while.bril -------------------------------------------------------------------------------- /examples/test/to_ssa/while.crude: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/while.crude -------------------------------------------------------------------------------- /examples/test/to_ssa/while.full: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/test/to_ssa/while.full -------------------------------------------------------------------------------- /examples/to_ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/to_ssa.py -------------------------------------------------------------------------------- /examples/to_ssa_crude.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/to_ssa_crude.py -------------------------------------------------------------------------------- /examples/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/examples/util.py -------------------------------------------------------------------------------- /fastbril/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | *~ 3 | \#*\# 4 | *.o -------------------------------------------------------------------------------- /fastbril/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/Makefile -------------------------------------------------------------------------------- /fastbril/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/README.md -------------------------------------------------------------------------------- /fastbril/bytecode.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/bytecode.txt -------------------------------------------------------------------------------- /fastbril/config/base.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/config/base.cf -------------------------------------------------------------------------------- /fastbril/config/float.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/config/float.cf -------------------------------------------------------------------------------- /fastbril/config/mem.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/config/mem.cf -------------------------------------------------------------------------------- /fastbril/config/ssa.cf: -------------------------------------------------------------------------------- 1 | PHI 22 2 | 3 | -------------------------------------------------------------------------------- /fastbril/config/types.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/config/types.cf -------------------------------------------------------------------------------- /fastbril/doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/doc/.gitignore -------------------------------------------------------------------------------- /fastbril/doc/auto/main.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/doc/auto/main.el -------------------------------------------------------------------------------- /fastbril/doc/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/doc/main.tex -------------------------------------------------------------------------------- /fastbril/docgen.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/docgen.awk -------------------------------------------------------------------------------- /fastbril/docgen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/docgen.sh -------------------------------------------------------------------------------- /fastbril/lib/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/lib/lib.c -------------------------------------------------------------------------------- /fastbril/src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/.gitignore -------------------------------------------------------------------------------- /fastbril/src/asm/armv8.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/asm/armv8.h -------------------------------------------------------------------------------- /fastbril/src/asm/asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/asm/asm.c -------------------------------------------------------------------------------- /fastbril/src/asm/asm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/asm/asm.h -------------------------------------------------------------------------------- /fastbril/src/asm/linear-scan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/asm/linear-scan.c -------------------------------------------------------------------------------- /fastbril/src/asm/linear-scan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/asm/linear-scan.h -------------------------------------------------------------------------------- /fastbril/src/bril-insns/base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/base.h -------------------------------------------------------------------------------- /fastbril/src/bril-insns/float.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/float.h -------------------------------------------------------------------------------- /fastbril/src/bril-insns/instrs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/instrs.c -------------------------------------------------------------------------------- /fastbril/src/bril-insns/instrs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/instrs.h -------------------------------------------------------------------------------- /fastbril/src/bril-insns/mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/mem.h -------------------------------------------------------------------------------- /fastbril/src/bril-insns/ssa.h: -------------------------------------------------------------------------------- 1 | #define PHI 22 2 | -------------------------------------------------------------------------------- /fastbril/src/bril-insns/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/bril-insns/types.h -------------------------------------------------------------------------------- /fastbril/src/byte-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/byte-io.c -------------------------------------------------------------------------------- /fastbril/src/byte-io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/byte-io.h -------------------------------------------------------------------------------- /fastbril/src/interp/interp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/interp/interp.c -------------------------------------------------------------------------------- /fastbril/src/interp/interp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/interp/interp.h -------------------------------------------------------------------------------- /fastbril/src/libs/hashmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/libs/hashmap.c -------------------------------------------------------------------------------- /fastbril/src/libs/hashmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/libs/hashmap.h -------------------------------------------------------------------------------- /fastbril/src/libs/json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/libs/json.h -------------------------------------------------------------------------------- /fastbril/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/main.c -------------------------------------------------------------------------------- /fastbril/src/parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/parser.c -------------------------------------------------------------------------------- /fastbril/src/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/parser.h -------------------------------------------------------------------------------- /fastbril/src/pretty-printer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/pretty-printer.c -------------------------------------------------------------------------------- /fastbril/src/pretty-printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/src/pretty-printer.h -------------------------------------------------------------------------------- /fastbril/srcgen.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/fastbril/srcgen.awk -------------------------------------------------------------------------------- /flat-bril/.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | /target 3 | *.fbril 4 | 5 | -------------------------------------------------------------------------------- /flat-bril/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/Cargo.lock -------------------------------------------------------------------------------- /flat-bril/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/Cargo.toml -------------------------------------------------------------------------------- /flat-bril/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/README.md -------------------------------------------------------------------------------- /flat-bril/rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 80 -------------------------------------------------------------------------------- /flat-bril/src/flatten.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/flatten.rs -------------------------------------------------------------------------------- /flat-bril/src/interp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/interp.rs -------------------------------------------------------------------------------- /flat-bril/src/json_roundtrip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/json_roundtrip.rs -------------------------------------------------------------------------------- /flat-bril/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/main.rs -------------------------------------------------------------------------------- /flat-bril/src/memfile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/memfile.rs -------------------------------------------------------------------------------- /flat-bril/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/types.rs -------------------------------------------------------------------------------- /flat-bril/src/unflatten.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/flat-bril/src/unflatten.rs -------------------------------------------------------------------------------- /test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/README.md -------------------------------------------------------------------------------- /test/check/argtype.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/argtype.bril -------------------------------------------------------------------------------- /test/check/argtype.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/argtype.err -------------------------------------------------------------------------------- /test/check/badcall.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badcall.bril -------------------------------------------------------------------------------- /test/check/badcall.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badcall.err -------------------------------------------------------------------------------- /test/check/badconst.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badconst.bril -------------------------------------------------------------------------------- /test/check/badconst.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badconst.err -------------------------------------------------------------------------------- /test/check/badid.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badid.bril -------------------------------------------------------------------------------- /test/check/badid.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badid.err -------------------------------------------------------------------------------- /test/check/badmem.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badmem.bril -------------------------------------------------------------------------------- /test/check/badmem.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/badmem.err -------------------------------------------------------------------------------- /test/check/char.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/char.bril -------------------------------------------------------------------------------- /test/check/char.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/char.err -------------------------------------------------------------------------------- /test/check/extra.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/extra.bril -------------------------------------------------------------------------------- /test/check/extra.err: -------------------------------------------------------------------------------- 1 | 2:3: add expects 2 args, not 3 2 | -------------------------------------------------------------------------------- /test/check/labels.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/labels.bril -------------------------------------------------------------------------------- /test/check/labels.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/labels.err -------------------------------------------------------------------------------- /test/check/main-args.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/main-args.bril -------------------------------------------------------------------------------- /test/check/main-args.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/check/mainret.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/mainret.bril -------------------------------------------------------------------------------- /test/check/mainret.err: -------------------------------------------------------------------------------- 1 | 1:1: @main must have no return type; found int 2 | -------------------------------------------------------------------------------- /test/check/mem.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/mem.bril -------------------------------------------------------------------------------- /test/check/mem.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/check/missarg.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/missarg.bril -------------------------------------------------------------------------------- /test/check/missarg.err: -------------------------------------------------------------------------------- 1 | 2:3: add expects 2 args, not 1 2 | -------------------------------------------------------------------------------- /test/check/missdest.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/missdest.bril -------------------------------------------------------------------------------- /test/check/missdest.err: -------------------------------------------------------------------------------- 1 | 2:3: missing result type int for add 2 | -------------------------------------------------------------------------------- /test/check/noret.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/noret.bril -------------------------------------------------------------------------------- /test/check/noret.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/noret.err -------------------------------------------------------------------------------- /test/check/printres.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/printres.bril -------------------------------------------------------------------------------- /test/check/printres.err: -------------------------------------------------------------------------------- 1 | 2:3: print should have no result type 2 | -------------------------------------------------------------------------------- /test/check/ptr.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/ptr.bril -------------------------------------------------------------------------------- /test/check/ptr.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/ptr.err -------------------------------------------------------------------------------- /test/check/speculate.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/speculate.bril -------------------------------------------------------------------------------- /test/check/speculate.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/speculate.err -------------------------------------------------------------------------------- /test/check/ssa.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/ssa.bril -------------------------------------------------------------------------------- /test/check/ssa.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/ssa.err -------------------------------------------------------------------------------- /test/check/tiny.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/tiny.bril -------------------------------------------------------------------------------- /test/check/tiny.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/check/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/turnt.toml -------------------------------------------------------------------------------- /test/check/typeconflict.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/typeconflict.bril -------------------------------------------------------------------------------- /test/check/typeconflict.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/check/typeconflict.err -------------------------------------------------------------------------------- /test/check/undef.bril: -------------------------------------------------------------------------------- 1 | @main { 2 | b: int = add a b; 3 | } 4 | -------------------------------------------------------------------------------- /test/check/undef.err: -------------------------------------------------------------------------------- 1 | 2:3: a (arg 0) undefined 2 | -------------------------------------------------------------------------------- /test/interp-error/char-error/badconversion.err: -------------------------------------------------------------------------------- 1 | error: value 56193 cannot be converted to char 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/call-void-return-error.err: -------------------------------------------------------------------------------- 1 | error: unexpected value returned without destination 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/call-wrong-argument-types.err: -------------------------------------------------------------------------------- 1 | error: function argument type mismatch 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/call-wrong-arity.err: -------------------------------------------------------------------------------- 1 | error: function expected 2 arguments, got 3 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/divide_by_zero.err: -------------------------------------------------------------------------------- 1 | error: division by zero 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/duplicate_function.err: -------------------------------------------------------------------------------- 1 | error: multiple functions of name f found 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/duplicate_main.err: -------------------------------------------------------------------------------- 1 | error: multiple functions of name main found 2 | -------------------------------------------------------------------------------- /test/interp-error/core-error/undefined-func.bril: -------------------------------------------------------------------------------- 1 | @main { 2 | call @notafun; 3 | } 4 | -------------------------------------------------------------------------------- /test/interp-error/dynamic-error/dynamic_error_simple.err: -------------------------------------------------------------------------------- 1 | error: and argument 0 must be a bool 2 | -------------------------------------------------------------------------------- /test/interp-error/mem-error/out_of_bounds.err: -------------------------------------------------------------------------------- 1 | error: Uninitialized heap location 0 and/or illegal offset 2 2 | -------------------------------------------------------------------------------- /test/interp-error/mem-error/out_of_bounds_2.err: -------------------------------------------------------------------------------- 1 | error: Uninitialized heap location 0 and/or illegal offset -1 2 | -------------------------------------------------------------------------------- /test/interp-error/mem-error/wrong_write.err: -------------------------------------------------------------------------------- 1 | error: store argument 1 must be a int 2 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-call.err: -------------------------------------------------------------------------------- 1 | error: call not allowed during speculation 2 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-double-commit.err: -------------------------------------------------------------------------------- 1 | error: commit in non-speculative state 2 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-nonspec-abort.err: -------------------------------------------------------------------------------- 1 | error: abort in non-speculative state 2 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-return-implicit.bril: -------------------------------------------------------------------------------- 1 | @main { 2 | speculate; 3 | } 4 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-return-implicit.err: -------------------------------------------------------------------------------- 1 | error: implicit return in speculative state 2 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-return.bril: -------------------------------------------------------------------------------- 1 | @main { 2 | speculate; 3 | ret; 4 | } 5 | -------------------------------------------------------------------------------- /test/interp-error/spec-error/spec-return.err: -------------------------------------------------------------------------------- 1 | error: ret not allowed during speculation 2 | -------------------------------------------------------------------------------- /test/interp-error/ssa-error/double-phi.err: -------------------------------------------------------------------------------- 1 | error: get without corresponding set for x 2 | -------------------------------------------------------------------------------- /test/interp-error/ssa-error/missing-set.bril: -------------------------------------------------------------------------------- 1 | @main { 2 | x: int = get; 3 | } 4 | -------------------------------------------------------------------------------- /test/interp-error/ssa-error/missing-set.err: -------------------------------------------------------------------------------- 1 | error: get without corresponding set for x 2 | -------------------------------------------------------------------------------- /test/interp-error/ssa-error/undef-add.err: -------------------------------------------------------------------------------- 1 | error: add argument 0 must be a int 2 | -------------------------------------------------------------------------------- /test/interp-error/ssa-error/undef-print.err: -------------------------------------------------------------------------------- 1 | error: print of undefined value 2 | -------------------------------------------------------------------------------- /test/interp-error/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp-error/turnt.toml -------------------------------------------------------------------------------- /test/interp/char/char.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/char/char.bril -------------------------------------------------------------------------------- /test/interp/char/char.out: -------------------------------------------------------------------------------- 1 | h e y 🐶 2 | -------------------------------------------------------------------------------- /test/interp/char/char_args.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/char/char_args.bril -------------------------------------------------------------------------------- /test/interp/char/char_args.out: -------------------------------------------------------------------------------- 1 | h e y 🐱 2 | -------------------------------------------------------------------------------- /test/interp/char/char_ops.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/char/char_ops.bril -------------------------------------------------------------------------------- /test/interp/char/char_ops.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/char/char_ops.out -------------------------------------------------------------------------------- /test/interp/char/control_char.out: -------------------------------------------------------------------------------- 1 |   2 | 3 | -------------------------------------------------------------------------------- /test/interp/char/conversions.out: -------------------------------------------------------------------------------- 1 | A 65 𝛀 120512 2 | -------------------------------------------------------------------------------- /test/interp/core/br.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/br.bril -------------------------------------------------------------------------------- /test/interp/core/br.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/interp/core/call-with-args.out: -------------------------------------------------------------------------------- 1 | 4 2 | 2 3 | 4 4 | -------------------------------------------------------------------------------- /test/interp/core/call.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/call.bril -------------------------------------------------------------------------------- /test/interp/core/call.out: -------------------------------------------------------------------------------- 1 | 4 2 | 2 3 | -------------------------------------------------------------------------------- /test/interp/core/dead_block.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/dead_block.bril -------------------------------------------------------------------------------- /test/interp/core/dead_block.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /test/interp/core/div.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/div.bril -------------------------------------------------------------------------------- /test/interp/core/div.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /test/interp/core/jmp.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/jmp.bril -------------------------------------------------------------------------------- /test/interp/core/jmp.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /test/interp/core/main-args.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/main-args.bril -------------------------------------------------------------------------------- /test/interp/core/main-args.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /test/interp/core/main-bool-args.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/interp/core/non_linear_control_flow.out: -------------------------------------------------------------------------------- 1 | 2 2 | 0 3 | -------------------------------------------------------------------------------- /test/interp/core/nop.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/nop.bril -------------------------------------------------------------------------------- /test/interp/core/nop.out: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /test/interp/core/ret.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/ret.bril -------------------------------------------------------------------------------- /test/interp/core/ret.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /test/interp/core/tiny.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/core/tiny.bril -------------------------------------------------------------------------------- /test/interp/core/tiny.out: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /test/interp/dynamic/mem_dynamic_struct.out: -------------------------------------------------------------------------------- 1 | true 0 2 | -------------------------------------------------------------------------------- /test/interp/float/float.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/float/float.bril -------------------------------------------------------------------------------- /test/interp/float/float.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/float/float.out -------------------------------------------------------------------------------- /test/interp/float/float_args.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/float/float_args.out -------------------------------------------------------------------------------- /test/interp/mem/access.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/access.bril -------------------------------------------------------------------------------- /test/interp/mem/access.out: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /test/interp/mem/access_many.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/access_many.bril -------------------------------------------------------------------------------- /test/interp/mem/access_many.out: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /test/interp/mem/access_ptr.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/access_ptr.bril -------------------------------------------------------------------------------- /test/interp/mem/access_ptr.out: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /test/interp/mem/alloc.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/alloc.bril -------------------------------------------------------------------------------- /test/interp/mem/alloc.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /test/interp/mem/alloc_large.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/alloc_large.bril -------------------------------------------------------------------------------- /test/interp/mem/alloc_large.out: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /test/interp/mem/alloc_many.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/alloc_many.bril -------------------------------------------------------------------------------- /test/interp/mem/alloc_many.out: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /test/interp/mem/fib.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/fib.bril -------------------------------------------------------------------------------- /test/interp/mem/fib.out: -------------------------------------------------------------------------------- 1 | 34 2 | -------------------------------------------------------------------------------- /test/interp/mem/mem_id.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/mem_id.bril -------------------------------------------------------------------------------- /test/interp/mem/mem_id.out: -------------------------------------------------------------------------------- 1 | true 2 | -------------------------------------------------------------------------------- /test/interp/mem/ptr_call.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/ptr_call.bril -------------------------------------------------------------------------------- /test/interp/mem/ptr_call.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/interp/mem/ptr_ret.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/mem/ptr_ret.bril -------------------------------------------------------------------------------- /test/interp/mem/ptr_ret.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/interp/mixed/store-char.out: -------------------------------------------------------------------------------- 1 | o 2 | i 3 | . 4 | -------------------------------------------------------------------------------- /test/interp/spec/spec-abort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/spec/spec-abort.bril -------------------------------------------------------------------------------- /test/interp/spec/spec-abort.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /test/interp/spec/spec-commit.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/interp/spec/spec-nested.out: -------------------------------------------------------------------------------- 1 | 2 2 | 0 3 | -------------------------------------------------------------------------------- /test/interp/spec/spec-noabort.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/interp/ssa/ssa-simple.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/ssa/ssa-simple.bril -------------------------------------------------------------------------------- /test/interp/ssa/ssa-simple.out: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /test/interp/ssa/ssa-two-phi.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/ssa/ssa-two-phi.bril -------------------------------------------------------------------------------- /test/interp/ssa/ssa-two-phi.out: -------------------------------------------------------------------------------- 1 | 7 2 | 7 3 | -------------------------------------------------------------------------------- /test/interp/ssa/ssu-regression.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/interp/ssa/swap-problem.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/ssa/swap-problem.out -------------------------------------------------------------------------------- /test/interp/ssa/undef.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/ssa/undef.bril -------------------------------------------------------------------------------- /test/interp/ssa/undef.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /test/interp/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/interp/turnt.toml -------------------------------------------------------------------------------- /test/linking/diamond.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/diamond.bril -------------------------------------------------------------------------------- /test/linking/diamond.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/diamond.out -------------------------------------------------------------------------------- /test/linking/link_ops.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/link_ops.bril -------------------------------------------------------------------------------- /test/linking/link_ops.out: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 0 4 | -------------------------------------------------------------------------------- /test/linking/nested.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/nested.bril -------------------------------------------------------------------------------- /test/linking/nested.out: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 0 4 | -------------------------------------------------------------------------------- /test/linking/recursive.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/recursive.bril -------------------------------------------------------------------------------- /test/linking/recursive.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /test/linking/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/linking/turnt.toml -------------------------------------------------------------------------------- /test/parse/add.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/add.bril -------------------------------------------------------------------------------- /test/parse/add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/add.json -------------------------------------------------------------------------------- /test/parse/char.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/char.bril -------------------------------------------------------------------------------- /test/parse/char.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/char.json -------------------------------------------------------------------------------- /test/parse/comment.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/comment.bril -------------------------------------------------------------------------------- /test/parse/comment.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/comment.json -------------------------------------------------------------------------------- /test/parse/float.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/float.bril -------------------------------------------------------------------------------- /test/parse/float.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/float.json -------------------------------------------------------------------------------- /test/parse/mem.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/mem.bril -------------------------------------------------------------------------------- /test/parse/mem.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/mem.json -------------------------------------------------------------------------------- /test/parse/positions.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/positions.bril -------------------------------------------------------------------------------- /test/parse/positions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/positions.json -------------------------------------------------------------------------------- /test/parse/print.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/print.bril -------------------------------------------------------------------------------- /test/parse/print.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/print.json -------------------------------------------------------------------------------- /test/parse/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/parse/turnt.toml -------------------------------------------------------------------------------- /test/print/add.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/add.bril -------------------------------------------------------------------------------- /test/print/add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/add.json -------------------------------------------------------------------------------- /test/print/call.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/call.bril -------------------------------------------------------------------------------- /test/print/call.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/call.json -------------------------------------------------------------------------------- /test/print/char.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/char.bril -------------------------------------------------------------------------------- /test/print/char.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/char.json -------------------------------------------------------------------------------- /test/print/eight-queens.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/eight-queens.bril -------------------------------------------------------------------------------- /test/print/eight-queens.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/eight-queens.json -------------------------------------------------------------------------------- /test/print/ptr.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/ptr.bril -------------------------------------------------------------------------------- /test/print/ptr.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/ptr.json -------------------------------------------------------------------------------- /test/print/spec-abort.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/spec-abort.bril -------------------------------------------------------------------------------- /test/print/spec-abort.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/spec-abort.json -------------------------------------------------------------------------------- /test/print/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/print/turnt.toml -------------------------------------------------------------------------------- /test/rs/ackermann.out: -------------------------------------------------------------------------------- 1 | 509 2 | -------------------------------------------------------------------------------- /test/rs/ackermann.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/ackermann.rs -------------------------------------------------------------------------------- /test/rs/boolvar.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/rs/boolvar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/boolvar.rs -------------------------------------------------------------------------------- /test/rs/call-explicit.out: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /test/rs/call-explicit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/call-explicit.rs -------------------------------------------------------------------------------- /test/rs/cholesky.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/cholesky.out -------------------------------------------------------------------------------- /test/rs/cholesky.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/cholesky.rs -------------------------------------------------------------------------------- /test/rs/cond.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/rs/cond.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/cond.rs -------------------------------------------------------------------------------- /test/rs/factorial.out: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /test/rs/factorial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/factorial.rs -------------------------------------------------------------------------------- /test/rs/float-add.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/float-add.out -------------------------------------------------------------------------------- /test/rs/float-add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/float-add.rs -------------------------------------------------------------------------------- /test/rs/loopfact.out: -------------------------------------------------------------------------------- 1 | 40320 2 | -------------------------------------------------------------------------------- /test/rs/loopfact.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/loopfact.rs -------------------------------------------------------------------------------- /test/rs/nested_call.out: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /test/rs/nested_call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/nested_call.rs -------------------------------------------------------------------------------- /test/rs/riemann.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/riemann.out -------------------------------------------------------------------------------- /test/rs/riemann.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/riemann.rs -------------------------------------------------------------------------------- /test/rs/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/rs/turnt.toml -------------------------------------------------------------------------------- /test/ts-error/call-nonvoid-return-nothing.err: -------------------------------------------------------------------------------- 1 | error: non-void function (type: int) doesn't return anything 2 | -------------------------------------------------------------------------------- /test/ts-error/call-nonvoid-return-nothing.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/ts-error/call-return-nothing.err: -------------------------------------------------------------------------------- 1 | error: non-void function (type: int) doesn't return anything 2 | -------------------------------------------------------------------------------- /test/ts-error/call-return-nothing.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/ts-error/call-void-return.out: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /test/ts-error/call-wrong-arity.err: -------------------------------------------------------------------------------- 1 | error: function expected 2 arguments, got 3 2 | -------------------------------------------------------------------------------- /test/ts-error/call-wrong-arity.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/ts-error/call-wrong-declared-type.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/ts-error/turnt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts-error/turnt.toml -------------------------------------------------------------------------------- /test/ts/boolvar.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/boolvar.out -------------------------------------------------------------------------------- /test/ts/boolvar.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/boolvar.ts -------------------------------------------------------------------------------- /test/ts/call-explicit-void.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/call-explicit-void.out -------------------------------------------------------------------------------- /test/ts/call-explicit-void.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/call-explicit-void.ts -------------------------------------------------------------------------------- /test/ts/call.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/call.out -------------------------------------------------------------------------------- /test/ts/call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/call.ts -------------------------------------------------------------------------------- /test/ts/cond.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/cond.out -------------------------------------------------------------------------------- /test/ts/cond.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/cond.ts -------------------------------------------------------------------------------- /test/ts/factorial.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/factorial.out -------------------------------------------------------------------------------- /test/ts/factorial.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/factorial.ts -------------------------------------------------------------------------------- /test/ts/float-add.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/float-add.out -------------------------------------------------------------------------------- /test/ts/float-add.ts: -------------------------------------------------------------------------------- 1 | console.log(40.2 + 1.8); 2 | -------------------------------------------------------------------------------- /test/ts/loopfact.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/loopfact.out -------------------------------------------------------------------------------- /test/ts/loopfact.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/loopfact.ts -------------------------------------------------------------------------------- /test/ts/main.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/main.out -------------------------------------------------------------------------------- /test/ts/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/main.ts -------------------------------------------------------------------------------- /test/ts/memory-call.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-call.out -------------------------------------------------------------------------------- /test/ts/memory-call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-call.ts -------------------------------------------------------------------------------- /test/ts/memory-loop.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-loop.out -------------------------------------------------------------------------------- /test/ts/memory-loop.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-loop.ts -------------------------------------------------------------------------------- /test/ts/memory-matrix.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-matrix.out -------------------------------------------------------------------------------- /test/ts/memory-matrix.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/memory-matrix.ts -------------------------------------------------------------------------------- /test/ts/nested-call.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/nested-call.out -------------------------------------------------------------------------------- /test/ts/nested-call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/nested-call.ts -------------------------------------------------------------------------------- /test/ts/printvar.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/printvar.out -------------------------------------------------------------------------------- /test/ts/printvar.ts: -------------------------------------------------------------------------------- 1 | var x = 5n; 2 | console.log(x); 3 | -------------------------------------------------------------------------------- /test/ts/return.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/return.out -------------------------------------------------------------------------------- /test/ts/return.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/return.ts -------------------------------------------------------------------------------- /test/ts/simplified.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/simplified.out -------------------------------------------------------------------------------- /test/ts/simplified.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/test/ts/simplified.ts -------------------------------------------------------------------------------- /test/ts/turnt.toml: -------------------------------------------------------------------------------- 1 | command = "ts2bril {filename} | bril2txt" 2 | -------------------------------------------------------------------------------- /ts2bril.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/ts2bril.ts -------------------------------------------------------------------------------- /type-infer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/Makefile -------------------------------------------------------------------------------- /type-infer/infer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/infer.py -------------------------------------------------------------------------------- /type-infer/tests/infer/br.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/br.bril -------------------------------------------------------------------------------- /type-infer/tests/infer/br.tbril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/br.tbril -------------------------------------------------------------------------------- /type-infer/tests/infer/div.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/div.bril -------------------------------------------------------------------------------- /type-infer/tests/infer/div.tbril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/div.tbril -------------------------------------------------------------------------------- /type-infer/tests/infer/jmp.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/jmp.bril -------------------------------------------------------------------------------- /type-infer/tests/infer/jmp.tbril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/jmp.tbril -------------------------------------------------------------------------------- /type-infer/tests/infer/nop.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/nop.bril -------------------------------------------------------------------------------- /type-infer/tests/infer/nop.tbril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/nop.tbril -------------------------------------------------------------------------------- /type-infer/tests/infer/ret.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/ret.bril -------------------------------------------------------------------------------- /type-infer/tests/infer/ret.tbril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/ret.tbril -------------------------------------------------------------------------------- /type-infer/tests/infer/tiny.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/infer/tiny.bril -------------------------------------------------------------------------------- /type-infer/tests/parse/add.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/parse/add.bril -------------------------------------------------------------------------------- /type-infer/tests/parse/add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/parse/add.json -------------------------------------------------------------------------------- /type-infer/tests/parse/div.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/parse/div.bril -------------------------------------------------------------------------------- /type-infer/tests/parse/div.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/parse/div.json -------------------------------------------------------------------------------- /type-infer/tests/print/add.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/print/add.bril -------------------------------------------------------------------------------- /type-infer/tests/print/add.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/print/add.json -------------------------------------------------------------------------------- /type-infer/tests/print/div.bril: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/print/div.bril -------------------------------------------------------------------------------- /type-infer/tests/print/div.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sampsyo/bril/HEAD/type-infer/tests/print/div.json --------------------------------------------------------------------------------