Three test file formats are supported:
-
if a unit test has the suffix ".srctgt.ll" then this file will be sent to alive-tv. it should stand on its own.
-
if a unit test has the suffix ".src.ll" then ".tgt.ll" must also exist, and this pair of files will be sent to alive-tv
-
if a unit test has the suffix ".ident.ll" then it will be sent to alive-tv as a source and target with -always-verify enabled.
-
if a unit test has the suffix ".opt.ll" then it will be sent to opt with tv plugin enabled.
-
if a unit test has the suffix ".c" or ".cpp" then it will be sent to clang(++) with tv plugin enabled.
-
otherwise, the test is assumed to be written in the Alive domain specific language and it will be sent to alive