Commit 1d8addee authored by ='s avatar =
Browse files

Removing asserts conflicting with mixed-precision error analysis

parent 615bcb77
...@@ -394,14 +394,12 @@ object Trees { ...@@ -394,14 +394,12 @@ object Trees {
/** $encodingof `... + ...` */ /** $encodingof `... + ...` */
case class Plus(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation { case class Plus(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation {
assert(lhs.getType == rhs.getType, "lhs: " + lhs.getType + ", rhs: " + rhs.getType)
val getType = lhs.getType val getType = lhs.getType
def deepCopy = Plus(lhs.deepCopy, rhs.deepCopy) def deepCopy = Plus(lhs.deepCopy, rhs.deepCopy)
} }
/** $encodingof `... - ...` */ /** $encodingof `... - ...` */
case class Minus(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation { case class Minus(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation {
assert(lhs.getType == rhs.getType)
val getType = lhs.getType val getType = lhs.getType
def deepCopy = Minus(lhs.deepCopy, rhs.deepCopy) def deepCopy = Minus(lhs.deepCopy, rhs.deepCopy)
} }
...@@ -414,14 +412,12 @@ object Trees { ...@@ -414,14 +412,12 @@ object Trees {
/** $encodingof `... * ...` */ /** $encodingof `... * ...` */
case class Times(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation { case class Times(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation {
assert(lhs.getType == rhs.getType)
val getType = lhs.getType val getType = lhs.getType
def deepCopy = Times(lhs.deepCopy, rhs.deepCopy) def deepCopy = Times(lhs.deepCopy, rhs.deepCopy)
} }
/** $encodingof `... / ...` */ /** $encodingof `... / ...` */
case class Division(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation { case class Division(lhs: Expr, rhs: Expr) extends Expr with NumAnnotation {
assert(lhs.getType == rhs.getType, "lhs: " + lhs.getType + ", " + rhs.getType)
val getType = lhs.getType val getType = lhs.getType
def deepCopy = Division(lhs.deepCopy, rhs.deepCopy) def deepCopy = Division(lhs.deepCopy, rhs.deepCopy)
} }
...@@ -552,4 +548,4 @@ object Trees { ...@@ -552,4 +548,4 @@ object Trees {
p"$varId = $expr;" p"$varId = $expr;"
} }
}*/ }*/
} }
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment