Partialy Solved

.gitignore

@@ -0,0 +1,2 @@
+build/
+.DS_Store

compiler.cpp

@@ -378,6 +378,9 @@ class Compiler : public Visitor {
             case ast::BinExp::Type::div:
                 result = RUNTIME_CALL(genericDiv, lhs, rhs);
                 return;
+            case ast::BinExp::Type::dot:
+                result = RUNTIME_CALL(genericDot, lhs, rhs);
+                return;
             case ast::BinExp::Type::eq:
                 result = RUNTIME_CALL(genericEq, lhs, rhs);
                 return;

runtime.cpp

@@ -526,11 +526,30 @@ RVal * c(int size, ...) {
 }
 
 double doubleDot(DoubleVector * lhs, DoubleVector * rhs) {
-    assert(false and "Fill me in");
+    double iRet = 0;
+    int maxSize = max(lhs->size, rhs->size);
+    for ( int i = 0; i < maxSize ; ++i){
+        iRet += lhs->data[i % lhs->size] * rhs->data[i % rhs->size];
+    }
+
+    return iRet;
 }
 
 RVal * genericDot(RVal * lhs, RVal * rhs) {
-    assert(false and "Fill me in");
+    if (lhs->type != rhs->type) {
+        throw "Types got to be same!";
+    }
+    if (lhs->type != RVal::Type::Double) {
+        throw "Left hand side must be Double";
+    }
+
+    if (rhs->type != RVal::Type::Double) {
+        throw "Right hand side must be double";
+    }
+
+    return new RVal(new DoubleVector(doubleDot(lhs->d, rhs->d)));
+
+
 }
 
 

tests.cpp

@@ -222,10 +222,10 @@ namespace rift {
         TEST("a = \"aba\" a[c(0,2)]", "aa");
         TEST("a = c(1,2,3) a[c(0,1)] = 56 a", 56, 56, 3);
 
-        // project2();
-        // project3();
-        // project4();
-        // project5();
+        project2();
+        project3();
+        project4();
+        project5();
         // project6();
     }
 

type_analysis.cpp

@@ -14,8 +14,6 @@ char TypeAnalysis::ID = 0;
 
 AType * AType::top = createTop();
 
-
-
 void TypeAnalysis::genericArithmetic(CallInst * ci) {
     AType * lhs = state.get(ci->getOperand(0));
     AType * rhs = state.get(ci->getOperand(1));
@@ -108,7 +106,9 @@ bool TypeAnalysis::runOnFunction(llvm::Function & f) {
                         genericRelational(ci);
                     } else if (s == "genericGt") {
                         genericRelational(ci);
-                    } else if (s == "length") {
+                    } else if (s == "genericDot") {
+                        state.update(ci, new AType(AType::Kind::R, AType::Kind::DV, AType::Kind::D));
+                     } else if (s == "length") {
                         // result of length operation is always 
                         // double scalar
                         state.update(ci, new AType(AType::Kind::D));
@@ -191,5 +191,8 @@ void AType::print(std::ostream & s, MachineState & m) {
     }
 }
 
+
+
+
 } // namespace rift
 

type_analysis.h

@@ -220,8 +220,6 @@ class TypeAnalysis : public llvm::FunctionPass {
     void genericArithmetic(llvm::CallInst * ci);
     void genericRelational(llvm::CallInst * ci);
     void genericGetElement(llvm::CallInst * ci);
-
-
 };
 
 } // namespace rift

unboxing.cpp

@@ -353,6 +353,8 @@ bool Unboxing::runOnFunction(llvm::Function & f) {
                     erase = genericC();
                 } else if (s == "genericEval") {
                     erase = genericEval();
+                } else if (s == "genericDot") {
+                    erase = genericDot();
                 }
             }
             if (erase) {
@@ -374,5 +376,24 @@ bool Unboxing::runOnFunction(llvm::Function & f) {
 }
 
 
+
+bool Unboxing::genericDot() {
+    AType * lhs = state().get(ins->getOperand(0));
+    AType * rhs = state().get(ins->getOperand(1));
+
+    if(lhs->isDouble() and rhs->isDouble()) {
+        llvm::Value * lhsPayload = getVectorPayload(lhs);
+        llvm::Value * rhsPayload = getVectorPayload(rhs);
+        AType* updated = updateAnalysis(RUNTIME_CALL(m->doubleDot, lhsPayload, rhsPayload), new AType(AType::Kind::D));
+        ins->replaceAllUsesWith(box(updated));
+        return true;
+    }
+        return false;
+}
+
+
+
+
+
 } // namespace rift
 

unboxing.h

@@ -68,6 +68,8 @@ class Unboxing : public llvm::FunctionPass {
 
     bool genericEval();
 
+    bool genericDot();
+
     /** Rift module currently being optimized, obtained from the function.
 
       The module is used for the declarations of the runtime functions.