func_matrix.inl 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443
  1. #include "../geometric.hpp"
  2. #include <limits>
  3. namespace glm{
  4. namespace detail
  5. {
  6. template<length_t C, length_t R, typename T, qualifier Q, bool Aligned>
  7. struct compute_matrixCompMult
  8. {
  9. GLM_FUNC_QUALIFIER static mat<C, R, T, Q> call(mat<C, R, T, Q> const& x, mat<C, R, T, Q> const& y)
  10. {
  11. mat<C, R, T, Q> Result;
  12. for(length_t i = 0; i < Result.length(); ++i)
  13. Result[i] = x[i] * y[i];
  14. return Result;
  15. }
  16. };
  17. template<length_t C, length_t R, typename T, qualifier Q, bool IsFloat, bool Aligned>
  18. struct compute_matrixCompMult_type {
  19. GLM_FUNC_QUALIFIER static mat<C, R, T, Q> call(mat<C, R, T, Q> const& x, mat<C, R, T, Q> const& y)
  20. {
  21. GLM_STATIC_ASSERT(std::numeric_limits<T>::is_iec559 || GLM_CONFIG_UNRESTRICTED_GENTYPE,
  22. "'matrixCompMult' only accept floating-point inputs, include <glm/ext/matrix_integer.hpp> to discard this restriction.");
  23. return detail::compute_matrixCompMult<C, R, T, Q, detail::is_aligned<Q>::value>::call(x, y);
  24. }
  25. };
  26. template<length_t DA, length_t DB, typename T, qualifier Q>
  27. struct compute_outerProduct {
  28. GLM_FUNC_QUALIFIER static typename detail::outerProduct_trait<DA, DB, T, Q>::type call(vec<DA, T, Q> const& c, vec<DB, T, Q> const& r)
  29. {
  30. typename detail::outerProduct_trait<DA, DB, T, Q>::type m;
  31. for(length_t i = 0; i < m.length(); ++i)
  32. m[i] = c * r[i];
  33. return m;
  34. }
  35. };
  36. template<length_t DA, length_t DB, typename T, qualifier Q, bool IsFloat>
  37. struct compute_outerProduct_type {
  38. GLM_FUNC_QUALIFIER static typename detail::outerProduct_trait<DA, DB, T, Q>::type call(vec<DA, T, Q> const& c, vec<DB, T, Q> const& r)
  39. {
  40. GLM_STATIC_ASSERT(std::numeric_limits<T>::is_iec559 || GLM_CONFIG_UNRESTRICTED_GENTYPE,
  41. "'outerProduct' only accept floating-point inputs, include <glm/ext/matrix_integer.hpp> to discard this restriction.");
  42. return detail::compute_outerProduct<DA, DB, T, Q>::call(c, r);
  43. }
  44. };
  45. template<length_t C, length_t R, typename T, qualifier Q, bool Aligned>
  46. struct compute_transpose{};
  47. template<typename T, qualifier Q, bool Aligned>
  48. struct compute_transpose<2, 2, T, Q, Aligned>
  49. {
  50. GLM_FUNC_QUALIFIER static mat<2, 2, T, Q> call(mat<2, 2, T, Q> const& m)
  51. {
  52. mat<2, 2, T, Q> Result;
  53. Result[0][0] = m[0][0];
  54. Result[0][1] = m[1][0];
  55. Result[1][0] = m[0][1];
  56. Result[1][1] = m[1][1];
  57. return Result;
  58. }
  59. };
  60. template<typename T, qualifier Q, bool Aligned>
  61. struct compute_transpose<2, 3, T, Q, Aligned>
  62. {
  63. GLM_FUNC_QUALIFIER static mat<3, 2, T, Q> call(mat<2, 3, T, Q> const& m)
  64. {
  65. mat<3,2, T, Q> Result;
  66. Result[0][0] = m[0][0];
  67. Result[0][1] = m[1][0];
  68. Result[1][0] = m[0][1];
  69. Result[1][1] = m[1][1];
  70. Result[2][0] = m[0][2];
  71. Result[2][1] = m[1][2];
  72. return Result;
  73. }
  74. };
  75. template<typename T, qualifier Q, bool Aligned>
  76. struct compute_transpose<2, 4, T, Q, Aligned>
  77. {
  78. GLM_FUNC_QUALIFIER static mat<4, 2, T, Q> call(mat<2, 4, T, Q> const& m)
  79. {
  80. mat<4, 2, T, Q> Result;
  81. Result[0][0] = m[0][0];
  82. Result[0][1] = m[1][0];
  83. Result[1][0] = m[0][1];
  84. Result[1][1] = m[1][1];
  85. Result[2][0] = m[0][2];
  86. Result[2][1] = m[1][2];
  87. Result[3][0] = m[0][3];
  88. Result[3][1] = m[1][3];
  89. return Result;
  90. }
  91. };
  92. template<typename T, qualifier Q, bool Aligned>
  93. struct compute_transpose<3, 2, T, Q, Aligned>
  94. {
  95. GLM_FUNC_QUALIFIER static mat<2, 3, T, Q> call(mat<3, 2, T, Q> const& m)
  96. {
  97. mat<2, 3, T, Q> Result;
  98. Result[0][0] = m[0][0];
  99. Result[0][1] = m[1][0];
  100. Result[0][2] = m[2][0];
  101. Result[1][0] = m[0][1];
  102. Result[1][1] = m[1][1];
  103. Result[1][2] = m[2][1];
  104. return Result;
  105. }
  106. };
  107. template<typename T, qualifier Q, bool Aligned>
  108. struct compute_transpose<3, 3, T, Q, Aligned>
  109. {
  110. GLM_FUNC_QUALIFIER static mat<3, 3, T, Q> call(mat<3, 3, T, Q> const& m)
  111. {
  112. mat<3, 3, T, Q> Result;
  113. Result[0][0] = m[0][0];
  114. Result[0][1] = m[1][0];
  115. Result[0][2] = m[2][0];
  116. Result[1][0] = m[0][1];
  117. Result[1][1] = m[1][1];
  118. Result[1][2] = m[2][1];
  119. Result[2][0] = m[0][2];
  120. Result[2][1] = m[1][2];
  121. Result[2][2] = m[2][2];
  122. return Result;
  123. }
  124. };
  125. template<typename T, qualifier Q, bool Aligned>
  126. struct compute_transpose<3, 4, T, Q, Aligned>
  127. {
  128. GLM_FUNC_QUALIFIER static mat<4, 3, T, Q> call(mat<3, 4, T, Q> const& m)
  129. {
  130. mat<4, 3, T, Q> Result;
  131. Result[0][0] = m[0][0];
  132. Result[0][1] = m[1][0];
  133. Result[0][2] = m[2][0];
  134. Result[1][0] = m[0][1];
  135. Result[1][1] = m[1][1];
  136. Result[1][2] = m[2][1];
  137. Result[2][0] = m[0][2];
  138. Result[2][1] = m[1][2];
  139. Result[2][2] = m[2][2];
  140. Result[3][0] = m[0][3];
  141. Result[3][1] = m[1][3];
  142. Result[3][2] = m[2][3];
  143. return Result;
  144. }
  145. };
  146. template<typename T, qualifier Q, bool Aligned>
  147. struct compute_transpose<4, 2, T, Q, Aligned>
  148. {
  149. GLM_FUNC_QUALIFIER static mat<2, 4, T, Q> call(mat<4, 2, T, Q> const& m)
  150. {
  151. mat<2, 4, T, Q> Result;
  152. Result[0][0] = m[0][0];
  153. Result[0][1] = m[1][0];
  154. Result[0][2] = m[2][0];
  155. Result[0][3] = m[3][0];
  156. Result[1][0] = m[0][1];
  157. Result[1][1] = m[1][1];
  158. Result[1][2] = m[2][1];
  159. Result[1][3] = m[3][1];
  160. return Result;
  161. }
  162. };
  163. template<typename T, qualifier Q, bool Aligned>
  164. struct compute_transpose<4, 3, T, Q, Aligned>
  165. {
  166. GLM_FUNC_QUALIFIER static mat<3, 4, T, Q> call(mat<4, 3, T, Q> const& m)
  167. {
  168. mat<3, 4, T, Q> Result;
  169. Result[0][0] = m[0][0];
  170. Result[0][1] = m[1][0];
  171. Result[0][2] = m[2][0];
  172. Result[0][3] = m[3][0];
  173. Result[1][0] = m[0][1];
  174. Result[1][1] = m[1][1];
  175. Result[1][2] = m[2][1];
  176. Result[1][3] = m[3][1];
  177. Result[2][0] = m[0][2];
  178. Result[2][1] = m[1][2];
  179. Result[2][2] = m[2][2];
  180. Result[2][3] = m[3][2];
  181. return Result;
  182. }
  183. };
  184. template<typename T, qualifier Q, bool Aligned>
  185. struct compute_transpose<4, 4, T, Q, Aligned>
  186. {
  187. GLM_FUNC_QUALIFIER static mat<4, 4, T, Q> call(mat<4, 4, T, Q> const& m)
  188. {
  189. mat<4, 4, T, Q> Result;
  190. Result[0][0] = m[0][0];
  191. Result[0][1] = m[1][0];
  192. Result[0][2] = m[2][0];
  193. Result[0][3] = m[3][0];
  194. Result[1][0] = m[0][1];
  195. Result[1][1] = m[1][1];
  196. Result[1][2] = m[2][1];
  197. Result[1][3] = m[3][1];
  198. Result[2][0] = m[0][2];
  199. Result[2][1] = m[1][2];
  200. Result[2][2] = m[2][2];
  201. Result[2][3] = m[3][2];
  202. Result[3][0] = m[0][3];
  203. Result[3][1] = m[1][3];
  204. Result[3][2] = m[2][3];
  205. Result[3][3] = m[3][3];
  206. return Result;
  207. }
  208. };
  209. template<length_t C, length_t R, typename T, qualifier Q, bool IsFloat, bool Aligned>
  210. struct compute_transpose_type {
  211. GLM_FUNC_QUALIFIER static mat<R, C, T, Q> call(mat<C, R, T, Q> const& m)
  212. {
  213. GLM_STATIC_ASSERT(std::numeric_limits<T>::is_iec559 || GLM_CONFIG_UNRESTRICTED_GENTYPE,
  214. "'transpose' only accept floating-point inputs, include <glm/ext/matrix_integer.hpp> to discard this restriction.");
  215. return detail::compute_transpose<C, R, T, Q, detail::is_aligned<Q>::value>::call(m);
  216. }
  217. };
  218. template<length_t C, length_t R, typename T, qualifier Q, bool Aligned>
  219. struct compute_determinant{};
  220. template<typename T, qualifier Q, bool Aligned>
  221. struct compute_determinant<2, 2, T, Q, Aligned>
  222. {
  223. GLM_FUNC_QUALIFIER static T call(mat<2, 2, T, Q> const& m)
  224. {
  225. return m[0][0] * m[1][1] - m[1][0] * m[0][1];
  226. }
  227. };
  228. template<typename T, qualifier Q, bool Aligned>
  229. struct compute_determinant<3, 3, T, Q, Aligned>
  230. {
  231. GLM_FUNC_QUALIFIER static T call(mat<3, 3, T, Q> const& m)
  232. {
  233. return
  234. + m[0][0] * (m[1][1] * m[2][2] - m[2][1] * m[1][2])
  235. - m[1][0] * (m[0][1] * m[2][2] - m[2][1] * m[0][2])
  236. + m[2][0] * (m[0][1] * m[1][2] - m[1][1] * m[0][2]);
  237. }
  238. };
  239. template<typename T, qualifier Q, bool Aligned>
  240. struct compute_determinant<4, 4, T, Q, Aligned>
  241. {
  242. GLM_FUNC_QUALIFIER static T call(mat<4, 4, T, Q> const& m)
  243. {
  244. T SubFactor00 = m[2][2] * m[3][3] - m[3][2] * m[2][3];
  245. T SubFactor01 = m[2][1] * m[3][3] - m[3][1] * m[2][3];
  246. T SubFactor02 = m[2][1] * m[3][2] - m[3][1] * m[2][2];
  247. T SubFactor03 = m[2][0] * m[3][3] - m[3][0] * m[2][3];
  248. T SubFactor04 = m[2][0] * m[3][2] - m[3][0] * m[2][2];
  249. T SubFactor05 = m[2][0] * m[3][1] - m[3][0] * m[2][1];
  250. vec<4, T, Q> DetCof(
  251. + (m[1][1] * SubFactor00 - m[1][2] * SubFactor01 + m[1][3] * SubFactor02),
  252. - (m[1][0] * SubFactor00 - m[1][2] * SubFactor03 + m[1][3] * SubFactor04),
  253. + (m[1][0] * SubFactor01 - m[1][1] * SubFactor03 + m[1][3] * SubFactor05),
  254. - (m[1][0] * SubFactor02 - m[1][1] * SubFactor04 + m[1][2] * SubFactor05));
  255. return
  256. m[0][0] * DetCof[0] + m[0][1] * DetCof[1] +
  257. m[0][2] * DetCof[2] + m[0][3] * DetCof[3];
  258. }
  259. };
  260. template<length_t C, length_t R, typename T, qualifier Q, bool IsFloat, bool Aligned>
  261. struct compute_determinant_type{
  262. GLM_FUNC_QUALIFIER static T call(mat<C, R, T, Q> const& m)
  263. {
  264. GLM_STATIC_ASSERT(std::numeric_limits<T>::is_iec559 || GLM_CONFIG_UNRESTRICTED_GENTYPE,
  265. "'determinant' only accept floating-point inputs, include <glm/ext/matrix_integer.hpp> to discard this restriction.");
  266. return detail::compute_determinant<C, R, T, Q, detail::is_aligned<Q>::value>::call(m);
  267. }
  268. };
  269. template<length_t C, length_t R, typename T, qualifier Q, bool Aligned>
  270. struct compute_inverse{};
  271. template<typename T, qualifier Q, bool Aligned>
  272. struct compute_inverse<2, 2, T, Q, Aligned>
  273. {
  274. GLM_FUNC_QUALIFIER static mat<2, 2, T, Q> call(mat<2, 2, T, Q> const& m)
  275. {
  276. T OneOverDeterminant = static_cast<T>(1) / (
  277. + m[0][0] * m[1][1]
  278. - m[1][0] * m[0][1]);
  279. mat<2, 2, T, Q> Inverse(
  280. + m[1][1] * OneOverDeterminant,
  281. - m[0][1] * OneOverDeterminant,
  282. - m[1][0] * OneOverDeterminant,
  283. + m[0][0] * OneOverDeterminant);
  284. return Inverse;
  285. }
  286. };
  287. template<typename T, qualifier Q, bool Aligned>
  288. struct compute_inverse<3, 3, T, Q, Aligned>
  289. {
  290. GLM_FUNC_QUALIFIER static mat<3, 3, T, Q> call(mat<3, 3, T, Q> const& m)
  291. {
  292. T OneOverDeterminant = static_cast<T>(1) / (
  293. + m[0][0] * (m[1][1] * m[2][2] - m[2][1] * m[1][2])
  294. - m[1][0] * (m[0][1] * m[2][2] - m[2][1] * m[0][2])
  295. + m[2][0] * (m[0][1] * m[1][2] - m[1][1] * m[0][2]));
  296. mat<3, 3, T, Q> Inverse;
  297. Inverse[0][0] = + (m[1][1] * m[2][2] - m[2][1] * m[1][2]) * OneOverDeterminant;
  298. Inverse[1][0] = - (m[1][0] * m[2][2] - m[2][0] * m[1][2]) * OneOverDeterminant;
  299. Inverse[2][0] = + (m[1][0] * m[2][1] - m[2][0] * m[1][1]) * OneOverDeterminant;
  300. Inverse[0][1] = - (m[0][1] * m[2][2] - m[2][1] * m[0][2]) * OneOverDeterminant;
  301. Inverse[1][1] = + (m[0][0] * m[2][2] - m[2][0] * m[0][2]) * OneOverDeterminant;
  302. Inverse[2][1] = - (m[0][0] * m[2][1] - m[2][0] * m[0][1]) * OneOverDeterminant;
  303. Inverse[0][2] = + (m[0][1] * m[1][2] - m[1][1] * m[0][2]) * OneOverDeterminant;
  304. Inverse[1][2] = - (m[0][0] * m[1][2] - m[1][0] * m[0][2]) * OneOverDeterminant;
  305. Inverse[2][2] = + (m[0][0] * m[1][1] - m[1][0] * m[0][1]) * OneOverDeterminant;
  306. return Inverse;
  307. }
  308. };
  309. template<typename T, qualifier Q, bool Aligned>
  310. struct compute_inverse<4, 4, T, Q, Aligned>
  311. {
  312. GLM_FUNC_QUALIFIER static mat<4, 4, T, Q> call(mat<4, 4, T, Q> const& m)
  313. {
  314. T Coef00 = m[2][2] * m[3][3] - m[3][2] * m[2][3];
  315. T Coef02 = m[1][2] * m[3][3] - m[3][2] * m[1][3];
  316. T Coef03 = m[1][2] * m[2][3] - m[2][2] * m[1][3];
  317. T Coef04 = m[2][1] * m[3][3] - m[3][1] * m[2][3];
  318. T Coef06 = m[1][1] * m[3][3] - m[3][1] * m[1][3];
  319. T Coef07 = m[1][1] * m[2][3] - m[2][1] * m[1][3];
  320. T Coef08 = m[2][1] * m[3][2] - m[3][1] * m[2][2];
  321. T Coef10 = m[1][1] * m[3][2] - m[3][1] * m[1][2];
  322. T Coef11 = m[1][1] * m[2][2] - m[2][1] * m[1][2];
  323. T Coef12 = m[2][0] * m[3][3] - m[3][0] * m[2][3];
  324. T Coef14 = m[1][0] * m[3][3] - m[3][0] * m[1][3];
  325. T Coef15 = m[1][0] * m[2][3] - m[2][0] * m[1][3];
  326. T Coef16 = m[2][0] * m[3][2] - m[3][0] * m[2][2];
  327. T Coef18 = m[1][0] * m[3][2] - m[3][0] * m[1][2];
  328. T Coef19 = m[1][0] * m[2][2] - m[2][0] * m[1][2];
  329. T Coef20 = m[2][0] * m[3][1] - m[3][0] * m[2][1];
  330. T Coef22 = m[1][0] * m[3][1] - m[3][0] * m[1][1];
  331. T Coef23 = m[1][0] * m[2][1] - m[2][0] * m[1][1];
  332. vec<4, T, Q> Fac0(Coef00, Coef00, Coef02, Coef03);
  333. vec<4, T, Q> Fac1(Coef04, Coef04, Coef06, Coef07);
  334. vec<4, T, Q> Fac2(Coef08, Coef08, Coef10, Coef11);
  335. vec<4, T, Q> Fac3(Coef12, Coef12, Coef14, Coef15);
  336. vec<4, T, Q> Fac4(Coef16, Coef16, Coef18, Coef19);
  337. vec<4, T, Q> Fac5(Coef20, Coef20, Coef22, Coef23);
  338. vec<4, T, Q> Vec0(m[1][0], m[0][0], m[0][0], m[0][0]);
  339. vec<4, T, Q> Vec1(m[1][1], m[0][1], m[0][1], m[0][1]);
  340. vec<4, T, Q> Vec2(m[1][2], m[0][2], m[0][2], m[0][2]);
  341. vec<4, T, Q> Vec3(m[1][3], m[0][3], m[0][3], m[0][3]);
  342. vec<4, T, Q> Inv0(Vec1 * Fac0 - Vec2 * Fac1 + Vec3 * Fac2);
  343. vec<4, T, Q> Inv1(Vec0 * Fac0 - Vec2 * Fac3 + Vec3 * Fac4);
  344. vec<4, T, Q> Inv2(Vec0 * Fac1 - Vec1 * Fac3 + Vec3 * Fac5);
  345. vec<4, T, Q> Inv3(Vec0 * Fac2 - Vec1 * Fac4 + Vec2 * Fac5);
  346. vec<4, T, Q> SignA(+1, -1, +1, -1);
  347. vec<4, T, Q> SignB(-1, +1, -1, +1);
  348. mat<4, 4, T, Q> Inverse(Inv0 * SignA, Inv1 * SignB, Inv2 * SignA, Inv3 * SignB);
  349. vec<4, T, Q> Row0(Inverse[0][0], Inverse[1][0], Inverse[2][0], Inverse[3][0]);
  350. vec<4, T, Q> Dot0(m[0] * Row0);
  351. T Dot1 = (Dot0.x + Dot0.y) + (Dot0.z + Dot0.w);
  352. T OneOverDeterminant = static_cast<T>(1) / Dot1;
  353. return Inverse * OneOverDeterminant;
  354. }
  355. };
  356. }//namespace detail
  357. template<length_t C, length_t R, typename T, qualifier Q>
  358. GLM_FUNC_QUALIFIER mat<C, R, T, Q> matrixCompMult(mat<C, R, T, Q> const& x, mat<C, R, T, Q> const& y)
  359. {
  360. return detail::compute_matrixCompMult_type<C, R, T, Q, std::numeric_limits<T>::is_iec559, detail::is_aligned<Q>::value>::call(x, y);
  361. }
  362. template<length_t DA, length_t DB, typename T, qualifier Q>
  363. GLM_FUNC_QUALIFIER typename detail::outerProduct_trait<DA, DB, T, Q>::type outerProduct(vec<DA, T, Q> const& c, vec<DB, T, Q> const& r)
  364. {
  365. return detail::compute_outerProduct_type<DA, DB, T, Q, std::numeric_limits<T>::is_iec559>::call(c, r);
  366. }
  367. template<length_t C, length_t R, typename T, qualifier Q>
  368. GLM_FUNC_QUALIFIER typename mat<C, R, T, Q>::transpose_type transpose(mat<C, R, T, Q> const& m)
  369. {
  370. return detail::compute_transpose_type<C, R, T, Q, std::numeric_limits<T>::is_iec559, detail::is_aligned<Q>::value>::call(m);
  371. }
  372. template<length_t C, length_t R, typename T, qualifier Q>
  373. GLM_FUNC_QUALIFIER T determinant(mat<C, R, T, Q> const& m)
  374. {
  375. return detail::compute_determinant_type<C, R, T, Q, std::numeric_limits<T>::is_iec559, detail::is_aligned<Q>::value>::call(m);
  376. }
  377. template<length_t C, length_t R, typename T, qualifier Q>
  378. GLM_FUNC_QUALIFIER mat<C, R, T, Q> inverse(mat<C, R, T, Q> const& m)
  379. {
  380. GLM_STATIC_ASSERT(std::numeric_limits<T>::is_iec559 || GLM_CONFIG_UNRESTRICTED_GENTYPE, "'inverse' only accept floating-point inputs");
  381. return detail::compute_inverse<C, R, T, Q, detail::is_aligned<Q>::value>::call(m);
  382. }
  383. }//namespace glm
  384. #if GLM_CONFIG_SIMD == GLM_ENABLE
  385. # include "func_matrix_simd.inl"
  386. #endif