bitwise.lua 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346
  1. -- $Id: testes/bitwise.lua $
  2. -- See Copyright Notice in file all.lua
  3. print("testing bitwise operations")
  4. require "bwcoercion"
  5. local numbits = string.packsize('j') * 8
  6. assert(~0 == -1)
  7. assert((1 << (numbits - 1)) == math.mininteger)
  8. -- basic tests for bitwise operators;
  9. -- use variables to avoid constant folding
  10. local a, b, c, d
  11. a = 0xFFFFFFFFFFFFFFFF
  12. assert(a == -1 and a & -1 == a and a & 35 == 35)
  13. a = 0xF0F0F0F0F0F0F0F0
  14. assert(a | -1 == -1)
  15. assert(a ~ a == 0 and a ~ 0 == a and a ~ ~a == -1)
  16. assert(a >> 4 == ~a)
  17. a = 0xF0; b = 0xCC; c = 0xAA; d = 0xFD
  18. assert(a | b ~ c & d == 0xF4)
  19. a = 0xF0.0; b = 0xCC.0; c = "0xAA.0"; d = "0xFD.0"
  20. assert(a | b ~ c & d == 0xF4)
  21. a = 0xF0000000; b = 0xCC000000;
  22. c = 0xAA000000; d = 0xFD000000
  23. assert(a | b ~ c & d == 0xF4000000)
  24. assert(~~a == a and ~a == -1 ~ a and -d == ~d + 1)
  25. a = a << 32
  26. b = b << 32
  27. c = c << 32
  28. d = d << 32
  29. assert(a | b ~ c & d == 0xF4000000 << 32)
  30. assert(~~a == a and ~a == -1 ~ a and -d == ~d + 1)
  31. assert(-1 >> 1 == (1 << (numbits - 1)) - 1 and 1 << 31 == 0x80000000)
  32. assert(-1 >> (numbits - 1) == 1)
  33. assert(-1 >> numbits == 0 and
  34. -1 >> -numbits == 0 and
  35. -1 << numbits == 0 and
  36. -1 << -numbits == 0)
  37. assert((2^30 - 1) << 2^30 == 0)
  38. assert((2^30 - 1) >> 2^30 == 0)
  39. assert(1 >> -3 == 1 << 3 and 1000 >> 5 == 1000 << -5)
  40. -- coercion from strings to integers
  41. assert("0xffffffffffffffff" | 0 == -1)
  42. assert("0xfffffffffffffffe" & "-1" == -2)
  43. assert(" \t-0xfffffffffffffffe\n\t" & "-1" == 2)
  44. assert(" \n -45 \t " >> " -2 " == -45 * 4)
  45. assert("1234.0" << "5.0" == 1234 * 32)
  46. assert("0xffff.0" ~ "0xAAAA" == 0x5555)
  47. assert(~"0x0.000p4" == -1)
  48. assert(("7" .. 3) << 1 == 146)
  49. assert(0xffffffff >> (1 .. "9") == 0x1fff)
  50. assert(10 | (1 .. "9") == 27)
  51. do
  52. local st, msg = pcall(function () return 4 & "a" end)
  53. assert(string.find(msg, "'band'"))
  54. local st, msg = pcall(function () return ~"a" end)
  55. assert(string.find(msg, "'bnot'"))
  56. end
  57. -- out of range number
  58. assert(not pcall(function () return "0xffffffffffffffff.0" | 0 end))
  59. -- embedded zeros
  60. assert(not pcall(function () return "0xffffffffffffffff\0" | 0 end))
  61. print'+'
  62. package.preload.bit32 = function () --{
  63. -- no built-in 'bit32' library: implement it using bitwise operators
  64. local bit = {}
  65. function bit.bnot (a)
  66. return ~a & 0xFFFFFFFF
  67. end
  68. --
  69. -- in all vararg functions, avoid creating 'arg' table when there are
  70. -- only 2 (or less) parameters, as 2 parameters is the common case
  71. --
  72. function bit.band (x, y, z, ...)
  73. if not z then
  74. return ((x or -1) & (y or -1)) & 0xFFFFFFFF
  75. else
  76. local arg = {...}
  77. local res = x & y & z
  78. for i = 1, #arg do res = res & arg[i] end
  79. return res & 0xFFFFFFFF
  80. end
  81. end
  82. function bit.bor (x, y, z, ...)
  83. if not z then
  84. return ((x or 0) | (y or 0)) & 0xFFFFFFFF
  85. else
  86. local arg = {...}
  87. local res = x | y | z
  88. for i = 1, #arg do res = res | arg[i] end
  89. return res & 0xFFFFFFFF
  90. end
  91. end
  92. function bit.bxor (x, y, z, ...)
  93. if not z then
  94. return ((x or 0) ~ (y or 0)) & 0xFFFFFFFF
  95. else
  96. local arg = {...}
  97. local res = x ~ y ~ z
  98. for i = 1, #arg do res = res ~ arg[i] end
  99. return res & 0xFFFFFFFF
  100. end
  101. end
  102. function bit.btest (...)
  103. return bit.band(...) ~= 0
  104. end
  105. function bit.lshift (a, b)
  106. return ((a & 0xFFFFFFFF) << b) & 0xFFFFFFFF
  107. end
  108. function bit.rshift (a, b)
  109. return ((a & 0xFFFFFFFF) >> b) & 0xFFFFFFFF
  110. end
  111. function bit.arshift (a, b)
  112. a = a & 0xFFFFFFFF
  113. if b <= 0 or (a & 0x80000000) == 0 then
  114. return (a >> b) & 0xFFFFFFFF
  115. else
  116. return ((a >> b) | ~(0xFFFFFFFF >> b)) & 0xFFFFFFFF
  117. end
  118. end
  119. function bit.lrotate (a ,b)
  120. b = b & 31
  121. a = a & 0xFFFFFFFF
  122. a = (a << b) | (a >> (32 - b))
  123. return a & 0xFFFFFFFF
  124. end
  125. function bit.rrotate (a, b)
  126. return bit.lrotate(a, -b)
  127. end
  128. local function checkfield (f, w)
  129. w = w or 1
  130. assert(f >= 0, "field cannot be negative")
  131. assert(w > 0, "width must be positive")
  132. assert(f + w <= 32, "trying to access non-existent bits")
  133. return f, ~(-1 << w)
  134. end
  135. function bit.extract (a, f, w)
  136. local f, mask = checkfield(f, w)
  137. return (a >> f) & mask
  138. end
  139. function bit.replace (a, v, f, w)
  140. local f, mask = checkfield(f, w)
  141. v = v & mask
  142. a = (a & ~(mask << f)) | (v << f)
  143. return a & 0xFFFFFFFF
  144. end
  145. return bit
  146. end --}
  147. print("testing bitwise library")
  148. local bit32 = require'bit32'
  149. assert(bit32.band() == bit32.bnot(0))
  150. assert(bit32.btest() == true)
  151. assert(bit32.bor() == 0)
  152. assert(bit32.bxor() == 0)
  153. assert(bit32.band() == bit32.band(0xffffffff))
  154. assert(bit32.band(1,2) == 0)
  155. -- out-of-range numbers
  156. assert(bit32.band(-1) == 0xffffffff)
  157. assert(bit32.band((1 << 33) - 1) == 0xffffffff)
  158. assert(bit32.band(-(1 << 33) - 1) == 0xffffffff)
  159. assert(bit32.band((1 << 33) + 1) == 1)
  160. assert(bit32.band(-(1 << 33) + 1) == 1)
  161. assert(bit32.band(-(1 << 40)) == 0)
  162. assert(bit32.band(1 << 40) == 0)
  163. assert(bit32.band(-(1 << 40) - 2) == 0xfffffffe)
  164. assert(bit32.band((1 << 40) - 4) == 0xfffffffc)
  165. assert(bit32.lrotate(0, -1) == 0)
  166. assert(bit32.lrotate(0, 7) == 0)
  167. assert(bit32.lrotate(0x12345678, 0) == 0x12345678)
  168. assert(bit32.lrotate(0x12345678, 32) == 0x12345678)
  169. assert(bit32.lrotate(0x12345678, 4) == 0x23456781)
  170. assert(bit32.rrotate(0x12345678, -4) == 0x23456781)
  171. assert(bit32.lrotate(0x12345678, -8) == 0x78123456)
  172. assert(bit32.rrotate(0x12345678, 8) == 0x78123456)
  173. assert(bit32.lrotate(0xaaaaaaaa, 2) == 0xaaaaaaaa)
  174. assert(bit32.lrotate(0xaaaaaaaa, -2) == 0xaaaaaaaa)
  175. for i = -50, 50 do
  176. assert(bit32.lrotate(0x89abcdef, i) == bit32.lrotate(0x89abcdef, i%32))
  177. end
  178. assert(bit32.lshift(0x12345678, 4) == 0x23456780)
  179. assert(bit32.lshift(0x12345678, 8) == 0x34567800)
  180. assert(bit32.lshift(0x12345678, -4) == 0x01234567)
  181. assert(bit32.lshift(0x12345678, -8) == 0x00123456)
  182. assert(bit32.lshift(0x12345678, 32) == 0)
  183. assert(bit32.lshift(0x12345678, -32) == 0)
  184. assert(bit32.rshift(0x12345678, 4) == 0x01234567)
  185. assert(bit32.rshift(0x12345678, 8) == 0x00123456)
  186. assert(bit32.rshift(0x12345678, 32) == 0)
  187. assert(bit32.rshift(0x12345678, -32) == 0)
  188. assert(bit32.arshift(0x12345678, 0) == 0x12345678)
  189. assert(bit32.arshift(0x12345678, 1) == 0x12345678 // 2)
  190. assert(bit32.arshift(0x12345678, -1) == 0x12345678 * 2)
  191. assert(bit32.arshift(-1, 1) == 0xffffffff)
  192. assert(bit32.arshift(-1, 24) == 0xffffffff)
  193. assert(bit32.arshift(-1, 32) == 0xffffffff)
  194. assert(bit32.arshift(-1, -1) == bit32.band(-1 * 2, 0xffffffff))
  195. assert(0x12345678 << 4 == 0x123456780)
  196. assert(0x12345678 << 8 == 0x1234567800)
  197. assert(0x12345678 << -4 == 0x01234567)
  198. assert(0x12345678 << -8 == 0x00123456)
  199. assert(0x12345678 << 32 == 0x1234567800000000)
  200. assert(0x12345678 << -32 == 0)
  201. assert(0x12345678 >> 4 == 0x01234567)
  202. assert(0x12345678 >> 8 == 0x00123456)
  203. assert(0x12345678 >> 32 == 0)
  204. assert(0x12345678 >> -32 == 0x1234567800000000)
  205. print("+")
  206. -- some special cases
  207. local c = {0, 1, 2, 3, 10, 0x80000000, 0xaaaaaaaa, 0x55555555,
  208. 0xffffffff, 0x7fffffff}
  209. for _, b in pairs(c) do
  210. assert(bit32.band(b) == b)
  211. assert(bit32.band(b, b) == b)
  212. assert(bit32.band(b, b, b, b) == b)
  213. assert(bit32.btest(b, b) == (b ~= 0))
  214. assert(bit32.band(b, b, b) == b)
  215. assert(bit32.band(b, b, b, ~b) == 0)
  216. assert(bit32.btest(b, b, b) == (b ~= 0))
  217. assert(bit32.band(b, bit32.bnot(b)) == 0)
  218. assert(bit32.bor(b, bit32.bnot(b)) == bit32.bnot(0))
  219. assert(bit32.bor(b) == b)
  220. assert(bit32.bor(b, b) == b)
  221. assert(bit32.bor(b, b, b) == b)
  222. assert(bit32.bor(b, b, 0, ~b) == 0xffffffff)
  223. assert(bit32.bxor(b) == b)
  224. assert(bit32.bxor(b, b) == 0)
  225. assert(bit32.bxor(b, b, b) == b)
  226. assert(bit32.bxor(b, b, b, b) == 0)
  227. assert(bit32.bxor(b, 0) == b)
  228. assert(bit32.bnot(b) ~= b)
  229. assert(bit32.bnot(bit32.bnot(b)) == b)
  230. assert(bit32.bnot(b) == (1 << 32) - 1 - b)
  231. assert(bit32.lrotate(b, 32) == b)
  232. assert(bit32.rrotate(b, 32) == b)
  233. assert(bit32.lshift(bit32.lshift(b, -4), 4) == bit32.band(b, bit32.bnot(0xf)))
  234. assert(bit32.rshift(bit32.rshift(b, 4), -4) == bit32.band(b, bit32.bnot(0xf)))
  235. end
  236. -- for this test, use at most 24 bits (mantissa of a single float)
  237. c = {0, 1, 2, 3, 10, 0x800000, 0xaaaaaa, 0x555555, 0xffffff, 0x7fffff}
  238. for _, b in pairs(c) do
  239. for i = -40, 40 do
  240. local x = bit32.lshift(b, i)
  241. local y = math.floor(math.fmod(b * 2.0^i, 2.0^32))
  242. assert(math.fmod(x - y, 2.0^32) == 0)
  243. end
  244. end
  245. assert(not pcall(bit32.band, {}))
  246. assert(not pcall(bit32.bnot, "a"))
  247. assert(not pcall(bit32.lshift, 45))
  248. assert(not pcall(bit32.lshift, 45, print))
  249. assert(not pcall(bit32.rshift, 45, print))
  250. print("+")
  251. -- testing extract/replace
  252. assert(bit32.extract(0x12345678, 0, 4) == 8)
  253. assert(bit32.extract(0x12345678, 4, 4) == 7)
  254. assert(bit32.extract(0xa0001111, 28, 4) == 0xa)
  255. assert(bit32.extract(0xa0001111, 31, 1) == 1)
  256. assert(bit32.extract(0x50000111, 31, 1) == 0)
  257. assert(bit32.extract(0xf2345679, 0, 32) == 0xf2345679)
  258. assert(not pcall(bit32.extract, 0, -1))
  259. assert(not pcall(bit32.extract, 0, 32))
  260. assert(not pcall(bit32.extract, 0, 0, 33))
  261. assert(not pcall(bit32.extract, 0, 31, 2))
  262. assert(bit32.replace(0x12345678, 5, 28, 4) == 0x52345678)
  263. assert(bit32.replace(0x12345678, 0x87654321, 0, 32) == 0x87654321)
  264. assert(bit32.replace(0, 1, 2) == 2^2)
  265. assert(bit32.replace(0, -1, 4) == 2^4)
  266. assert(bit32.replace(-1, 0, 31) == (1 << 31) - 1)
  267. assert(bit32.replace(-1, 0, 1, 2) == (1 << 32) - 7)
  268. -- testing conversion of floats
  269. assert(bit32.bor(3.0) == 3)
  270. assert(bit32.bor(-4.0) == 0xfffffffc)
  271. -- large floats and large-enough integers?
  272. if 2.0^50 < 2.0^50 + 1.0 and 2.0^50 < (-1 >> 1) then
  273. assert(bit32.bor(2.0^32 - 5.0) == 0xfffffffb)
  274. assert(bit32.bor(-2.0^32 - 6.0) == 0xfffffffa)
  275. assert(bit32.bor(2.0^48 - 5.0) == 0xfffffffb)
  276. assert(bit32.bor(-2.0^48 - 6.0) == 0xfffffffa)
  277. end
  278. print'OK'