#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();
}