Adding auto-conversaion of dot(x,y) to SparseAccelerator.Dot(x,y) and converting expressions of the form a*x+b*y to WAXPBY.  I support the same for subtraction as well.  One of a or b can be missing in which case it gets replaced with 1.  Does it make sense to convert x+y to WAXPBY with a=1 and b=1?
Adding auto-conversaion of dot(x,y) to SparseAccelerator.Dot(x,y) and
converting expressions of the form a*x+b*y to WAXPBY.  I support the
same for subtraction as well.  One of a or b can be missing in which
case it gets replaced with 1.  Does it make sense to convert x+y to
WAXPBY with a=1 and b=1?

IntelLabs/Sparso,IntelLabs/Sparso,IntelLabs/Sparso,IntelLabs/Sparso