bitwise.lua 9.5 KB

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