tc2halide: refrain from marking reduction init nodes

The markings are not needed.  In fact reduction handling in TC
is completely independent of even the presence of reduction
initializations.

Author: Sven Verdoolaege

tc/core/halide_utils.cc

@@ -123,8 +123,7 @@ std::string halideCodegenC(const Stmt& stmt) {
     using IRPrinter::visit;
 
     void visit(const Call* op) override {
-      if (op->is_intrinsic(tc2halide::kReductionInit) ||
-          op->is_intrinsic(tc2halide::kReductionUpdate)) {
+      if (op->is_intrinsic(tc2halide::kReductionUpdate)) {
         op->args[0].accept(this);
       } else if (
           op->call_type == Call::Halide || op->call_type == Call::Image) {

tc/core/polyhedral/codegen_llvm.cc

@@ -234,9 +234,7 @@ class CodeGen_TC : public Halide::Internal::CodeGen_X86 {
       auto addr = builder->CreateInBoundsGEP(baseAddr, args);
       value = builder->CreateLoad(addr);
       return;
-    } else if (
-        call->is_intrinsic(tc2halide::kReductionInit) ||
-        call->is_intrinsic(tc2halide::kReductionUpdate)) {
+    } else if (call->is_intrinsic(tc2halide::kReductionUpdate)) {
       call->args[0].accept(this);
       return;
     } else {

tc/core/polyhedral/cuda/codegen.cc

@@ -550,9 +550,7 @@ void emitHalideExpr(
           op->call_type == Halide::Internal::Call::CallType::Image) {
         tc::polyhedral::detail::emitMappedTensorAccess(
             op->name, op, op->args, context);
-      } else if (
-          op->is_intrinsic(tc2halide::kReductionInit) ||
-          op->is_intrinsic(tc2halide::kReductionUpdate)) {
+      } else if (op->is_intrinsic(tc2halide::kReductionUpdate)) {
         op->args[0].accept(this);
       } else {
         IRPrinter::visit(op);

tc/core/tc2halide.cc

@@ -484,10 +484,6 @@ void forwardBoundsInference(
   }
 }
 
-Expr reductionInit(Expr e) {
-  return Call::make(e.type(), kReductionInit, {e}, Call::Intrinsic);
-}
-
 Expr reductionUpdate(Expr e) {
   return Call::make(e.type(), kReductionUpdate, {e}, Call::Intrinsic);
 }
@@ -819,8 +815,7 @@ HalideComponents translateDef(const lang::Def& def, bool throwWarnings) {
                 op->name, {reductionUpdate(op->values[0])}, op->args);
           } else {
             found_init = true;
-            return Provide::make(
-                op->name, {reductionInit(op->values[0])}, op->args);
+            return op;
           }
         } else {
           return op;

tc/core/tc2halide.h

@@ -40,8 +40,7 @@ struct HalideComponents {
 };
 
 // For TC reductions, the right-hand-sides of the corresponding
-// Provide nodes are tagged with intrinsics with the following names.
-Halide::Internal::Call::ConstString kReductionInit = "ReductionInit";
+// Provide nodes are tagged with intrinsics with the following name.
 Halide::Internal::Call::ConstString kReductionUpdate = "ReductionUpdate";
 
 // Translate a TC parse tree into equivalent Halide imperative IR with