expr.cc 1.96 KB
Newer Older
tqchen committed
1 2 3 4 5 6 7 8 9 10 11
/*!
 *  Copyright (c) 2016 by Contributors
 * \file expr.cc
 */
#include <tvm/base.h>
#include <tvm/expr.h>
#include <tvm/ir.h>
#include <ir/IRPrinter.h>
#include <memory>

namespace tvm {
12

13
using HalideIR::IR::RangeNode;
14

tqchen committed
15
Range::Range(Expr begin, Expr end)
16
    : Range(std::make_shared<RangeNode>(
17 18
          begin,
          is_zero(begin) ? end : (end - begin))) {
tqchen committed
19 20
}

21
Range Range::make_by_min_extent(Expr min, Expr extent) {
22
  return Range(std::make_shared<HalideIR::IR::RangeNode>(min, extent));
tqchen committed
23 24
}

25 26
IterVar IterVarNode::make(Range dom, Var var,
                          IterVarType t, std::string thread_tag) {
tqchen committed
27 28
  std::shared_ptr<IterVarNode> n = std::make_shared<IterVarNode>();
  n->dom = dom;
29
  n->var = var;
30
  n->iter_type = t;
tqchen committed
31 32 33 34
  n->thread_tag = thread_tag;
  return IterVar(n);
}

35 36 37 38 39 40 41 42 43 44
IterVar thread_axis(Range dom, std::string tag) {
  return IterVarNode::make(
      dom, Var(tag), kThreadIndex, tag);
}

IterVar reduce_axis(Range dom, std::string name) {
  return IterVarNode::make(
      dom, Var(name), kCommReduce);
}

tqchen committed
45 46 47 48 49
std::ostream& operator<<(std::ostream& os, const NodeRef& n) {  // NOLINT(*)
  IRPrinter(os).print(n);
  return os;
}

50 51 52 53
Var var(const std::string& name_hint, Type t) {
  return Var(name_hint, t);
}

tqchen committed
54 55 56 57 58 59
TVM_STATIC_IR_FUNCTOR(IRPrinter, vtable)
.set_dispatch<IterVarNode>([](const IterVarNode *op, IRPrinter *p) {
    p->stream << "iter_var(";
    if (op->var->name_hint.length() != 0) {
      p->stream  << op->var->name_hint << ", ";
    }
tqchen committed
60 61 62
    if (op->dom.defined()) {
      p->stream << op->dom;
    }
tqchen committed
63 64 65 66 67 68 69
    if (op->thread_tag.length() != 0) {
      p->stream << ", " << op->thread_tag;
    }
    p->stream << ")";
  });

TVM_STATIC_IR_FUNCTOR(IRPrinter, vtable)
70
.set_dispatch<RangeNode>([](const HalideIR::IR::RangeNode *op, IRPrinter *p) {
tqchen committed
71 72 73
    p->stream << "range(min=" << op->min << ", ext=" << op->extent << ')';
  });

74 75 76 77

TVM_REGISTER_NODE_TYPE(ArrayNode);
TVM_REGISTER_NODE_TYPE(MapNode);
TVM_REGISTER_NODE_TYPE(RangeNode);
tqchen committed
78 79 80
TVM_REGISTER_NODE_TYPE(IterVarNode);

}  // namespace tvm