#include <dmlc/logging.h> #include <gtest/gtest.h> #include <tvm/tvm.h> #include <tvm/ir_pass.h> TEST(IRSSA, Convert) { using namespace Halide::Internal; using namespace tvm; Var x("x"), y; Expr let = Let::make(x, 1, x + 1); auto z = Evaluate::make(let + let); CHECK(!ir::VerifySSA(z)); auto z_ssa = ir::ConvertSSA(z); CHECK(ir::VerifySSA(z_ssa)); } TEST(IRSSA, Basic) { using namespace Halide::Internal; using namespace tvm; Var x("x"), y; auto z = Evaluate::make(x + y); CHECK(ir::VerifySSA(z)); } int main(int argc, char ** argv) { testing::InitGoogleTest(&argc, argv); testing::FLAGS_gtest_death_test_style = "threadsafe"; return RUN_ALL_TESTS(); }