Enable tile_dotProduct_2

Author: zhang677

src/index_notation/index_notation.cpp

@@ -1972,7 +1972,7 @@ IndexStmt IndexStmt::pos(IndexVar i, IndexVar ipos, Access access) const {
 
   // Replace all occurrences of i with ipos
   transformed = Transformation(ForAllReplace({i}, {ipos})).apply(transformed, &reason);
-  if (!transformed.defined()) {
+    if (!transformed.defined()) {
     taco_uerror << reason;
   }
 

src/index_notation/transformations.cpp

@@ -779,6 +779,7 @@ IndexStmt ForAllReplace::apply(IndexStmt stmt, string* reason) const {
           for (auto i = replacement.rbegin(); i != replacement.rend(); ++i ) {
             stmt = forall(*i, stmt);
           }
+          elementsMatched = 0;
         }
         // else cut out this node
         return;

src/lower/lowerer_impl_imperative.cpp

@@ -2302,7 +2302,9 @@ std::pair<bool,bool> LowererImplImperative::canAccelerateDenseTemp(Where where)
           return resultVar == tempVar[0] ||
                  provGraph.isDerivedFrom(tempVar[0], resultVar);
   });
-
+  if (resultVars.size() == 0){
+      return std::make_pair(false, false);
+  }
   if (it == resultVars.end()) {
     return std::make_pair(true, false);
   }

test/tests-workspaces.cpp

@@ -504,7 +504,7 @@ TEST(workspaces, tile_dotProduct_1) {
   ASSERT_TENSOR_EQ(expected, A);
 }
 
-TEST(workspaces, DISABLED_tile_dotProduct_2) {
+TEST(workspaces, tile_dotProduct_2) {
   // FIXME: This is also currently disabled since split(...) scheduling commands
   // only split on the FIRST INSTANCE of an indexVar (assumes only one). 
   // This is wrong if the indexVar is not renamed across iw_vars since an indexVar can 
@@ -516,8 +516,8 @@ TEST(workspaces, DISABLED_tile_dotProduct_2) {
   Tensor<double> C("C", {N}, Format({Dense}));
 
   for (int i = 0; i < N; i++) {
-    B.insert({i}, (double) i);
-    C.insert({i}, (double) i);
+    B.insert({i}, (double) i / N);
+    C.insert({i}, (double) i / N);
   }
 
   B.pack();