implement inverse, determinant

git-svn-id: http://skia.googlecode.com/svn/trunk@507 2bbb7eff-a529-9590-31e7-b0007b416f81
This commit is contained in:
reed@android.com 2010-02-23 20:18:17 +00:00
parent 831f6c676f
commit 6d342a4e4a
2 changed files with 293 additions and 99 deletions

View File

@ -1,99 +1,208 @@
typedef float SkMScalar;
static const SkMScalar SK_MScalar1 = 1;
struct SkVector4 {
SkScalar fData[4];
};
class SkMatrix44 {
public:
SkMatrix44();
explicit SkMatrix44(const SkMatrix44&);
SkMatrix44(const SkMatrix44& a, const SkMatrix44& b);
void setIdentity();
void setTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void preTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void postTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void setConcat(const SkMatrix44& a, const SkMatrix44& b);
void map(const SkScalar src[4], SkScalar dst[4]);
SkVector4 operator*(const SkVector4& src) {
SkVector4 dst;
this->map(src.fData, dst.fData);
return dst;
}
friend SkMatrix44* operator*(const SkMatrix44& a, const SkMatrix44& b) {
return SkMatrix(a, b);
}
private:
SkMScalar fMat[4][4];
};
SkMatrix44::SkMatrix44() {
this->setIdentity();
}
SkMatrix44::SkMatrix44(const SkMatrix44& src) {
memcpy(this, &src, sizeof(src));
}
SkMatrix44::SkMatrix44(const SkMatrix44& a, const SkMatrix44& b) {
this->setConcat(a, b);
}
void SkMatrix44:setIdentity() {
sk_bzero(fMat, sizeof(fMat));
fMat[0][0] = fMat[1][1] = fMat[2][2] = fMat[3][3] = SK_MScalar1;
}
void SkMatrix44::setTranslate(SkMScalar tx, SkMScalar ty, SkMScalar tz) {
sk_bzero(fMat, sizeof(fMat));
fMat[3][0] = tx;
fMat[3][1] = ty;
fMat[3][2] = tz;
fMat[3][3] = SK_MScalar1;
}
void SkMatrix44::preTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz) {
SkMatrix44 mat;
mat.setTranslate(dx, dy, dz);
this->preConcat(mat);
}
void SkMatrix44::postTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz) {
fMat[3][0] += dx;
fMat[3][1] += dy;
fMat[3][2] += dz;
}
void SkMatrix44::map(const SkScalar src[4], SkScalar dst[4]) {
SkScalar result[4];
for (int i = 0; i < 4; i++) {
SkMScalar value = 0;
for (int j = 0; j < 4; j++) {
value += fMat[j][i] * src[j];
}
result[i] = value;
}
memcpy(dst, result, sizeof(result));
}
void SkMatrix44::setConcat(const SkMatrix44& a, const SkMatrix44& b) {
SkMScalar result[4][4];
for (int i = 0; i < 4; i++) {
for (int j = 0; j < 4; j++) {
SkMScalar value = 0;
for (int k = 0; k < 4; k++) {
value += a.fMat[k][j] * b.fMat[i][k];
}
result[j][i] = value;
}
}
memcpy(fMat, result, sizeof(result));
}
#include "SkMatrix44.h"
SkMatrix44::SkMatrix44() {
this->setIdentity();
}
SkMatrix44::SkMatrix44(const SkMatrix44& src) {
memcpy(this, &src, sizeof(src));
}
SkMatrix44::SkMatrix44(const SkMatrix44& a, const SkMatrix44& b) {
this->setConcat(a, b);
}
///////////////////////////////////////////////////////////////////////////////
void SkMatrix44::setIdentity() {
sk_bzero(fMat, sizeof(fMat));
fMat[0][0] = fMat[1][1] = fMat[2][2] = fMat[3][3] = SK_MScalar1;
}
void SkMatrix44::setTranslate(SkMScalar tx, SkMScalar ty, SkMScalar tz) {
sk_bzero(fMat, sizeof(fMat));
fMat[3][0] = tx;
fMat[3][1] = ty;
fMat[3][2] = tz;
fMat[3][3] = SK_MScalar1;
}
void SkMatrix44::preTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz) {
SkMatrix44 mat;
mat.setTranslate(dx, dy, dz);
this->preConcat(mat);
}
void SkMatrix44::postTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz) {
fMat[3][0] += dx;
fMat[3][1] += dy;
fMat[3][2] += dz;
}
///////////////////////////////////////////////////////////////////////////////
void SkMatrix44::setScale(SkMScalar sx, SkMScalar sy, SkMScalar sz) {
sk_bzero(fMat, sizeof(fMat));
fMat[0][0] = sx;
fMat[1][1] = sy;
fMat[2][2] = sz;
fMat[3][3] = SK_MScalar1;
}
void SkMatrix44::preScale(SkMScalar sx, SkMScalar sy, SkMScalar sz) {
SkMatrix44 tmp;
tmp.setScale(sx, sy, sz);
this->preConcat(tmp);
}
void SkMatrix44::postScale(SkMScalar sx, SkMScalar sy, SkMScalar sz) {
for (int i = 0; i < 4; i++) {
fMat[i][0] *= sx;
fMat[i][1] *= sy;
fMat[i][2] *= sz;
}
}
///////////////////////////////////////////////////////////////////////////////
void SkMatrix44::setConcat(const SkMatrix44& a, const SkMatrix44& b) {
SkMScalar result[4][4];
for (int i = 0; i < 4; i++) {
for (int j = 0; j < 4; j++) {
double value = 0;
for (int k = 0; k < 4; k++) {
value += (double)a.fMat[k][j] * b.fMat[i][k];
}
result[j][i] = SkDoubleToMScalar(value);
}
}
memcpy(fMat, result, sizeof(result));
}
///////////////////////////////////////////////////////////////////////////////
static inline SkMScalar det2x2(double m00, double m01, double m10, double m11) {
return m00 * m11 - m10 * m01;
}
static inline double det3x3(double m00, double m01, double m02,
double m10, double m11, double m12,
double m20, double m21, double m22) {
return m00 * det2x2(m11, m12, m21, m22) -
m10 * det2x2(m01, m02, m21, m22) +
m20 * det2x2(m01, m02, m11, m12);
}
/** We always perform the calculation in doubles, to avoid prematurely losing
precision along the way. This relies on the compiler automatically
promoting our SkMScalar values to double (if needed).
*/
double SkMatrix44::determinant() const {
return fMat[0][0] * det3x3(fMat[1][1], fMat[1][2], fMat[1][3],
fMat[2][1], fMat[2][2], fMat[2][3],
fMat[3][1], fMat[3][2], fMat[3][3]) -
fMat[1][0] * det3x3(fMat[0][1], fMat[0][2], fMat[0][3],
fMat[2][1], fMat[2][2], fMat[2][3],
fMat[3][1], fMat[3][2], fMat[3][3]) +
fMat[2][0] * det3x3(fMat[0][1], fMat[0][2], fMat[0][3],
fMat[1][1], fMat[1][2], fMat[1][3],
fMat[3][1], fMat[3][2], fMat[3][3]) -
fMat[3][0] * det3x3(fMat[0][1], fMat[0][2], fMat[0][3],
fMat[1][1], fMat[1][2], fMat[1][3],
fMat[2][1], fMat[2][2], fMat[2][3]);
}
///////////////////////////////////////////////////////////////////////////////
// just picked a small value. not sure how to pick the "right" one
#define TOO_SMALL_FOR_DETERMINANT (1.e-8)
static inline double dabs(double x) {
if (x < 0) {
x = -x;
}
return x;
}
bool SkMatrix44::invert(SkMatrix44* inverse) const {
double det = this->determinant();
if (dabs(det) < TOO_SMALL_FOR_DETERMINANT) {
return false;
}
if (NULL == inverse) {
return true;
}
// we explicitly promote to doubles to keep the intermediate values in
// higher precision (assuming SkMScalar isn't already a double)
double m00 = fMat[0][0];
double m01 = fMat[0][1];
double m02 = fMat[0][2];
double m03 = fMat[0][3];
double m10 = fMat[1][0];
double m11 = fMat[1][1];
double m12 = fMat[1][2];
double m13 = fMat[1][3];
double m20 = fMat[2][0];
double m21 = fMat[2][1];
double m22 = fMat[2][2];
double m23 = fMat[2][3];
double m30 = fMat[3][0];
double m31 = fMat[3][1];
double m32 = fMat[3][2];
double m33 = fMat[3][3];
double tmp[4][4];
tmp[0][0] = m12*m23*m31 - m13*m22*m31 + m13*m21*m32 - m11*m23*m32 - m12*m21*m33 + m11*m22*m33;
tmp[0][1] = m03*m22*m31 - m02*m23*m31 - m03*m21*m32 + m01*m23*m32 + m02*m21*m33 - m01*m22*m33;
tmp[0][2] = m02*m13*m31 - m03*m12*m31 + m03*m11*m32 - m01*m13*m32 - m02*m11*m33 + m01*m12*m33;
tmp[0][3] = m03*m12*m21 - m02*m13*m21 - m03*m11*m22 + m01*m13*m22 + m02*m11*m23 - m01*m12*m23;
tmp[1][0] = m13*m22*m30 - m12*m23*m30 - m13*m20*m32 + m10*m23*m32 + m12*m20*m33 - m10*m22*m33;
tmp[1][1] = m02*m23*m30 - m03*m22*m30 + m03*m20*m32 - m00*m23*m32 - m02*m20*m33 + m00*m22*m33;
tmp[1][2] = m03*m12*m30 - m02*m13*m30 - m03*m10*m32 + m00*m13*m32 + m02*m10*m33 - m00*m12*m33;
tmp[1][3] = m02*m13*m20 - m03*m12*m20 + m03*m10*m22 - m00*m13*m22 - m02*m10*m23 + m00*m12*m23;
tmp[2][0] = m11*m23*m30 - m13*m21*m30 + m13*m20*m31 - m10*m23*m31 - m11*m20*m33 + m10*m21*m33;
tmp[2][1] = m03*m21*m30 - m01*m23*m30 - m03*m20*m31 + m00*m23*m31 + m01*m20*m33 - m00*m21*m33;
tmp[2][2] = m01*m13*m30 - m03*m11*m30 + m03*m10*m31 - m00*m13*m31 - m01*m10*m33 + m00*m11*m33;
tmp[2][3] = m03*m11*m20 - m01*m13*m20 - m03*m10*m21 + m00*m13*m21 + m01*m10*m23 - m00*m11*m23;
tmp[3][0] = m12*m21*m30 - m11*m22*m30 - m12*m20*m31 + m10*m22*m31 + m11*m20*m32 - m10*m21*m32;
tmp[3][1] = m01*m22*m30 - m02*m21*m30 + m02*m20*m31 - m00*m22*m31 - m01*m20*m32 + m00*m21*m32;
tmp[3][2] = m02*m11*m30 - m01*m12*m30 - m02*m10*m31 + m00*m12*m31 + m01*m10*m32 - m00*m11*m32;
tmp[3][3] = m01*m12*m20 - m02*m11*m20 + m02*m10*m21 - m00*m12*m21 - m01*m10*m22 + m00*m11*m22;
double invDet = 1.0 / det;
for (int i = 0; i < 4; i++) {
for (int j = 0; j < 4; j++) {
inverse->fMat[i][j] = SkDoubleToMScalar(tmp[i][j] * invDet);
}
}
return true;
}
///////////////////////////////////////////////////////////////////////////////
void SkMatrix44::map(const SkScalar src[4], SkScalar dst[4]) const {
SkScalar result[4];
for (int i = 0; i < 4; i++) {
SkMScalar value = 0;
for (int j = 0; j < 4; j++) {
value += fMat[j][i] * src[j];
}
result[i] = value;
}
memcpy(dst, result, sizeof(result));
}
///////////////////////////////////////////////////////////////////////////////
void SkMatrix44::dump() const {
SkDebugf("[%g %g %g %g][%g %g %g %g][%g %g %g %g][%g %g %g %g]\n",
fMat[0][0], fMat[0][1], fMat[0][2], fMat[0][3],
fMat[1][0], fMat[1][1], fMat[1][2], fMat[1][3],
fMat[2][0], fMat[2][1], fMat[2][2], fMat[2][3],
fMat[3][0], fMat[3][1], fMat[3][2], fMat[3][3]);
}

85
experimental/SkMatrix44.h Normal file
View File

@ -0,0 +1,85 @@
#ifndef SkMatrix44_DEFINED
#define SkMatrix44_DEFINED
#include "SkScalar.h"
typedef float SkMScalar;
static const SkMScalar SK_MScalar1 = 1;
static inline SkMScalar SkDoubleToMScalar(double x) {
return static_cast<float>(x);
}
struct SkVector4 {
SkScalar fData[4];
};
class SkMatrix44 {
public:
SkMatrix44();
SkMatrix44(const SkMatrix44&);
SkMatrix44(const SkMatrix44& a, const SkMatrix44& b);
void setIdentity();
void setTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void preTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void postTranslate(SkMScalar dx, SkMScalar dy, SkMScalar dz);
void setScale(SkMScalar sx, SkMScalar sx, SkMScalar sx);
void preScale(SkMScalar sx, SkMScalar sx, SkMScalar sx);
void postScale(SkMScalar sx, SkMScalar sx, SkMScalar sx);
void setScale(SkMScalar scale) {
this->setScale(scale, scale, scale);
}
void preScale(SkMScalar scale) {
this->preScale(scale, scale, scale);
}
void postScale(SkMScalar scale) {
this->postScale(scale, scale, scale);
}
void setConcat(const SkMatrix44& a, const SkMatrix44& b);
void preConcat(const SkMatrix44& m) {
this->setConcat(*this, m);
}
void postConcat(const SkMatrix44& m) {
this->setConcat(m, *this);
}
friend SkMatrix44 operator*(const SkMatrix44& a, const SkMatrix44& b) {
return SkMatrix44(a, b);
}
/** If this is invertible, return that in inverse and return true. If it is
not invertible, return false and ignore the inverse parameter.
*/
bool invert(SkMatrix44* inverse) const;
/** Apply the matrix to the src vector, returning the new vector in dst.
It is legal for src and dst to point to the same memory.
*/
void map(const SkScalar src[4], SkScalar dst[4]) const;
void map(SkScalar vec[4]) const {
this->map(vec, vec);
}
friend SkVector4 operator*(const SkMatrix44& m, const SkVector4& src) {
SkVector4 dst;
m.map(src.fData, dst.fData);
return dst;
}
void dump() const;
private:
/* Stored in the same order as opengl:
[3][0] = tx
[3][1] = ty
[3][2] = tz
*/
SkMScalar fMat[4][4];
double determinant() const;
};
#endif