├── .clang-format ├── .github └── workflows │ └── build.yml ├── .gitignore ├── CMakeLists.txt ├── Dockerfile ├── LICENSE ├── README.md ├── cmake └── FindAlive2.cmake ├── include ├── alive-interface.h ├── codegen.h ├── config.h ├── cost-command.h.in ├── cost.h ├── enumerator.h ├── expr.h ├── lexer.h ├── parse.h ├── removal-slice.h ├── slice.h ├── tokens.h ├── type.h └── utils.h ├── lib ├── alive-interface.cpp ├── codegen.cpp ├── config.cpp ├── cost.cpp ├── enumerator.cpp ├── expr.cpp ├── lexer.re ├── parse.cpp ├── slice.cpp ├── type.cpp └── utils.cpp ├── pass ├── online.cpp └── stat │ ├── CMakeLists.txt │ └── HelloWorld.cpp ├── scripts ├── cache-dump.in ├── cache-infer.in ├── get-cost.in ├── infer-cut.sh.in ├── minotaur-cc.in ├── opt-minotaur.sh.in └── slice-cc.in ├── tests ├── and0.syn.ll ├── and1.syn.ll ├── and2.syn.ll ├── and3.syn.ll ├── const │ ├── const0.syn.ll │ ├── const1.syn.ll │ ├── control0.ll │ ├── diff1.constsyn.ll │ ├── diff2.constsyn.ll │ ├── fadd1.constsyn.ll │ ├── fadd2.constsyn.ll │ ├── fcmp1.constsyn.ll │ ├── fcmp2.constsyn.ll │ ├── fmul1.constsyn.ll │ ├── fmul2.constsyn.ll │ ├── fmul3.constsyn.ll │ ├── fsub1.constsyn.ll │ ├── fsub2.constsyn.ll │ ├── shuffle1.constsyn.ll │ └── shuffle2.constsyn.ll ├── datamovements │ ├── extractelement0.syn.ll │ ├── extractelement1.syn.ll │ ├── extractelement2.syn.ll │ ├── extractelement3.syn.ll │ ├── insertelement0.syn.ll │ ├── insertelement1.syn.ll │ ├── insertelement10.syn.ll │ ├── insertelement11.syn.ll │ ├── insertelement2.syn.ll │ ├── insertelement3.syn.ll │ ├── insertelement4.syn.ll │ ├── insertelement5.syn.ll │ ├── insertelement6.syn.ll │ ├── insertelement7.syn.ll │ ├── insertelement8.syn.ll │ ├── insertelement9.syn.ll │ ├── shuffle1.syn.ll │ ├── shuffle2.syn.ll │ ├── shuffle3.syn.ll │ ├── shuffle4.syn.ll │ ├── shuffle5.syn.ll │ ├── shuffle6.syn.ll │ └── shuffle7.syn.ll ├── diff.constsyn.ll ├── divergence.ll ├── fcmp_or.syn.ll ├── fp │ ├── case1.syn.ll │ ├── case10.syn.ll │ ├── case11.syn.ll │ ├── case12.syn.ll │ ├── case13.syn.ll │ ├── case14.syn.ll │ ├── case15.syn.ll │ ├── case2.syn.ll │ ├── case3.syn.ll │ ├── case4.syn.skip.ll │ ├── case5.syn.ll │ ├── case6.syn.ll │ ├── case7.syn.ll │ ├── case8.syn.ll │ ├── case9.syn.ll │ ├── copysign0.syn.ll │ ├── copysign1.syn.ll │ ├── copysign2.syn.ll │ ├── fabs0.syn.ll │ ├── fabs1.syn.ll │ ├── fabs2.syn.ll │ ├── fabs3.syn.ll │ ├── fabs4.syn.ll │ ├── fabs5.syn.ll │ ├── fabs6.syn.ll │ ├── fabs7.syn.ll │ ├── fadd0.syn.ll │ ├── fadd1.syn.ll │ ├── fadd2.syn.ll │ ├── fcmp0.syn.ll │ ├── fcmp1.syn.ll │ ├── fcmp2.syn.ll │ ├── fcmp3.syn.ll │ ├── fmul0.syn.ll │ ├── fneg0.syn.skip.ll │ ├── fneg1.syn.ll │ ├── fpext0.syn.ll │ ├── fptrunc0.syn.ll │ ├── maximum0.syn.ll │ ├── maximum1.syn.ll │ ├── maximum2.syn.ll │ ├── maximum3.syn.ll │ ├── maxnum0.syn.ll │ ├── maxnum1.syn.ll │ ├── maxnum2.syn.ll │ ├── maxnum3.syn.ll │ ├── minimum0.syn.ll │ ├── minimum1.syn.ll │ ├── minimum2.syn.ll │ ├── minimum3.syn.ll │ ├── minnum0.syn.ll │ ├── minnum1.syn.ll │ ├── minnum2.syn.ll │ ├── minnum3.syn.ll │ ├── sitofp0.syn.ll │ ├── sitofp1.syn.ll │ ├── sitofp2.syn.ll │ ├── trunc0.syn.ll │ ├── uitofp0.syn.ll │ ├── uitofp1.syn.ll │ └── uitofp2.syn.ll ├── hacks │ ├── pmaddwd-merge.syn.ll │ ├── psll.syn.skip.ll │ ├── shuffle-ext-to-pmaddwd1.syn.ll │ ├── shuffle-ext-to-pmaddwd2.syn.ll │ ├── shuffle-ext-to-pmaddwd3.syn.ll │ └── shuffle-ext-to-pmaddwd4.syn.ll ├── icmp0.syn.ll ├── icmp1.syn.ll ├── issue_16.syn.ll ├── lit.cfg.py ├── lit │ ├── README.txt │ ├── lit.py │ └── lit │ │ ├── BooleanExpression.py │ │ ├── LitConfig.py │ │ ├── ProgressBar.py │ │ ├── ShCommands.py │ │ ├── ShUtil.py │ │ ├── Test.py │ │ ├── TestRunner.py │ │ ├── TestingConfig.py │ │ ├── __init__.py │ │ ├── discovery.py │ │ ├── formats │ │ ├── __init__.py │ │ ├── base.py │ │ └── minotaurtest.py │ │ ├── main.py │ │ ├── run.py │ │ └── util.py ├── memory │ ├── syn_mem1.syn.mem.ll │ ├── syn_mem2.syn.mem.ll │ ├── syn_mem3.syn.mem.ll │ ├── syn_mem4.syn.mem.ll │ ├── syn_mem5.syn.mem.ll │ ├── syn_mem6.syn.mem.ll │ └── syn_mem7.syn.mem.ll ├── nop1.syn.ll ├── nop2.syn.ll ├── nop3.syn.ll ├── nop4.syn.ll ├── nop5.syn.ll ├── nop6.syn.ll ├── nop7.syn.ll ├── nop8.syn.ll ├── or0.syn.ll ├── reverse1.syn.ll ├── reverse2.syn.ll ├── select0.syn.ll ├── select1.syn.ll ├── sub0.syn.ll ├── sub1.syn.ll ├── syn_add1.syn.ll ├── syn_add2.syn.ll ├── syn_add3.syn.ll ├── syn_add4.syn.ll ├── syn_ashr1.syn.ll ├── syn_ashr2.syn.ll ├── syn_const_bitmask0.syn.ll ├── syn_const_bitmask1.syn.ll ├── syn_const_control_flow.ll ├── syn_const_fsll0.skip.ll ├── syn_domtree_constraint1.syn.ll ├── syn_fneg.ll ├── syn_pavg1.syn.ll ├── syn_pavg2.syn.ll ├── syn_pavg3.syn.ll ├── syn_pmaddwd1.syn.ll ├── syn_psad_const1.ll ├── syn_sext0.syn.ll ├── syn_sext1.syn.ll ├── syn_sext2.syn.ll ├── syn_trunc0.syn.ll ├── syn_trunc1.syn.ll ├── syn_trunc2.syn.ll ├── syn_width_relax1.syn.ll ├── test02.ll ├── test04.ll ├── umax0.syn.ll ├── umin0.syn.ll ├── usub0.syn.ll ├── xor0.syn.ll ├── xor1.syn.ll ├── zext0.syn.ll ├── zext1.syn.ll ├── zext2.syn.ll ├── zext3.syn.ll ├── zext4.syn.ll ├── zext5.syn.ll ├── zext6.syn.ll ├── zext7.syn.ll └── zext8.syn.ll ├── tools ├── minotaur-cs.cpp └── minotaur-slice.cpp └── unit-tests └── parse-tests.cpp /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.pyc 2 | build/ 3 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/README.md -------------------------------------------------------------------------------- /cmake/FindAlive2.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/cmake/FindAlive2.cmake -------------------------------------------------------------------------------- /include/alive-interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/alive-interface.h -------------------------------------------------------------------------------- /include/codegen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/codegen.h -------------------------------------------------------------------------------- /include/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/config.h -------------------------------------------------------------------------------- /include/cost-command.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/cost-command.h.in -------------------------------------------------------------------------------- /include/cost.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/cost.h -------------------------------------------------------------------------------- /include/enumerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/enumerator.h -------------------------------------------------------------------------------- /include/expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/expr.h -------------------------------------------------------------------------------- /include/lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/lexer.h -------------------------------------------------------------------------------- /include/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/parse.h -------------------------------------------------------------------------------- /include/removal-slice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/removal-slice.h -------------------------------------------------------------------------------- /include/slice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/slice.h -------------------------------------------------------------------------------- /include/tokens.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/tokens.h -------------------------------------------------------------------------------- /include/type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/type.h -------------------------------------------------------------------------------- /include/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/include/utils.h -------------------------------------------------------------------------------- /lib/alive-interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/alive-interface.cpp -------------------------------------------------------------------------------- /lib/codegen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/codegen.cpp -------------------------------------------------------------------------------- /lib/config.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/config.cpp -------------------------------------------------------------------------------- /lib/cost.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/cost.cpp -------------------------------------------------------------------------------- /lib/enumerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/enumerator.cpp -------------------------------------------------------------------------------- /lib/expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/expr.cpp -------------------------------------------------------------------------------- /lib/lexer.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/lexer.re -------------------------------------------------------------------------------- /lib/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/parse.cpp -------------------------------------------------------------------------------- /lib/slice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/slice.cpp -------------------------------------------------------------------------------- /lib/type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/type.cpp -------------------------------------------------------------------------------- /lib/utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/lib/utils.cpp -------------------------------------------------------------------------------- /pass/online.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/pass/online.cpp -------------------------------------------------------------------------------- /pass/stat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/pass/stat/CMakeLists.txt -------------------------------------------------------------------------------- /pass/stat/HelloWorld.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/pass/stat/HelloWorld.cpp -------------------------------------------------------------------------------- /scripts/cache-dump.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/cache-dump.in -------------------------------------------------------------------------------- /scripts/cache-infer.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/cache-infer.in -------------------------------------------------------------------------------- /scripts/get-cost.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/get-cost.in -------------------------------------------------------------------------------- /scripts/infer-cut.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/infer-cut.sh.in -------------------------------------------------------------------------------- /scripts/minotaur-cc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/minotaur-cc.in -------------------------------------------------------------------------------- /scripts/opt-minotaur.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/opt-minotaur.sh.in -------------------------------------------------------------------------------- /scripts/slice-cc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/scripts/slice-cc.in -------------------------------------------------------------------------------- /tests/and0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/and0.syn.ll -------------------------------------------------------------------------------- /tests/and1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/and1.syn.ll -------------------------------------------------------------------------------- /tests/and2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/and2.syn.ll -------------------------------------------------------------------------------- /tests/and3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/and3.syn.ll -------------------------------------------------------------------------------- /tests/const/const0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/const0.syn.ll -------------------------------------------------------------------------------- /tests/const/const1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/const1.syn.ll -------------------------------------------------------------------------------- /tests/const/control0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/control0.ll -------------------------------------------------------------------------------- /tests/const/diff1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/diff1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/diff2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/diff2.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fadd1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fadd1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fadd2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fadd2.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fcmp1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fcmp1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fcmp2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fcmp2.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fmul1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fmul1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fmul2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fmul2.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fmul3.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fmul3.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fsub1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fsub1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/fsub2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/fsub2.constsyn.ll -------------------------------------------------------------------------------- /tests/const/shuffle1.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/shuffle1.constsyn.ll -------------------------------------------------------------------------------- /tests/const/shuffle2.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/const/shuffle2.constsyn.ll -------------------------------------------------------------------------------- /tests/datamovements/extractelement0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/extractelement0.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/extractelement1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/extractelement1.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/extractelement2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/extractelement2.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/extractelement3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/extractelement3.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement0.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement1.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement10.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement10.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement11.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement11.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement2.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement3.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement4.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement5.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement6.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement7.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement8.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement8.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/insertelement9.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/insertelement9.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle1.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle2.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle3.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle4.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle5.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle6.syn.ll -------------------------------------------------------------------------------- /tests/datamovements/shuffle7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/datamovements/shuffle7.syn.ll -------------------------------------------------------------------------------- /tests/diff.constsyn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/diff.constsyn.ll -------------------------------------------------------------------------------- /tests/divergence.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/divergence.ll -------------------------------------------------------------------------------- /tests/fcmp_or.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fcmp_or.syn.ll -------------------------------------------------------------------------------- /tests/fp/case1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case1.syn.ll -------------------------------------------------------------------------------- /tests/fp/case10.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case10.syn.ll -------------------------------------------------------------------------------- /tests/fp/case11.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case11.syn.ll -------------------------------------------------------------------------------- /tests/fp/case12.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case12.syn.ll -------------------------------------------------------------------------------- /tests/fp/case13.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case13.syn.ll -------------------------------------------------------------------------------- /tests/fp/case14.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case14.syn.ll -------------------------------------------------------------------------------- /tests/fp/case15.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case15.syn.ll -------------------------------------------------------------------------------- /tests/fp/case2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case2.syn.ll -------------------------------------------------------------------------------- /tests/fp/case3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case3.syn.ll -------------------------------------------------------------------------------- /tests/fp/case4.syn.skip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case4.syn.skip.ll -------------------------------------------------------------------------------- /tests/fp/case5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case5.syn.ll -------------------------------------------------------------------------------- /tests/fp/case6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case6.syn.ll -------------------------------------------------------------------------------- /tests/fp/case7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case7.syn.ll -------------------------------------------------------------------------------- /tests/fp/case8.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case8.syn.ll -------------------------------------------------------------------------------- /tests/fp/case9.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/case9.syn.ll -------------------------------------------------------------------------------- /tests/fp/copysign0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/copysign0.syn.ll -------------------------------------------------------------------------------- /tests/fp/copysign1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/copysign1.syn.ll -------------------------------------------------------------------------------- /tests/fp/copysign2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/copysign2.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs0.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs1.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs2.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs3.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs4.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs5.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs6.syn.ll -------------------------------------------------------------------------------- /tests/fp/fabs7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fabs7.syn.ll -------------------------------------------------------------------------------- /tests/fp/fadd0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fadd0.syn.ll -------------------------------------------------------------------------------- /tests/fp/fadd1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fadd1.syn.ll -------------------------------------------------------------------------------- /tests/fp/fadd2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fadd2.syn.ll -------------------------------------------------------------------------------- /tests/fp/fcmp0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fcmp0.syn.ll -------------------------------------------------------------------------------- /tests/fp/fcmp1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fcmp1.syn.ll -------------------------------------------------------------------------------- /tests/fp/fcmp2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fcmp2.syn.ll -------------------------------------------------------------------------------- /tests/fp/fcmp3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fcmp3.syn.ll -------------------------------------------------------------------------------- /tests/fp/fmul0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fmul0.syn.ll -------------------------------------------------------------------------------- /tests/fp/fneg0.syn.skip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fneg0.syn.skip.ll -------------------------------------------------------------------------------- /tests/fp/fneg1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fneg1.syn.ll -------------------------------------------------------------------------------- /tests/fp/fpext0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fpext0.syn.ll -------------------------------------------------------------------------------- /tests/fp/fptrunc0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/fptrunc0.syn.ll -------------------------------------------------------------------------------- /tests/fp/maximum0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maximum0.syn.ll -------------------------------------------------------------------------------- /tests/fp/maximum1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maximum1.syn.ll -------------------------------------------------------------------------------- /tests/fp/maximum2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maximum2.syn.ll -------------------------------------------------------------------------------- /tests/fp/maximum3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maximum3.syn.ll -------------------------------------------------------------------------------- /tests/fp/maxnum0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maxnum0.syn.ll -------------------------------------------------------------------------------- /tests/fp/maxnum1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maxnum1.syn.ll -------------------------------------------------------------------------------- /tests/fp/maxnum2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maxnum2.syn.ll -------------------------------------------------------------------------------- /tests/fp/maxnum3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/maxnum3.syn.ll -------------------------------------------------------------------------------- /tests/fp/minimum0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minimum0.syn.ll -------------------------------------------------------------------------------- /tests/fp/minimum1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minimum1.syn.ll -------------------------------------------------------------------------------- /tests/fp/minimum2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minimum2.syn.ll -------------------------------------------------------------------------------- /tests/fp/minimum3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minimum3.syn.ll -------------------------------------------------------------------------------- /tests/fp/minnum0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minnum0.syn.ll -------------------------------------------------------------------------------- /tests/fp/minnum1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minnum1.syn.ll -------------------------------------------------------------------------------- /tests/fp/minnum2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minnum2.syn.ll -------------------------------------------------------------------------------- /tests/fp/minnum3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/minnum3.syn.ll -------------------------------------------------------------------------------- /tests/fp/sitofp0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/sitofp0.syn.ll -------------------------------------------------------------------------------- /tests/fp/sitofp1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/sitofp1.syn.ll -------------------------------------------------------------------------------- /tests/fp/sitofp2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/sitofp2.syn.ll -------------------------------------------------------------------------------- /tests/fp/trunc0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/trunc0.syn.ll -------------------------------------------------------------------------------- /tests/fp/uitofp0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/uitofp0.syn.ll -------------------------------------------------------------------------------- /tests/fp/uitofp1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/uitofp1.syn.ll -------------------------------------------------------------------------------- /tests/fp/uitofp2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/fp/uitofp2.syn.ll -------------------------------------------------------------------------------- /tests/hacks/pmaddwd-merge.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/pmaddwd-merge.syn.ll -------------------------------------------------------------------------------- /tests/hacks/psll.syn.skip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/psll.syn.skip.ll -------------------------------------------------------------------------------- /tests/hacks/shuffle-ext-to-pmaddwd1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/shuffle-ext-to-pmaddwd1.syn.ll -------------------------------------------------------------------------------- /tests/hacks/shuffle-ext-to-pmaddwd2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/shuffle-ext-to-pmaddwd2.syn.ll -------------------------------------------------------------------------------- /tests/hacks/shuffle-ext-to-pmaddwd3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/shuffle-ext-to-pmaddwd3.syn.ll -------------------------------------------------------------------------------- /tests/hacks/shuffle-ext-to-pmaddwd4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/hacks/shuffle-ext-to-pmaddwd4.syn.ll -------------------------------------------------------------------------------- /tests/icmp0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/icmp0.syn.ll -------------------------------------------------------------------------------- /tests/icmp1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/icmp1.syn.ll -------------------------------------------------------------------------------- /tests/issue_16.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/issue_16.syn.ll -------------------------------------------------------------------------------- /tests/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit.cfg.py -------------------------------------------------------------------------------- /tests/lit/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/README.txt -------------------------------------------------------------------------------- /tests/lit/lit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit.py -------------------------------------------------------------------------------- /tests/lit/lit/BooleanExpression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/BooleanExpression.py -------------------------------------------------------------------------------- /tests/lit/lit/LitConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/LitConfig.py -------------------------------------------------------------------------------- /tests/lit/lit/ProgressBar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/ProgressBar.py -------------------------------------------------------------------------------- /tests/lit/lit/ShCommands.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/ShCommands.py -------------------------------------------------------------------------------- /tests/lit/lit/ShUtil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/ShUtil.py -------------------------------------------------------------------------------- /tests/lit/lit/Test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/Test.py -------------------------------------------------------------------------------- /tests/lit/lit/TestRunner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/TestRunner.py -------------------------------------------------------------------------------- /tests/lit/lit/TestingConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/TestingConfig.py -------------------------------------------------------------------------------- /tests/lit/lit/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/__init__.py -------------------------------------------------------------------------------- /tests/lit/lit/discovery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/discovery.py -------------------------------------------------------------------------------- /tests/lit/lit/formats/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/formats/__init__.py -------------------------------------------------------------------------------- /tests/lit/lit/formats/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/formats/base.py -------------------------------------------------------------------------------- /tests/lit/lit/formats/minotaurtest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/formats/minotaurtest.py -------------------------------------------------------------------------------- /tests/lit/lit/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/main.py -------------------------------------------------------------------------------- /tests/lit/lit/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/run.py -------------------------------------------------------------------------------- /tests/lit/lit/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/lit/lit/util.py -------------------------------------------------------------------------------- /tests/memory/syn_mem1.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem1.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem2.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem2.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem3.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem3.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem4.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem4.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem5.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem5.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem6.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem6.syn.mem.ll -------------------------------------------------------------------------------- /tests/memory/syn_mem7.syn.mem.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/memory/syn_mem7.syn.mem.ll -------------------------------------------------------------------------------- /tests/nop1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop1.syn.ll -------------------------------------------------------------------------------- /tests/nop2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop2.syn.ll -------------------------------------------------------------------------------- /tests/nop3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop3.syn.ll -------------------------------------------------------------------------------- /tests/nop4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop4.syn.ll -------------------------------------------------------------------------------- /tests/nop5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop5.syn.ll -------------------------------------------------------------------------------- /tests/nop6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop6.syn.ll -------------------------------------------------------------------------------- /tests/nop7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop7.syn.ll -------------------------------------------------------------------------------- /tests/nop8.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/nop8.syn.ll -------------------------------------------------------------------------------- /tests/or0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/or0.syn.ll -------------------------------------------------------------------------------- /tests/reverse1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/reverse1.syn.ll -------------------------------------------------------------------------------- /tests/reverse2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/reverse2.syn.ll -------------------------------------------------------------------------------- /tests/select0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/select0.syn.ll -------------------------------------------------------------------------------- /tests/select1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/select1.syn.ll -------------------------------------------------------------------------------- /tests/sub0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/sub0.syn.ll -------------------------------------------------------------------------------- /tests/sub1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/sub1.syn.ll -------------------------------------------------------------------------------- /tests/syn_add1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_add1.syn.ll -------------------------------------------------------------------------------- /tests/syn_add2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_add2.syn.ll -------------------------------------------------------------------------------- /tests/syn_add3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_add3.syn.ll -------------------------------------------------------------------------------- /tests/syn_add4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_add4.syn.ll -------------------------------------------------------------------------------- /tests/syn_ashr1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_ashr1.syn.ll -------------------------------------------------------------------------------- /tests/syn_ashr2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_ashr2.syn.ll -------------------------------------------------------------------------------- /tests/syn_const_bitmask0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_const_bitmask0.syn.ll -------------------------------------------------------------------------------- /tests/syn_const_bitmask1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_const_bitmask1.syn.ll -------------------------------------------------------------------------------- /tests/syn_const_control_flow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_const_control_flow.ll -------------------------------------------------------------------------------- /tests/syn_const_fsll0.skip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_const_fsll0.skip.ll -------------------------------------------------------------------------------- /tests/syn_domtree_constraint1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_domtree_constraint1.syn.ll -------------------------------------------------------------------------------- /tests/syn_fneg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_fneg.ll -------------------------------------------------------------------------------- /tests/syn_pavg1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_pavg1.syn.ll -------------------------------------------------------------------------------- /tests/syn_pavg2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_pavg2.syn.ll -------------------------------------------------------------------------------- /tests/syn_pavg3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_pavg3.syn.ll -------------------------------------------------------------------------------- /tests/syn_pmaddwd1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_pmaddwd1.syn.ll -------------------------------------------------------------------------------- /tests/syn_psad_const1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_psad_const1.ll -------------------------------------------------------------------------------- /tests/syn_sext0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_sext0.syn.ll -------------------------------------------------------------------------------- /tests/syn_sext1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_sext1.syn.ll -------------------------------------------------------------------------------- /tests/syn_sext2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_sext2.syn.ll -------------------------------------------------------------------------------- /tests/syn_trunc0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_trunc0.syn.ll -------------------------------------------------------------------------------- /tests/syn_trunc1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_trunc1.syn.ll -------------------------------------------------------------------------------- /tests/syn_trunc2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_trunc2.syn.ll -------------------------------------------------------------------------------- /tests/syn_width_relax1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/syn_width_relax1.syn.ll -------------------------------------------------------------------------------- /tests/test02.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/test02.ll -------------------------------------------------------------------------------- /tests/test04.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/test04.ll -------------------------------------------------------------------------------- /tests/umax0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/umax0.syn.ll -------------------------------------------------------------------------------- /tests/umin0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/umin0.syn.ll -------------------------------------------------------------------------------- /tests/usub0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/usub0.syn.ll -------------------------------------------------------------------------------- /tests/xor0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/xor0.syn.ll -------------------------------------------------------------------------------- /tests/xor1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/xor1.syn.ll -------------------------------------------------------------------------------- /tests/zext0.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext0.syn.ll -------------------------------------------------------------------------------- /tests/zext1.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext1.syn.ll -------------------------------------------------------------------------------- /tests/zext2.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext2.syn.ll -------------------------------------------------------------------------------- /tests/zext3.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext3.syn.ll -------------------------------------------------------------------------------- /tests/zext4.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext4.syn.ll -------------------------------------------------------------------------------- /tests/zext5.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext5.syn.ll -------------------------------------------------------------------------------- /tests/zext6.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext6.syn.ll -------------------------------------------------------------------------------- /tests/zext7.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext7.syn.ll -------------------------------------------------------------------------------- /tests/zext8.syn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tests/zext8.syn.ll -------------------------------------------------------------------------------- /tools/minotaur-cs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tools/minotaur-cs.cpp -------------------------------------------------------------------------------- /tools/minotaur-slice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/tools/minotaur-slice.cpp -------------------------------------------------------------------------------- /unit-tests/parse-tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minotaur-toolkit/minotaur/HEAD/unit-tests/parse-tests.cpp --------------------------------------------------------------------------------