├── LICENSE ├── Makefile.in ├── README.md ├── config.h.in ├── configure ├── configure.ac ├── doc └── limitations.md ├── lib ├── asm_parser.cpp ├── cache.cpp ├── cfg.cpp ├── check.cpp ├── cse.cpp ├── dead_code_elimination.cpp ├── loop_unroll.cpp ├── memory_opt.cpp ├── read_aarch64.cpp ├── read_bpf.cpp ├── read_ir.cpp ├── read_riscv.cpp ├── read_sh.cpp ├── reduce_bitsize.cpp ├── simplify_insts.cpp ├── smt_cvc5.cpp ├── smt_z3.cpp ├── smtgcc.cpp ├── smtgcc.h ├── util.cpp ├── validate_ir.cpp └── vrp.cpp ├── plugin ├── aarch64.cpp ├── bpf.cpp ├── gimple_conv.cpp ├── gimple_conv.h ├── riscv.cpp ├── sh.cpp ├── smtgcc-check-refine.cpp ├── smtgcc-tv-backend.cpp └── smtgcc-tv.cpp └── tools ├── smtgcc-check-refine.cpp ├── smtgcc-check-ub.cpp └── smtgcc-opt.cpp /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/Makefile.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/README.md -------------------------------------------------------------------------------- /config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/config.h.in -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/configure -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/configure.ac -------------------------------------------------------------------------------- /doc/limitations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/doc/limitations.md -------------------------------------------------------------------------------- /lib/asm_parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/asm_parser.cpp -------------------------------------------------------------------------------- /lib/cache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/cache.cpp -------------------------------------------------------------------------------- /lib/cfg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/cfg.cpp -------------------------------------------------------------------------------- /lib/check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/check.cpp -------------------------------------------------------------------------------- /lib/cse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/cse.cpp -------------------------------------------------------------------------------- /lib/dead_code_elimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/dead_code_elimination.cpp -------------------------------------------------------------------------------- /lib/loop_unroll.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/loop_unroll.cpp -------------------------------------------------------------------------------- /lib/memory_opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/memory_opt.cpp -------------------------------------------------------------------------------- /lib/read_aarch64.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/read_aarch64.cpp -------------------------------------------------------------------------------- /lib/read_bpf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/read_bpf.cpp -------------------------------------------------------------------------------- /lib/read_ir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/read_ir.cpp -------------------------------------------------------------------------------- /lib/read_riscv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/read_riscv.cpp -------------------------------------------------------------------------------- /lib/read_sh.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/read_sh.cpp -------------------------------------------------------------------------------- /lib/reduce_bitsize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/reduce_bitsize.cpp -------------------------------------------------------------------------------- /lib/simplify_insts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/simplify_insts.cpp -------------------------------------------------------------------------------- /lib/smt_cvc5.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/smt_cvc5.cpp -------------------------------------------------------------------------------- /lib/smt_z3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/smt_z3.cpp -------------------------------------------------------------------------------- /lib/smtgcc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/smtgcc.cpp -------------------------------------------------------------------------------- /lib/smtgcc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/smtgcc.h -------------------------------------------------------------------------------- /lib/util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/util.cpp -------------------------------------------------------------------------------- /lib/validate_ir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/validate_ir.cpp -------------------------------------------------------------------------------- /lib/vrp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/lib/vrp.cpp -------------------------------------------------------------------------------- /plugin/aarch64.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/aarch64.cpp -------------------------------------------------------------------------------- /plugin/bpf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/bpf.cpp -------------------------------------------------------------------------------- /plugin/gimple_conv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/gimple_conv.cpp -------------------------------------------------------------------------------- /plugin/gimple_conv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/gimple_conv.h -------------------------------------------------------------------------------- /plugin/riscv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/riscv.cpp -------------------------------------------------------------------------------- /plugin/sh.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/sh.cpp -------------------------------------------------------------------------------- /plugin/smtgcc-check-refine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/smtgcc-check-refine.cpp -------------------------------------------------------------------------------- /plugin/smtgcc-tv-backend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/smtgcc-tv-backend.cpp -------------------------------------------------------------------------------- /plugin/smtgcc-tv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/plugin/smtgcc-tv.cpp -------------------------------------------------------------------------------- /tools/smtgcc-check-refine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/tools/smtgcc-check-refine.cpp -------------------------------------------------------------------------------- /tools/smtgcc-check-ub.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/tools/smtgcc-check-ub.cpp -------------------------------------------------------------------------------- /tools/smtgcc-opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kristerw/smtgcc/HEAD/tools/smtgcc-opt.cpp --------------------------------------------------------------------------------