Operators.h 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748
  1. /*
  2. * Copyright (c) 2021-2023, Ali Mohammad Pur <mpfard@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #pragma once
  7. #include <AK/BitCast.h>
  8. #include <AK/BuiltinWrappers.h>
  9. #include <AK/Result.h>
  10. #include <AK/SIMD.h>
  11. #include <AK/StringView.h>
  12. #include <AK/Types.h>
  13. #include <limits.h>
  14. #include <math.h>
  15. namespace Wasm::Operators {
  16. using namespace AK::SIMD;
  17. #define DEFINE_BINARY_OPERATOR(Name, operation) \
  18. struct Name { \
  19. template<typename Lhs, typename Rhs> \
  20. auto operator()(Lhs lhs, Rhs rhs) const \
  21. { \
  22. return lhs operation rhs; \
  23. } \
  24. \
  25. static StringView name() \
  26. { \
  27. return #operation##sv; \
  28. } \
  29. }
  30. DEFINE_BINARY_OPERATOR(Equals, ==);
  31. DEFINE_BINARY_OPERATOR(NotEquals, !=);
  32. DEFINE_BINARY_OPERATOR(GreaterThan, >);
  33. DEFINE_BINARY_OPERATOR(LessThan, <);
  34. DEFINE_BINARY_OPERATOR(LessThanOrEquals, <=);
  35. DEFINE_BINARY_OPERATOR(GreaterThanOrEquals, >=);
  36. DEFINE_BINARY_OPERATOR(Add, +);
  37. DEFINE_BINARY_OPERATOR(Subtract, -);
  38. DEFINE_BINARY_OPERATOR(Multiply, *);
  39. DEFINE_BINARY_OPERATOR(BitAnd, &);
  40. DEFINE_BINARY_OPERATOR(BitOr, |);
  41. DEFINE_BINARY_OPERATOR(BitXor, ^);
  42. #undef DEFINE_BINARY_OPERATOR
  43. struct Divide {
  44. template<typename Lhs, typename Rhs>
  45. auto operator()(Lhs lhs, Rhs rhs) const
  46. {
  47. if constexpr (IsFloatingPoint<Lhs>) {
  48. return lhs / rhs;
  49. } else {
  50. Checked value(lhs);
  51. value /= rhs;
  52. if (value.has_overflow())
  53. return AK::ErrorOr<Lhs, StringView>("Integer division overflow"sv);
  54. return AK::ErrorOr<Lhs, StringView>(value.value());
  55. }
  56. }
  57. static StringView name() { return "/"sv; }
  58. };
  59. struct Modulo {
  60. template<typename Lhs, typename Rhs>
  61. auto operator()(Lhs lhs, Rhs rhs) const
  62. {
  63. if (rhs == 0)
  64. return AK::ErrorOr<Lhs, StringView>("Integer division overflow"sv);
  65. if constexpr (IsSigned<Lhs>) {
  66. if (rhs == -1)
  67. return AK::ErrorOr<Lhs, StringView>(0); // Spec weirdness right here, signed division overflow is ignored.
  68. }
  69. return AK::ErrorOr<Lhs, StringView>(lhs % rhs);
  70. }
  71. static StringView name() { return "%"sv; }
  72. };
  73. struct BitShiftLeft {
  74. template<typename Lhs, typename Rhs>
  75. auto operator()(Lhs lhs, Rhs rhs) const { return lhs << (rhs % (sizeof(lhs) * 8)); }
  76. static StringView name() { return "<<"sv; }
  77. };
  78. struct BitShiftRight {
  79. template<typename Lhs, typename Rhs>
  80. auto operator()(Lhs lhs, Rhs rhs) const { return lhs >> (rhs % (sizeof(lhs) * 8)); }
  81. static StringView name() { return ">>"sv; }
  82. };
  83. struct BitRotateLeft {
  84. template<typename Lhs, typename Rhs>
  85. auto operator()(Lhs lhs, Rhs rhs) const
  86. {
  87. // generates a single 'rol' instruction if shift is positive
  88. // otherwise generate a `ror`
  89. auto const mask = CHAR_BIT * sizeof(Lhs) - 1;
  90. rhs &= mask;
  91. return (lhs << rhs) | (lhs >> ((-rhs) & mask));
  92. }
  93. static StringView name() { return "rotate_left"sv; }
  94. };
  95. struct BitRotateRight {
  96. template<typename Lhs, typename Rhs>
  97. auto operator()(Lhs lhs, Rhs rhs) const
  98. {
  99. // generates a single 'ror' instruction if shift is positive
  100. // otherwise generate a `rol`
  101. auto const mask = CHAR_BIT * sizeof(Lhs) - 1;
  102. rhs &= mask;
  103. return (lhs >> rhs) | (lhs << ((-rhs) & mask));
  104. }
  105. static StringView name() { return "rotate_right"sv; }
  106. };
  107. template<size_t VectorSize>
  108. struct VectorShiftLeft {
  109. auto operator()(u128 lhs, i32 rhs) const
  110. {
  111. auto shift_value = rhs % (sizeof(lhs) * 8 / VectorSize);
  112. return bit_cast<u128>(bit_cast<Native128ByteVectorOf<NativeIntegralType<128 / VectorSize>, MakeUnsigned>>(lhs) << shift_value);
  113. }
  114. static StringView name()
  115. {
  116. switch (VectorSize) {
  117. case 16:
  118. return "vec(8x16)<<"sv;
  119. case 8:
  120. return "vec(16x8)<<"sv;
  121. case 4:
  122. return "vec(32x4)<<"sv;
  123. case 2:
  124. return "vec(64x2)<<"sv;
  125. default:
  126. VERIFY_NOT_REACHED();
  127. }
  128. }
  129. };
  130. template<size_t VectorSize, template<typename> typename SetSign>
  131. struct VectorShiftRight {
  132. auto operator()(u128 lhs, i32 rhs) const
  133. {
  134. auto shift_value = rhs % (sizeof(lhs) * 8 / VectorSize);
  135. return bit_cast<u128>(bit_cast<Native128ByteVectorOf<NativeIntegralType<128 / VectorSize>, SetSign>>(lhs) >> shift_value);
  136. }
  137. static StringView name()
  138. {
  139. switch (VectorSize) {
  140. case 16:
  141. return "vec(8x16)>>"sv;
  142. case 8:
  143. return "vec(16x8)>>"sv;
  144. case 4:
  145. return "vec(32x4)>>"sv;
  146. case 2:
  147. return "vec(64x2)>>"sv;
  148. default:
  149. VERIFY_NOT_REACHED();
  150. }
  151. }
  152. };
  153. struct VectorSwizzle {
  154. auto operator()(u128 c1, u128 c2) const
  155. {
  156. // https://webassembly.github.io/spec/core/bikeshed/#-mathsfi8x16hrefsyntax-instr-vecmathsfswizzle%E2%91%A0
  157. auto i = bit_cast<Native128ByteVectorOf<i8, MakeSigned>>(c2);
  158. auto j = bit_cast<Native128ByteVectorOf<i8, MakeSigned>>(c1);
  159. auto result = AK::SIMD::shuffle(i, j);
  160. return bit_cast<u128>(result);
  161. }
  162. static StringView name() { return "vec(8x16).swizzle"sv; }
  163. };
  164. template<size_t VectorSize, template<typename> typename SetSign>
  165. struct VectorExtractLane {
  166. size_t lane;
  167. auto operator()(u128 c) const
  168. {
  169. auto result = bit_cast<Native128ByteVectorOf<NativeIntegralType<128 / VectorSize>, SetSign>>(c);
  170. return result[lane];
  171. }
  172. static StringView name()
  173. {
  174. switch (VectorSize) {
  175. case 16:
  176. return "vec(8x16).extract_lane"sv;
  177. case 8:
  178. return "vec(16x8).extract_lane"sv;
  179. case 4:
  180. return "vec(32x4).extract_lane"sv;
  181. case 2:
  182. return "vec(64x2).extract_lane"sv;
  183. default:
  184. VERIFY_NOT_REACHED();
  185. }
  186. }
  187. };
  188. template<size_t VectorSize>
  189. struct VectorExtractLaneFloat {
  190. size_t lane;
  191. auto operator()(u128 c) const
  192. {
  193. auto result = bit_cast<NativeFloatingVectorType<128 / VectorSize, VectorSize>>(c);
  194. return result[lane];
  195. }
  196. static StringView name()
  197. {
  198. switch (VectorSize) {
  199. case 16:
  200. return "vec(8x16).extract_lane"sv;
  201. case 8:
  202. return "vec(16x8).extract_lane"sv;
  203. case 4:
  204. return "vec(32x4).extract_lane"sv;
  205. case 2:
  206. return "vec(64x2).extract_lane"sv;
  207. default:
  208. VERIFY_NOT_REACHED();
  209. }
  210. }
  211. };
  212. template<size_t VectorSize, typename TrueValueType = NativeIntegralType<128 / VectorSize>>
  213. struct VectorReplaceLane {
  214. size_t lane;
  215. using ValueType = Conditional<IsFloatingPoint<TrueValueType>, NativeFloatingType<128 / VectorSize>, NativeIntegralType<128 / VectorSize>>;
  216. auto operator()(u128 c, TrueValueType value) const
  217. {
  218. auto result = bit_cast<Native128ByteVectorOf<ValueType, MakeUnsigned>>(c);
  219. result[lane] = static_cast<ValueType>(value);
  220. return bit_cast<u128>(result);
  221. }
  222. static StringView name()
  223. {
  224. switch (VectorSize) {
  225. case 16:
  226. return "vec(8x16).replace_lane"sv;
  227. case 8:
  228. return "vec(16x8).replace_lane"sv;
  229. case 4:
  230. return "vec(32x4).replace_lane"sv;
  231. case 2:
  232. return "vec(64x2).replace_lane"sv;
  233. default:
  234. VERIFY_NOT_REACHED();
  235. }
  236. }
  237. };
  238. template<size_t VectorSize, typename Op, template<typename> typename SetSign = MakeSigned>
  239. struct VectorCmpOp {
  240. auto operator()(u128 c1, u128 c2) const
  241. {
  242. using ElementType = NativeIntegralType<128 / VectorSize>;
  243. auto result = bit_cast<Native128ByteVectorOf<ElementType, SetSign>>(c1);
  244. auto other = bit_cast<Native128ByteVectorOf<ElementType, SetSign>>(c2);
  245. Op op;
  246. for (size_t i = 0; i < VectorSize; ++i)
  247. result[i] = op(result[i], other[i]) ? static_cast<MakeUnsigned<ElementType>>(-1) : 0;
  248. return bit_cast<u128>(result);
  249. }
  250. static StringView name()
  251. {
  252. switch (VectorSize) {
  253. case 16:
  254. return "vec(8x16).cmp"sv;
  255. case 8:
  256. return "vec(16x8).cmp"sv;
  257. case 4:
  258. return "vec(32x4).cmp"sv;
  259. case 2:
  260. return "vec(64x2).cmp"sv;
  261. default:
  262. VERIFY_NOT_REACHED();
  263. }
  264. }
  265. };
  266. template<size_t VectorSize, typename Op>
  267. struct VectorFloatCmpOp {
  268. auto operator()(u128 c1, u128 c2) const
  269. {
  270. auto first = bit_cast<NativeFloatingVectorType<128, VectorSize, NativeFloatingType<128 / VectorSize>>>(c1);
  271. auto other = bit_cast<NativeFloatingVectorType<128, VectorSize, NativeFloatingType<128 / VectorSize>>>(c2);
  272. using ElementType = NativeIntegralType<128 / VectorSize>;
  273. Native128ByteVectorOf<ElementType, MakeUnsigned> result;
  274. Op op;
  275. for (size_t i = 0; i < VectorSize; ++i)
  276. result[i] = op(first[i], other[i]) ? static_cast<ElementType>(-1) : 0;
  277. return bit_cast<u128>(result);
  278. }
  279. static StringView name()
  280. {
  281. switch (VectorSize) {
  282. case 4:
  283. return "vecf(32x4).cmp"sv;
  284. case 2:
  285. return "vecf(64x2).cmp"sv;
  286. default:
  287. VERIFY_NOT_REACHED();
  288. }
  289. }
  290. };
  291. struct Minimum {
  292. template<typename Lhs, typename Rhs>
  293. auto operator()(Lhs lhs, Rhs rhs) const
  294. {
  295. if constexpr (IsFloatingPoint<Lhs> || IsFloatingPoint<Rhs>) {
  296. if (isnan(lhs) || isnan(rhs)) {
  297. return isnan(lhs) ? lhs : rhs;
  298. }
  299. if (lhs == 0 && rhs == 0) {
  300. return signbit(lhs) ? lhs : rhs;
  301. }
  302. }
  303. return min(lhs, rhs);
  304. }
  305. static StringView name() { return "minimum"sv; }
  306. };
  307. struct Maximum {
  308. template<typename Lhs, typename Rhs>
  309. auto operator()(Lhs lhs, Rhs rhs) const
  310. {
  311. if constexpr (IsFloatingPoint<Lhs> || IsFloatingPoint<Rhs>) {
  312. if (isnan(lhs) || isnan(rhs)) {
  313. return isnan(lhs) ? lhs : rhs;
  314. }
  315. if (lhs == 0 && rhs == 0) {
  316. return signbit(lhs) ? rhs : lhs;
  317. }
  318. }
  319. return max(lhs, rhs);
  320. }
  321. static StringView name() { return "maximum"sv; }
  322. };
  323. struct PseudoMinimum {
  324. template<typename Lhs, typename Rhs>
  325. auto operator()(Lhs lhs, Rhs rhs) const
  326. {
  327. return rhs < lhs ? rhs : lhs;
  328. }
  329. static StringView name() { return "pseudo_minimum"sv; }
  330. };
  331. struct PseudoMaximum {
  332. template<typename Lhs, typename Rhs>
  333. auto operator()(Lhs lhs, Rhs rhs) const
  334. {
  335. return lhs < rhs ? rhs : lhs;
  336. }
  337. static StringView name() { return "pseudo_maximum"sv; }
  338. };
  339. struct CopySign {
  340. template<typename Lhs, typename Rhs>
  341. auto operator()(Lhs lhs, Rhs rhs) const
  342. {
  343. if constexpr (IsSame<Lhs, float>)
  344. return copysignf(lhs, rhs);
  345. else if constexpr (IsSame<Lhs, double>)
  346. return copysign(lhs, rhs);
  347. else
  348. static_assert(DependentFalse<Lhs, Rhs>, "Invalid types to CopySign");
  349. }
  350. static StringView name() { return "copysign"sv; }
  351. };
  352. // Unary
  353. struct EqualsZero {
  354. template<typename Lhs>
  355. auto operator()(Lhs lhs) const { return lhs == 0; }
  356. static StringView name() { return "== 0"sv; }
  357. };
  358. struct CountLeadingZeros {
  359. template<typename Lhs>
  360. i32 operator()(Lhs lhs) const
  361. {
  362. if (lhs == 0)
  363. return sizeof(Lhs) * CHAR_BIT;
  364. if constexpr (sizeof(Lhs) == 4 || sizeof(Lhs) == 8)
  365. return count_leading_zeroes(MakeUnsigned<Lhs>(lhs));
  366. else
  367. VERIFY_NOT_REACHED();
  368. }
  369. static StringView name() { return "clz"sv; }
  370. };
  371. struct CountTrailingZeros {
  372. template<typename Lhs>
  373. i32 operator()(Lhs lhs) const
  374. {
  375. if (lhs == 0)
  376. return sizeof(Lhs) * CHAR_BIT;
  377. if constexpr (sizeof(Lhs) == 4 || sizeof(Lhs) == 8)
  378. return count_trailing_zeroes(MakeUnsigned<Lhs>(lhs));
  379. else
  380. VERIFY_NOT_REACHED();
  381. }
  382. static StringView name() { return "ctz"sv; }
  383. };
  384. struct PopCount {
  385. template<typename Lhs>
  386. auto operator()(Lhs lhs) const
  387. {
  388. if constexpr (sizeof(Lhs) == 4 || sizeof(Lhs) == 8)
  389. return popcount(MakeUnsigned<Lhs>(lhs));
  390. else
  391. VERIFY_NOT_REACHED();
  392. }
  393. static StringView name() { return "popcnt"sv; }
  394. };
  395. struct Absolute {
  396. template<typename Lhs>
  397. auto operator()(Lhs lhs) const { return AK::abs(lhs); }
  398. static StringView name() { return "abs"sv; }
  399. };
  400. struct Negate {
  401. template<typename Lhs>
  402. auto operator()(Lhs lhs) const { return -lhs; }
  403. static StringView name() { return "== 0"sv; }
  404. };
  405. struct Ceil {
  406. template<typename Lhs>
  407. auto operator()(Lhs lhs) const
  408. {
  409. if constexpr (IsSame<Lhs, float>)
  410. return ceilf(lhs);
  411. else if constexpr (IsSame<Lhs, double>)
  412. return ceil(lhs);
  413. else
  414. VERIFY_NOT_REACHED();
  415. }
  416. static StringView name() { return "ceil"sv; }
  417. };
  418. template<size_t VectorSize, typename Op>
  419. struct VectorFloatBinaryOp {
  420. auto operator()(u128 lhs, u128 rhs) const
  421. {
  422. using VectorType = NativeFloatingVectorType<128, VectorSize, NativeFloatingType<128 / VectorSize>>;
  423. auto first = bit_cast<VectorType>(lhs);
  424. auto second = bit_cast<VectorType>(rhs);
  425. VectorType result;
  426. Op op;
  427. for (size_t i = 0; i < VectorSize; ++i) {
  428. result[i] = op(first[i], second[i]);
  429. }
  430. return bit_cast<u128>(result);
  431. }
  432. static StringView name()
  433. {
  434. switch (VectorSize) {
  435. case 4:
  436. return "vecf(32x4).binary_op"sv;
  437. case 2:
  438. return "vecf(64x2).binary_op"sv;
  439. default:
  440. VERIFY_NOT_REACHED();
  441. }
  442. }
  443. };
  444. template<size_t VectorSize, typename Op>
  445. struct VectorFloatUnaryOp {
  446. auto operator()(u128 lhs) const
  447. {
  448. using VectorType = NativeFloatingVectorType<128, VectorSize, NativeFloatingType<128 / VectorSize>>;
  449. auto first = bit_cast<VectorType>(lhs);
  450. VectorType result;
  451. Op op;
  452. for (size_t i = 0; i < VectorSize; ++i) {
  453. result[i] = op(first[i]);
  454. }
  455. return bit_cast<u128>(result);
  456. }
  457. static StringView name()
  458. {
  459. switch (VectorSize) {
  460. case 4:
  461. return "vecf(32x4).unary_op"sv;
  462. case 2:
  463. return "vecf(64x2).unary_op"sv;
  464. default:
  465. VERIFY_NOT_REACHED();
  466. }
  467. }
  468. };
  469. struct Floor {
  470. template<typename Lhs>
  471. auto operator()(Lhs lhs) const
  472. {
  473. if constexpr (IsSame<Lhs, float>)
  474. return floorf(lhs);
  475. else if constexpr (IsSame<Lhs, double>)
  476. return floor(lhs);
  477. else
  478. VERIFY_NOT_REACHED();
  479. }
  480. static StringView name() { return "floor"sv; }
  481. };
  482. struct Truncate {
  483. template<typename Lhs>
  484. auto operator()(Lhs lhs) const
  485. {
  486. if constexpr (IsSame<Lhs, float>)
  487. return truncf(lhs);
  488. else if constexpr (IsSame<Lhs, double>)
  489. return trunc(lhs);
  490. else
  491. VERIFY_NOT_REACHED();
  492. }
  493. static StringView name() { return "truncate"sv; }
  494. };
  495. struct NearbyIntegral {
  496. template<typename Lhs>
  497. auto operator()(Lhs lhs) const
  498. {
  499. if constexpr (IsSame<Lhs, float>)
  500. return nearbyintf(lhs);
  501. else if constexpr (IsSame<Lhs, double>)
  502. return nearbyint(lhs);
  503. else
  504. VERIFY_NOT_REACHED();
  505. }
  506. static StringView name() { return "round"sv; }
  507. };
  508. struct SquareRoot {
  509. template<typename Lhs>
  510. auto operator()(Lhs lhs) const
  511. {
  512. if constexpr (IsSame<Lhs, float>)
  513. return sqrtf(lhs);
  514. else if constexpr (IsSame<Lhs, double>)
  515. return sqrt(lhs);
  516. else
  517. VERIFY_NOT_REACHED();
  518. }
  519. static StringView name() { return "sqrt"sv; }
  520. };
  521. template<typename Result>
  522. struct Wrap {
  523. template<typename Lhs>
  524. Result operator()(Lhs lhs) const
  525. {
  526. return static_cast<MakeUnsigned<Result>>(bit_cast<MakeUnsigned<Lhs>>(lhs));
  527. }
  528. static StringView name() { return "wrap"sv; }
  529. };
  530. template<typename ResultT>
  531. struct CheckedTruncate {
  532. template<typename Lhs>
  533. AK::ErrorOr<ResultT, StringView> operator()(Lhs lhs) const
  534. {
  535. if (isnan(lhs) || isinf(lhs)) // "undefined", let's just trap.
  536. return "Truncation undefined behavior"sv;
  537. Lhs truncated;
  538. if constexpr (IsSame<float, Lhs>)
  539. truncated = truncf(lhs);
  540. else if constexpr (IsSame<double, Lhs>)
  541. truncated = trunc(lhs);
  542. else
  543. VERIFY_NOT_REACHED();
  544. // FIXME: This function assumes that all values of ResultT are representable in Lhs
  545. // the assumption comes from the fact that this was used exclusively by LibJS,
  546. // which only considers values that are all representable in 'double'.
  547. if (!AK::is_within_range<ResultT>(truncated))
  548. return "Truncation out of range"sv;
  549. return static_cast<ResultT>(truncated);
  550. }
  551. static StringView name() { return "truncate.checked"sv; }
  552. };
  553. template<typename ResultT>
  554. struct Extend {
  555. template<typename Lhs>
  556. ResultT operator()(Lhs lhs) const
  557. {
  558. return lhs;
  559. }
  560. static StringView name() { return "extend"sv; }
  561. };
  562. template<typename ResultT>
  563. struct Convert {
  564. template<typename Lhs>
  565. ResultT operator()(Lhs lhs) const
  566. {
  567. auto interpretation = bit_cast<Lhs>(lhs);
  568. return static_cast<ResultT>(interpretation);
  569. }
  570. static StringView name() { return "convert"sv; }
  571. };
  572. template<typename ResultT>
  573. struct Reinterpret {
  574. template<typename Lhs>
  575. ResultT operator()(Lhs lhs) const
  576. {
  577. return bit_cast<ResultT>(lhs);
  578. }
  579. static StringView name() { return "reinterpret"sv; }
  580. };
  581. struct Promote {
  582. double operator()(float lhs) const
  583. {
  584. if (isnan(lhs))
  585. return nan(""); // FIXME: Ensure canonical NaN remains canonical
  586. return static_cast<double>(lhs);
  587. }
  588. static StringView name() { return "promote"sv; }
  589. };
  590. struct Demote {
  591. float operator()(double lhs) const
  592. {
  593. if (isnan(lhs))
  594. return nanf(""); // FIXME: Ensure canonical NaN remains canonical
  595. if (isinf(lhs))
  596. return copysignf(__builtin_huge_valf(), lhs);
  597. return static_cast<float>(lhs);
  598. }
  599. static StringView name() { return "demote"sv; }
  600. };
  601. template<typename InitialType>
  602. struct SignExtend {
  603. template<typename Lhs>
  604. Lhs operator()(Lhs lhs) const
  605. {
  606. auto unsigned_representation = bit_cast<MakeUnsigned<Lhs>>(lhs);
  607. auto truncated_unsigned_representation = static_cast<MakeUnsigned<InitialType>>(unsigned_representation);
  608. auto initial_value = bit_cast<InitialType>(truncated_unsigned_representation);
  609. return static_cast<Lhs>(initial_value);
  610. }
  611. static StringView name() { return "extend"sv; }
  612. };
  613. template<typename ResultT>
  614. struct SaturatingTruncate {
  615. template<typename Lhs>
  616. ResultT operator()(Lhs lhs) const
  617. {
  618. if (isnan(lhs))
  619. return 0;
  620. if (isinf(lhs)) {
  621. if (lhs < 0)
  622. return NumericLimits<ResultT>::min();
  623. return NumericLimits<ResultT>::max();
  624. }
  625. // FIXME: This assumes that all values in ResultT are representable in 'double'.
  626. // that assumption is not correct, which makes this function yield incorrect values
  627. // for 'edge' values of type i64.
  628. constexpr auto convert = []<typename ConvertT>(ConvertT truncated_value) {
  629. if (truncated_value < NumericLimits<ResultT>::min())
  630. return NumericLimits<ResultT>::min();
  631. if constexpr (IsSame<ConvertT, float>) {
  632. if (truncated_value >= static_cast<ConvertT>(NumericLimits<ResultT>::max()))
  633. return NumericLimits<ResultT>::max();
  634. } else {
  635. if (static_cast<double>(truncated_value) >= static_cast<double>(NumericLimits<ResultT>::max()))
  636. return NumericLimits<ResultT>::max();
  637. }
  638. return static_cast<ResultT>(truncated_value);
  639. };
  640. if constexpr (IsSame<Lhs, float>)
  641. return convert(truncf(lhs));
  642. else
  643. return convert(trunc(lhs));
  644. }
  645. static StringView name() { return "truncate.saturating"sv; }
  646. };
  647. }