parse_number_test.cpp 39 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970
  1. // Copyright (c) 2015-2016 The Khronos Group Inc.
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // http://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. #include <limits>
  15. #include <string>
  16. #include <vector>
  17. #include "gmock/gmock.h"
  18. #include "source/util/parse_number.h"
  19. #include "spirv-tools/libspirv.h"
  20. namespace spvtools {
  21. namespace utils {
  22. namespace {
  23. using testing::Eq;
  24. using testing::IsNull;
  25. using testing::NotNull;
  26. TEST(ParseNarrowSignedIntegers, Sample) {
  27. int16_t i16;
  28. EXPECT_FALSE(ParseNumber(nullptr, &i16));
  29. EXPECT_FALSE(ParseNumber("", &i16));
  30. EXPECT_FALSE(ParseNumber("0=", &i16));
  31. EXPECT_TRUE(ParseNumber("0", &i16));
  32. EXPECT_EQ(0, i16);
  33. EXPECT_TRUE(ParseNumber("32767", &i16));
  34. EXPECT_EQ(32767, i16);
  35. EXPECT_TRUE(ParseNumber("-32768", &i16));
  36. EXPECT_EQ(-32768, i16);
  37. EXPECT_TRUE(ParseNumber("-0", &i16));
  38. EXPECT_EQ(0, i16);
  39. // These are out of range, so they should return an error.
  40. // The error code depends on whether this is an optional value.
  41. EXPECT_FALSE(ParseNumber("32768", &i16));
  42. EXPECT_FALSE(ParseNumber("65535", &i16));
  43. // Check hex parsing.
  44. EXPECT_TRUE(ParseNumber("0x7fff", &i16));
  45. EXPECT_EQ(32767, i16);
  46. // This is out of range.
  47. EXPECT_FALSE(ParseNumber("0xffff", &i16));
  48. }
  49. TEST(ParseNarrowUnsignedIntegers, Sample) {
  50. uint16_t u16;
  51. EXPECT_FALSE(ParseNumber(nullptr, &u16));
  52. EXPECT_FALSE(ParseNumber("", &u16));
  53. EXPECT_FALSE(ParseNumber("0=", &u16));
  54. EXPECT_TRUE(ParseNumber("0", &u16));
  55. EXPECT_EQ(0, u16);
  56. EXPECT_TRUE(ParseNumber("65535", &u16));
  57. EXPECT_EQ(65535, u16);
  58. EXPECT_FALSE(ParseNumber("65536", &u16));
  59. // We don't care about -0 since it's rejected at a higher level.
  60. EXPECT_FALSE(ParseNumber("-1", &u16));
  61. EXPECT_TRUE(ParseNumber("0xffff", &u16));
  62. EXPECT_EQ(0xffff, u16);
  63. EXPECT_FALSE(ParseNumber("0x10000", &u16));
  64. }
  65. TEST(ParseSignedIntegers, Sample) {
  66. int32_t i32;
  67. // Invalid parse.
  68. EXPECT_FALSE(ParseNumber(nullptr, &i32));
  69. EXPECT_FALSE(ParseNumber("", &i32));
  70. EXPECT_FALSE(ParseNumber("0=", &i32));
  71. // Decimal values.
  72. EXPECT_TRUE(ParseNumber("0", &i32));
  73. EXPECT_EQ(0, i32);
  74. EXPECT_TRUE(ParseNumber("2147483647", &i32));
  75. EXPECT_EQ(std::numeric_limits<int32_t>::max(), i32);
  76. EXPECT_FALSE(ParseNumber("2147483648", &i32));
  77. EXPECT_TRUE(ParseNumber("-0", &i32));
  78. EXPECT_EQ(0, i32);
  79. EXPECT_TRUE(ParseNumber("-1", &i32));
  80. EXPECT_EQ(-1, i32);
  81. EXPECT_TRUE(ParseNumber("-2147483648", &i32));
  82. EXPECT_EQ(std::numeric_limits<int32_t>::min(), i32);
  83. // Hex values.
  84. EXPECT_TRUE(ParseNumber("0x7fffffff", &i32));
  85. EXPECT_EQ(std::numeric_limits<int32_t>::max(), i32);
  86. EXPECT_FALSE(ParseNumber("0x80000000", &i32));
  87. EXPECT_TRUE(ParseNumber("-0x000", &i32));
  88. EXPECT_EQ(0, i32);
  89. EXPECT_TRUE(ParseNumber("-0x001", &i32));
  90. EXPECT_EQ(-1, i32);
  91. EXPECT_TRUE(ParseNumber("-0x80000000", &i32));
  92. EXPECT_EQ(std::numeric_limits<int32_t>::min(), i32);
  93. }
  94. TEST(ParseUnsignedIntegers, Sample) {
  95. uint32_t u32;
  96. // Invalid parse.
  97. EXPECT_FALSE(ParseNumber(nullptr, &u32));
  98. EXPECT_FALSE(ParseNumber("", &u32));
  99. EXPECT_FALSE(ParseNumber("0=", &u32));
  100. // Valid values.
  101. EXPECT_TRUE(ParseNumber("0", &u32));
  102. EXPECT_EQ(0u, u32);
  103. EXPECT_TRUE(ParseNumber("4294967295", &u32));
  104. EXPECT_EQ(std::numeric_limits<uint32_t>::max(), u32);
  105. EXPECT_FALSE(ParseNumber("4294967296", &u32));
  106. // Hex values.
  107. EXPECT_TRUE(ParseNumber("0xffffffff", &u32));
  108. EXPECT_EQ(std::numeric_limits<uint32_t>::max(), u32);
  109. // We don't care about -0 since it's rejected at a higher level.
  110. EXPECT_FALSE(ParseNumber("-1", &u32));
  111. }
  112. TEST(ParseWideSignedIntegers, Sample) {
  113. int64_t i64;
  114. EXPECT_FALSE(ParseNumber(nullptr, &i64));
  115. EXPECT_FALSE(ParseNumber("", &i64));
  116. EXPECT_FALSE(ParseNumber("0=", &i64));
  117. EXPECT_TRUE(ParseNumber("0", &i64));
  118. EXPECT_EQ(0, i64);
  119. EXPECT_TRUE(ParseNumber("0x7fffffffffffffff", &i64));
  120. EXPECT_EQ(0x7fffffffffffffff, i64);
  121. EXPECT_TRUE(ParseNumber("-0", &i64));
  122. EXPECT_EQ(0, i64);
  123. EXPECT_TRUE(ParseNumber("-1", &i64));
  124. EXPECT_EQ(-1, i64);
  125. }
  126. TEST(ParseWideUnsignedIntegers, Sample) {
  127. uint64_t u64;
  128. EXPECT_FALSE(ParseNumber(nullptr, &u64));
  129. EXPECT_FALSE(ParseNumber("", &u64));
  130. EXPECT_FALSE(ParseNumber("0=", &u64));
  131. EXPECT_TRUE(ParseNumber("0", &u64));
  132. EXPECT_EQ(0u, u64);
  133. EXPECT_TRUE(ParseNumber("0xffffffffffffffff", &u64));
  134. EXPECT_EQ(0xffffffffffffffffULL, u64);
  135. // We don't care about -0 since it's rejected at a higher level.
  136. EXPECT_FALSE(ParseNumber("-1", &u64));
  137. }
  138. TEST(ParseFloat, Sample) {
  139. float f;
  140. EXPECT_FALSE(ParseNumber(nullptr, &f));
  141. EXPECT_FALSE(ParseNumber("", &f));
  142. EXPECT_FALSE(ParseNumber("0=", &f));
  143. // These values are exactly representatble.
  144. EXPECT_TRUE(ParseNumber("0", &f));
  145. EXPECT_EQ(0.0f, f);
  146. EXPECT_TRUE(ParseNumber("42", &f));
  147. EXPECT_EQ(42.0f, f);
  148. EXPECT_TRUE(ParseNumber("2.5", &f));
  149. EXPECT_EQ(2.5f, f);
  150. EXPECT_TRUE(ParseNumber("-32.5", &f));
  151. EXPECT_EQ(-32.5f, f);
  152. EXPECT_TRUE(ParseNumber("1e38", &f));
  153. EXPECT_EQ(1e38f, f);
  154. EXPECT_TRUE(ParseNumber("-1e38", &f));
  155. EXPECT_EQ(-1e38f, f);
  156. }
  157. TEST(ParseFloat, Overflow) {
  158. // The assembler parses using HexFloat<FloatProxy<float>>. Make
  159. // sure that succeeds for in-range values, and fails for out of
  160. // range values. When it does overflow, the value is set to the
  161. // nearest finite value, matching C++11 behavior for operator>>
  162. // on floating point.
  163. HexFloat<FloatProxy<float>> f(0.0f);
  164. EXPECT_TRUE(ParseNumber("1e38", &f));
  165. EXPECT_EQ(1e38f, f.value().getAsFloat());
  166. EXPECT_TRUE(ParseNumber("-1e38", &f));
  167. EXPECT_EQ(-1e38f, f.value().getAsFloat());
  168. EXPECT_FALSE(ParseNumber("1e40", &f));
  169. EXPECT_FALSE(ParseNumber("-1e40", &f));
  170. EXPECT_FALSE(ParseNumber("1e400", &f));
  171. EXPECT_FALSE(ParseNumber("-1e400", &f));
  172. }
  173. TEST(ParseDouble, Sample) {
  174. double f;
  175. EXPECT_FALSE(ParseNumber(nullptr, &f));
  176. EXPECT_FALSE(ParseNumber("", &f));
  177. EXPECT_FALSE(ParseNumber("0=", &f));
  178. // These values are exactly representatble.
  179. EXPECT_TRUE(ParseNumber("0", &f));
  180. EXPECT_EQ(0.0, f);
  181. EXPECT_TRUE(ParseNumber("42", &f));
  182. EXPECT_EQ(42.0, f);
  183. EXPECT_TRUE(ParseNumber("2.5", &f));
  184. EXPECT_EQ(2.5, f);
  185. EXPECT_TRUE(ParseNumber("-32.5", &f));
  186. EXPECT_EQ(-32.5, f);
  187. EXPECT_TRUE(ParseNumber("1e38", &f));
  188. EXPECT_EQ(1e38, f);
  189. EXPECT_TRUE(ParseNumber("-1e38", &f));
  190. EXPECT_EQ(-1e38, f);
  191. // These are out of range for 32-bit float, but in range for 64-bit float.
  192. EXPECT_TRUE(ParseNumber("1e40", &f));
  193. EXPECT_EQ(1e40, f);
  194. EXPECT_TRUE(ParseNumber("-1e40", &f));
  195. EXPECT_EQ(-1e40, f);
  196. }
  197. TEST(ParseDouble, Overflow) {
  198. // The assembler parses using HexFloat<FloatProxy<double>>. Make
  199. // sure that succeeds for in-range values, and fails for out of
  200. // range values. When it does overflow, the value is set to the
  201. // nearest finite value, matching C++11 behavior for operator>>
  202. // on floating point.
  203. HexFloat<FloatProxy<double>> f(0.0);
  204. EXPECT_TRUE(ParseNumber("1e38", &f));
  205. EXPECT_EQ(1e38, f.value().getAsFloat());
  206. EXPECT_TRUE(ParseNumber("-1e38", &f));
  207. EXPECT_EQ(-1e38, f.value().getAsFloat());
  208. EXPECT_TRUE(ParseNumber("1e40", &f));
  209. EXPECT_EQ(1e40, f.value().getAsFloat());
  210. EXPECT_TRUE(ParseNumber("-1e40", &f));
  211. EXPECT_EQ(-1e40, f.value().getAsFloat());
  212. EXPECT_FALSE(ParseNumber("1e400", &f));
  213. EXPECT_FALSE(ParseNumber("-1e400", &f));
  214. }
  215. TEST(ParseFloat16, Overflow) {
  216. // The assembler parses using HexFloat<FloatProxy<Float16>>. Make
  217. // sure that succeeds for in-range values, and fails for out of
  218. // range values. When it does overflow, the value is set to the
  219. // nearest finite value, matching C++11 behavior for operator>>
  220. // on floating point.
  221. HexFloat<FloatProxy<Float16>> f(0);
  222. EXPECT_FALSE(ParseNumber(nullptr, &f));
  223. EXPECT_TRUE(ParseNumber("-0.0", &f));
  224. EXPECT_EQ(uint16_t{0x8000}, f.value().getAsFloat().get_value());
  225. EXPECT_TRUE(ParseNumber("1.0", &f));
  226. EXPECT_EQ(uint16_t{0x3c00}, f.value().getAsFloat().get_value());
  227. // Overflows 16-bit but not 32-bit
  228. EXPECT_FALSE(ParseNumber("1e38", &f));
  229. EXPECT_FALSE(ParseNumber("-1e38", &f));
  230. // Overflows 32-bit but not 64-bit
  231. EXPECT_FALSE(ParseNumber("1e40", &f));
  232. EXPECT_FALSE(ParseNumber("-1e40", &f));
  233. // Overflows 64-bit
  234. EXPECT_FALSE(ParseNumber("1e400", &f));
  235. EXPECT_FALSE(ParseNumber("-1e400", &f));
  236. }
  237. void AssertEmitFunc(uint32_t) {
  238. ASSERT_FALSE(true)
  239. << "Should not call emit() function when the number can not be parsed.";
  240. return;
  241. }
  242. TEST(ParseAndEncodeNarrowSignedIntegers, Invalid) {
  243. // The error message should be overwritten after each parsing call.
  244. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  245. std::string err_msg;
  246. NumberType type = {16, SPV_NUMBER_SIGNED_INT};
  247. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  248. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  249. EXPECT_EQ("The given text is a nullptr", err_msg);
  250. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  251. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  252. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  253. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  254. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  255. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  256. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  257. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  258. EXPECT_EQ("Invalid signed integer literal: -", err_msg);
  259. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  260. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  261. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  262. }
  263. TEST(ParseAndEncodeNarrowSignedIntegers, Overflow) {
  264. // The error message should be overwritten after each parsing call.
  265. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  266. std::string err_msg;
  267. NumberType type = {16, SPV_NUMBER_SIGNED_INT};
  268. rc = ParseAndEncodeIntegerNumber("32768", type, AssertEmitFunc, &err_msg);
  269. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  270. EXPECT_EQ("Integer 32768 does not fit in a 16-bit signed integer", err_msg);
  271. rc = ParseAndEncodeIntegerNumber("-32769", type, AssertEmitFunc, &err_msg);
  272. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  273. EXPECT_EQ("Integer -32769 does not fit in a 16-bit signed integer", err_msg);
  274. }
  275. TEST(ParseAndEncodeNarrowSignedIntegers, Success) {
  276. // Don't care the error message in this case.
  277. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  278. NumberType type = {16, SPV_NUMBER_SIGNED_INT};
  279. // Zero, maximum, and minimum value
  280. rc = ParseAndEncodeIntegerNumber(
  281. "0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  282. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  283. rc = ParseAndEncodeIntegerNumber(
  284. "-0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  285. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  286. rc = ParseAndEncodeIntegerNumber(
  287. "32767", type, [](uint32_t word) { EXPECT_EQ(0x00007fffu, word); },
  288. nullptr);
  289. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  290. rc = ParseAndEncodeIntegerNumber(
  291. "-32768", type, [](uint32_t word) { EXPECT_EQ(0xffff8000u, word); },
  292. nullptr);
  293. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  294. // Hex parsing
  295. rc = ParseAndEncodeIntegerNumber(
  296. "0x7fff", type, [](uint32_t word) { EXPECT_EQ(0x00007fffu, word); },
  297. nullptr);
  298. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  299. rc = ParseAndEncodeIntegerNumber(
  300. "0xffff", type, [](uint32_t word) { EXPECT_EQ(0xffffffffu, word); },
  301. nullptr);
  302. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  303. }
  304. TEST(ParseAndEncodeNarrowUnsignedIntegers, Invalid) {
  305. // The error message should be overwritten after each parsing call.
  306. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  307. std::string err_msg;
  308. NumberType type = {16, SPV_NUMBER_UNSIGNED_INT};
  309. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  310. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  311. EXPECT_EQ("The given text is a nullptr", err_msg);
  312. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  313. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  314. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  315. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  316. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  317. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  318. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  319. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  320. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  321. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  322. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  323. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  324. rc = ParseAndEncodeIntegerNumber("-0", type, AssertEmitFunc, &err_msg);
  325. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  326. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  327. rc = ParseAndEncodeIntegerNumber("-1", type, AssertEmitFunc, &err_msg);
  328. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  329. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  330. }
  331. TEST(ParseAndEncodeNarrowUnsignedIntegers, Overflow) {
  332. // The error message should be overwritten after each parsing call.
  333. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  334. std::string err_msg("random content");
  335. NumberType type = {16, SPV_NUMBER_UNSIGNED_INT};
  336. // Overflow
  337. rc = ParseAndEncodeIntegerNumber("65536", type, AssertEmitFunc, &err_msg);
  338. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  339. EXPECT_EQ("Integer 65536 does not fit in a 16-bit unsigned integer", err_msg);
  340. }
  341. TEST(ParseAndEncodeNarrowUnsignedIntegers, Success) {
  342. // Don't care the error message in this case.
  343. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  344. NumberType type = {16, SPV_NUMBER_UNSIGNED_INT};
  345. // Zero, maximum, and minimum value
  346. rc = ParseAndEncodeIntegerNumber(
  347. "0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  348. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  349. rc = ParseAndEncodeIntegerNumber(
  350. "65535", type, [](uint32_t word) { EXPECT_EQ(0x0000ffffu, word); },
  351. nullptr);
  352. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  353. // Hex parsing
  354. rc = ParseAndEncodeIntegerNumber(
  355. "0xffff", type, [](uint32_t word) { EXPECT_EQ(0x0000ffffu, word); },
  356. nullptr);
  357. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  358. }
  359. TEST(ParseAndEncodeSignedIntegers, Invalid) {
  360. // The error message should be overwritten after each parsing call.
  361. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  362. std::string err_msg;
  363. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  364. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  365. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  366. EXPECT_EQ("The given text is a nullptr", err_msg);
  367. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  368. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  369. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  370. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  371. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  372. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  373. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  374. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  375. EXPECT_EQ("Invalid signed integer literal: -", err_msg);
  376. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  377. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  378. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  379. }
  380. TEST(ParseAndEncodeSignedIntegers, Overflow) {
  381. // The error message should be overwritten after each parsing call.
  382. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  383. std::string err_msg;
  384. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  385. rc =
  386. ParseAndEncodeIntegerNumber("2147483648", type, AssertEmitFunc, &err_msg);
  387. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  388. EXPECT_EQ("Integer 2147483648 does not fit in a 32-bit signed integer",
  389. err_msg);
  390. rc = ParseAndEncodeIntegerNumber("-2147483649", type, AssertEmitFunc,
  391. &err_msg);
  392. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  393. EXPECT_EQ("Integer -2147483649 does not fit in a 32-bit signed integer",
  394. err_msg);
  395. }
  396. TEST(ParseAndEncodeSignedIntegers, Success) {
  397. // Don't care the error message in this case.
  398. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  399. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  400. // Zero, maximum, and minimum value
  401. rc = ParseAndEncodeIntegerNumber(
  402. "0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  403. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  404. rc = ParseAndEncodeIntegerNumber(
  405. "-0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  406. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  407. rc = ParseAndEncodeIntegerNumber(
  408. "2147483647", type, [](uint32_t word) { EXPECT_EQ(0x7fffffffu, word); },
  409. nullptr);
  410. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  411. rc = ParseAndEncodeIntegerNumber(
  412. "-2147483648", type, [](uint32_t word) { EXPECT_EQ(0x80000000u, word); },
  413. nullptr);
  414. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  415. // Hex parsing
  416. rc = ParseAndEncodeIntegerNumber(
  417. "0x7fffffff", type, [](uint32_t word) { EXPECT_EQ(0x7fffffffu, word); },
  418. nullptr);
  419. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  420. rc = ParseAndEncodeIntegerNumber(
  421. "0xffffffff", type, [](uint32_t word) { EXPECT_EQ(0xffffffffu, word); },
  422. nullptr);
  423. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  424. }
  425. TEST(ParseAndEncodeUnsignedIntegers, Invalid) {
  426. // The error message should be overwritten after each parsing call.
  427. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  428. std::string err_msg;
  429. NumberType type = {32, SPV_NUMBER_UNSIGNED_INT};
  430. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  431. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  432. EXPECT_EQ("The given text is a nullptr", err_msg);
  433. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  434. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  435. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  436. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  437. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  438. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  439. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  440. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  441. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  442. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  443. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  444. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  445. rc = ParseAndEncodeIntegerNumber("-0", type, AssertEmitFunc, &err_msg);
  446. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  447. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  448. rc = ParseAndEncodeIntegerNumber("-1", type, AssertEmitFunc, &err_msg);
  449. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  450. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  451. }
  452. TEST(ParseAndEncodeUnsignedIntegers, Overflow) {
  453. // The error message should be overwritten after each parsing call.
  454. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  455. std::string err_msg("random content");
  456. NumberType type = {32, SPV_NUMBER_UNSIGNED_INT};
  457. // Overflow
  458. rc =
  459. ParseAndEncodeIntegerNumber("4294967296", type, AssertEmitFunc, &err_msg);
  460. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  461. EXPECT_EQ("Integer 4294967296 does not fit in a 32-bit unsigned integer",
  462. err_msg);
  463. }
  464. TEST(ParseAndEncodeUnsignedIntegers, Success) {
  465. // Don't care the error message in this case.
  466. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  467. NumberType type = {32, SPV_NUMBER_UNSIGNED_INT};
  468. // Zero, maximum, and minimum value
  469. rc = ParseAndEncodeIntegerNumber(
  470. "0", type, [](uint32_t word) { EXPECT_EQ(0u, word); }, nullptr);
  471. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  472. rc = ParseAndEncodeIntegerNumber(
  473. "4294967295", type, [](uint32_t word) { EXPECT_EQ(0xffffffffu, word); },
  474. nullptr);
  475. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  476. // Hex parsing
  477. rc = ParseAndEncodeIntegerNumber(
  478. "0xffffffff", type, [](uint32_t word) { EXPECT_EQ(0xffffffffu, word); },
  479. nullptr);
  480. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  481. }
  482. TEST(ParseAndEncodeWideSignedIntegers, Invalid) {
  483. // The error message should be overwritten after each parsing call.
  484. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  485. std::string err_msg;
  486. NumberType type = {64, SPV_NUMBER_SIGNED_INT};
  487. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  488. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  489. EXPECT_EQ("The given text is a nullptr", err_msg);
  490. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  491. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  492. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  493. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  494. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  495. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  496. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  497. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  498. EXPECT_EQ("Invalid signed integer literal: -", err_msg);
  499. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  500. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  501. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  502. }
  503. TEST(ParseAndEncodeWideSignedIntegers, Overflow) {
  504. // The error message should be overwritten after each parsing call.
  505. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  506. std::string err_msg;
  507. NumberType type = {64, SPV_NUMBER_SIGNED_INT};
  508. rc = ParseAndEncodeIntegerNumber("9223372036854775808", type, AssertEmitFunc,
  509. &err_msg);
  510. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  511. EXPECT_EQ(
  512. "Integer 9223372036854775808 does not fit in a 64-bit signed integer",
  513. err_msg);
  514. rc = ParseAndEncodeIntegerNumber("-9223372036854775809", type, AssertEmitFunc,
  515. &err_msg);
  516. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  517. EXPECT_EQ("Invalid signed integer literal: -9223372036854775809", err_msg);
  518. }
  519. TEST(ParseAndEncodeWideSignedIntegers, Success) {
  520. // Don't care the error message in this case.
  521. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  522. NumberType type = {64, SPV_NUMBER_SIGNED_INT};
  523. std::vector<uint32_t> word_buffer;
  524. auto emit = [&word_buffer](uint32_t word) {
  525. if (word_buffer.size() == 2) word_buffer.clear();
  526. word_buffer.push_back(word);
  527. };
  528. // Zero, maximum, and minimum value
  529. rc = ParseAndEncodeIntegerNumber("0", type, emit, nullptr);
  530. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  531. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0u}));
  532. rc = ParseAndEncodeIntegerNumber("-0", type, emit, nullptr);
  533. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  534. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0u}));
  535. rc = ParseAndEncodeIntegerNumber("9223372036854775807", type, emit, nullptr);
  536. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  537. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0x7fffffffu}));
  538. rc = ParseAndEncodeIntegerNumber("-9223372036854775808", type, emit, nullptr);
  539. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  540. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0x80000000u}));
  541. rc = ParseAndEncodeIntegerNumber("-1", type, emit, nullptr);
  542. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  543. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0xffffffffu}));
  544. // Hex parsing
  545. rc = ParseAndEncodeIntegerNumber("0x7fffffffffffffff", type, emit, nullptr);
  546. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  547. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0x7fffffffu}));
  548. rc = ParseAndEncodeIntegerNumber("0xffffffffffffffff", type, emit, nullptr);
  549. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  550. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0xffffffffu}));
  551. }
  552. TEST(ParseAndEncodeWideUnsignedIntegers, Invalid) {
  553. // The error message should be overwritten after each parsing call.
  554. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  555. std::string err_msg;
  556. NumberType type = {64, SPV_NUMBER_UNSIGNED_INT};
  557. // Invalid
  558. rc = ParseAndEncodeIntegerNumber(nullptr, type, AssertEmitFunc, &err_msg);
  559. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  560. EXPECT_EQ("The given text is a nullptr", err_msg);
  561. rc = ParseAndEncodeIntegerNumber("", type, AssertEmitFunc, &err_msg);
  562. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  563. EXPECT_EQ("Invalid unsigned integer literal: ", err_msg);
  564. rc = ParseAndEncodeIntegerNumber("=", type, AssertEmitFunc, &err_msg);
  565. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  566. EXPECT_EQ("Invalid unsigned integer literal: =", err_msg);
  567. rc = ParseAndEncodeIntegerNumber("-", type, AssertEmitFunc, &err_msg);
  568. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  569. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  570. rc = ParseAndEncodeIntegerNumber("0=", type, AssertEmitFunc, &err_msg);
  571. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  572. EXPECT_EQ("Invalid unsigned integer literal: 0=", err_msg);
  573. rc = ParseAndEncodeIntegerNumber("-0", type, AssertEmitFunc, &err_msg);
  574. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  575. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  576. rc = ParseAndEncodeIntegerNumber("-1", type, AssertEmitFunc, &err_msg);
  577. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  578. EXPECT_EQ("Cannot put a negative number in an unsigned literal", err_msg);
  579. }
  580. TEST(ParseAndEncodeWideUnsignedIntegers, Overflow) {
  581. // The error message should be overwritten after each parsing call.
  582. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  583. std::string err_msg;
  584. NumberType type = {64, SPV_NUMBER_UNSIGNED_INT};
  585. // Overflow
  586. rc = ParseAndEncodeIntegerNumber("18446744073709551616", type, AssertEmitFunc,
  587. &err_msg);
  588. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  589. EXPECT_EQ("Invalid unsigned integer literal: 18446744073709551616", err_msg);
  590. }
  591. TEST(ParseAndEncodeWideUnsignedIntegers, Success) {
  592. // Don't care the error message in this case.
  593. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  594. NumberType type = {64, SPV_NUMBER_UNSIGNED_INT};
  595. std::vector<uint32_t> word_buffer;
  596. auto emit = [&word_buffer](uint32_t word) {
  597. if (word_buffer.size() == 2) word_buffer.clear();
  598. word_buffer.push_back(word);
  599. };
  600. // Zero, maximum, and minimum value
  601. rc = ParseAndEncodeIntegerNumber("0", type, emit, nullptr);
  602. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  603. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0u}));
  604. rc = ParseAndEncodeIntegerNumber("18446744073709551615", type, emit, nullptr);
  605. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  606. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0xffffffffu}));
  607. // Hex parsing
  608. rc = ParseAndEncodeIntegerNumber("0xffffffffffffffff", type, emit, nullptr);
  609. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  610. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xffffffffu, 0xffffffffu}));
  611. }
  612. TEST(ParseAndEncodeIntegerNumber, TypeNone) {
  613. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  614. std::string err_msg;
  615. NumberType type = {32, SPV_NUMBER_NONE};
  616. rc = ParseAndEncodeIntegerNumber(
  617. "0.0", type, [](uint32_t word) { EXPECT_EQ(0x0u, word); }, &err_msg);
  618. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  619. EXPECT_EQ("The expected type is not a integer type", err_msg);
  620. }
  621. TEST(ParseAndEncodeIntegerNumber, InvalidCaseWithoutErrorMessageString) {
  622. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  623. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  624. rc = ParseAndEncodeIntegerNumber("invalid", type, AssertEmitFunc, nullptr);
  625. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  626. }
  627. TEST(ParseAndEncodeIntegerNumber, DoNotTouchErrorMessageStringOnSuccess) {
  628. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  629. std::string err_msg("random content");
  630. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  631. rc = ParseAndEncodeIntegerNumber(
  632. "100", type, [](uint32_t word) { EXPECT_EQ(100u, word); }, &err_msg);
  633. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  634. EXPECT_EQ("random content", err_msg);
  635. }
  636. TEST(ParseAndEncodeFloat, Sample) {
  637. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  638. std::string err_msg;
  639. NumberType type = {32, SPV_NUMBER_FLOATING};
  640. // Invalid
  641. rc = ParseAndEncodeFloatingPointNumber("", type, AssertEmitFunc, &err_msg);
  642. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  643. EXPECT_EQ("Invalid 32-bit float literal: ", err_msg);
  644. rc = ParseAndEncodeFloatingPointNumber("0=", type, AssertEmitFunc, &err_msg);
  645. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  646. EXPECT_EQ("Invalid 32-bit float literal: 0=", err_msg);
  647. // Representative samples
  648. rc = ParseAndEncodeFloatingPointNumber(
  649. "0.0", type, [](uint32_t word) { EXPECT_EQ(0x0u, word); }, nullptr);
  650. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  651. rc = ParseAndEncodeFloatingPointNumber(
  652. "-0.0", type, [](uint32_t word) { EXPECT_EQ(0x80000000u, word); },
  653. nullptr);
  654. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  655. rc = ParseAndEncodeFloatingPointNumber(
  656. "42", type, [](uint32_t word) { EXPECT_EQ(0x42280000u, word); }, nullptr);
  657. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  658. rc = ParseAndEncodeFloatingPointNumber(
  659. "2.5", type, [](uint32_t word) { EXPECT_EQ(0x40200000u, word); },
  660. nullptr);
  661. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  662. rc = ParseAndEncodeFloatingPointNumber(
  663. "-32.5", type, [](uint32_t word) { EXPECT_EQ(0xc2020000u, word); },
  664. nullptr);
  665. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  666. rc = ParseAndEncodeFloatingPointNumber(
  667. "1e38", type, [](uint32_t word) { EXPECT_EQ(0x7e967699u, word); },
  668. nullptr);
  669. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  670. rc = ParseAndEncodeFloatingPointNumber(
  671. "-1e38", type, [](uint32_t word) { EXPECT_EQ(0xfe967699u, word); },
  672. nullptr);
  673. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  674. // Overflow
  675. rc =
  676. ParseAndEncodeFloatingPointNumber("1e40", type, AssertEmitFunc, &err_msg);
  677. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  678. EXPECT_EQ("Invalid 32-bit float literal: 1e40", err_msg);
  679. rc = ParseAndEncodeFloatingPointNumber("-1e40", type, AssertEmitFunc,
  680. &err_msg);
  681. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  682. EXPECT_EQ("Invalid 32-bit float literal: -1e40", err_msg);
  683. rc = ParseAndEncodeFloatingPointNumber("1e400", type, AssertEmitFunc,
  684. &err_msg);
  685. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  686. EXPECT_EQ("Invalid 32-bit float literal: 1e400", err_msg);
  687. rc = ParseAndEncodeFloatingPointNumber("-1e400", type, AssertEmitFunc,
  688. &err_msg);
  689. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  690. EXPECT_EQ("Invalid 32-bit float literal: -1e400", err_msg);
  691. }
  692. TEST(ParseAndEncodeDouble, Sample) {
  693. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  694. std::string err_msg;
  695. NumberType type = {64, SPV_NUMBER_FLOATING};
  696. std::vector<uint32_t> word_buffer;
  697. auto emit = [&word_buffer](uint32_t word) {
  698. if (word_buffer.size() == 2) word_buffer.clear();
  699. word_buffer.push_back(word);
  700. };
  701. // Invalid
  702. rc = ParseAndEncodeFloatingPointNumber("", type, AssertEmitFunc, &err_msg);
  703. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  704. EXPECT_EQ("Invalid 64-bit float literal: ", err_msg);
  705. rc = ParseAndEncodeFloatingPointNumber("0=", type, AssertEmitFunc, &err_msg);
  706. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  707. EXPECT_EQ("Invalid 64-bit float literal: 0=", err_msg);
  708. // Representative samples
  709. rc = ParseAndEncodeFloatingPointNumber("0.0", type, emit, nullptr);
  710. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  711. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0u}));
  712. rc = ParseAndEncodeFloatingPointNumber("-0.0", type, emit, nullptr);
  713. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  714. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0x80000000u}));
  715. rc = ParseAndEncodeFloatingPointNumber("42", type, emit, nullptr);
  716. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  717. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0x40450000u}));
  718. rc = ParseAndEncodeFloatingPointNumber("2.5", type, emit, nullptr);
  719. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  720. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0x40040000u}));
  721. rc = ParseAndEncodeFloatingPointNumber("32.5", type, emit, nullptr);
  722. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  723. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0u, 0x40404000u}));
  724. rc = ParseAndEncodeFloatingPointNumber("1e38", type, emit, nullptr);
  725. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  726. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0x2a16a1b1u, 0x47d2ced3u}));
  727. rc = ParseAndEncodeFloatingPointNumber("-1e38", type, emit, nullptr);
  728. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  729. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0x2a16a1b1u, 0xc7d2ced3u}));
  730. rc = ParseAndEncodeFloatingPointNumber("1e40", type, emit, nullptr);
  731. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  732. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xf1c35ca5u, 0x483d6329u}));
  733. rc = ParseAndEncodeFloatingPointNumber("-1e40", type, emit, nullptr);
  734. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  735. EXPECT_THAT(word_buffer, Eq(std::vector<uint32_t>{0xf1c35ca5u, 0xc83d6329u}));
  736. // Overflow
  737. rc = ParseAndEncodeFloatingPointNumber("1e400", type, AssertEmitFunc,
  738. &err_msg);
  739. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  740. EXPECT_EQ("Invalid 64-bit float literal: 1e400", err_msg);
  741. rc = ParseAndEncodeFloatingPointNumber("-1e400", type, AssertEmitFunc,
  742. &err_msg);
  743. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  744. EXPECT_EQ("Invalid 64-bit float literal: -1e400", err_msg);
  745. }
  746. TEST(ParseAndEncodeFloat16, Sample) {
  747. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  748. std::string err_msg;
  749. NumberType type = {16, SPV_NUMBER_FLOATING};
  750. // Invalid
  751. rc = ParseAndEncodeFloatingPointNumber("", type, AssertEmitFunc, &err_msg);
  752. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  753. EXPECT_EQ("Invalid 16-bit float literal: ", err_msg);
  754. rc = ParseAndEncodeFloatingPointNumber("0=", type, AssertEmitFunc, &err_msg);
  755. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  756. EXPECT_EQ("Invalid 16-bit float literal: 0=", err_msg);
  757. // Representative samples
  758. rc = ParseAndEncodeFloatingPointNumber(
  759. "0.0", type, [](uint32_t word) { EXPECT_EQ(0x0u, word); }, nullptr);
  760. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  761. rc = ParseAndEncodeFloatingPointNumber(
  762. "-0.0", type, [](uint32_t word) { EXPECT_EQ(0x8000u, word); }, nullptr);
  763. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  764. rc = ParseAndEncodeFloatingPointNumber(
  765. "1.0", type, [](uint32_t word) { EXPECT_EQ(0x3c00u, word); }, nullptr);
  766. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  767. rc = ParseAndEncodeFloatingPointNumber(
  768. "2.5", type, [](uint32_t word) { EXPECT_EQ(0x4100u, word); }, nullptr);
  769. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  770. rc = ParseAndEncodeFloatingPointNumber(
  771. "32.5", type, [](uint32_t word) { EXPECT_EQ(0x5010u, word); }, nullptr);
  772. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  773. // Overflow
  774. rc =
  775. ParseAndEncodeFloatingPointNumber("1e38", type, AssertEmitFunc, &err_msg);
  776. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  777. EXPECT_EQ("Invalid 16-bit float literal: 1e38", err_msg);
  778. rc = ParseAndEncodeFloatingPointNumber("-1e38", type, AssertEmitFunc,
  779. &err_msg);
  780. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  781. EXPECT_EQ("Invalid 16-bit float literal: -1e38", err_msg);
  782. rc =
  783. ParseAndEncodeFloatingPointNumber("1e40", type, AssertEmitFunc, &err_msg);
  784. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  785. EXPECT_EQ("Invalid 16-bit float literal: 1e40", err_msg);
  786. rc = ParseAndEncodeFloatingPointNumber("-1e40", type, AssertEmitFunc,
  787. &err_msg);
  788. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  789. EXPECT_EQ("Invalid 16-bit float literal: -1e40", err_msg);
  790. rc = ParseAndEncodeFloatingPointNumber("1e400", type, AssertEmitFunc,
  791. &err_msg);
  792. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  793. EXPECT_EQ("Invalid 16-bit float literal: 1e400", err_msg);
  794. rc = ParseAndEncodeFloatingPointNumber("-1e400", type, AssertEmitFunc,
  795. &err_msg);
  796. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  797. EXPECT_EQ("Invalid 16-bit float literal: -1e400", err_msg);
  798. }
  799. TEST(ParseAndEncodeFloatingPointNumber, TypeNone) {
  800. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  801. std::string err_msg;
  802. NumberType type = {32, SPV_NUMBER_NONE};
  803. rc = ParseAndEncodeFloatingPointNumber(
  804. "0.0", type, [](uint32_t word) { EXPECT_EQ(0x0u, word); }, &err_msg);
  805. EXPECT_EQ(EncodeNumberStatus::kInvalidUsage, rc);
  806. EXPECT_EQ("The expected type is not a float type", err_msg);
  807. }
  808. TEST(ParseAndEncodeFloatingPointNumber, InvalidCaseWithoutErrorMessageString) {
  809. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  810. NumberType type = {32, SPV_NUMBER_FLOATING};
  811. rc = ParseAndEncodeFloatingPointNumber("invalid", type, AssertEmitFunc,
  812. nullptr);
  813. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  814. }
  815. TEST(ParseAndEncodeFloatingPointNumber, DoNotTouchErrorMessageStringOnSuccess) {
  816. EncodeNumberStatus rc = EncodeNumberStatus::kInvalidText;
  817. std::string err_msg("random content");
  818. NumberType type = {32, SPV_NUMBER_FLOATING};
  819. rc = ParseAndEncodeFloatingPointNumber(
  820. "0.0", type, [](uint32_t word) { EXPECT_EQ(0x0u, word); }, &err_msg);
  821. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  822. EXPECT_EQ("random content", err_msg);
  823. }
  824. TEST(ParseAndEncodeNumber, Sample) {
  825. EncodeNumberStatus rc = EncodeNumberStatus::kSuccess;
  826. std::string err_msg;
  827. NumberType type = {32, SPV_NUMBER_SIGNED_INT};
  828. // Invalid with error message string
  829. rc = ParseAndEncodeNumber("something wrong", type, AssertEmitFunc, &err_msg);
  830. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  831. EXPECT_EQ("Invalid unsigned integer literal: something wrong", err_msg);
  832. // Invalid without error message string
  833. rc = ParseAndEncodeNumber("something wrong", type, AssertEmitFunc, nullptr);
  834. EXPECT_EQ(EncodeNumberStatus::kInvalidText, rc);
  835. // Signed integer, should not touch the error message string.
  836. err_msg = "random content";
  837. rc = ParseAndEncodeNumber("-1", type,
  838. [](uint32_t word) { EXPECT_EQ(0xffffffffu, word); },
  839. &err_msg);
  840. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  841. EXPECT_EQ("random content", err_msg);
  842. // Unsigned integer
  843. type = {32, SPV_NUMBER_UNSIGNED_INT};
  844. rc = ParseAndEncodeNumber(
  845. "1", type, [](uint32_t word) { EXPECT_EQ(1u, word); }, nullptr);
  846. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  847. // Float
  848. type = {32, SPV_NUMBER_FLOATING};
  849. rc = ParseAndEncodeNumber("-1.0", type,
  850. [](uint32_t word) { EXPECT_EQ(0xbf800000, word); },
  851. nullptr);
  852. EXPECT_EQ(EncodeNumberStatus::kSuccess, rc);
  853. }
  854. } // namespace
  855. } // namespace utils
  856. } // namespace spvtools