Code

Offline Partial Eval#55

Code

Merged

ncough merged 49 commits intopartial_evalUQ-PAC/aslp:partial_evalfrom taintUQ-PAC/aslp:taintCopy head branch name to clipboardMar 18, 2024

+3,615-104

Commits

Commits on Mar 11, 2024

• Fix a typo and stub out some complex behaviours in spec

  ncough

  committed
  13b9db4

  Copy full SHA for 13b9db4

• Add bool prims to prim list

  ncough

  committed
  3bdba30

  Copy full SHA for 3bdba30

• Add missing prims for type inference in transforms

  ncough

  committed
  6a0f549

  Copy full SHA for 6a0f549

• StatefulIntToBit fixes

  Show description for d14df21
  ncough

  committed
  d14df21

  Copy full SHA for d14df21

• Pass to remove temp dynamic bitvectors

  Show description for 06585eb
  ncough

  committed
  06585eb

  Copy full SHA for 06585eb

• Rework mask support to reduce to bitops

  Show description for b33a795
  ncough

  committed
  b33a795

  Copy full SHA for b33a795

• Centralise no_inline sets

  Show description for 1692ad8
  ncough

  committed
  1692ad8

  Copy full SHA for 1692ad8

• Extend stmt append to halt on terminal stmts

  Show description for 4910d10
  ncough

  committed
  4910d10

  Copy full SHA for 4910d10

• Symbolic array accesses

  Show description for e4a2be2
  ncough

  committed
  e4a2be2

  Copy full SHA for e4a2be2

• Some helpers for dealing with fn signatures

  ncough

  committed
  5fbd788

  Copy full SHA for 5fbd788

• Mostly working offline partial eval pipeline

  Show description for e88fafb
  ncough

  committed
  e88fafb

  Copy full SHA for e88fafb

Commits on Mar 12, 2024

• Build decoder tests without patterns or early returns

  ncough

  committed
  44e561f

  Copy full SHA for 44e561f

• Functionality to get the type of an expression post-dis

  ncough

  committed
  30e5aa2

  Copy full SHA for 30e5aa2

• Add entry point, coverage testing for offline

  ncough

  committed
  1e4e16e

  Copy full SHA for 1e4e16e

Commits on Mar 13, 2024

• Add a pass to replace register types with bits

  ncough

  committed
  d1b440c

  Copy full SHA for d1b440c

• Add req transform for cases

  ncough

  committed
  683dbf4

  Copy full SHA for 683dbf4

• Extend offline to integer operations

  ncough

  committed
  8f3194d

  Copy full SHA for 8f3194d

• Add coverage script for offline

  Show description for baece37
  ncough

  committed
  baece37

  Copy full SHA for baece37

• Hack in prj file support to offline coverage, matching existing results

  ncough

  committed
  0e01ba2

  Copy full SHA for 0e01ba2

• Reduce debug printing

  ncough

  committed
  4629f70

  Copy full SHA for 4629f70

• Fixes for branches

  ncough

  committed
  5d34f5c

  Copy full SHA for 5d34f5c

• Fixes for memory operations

  ncough

  committed
  1b9c0c4

  Copy full SHA for 1b9c0c4

• Prevent large vector ops for now

  ncough

  committed
  d0a4d1d

  Copy full SHA for d0a4d1d

• Partially extend req patterns

  ncough

  committed
  c62b269

  Copy full SHA for c62b269

• Extend symbolic to support reducing HiLo widths

  ncough

  committed
  a41fe70

  Copy full SHA for a41fe70

• Coverage fixes

  ncough

  committed
  85b446c

  Copy full SHA for 85b446c

• Consider producing many individual files

  ncough

  committed
  5c16002

  Copy full SHA for 5c16002

• Add getlast util

  ncough

  committed
  0e2ab6b

  Copy full SHA for 0e2ab6b

• Extend offline to support floats

  ncough

  committed
  bb3660f

  Copy full SHA for bb3660f

• Clean out redundant transforms, filters

  ncough

  committed
  8d028bf

  Copy full SHA for 8d028bf

• Fix IntToBit for cvt_int_bits

  Show description for 4359e28
  ncough

  committed
  4359e28

  Copy full SHA for 4359e28

• Prune useless globals

  ncough

  committed
  be46773

  Copy full SHA for be46773

• Generalise req patterns to capture generic case & LowestSetBit

  ncough

  committed
  8afd480

  Copy full SHA for 8afd480

• Improve sub_int simplification

  Show description for dc8702f
  ncough

  committed
  dc8702f

  Copy full SHA for dc8702f

• Rather than failing on unsupported PSTATE mods, insert assert

  ncough

  committed
  6487cd1

  Copy full SHA for 6487cd1

• Ocaml backend cleanup

  ncough

  committed
  0145c36

  Copy full SHA for 0145c36

• Prune unsupported impdefs, block insts with unsupported state access

  ncough

  committed
  97bc172

  Copy full SHA for 97bc172

• Offline lifter cleanup, push to all of aarch64

  ncough

  committed
  ff4faf6

  Copy full SHA for ff4faf6

• Collect TODOs

  ncough

  committed
  3f4107d

  Copy full SHA for 3f4107d

Commits on Mar 14, 2024

• Cleanup build, bundle empty implementation to avoid costly builds

  ncough

  committed
  64abb6e

  Copy full SHA for 64abb6e

• Fixups for coverage

  Show description for 9cb7137
  ncough

  committed
  9cb7137

  Copy full SHA for 9cb7137

• Convert tuple return from FPToFixedJS to bitvec

  ncough

  committed
  deeb964

  Copy full SHA for deeb964

• Offline transform cleanup

  ncough

  committed
  2276156

  Copy full SHA for 2276156

• Replace bool impdefs with false rather than assert

  ncough

  committed
  4d12d79

  Copy full SHA for 4d12d79

• Add missing fp op

  ncough

  committed
  246a34c

  Copy full SHA for 246a34c

• Fix sed usage

  ncough

  committed
  a311fc3

  Copy full SHA for a311fc3

• Fix coverage for FPToFixedJS

  Show description for 4b5f9af
  ncough

  committed
  4b5f9af

  Copy full SHA for 4b5f9af

Commits on Mar 17, 2024

• Extend ocaml backend to produce many files

  ncough

  committed
  fc94e90

  Copy full SHA for fc94e90

Commits on Mar 18, 2024

• Eliminate unnecessary temps in offline transform

  Show description for 12221c1
  ncough

  committed
  12221c1

  Copy full SHA for 12221c1