1*3fecb961SMatt Stancliff /*
2*3fecb961SMatt Stancliff ** Lua BitOp -- a bit operations library for Lua 5.1/5.2.
3*3fecb961SMatt Stancliff ** http://bitop.luajit.org/
4*3fecb961SMatt Stancliff **
5*3fecb961SMatt Stancliff ** Copyright (C) 2008-2012 Mike Pall. All rights reserved.
6*3fecb961SMatt Stancliff **
7*3fecb961SMatt Stancliff ** Permission is hereby granted, free of charge, to any person obtaining
8*3fecb961SMatt Stancliff ** a copy of this software and associated documentation files (the
9*3fecb961SMatt Stancliff ** "Software"), to deal in the Software without restriction, including
10*3fecb961SMatt Stancliff ** without limitation the rights to use, copy, modify, merge, publish,
11*3fecb961SMatt Stancliff ** distribute, sublicense, and/or sell copies of the Software, and to
12*3fecb961SMatt Stancliff ** permit persons to whom the Software is furnished to do so, subject to
13*3fecb961SMatt Stancliff ** the following conditions:
14*3fecb961SMatt Stancliff **
15*3fecb961SMatt Stancliff ** The above copyright notice and this permission notice shall be
16*3fecb961SMatt Stancliff ** included in all copies or substantial portions of the Software.
17*3fecb961SMatt Stancliff **
18*3fecb961SMatt Stancliff ** THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
19*3fecb961SMatt Stancliff ** EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20*3fecb961SMatt Stancliff ** MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
21*3fecb961SMatt Stancliff ** IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
22*3fecb961SMatt Stancliff ** CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
23*3fecb961SMatt Stancliff ** TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
24*3fecb961SMatt Stancliff ** SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
25*3fecb961SMatt Stancliff **
26*3fecb961SMatt Stancliff ** [ MIT license: http://www.opensource.org/licenses/mit-license.php ]
27*3fecb961SMatt Stancliff */
28*3fecb961SMatt Stancliff
29*3fecb961SMatt Stancliff #define LUA_BITOP_VERSION "1.0.2"
30*3fecb961SMatt Stancliff
31*3fecb961SMatt Stancliff #define LUA_LIB
32*3fecb961SMatt Stancliff #include "lua.h"
33*3fecb961SMatt Stancliff #include "lauxlib.h"
34*3fecb961SMatt Stancliff
35*3fecb961SMatt Stancliff #ifdef _MSC_VER
36*3fecb961SMatt Stancliff /* MSVC is stuck in the last century and doesn't have C99's stdint.h. */
37*3fecb961SMatt Stancliff typedef __int32 int32_t;
38*3fecb961SMatt Stancliff typedef unsigned __int32 uint32_t;
39*3fecb961SMatt Stancliff typedef unsigned __int64 uint64_t;
40*3fecb961SMatt Stancliff #else
41*3fecb961SMatt Stancliff #include <stdint.h>
42*3fecb961SMatt Stancliff #endif
43*3fecb961SMatt Stancliff
44*3fecb961SMatt Stancliff typedef int32_t SBits;
45*3fecb961SMatt Stancliff typedef uint32_t UBits;
46*3fecb961SMatt Stancliff
47*3fecb961SMatt Stancliff typedef union {
48*3fecb961SMatt Stancliff lua_Number n;
49*3fecb961SMatt Stancliff #ifdef LUA_NUMBER_DOUBLE
50*3fecb961SMatt Stancliff uint64_t b;
51*3fecb961SMatt Stancliff #else
52*3fecb961SMatt Stancliff UBits b;
53*3fecb961SMatt Stancliff #endif
54*3fecb961SMatt Stancliff } BitNum;
55*3fecb961SMatt Stancliff
56*3fecb961SMatt Stancliff /* Convert argument to bit type. */
barg(lua_State * L,int idx)57*3fecb961SMatt Stancliff static UBits barg(lua_State *L, int idx)
58*3fecb961SMatt Stancliff {
59*3fecb961SMatt Stancliff BitNum bn;
60*3fecb961SMatt Stancliff UBits b;
61*3fecb961SMatt Stancliff #if LUA_VERSION_NUM < 502
62*3fecb961SMatt Stancliff bn.n = lua_tonumber(L, idx);
63*3fecb961SMatt Stancliff #else
64*3fecb961SMatt Stancliff bn.n = luaL_checknumber(L, idx);
65*3fecb961SMatt Stancliff #endif
66*3fecb961SMatt Stancliff #if defined(LUA_NUMBER_DOUBLE)
67*3fecb961SMatt Stancliff bn.n += 6755399441055744.0; /* 2^52+2^51 */
68*3fecb961SMatt Stancliff #ifdef SWAPPED_DOUBLE
69*3fecb961SMatt Stancliff b = (UBits)(bn.b >> 32);
70*3fecb961SMatt Stancliff #else
71*3fecb961SMatt Stancliff b = (UBits)bn.b;
72*3fecb961SMatt Stancliff #endif
73*3fecb961SMatt Stancliff #elif defined(LUA_NUMBER_INT) || defined(LUA_NUMBER_LONG) || \
74*3fecb961SMatt Stancliff defined(LUA_NUMBER_LONGLONG) || defined(LUA_NUMBER_LONG_LONG) || \
75*3fecb961SMatt Stancliff defined(LUA_NUMBER_LLONG)
76*3fecb961SMatt Stancliff if (sizeof(UBits) == sizeof(lua_Number))
77*3fecb961SMatt Stancliff b = bn.b;
78*3fecb961SMatt Stancliff else
79*3fecb961SMatt Stancliff b = (UBits)(SBits)bn.n;
80*3fecb961SMatt Stancliff #elif defined(LUA_NUMBER_FLOAT)
81*3fecb961SMatt Stancliff #error "A 'float' lua_Number type is incompatible with this library"
82*3fecb961SMatt Stancliff #else
83*3fecb961SMatt Stancliff #error "Unknown number type, check LUA_NUMBER_* in luaconf.h"
84*3fecb961SMatt Stancliff #endif
85*3fecb961SMatt Stancliff #if LUA_VERSION_NUM < 502
86*3fecb961SMatt Stancliff if (b == 0 && !lua_isnumber(L, idx)) {
87*3fecb961SMatt Stancliff luaL_typerror(L, idx, "number");
88*3fecb961SMatt Stancliff }
89*3fecb961SMatt Stancliff #endif
90*3fecb961SMatt Stancliff return b;
91*3fecb961SMatt Stancliff }
92*3fecb961SMatt Stancliff
93*3fecb961SMatt Stancliff /* Return bit type. */
94*3fecb961SMatt Stancliff #define BRET(b) lua_pushnumber(L, (lua_Number)(SBits)(b)); return 1;
95*3fecb961SMatt Stancliff
bit_tobit(lua_State * L)96*3fecb961SMatt Stancliff static int bit_tobit(lua_State *L) { BRET(barg(L, 1)) }
bit_bnot(lua_State * L)97*3fecb961SMatt Stancliff static int bit_bnot(lua_State *L) { BRET(~barg(L, 1)) }
98*3fecb961SMatt Stancliff
99*3fecb961SMatt Stancliff #define BIT_OP(func, opr) \
100*3fecb961SMatt Stancliff static int func(lua_State *L) { int i; UBits b = barg(L, 1); \
101*3fecb961SMatt Stancliff for (i = lua_gettop(L); i > 1; i--) b opr barg(L, i); BRET(b) }
102*3fecb961SMatt Stancliff BIT_OP(bit_band, &=)
103*3fecb961SMatt Stancliff BIT_OP(bit_bor, |=)
104*3fecb961SMatt Stancliff BIT_OP(bit_bxor, ^=)
105*3fecb961SMatt Stancliff
106*3fecb961SMatt Stancliff #define bshl(b, n) (b << n)
107*3fecb961SMatt Stancliff #define bshr(b, n) (b >> n)
108*3fecb961SMatt Stancliff #define bsar(b, n) ((SBits)b >> n)
109*3fecb961SMatt Stancliff #define brol(b, n) ((b << n) | (b >> (32-n)))
110*3fecb961SMatt Stancliff #define bror(b, n) ((b << (32-n)) | (b >> n))
111*3fecb961SMatt Stancliff #define BIT_SH(func, fn) \
112*3fecb961SMatt Stancliff static int func(lua_State *L) { \
113*3fecb961SMatt Stancliff UBits b = barg(L, 1); UBits n = barg(L, 2) & 31; BRET(fn(b, n)) }
BIT_SH(bit_lshift,bshl)114*3fecb961SMatt Stancliff BIT_SH(bit_lshift, bshl)
115*3fecb961SMatt Stancliff BIT_SH(bit_rshift, bshr)
116*3fecb961SMatt Stancliff BIT_SH(bit_arshift, bsar)
117*3fecb961SMatt Stancliff BIT_SH(bit_rol, brol)
118*3fecb961SMatt Stancliff BIT_SH(bit_ror, bror)
119*3fecb961SMatt Stancliff
120*3fecb961SMatt Stancliff static int bit_bswap(lua_State *L)
121*3fecb961SMatt Stancliff {
122*3fecb961SMatt Stancliff UBits b = barg(L, 1);
123*3fecb961SMatt Stancliff b = (b >> 24) | ((b >> 8) & 0xff00) | ((b & 0xff00) << 8) | (b << 24);
124*3fecb961SMatt Stancliff BRET(b)
125*3fecb961SMatt Stancliff }
126*3fecb961SMatt Stancliff
bit_tohex(lua_State * L)127*3fecb961SMatt Stancliff static int bit_tohex(lua_State *L)
128*3fecb961SMatt Stancliff {
129*3fecb961SMatt Stancliff UBits b = barg(L, 1);
130*3fecb961SMatt Stancliff SBits n = lua_isnone(L, 2) ? 8 : (SBits)barg(L, 2);
131*3fecb961SMatt Stancliff const char *hexdigits = "0123456789abcdef";
132*3fecb961SMatt Stancliff char buf[8];
133*3fecb961SMatt Stancliff int i;
134*3fecb961SMatt Stancliff if (n < 0) { n = -n; hexdigits = "0123456789ABCDEF"; }
135*3fecb961SMatt Stancliff if (n > 8) n = 8;
136*3fecb961SMatt Stancliff for (i = (int)n; --i >= 0; ) { buf[i] = hexdigits[b & 15]; b >>= 4; }
137*3fecb961SMatt Stancliff lua_pushlstring(L, buf, (size_t)n);
138*3fecb961SMatt Stancliff return 1;
139*3fecb961SMatt Stancliff }
140*3fecb961SMatt Stancliff
141*3fecb961SMatt Stancliff static const struct luaL_Reg bit_funcs[] = {
142*3fecb961SMatt Stancliff { "tobit", bit_tobit },
143*3fecb961SMatt Stancliff { "bnot", bit_bnot },
144*3fecb961SMatt Stancliff { "band", bit_band },
145*3fecb961SMatt Stancliff { "bor", bit_bor },
146*3fecb961SMatt Stancliff { "bxor", bit_bxor },
147*3fecb961SMatt Stancliff { "lshift", bit_lshift },
148*3fecb961SMatt Stancliff { "rshift", bit_rshift },
149*3fecb961SMatt Stancliff { "arshift", bit_arshift },
150*3fecb961SMatt Stancliff { "rol", bit_rol },
151*3fecb961SMatt Stancliff { "ror", bit_ror },
152*3fecb961SMatt Stancliff { "bswap", bit_bswap },
153*3fecb961SMatt Stancliff { "tohex", bit_tohex },
154*3fecb961SMatt Stancliff { NULL, NULL }
155*3fecb961SMatt Stancliff };
156*3fecb961SMatt Stancliff
157*3fecb961SMatt Stancliff /* Signed right-shifts are implementation-defined per C89/C99.
158*3fecb961SMatt Stancliff ** But the de facto standard are arithmetic right-shifts on two's
159*3fecb961SMatt Stancliff ** complement CPUs. This behaviour is required here, so test for it.
160*3fecb961SMatt Stancliff */
161*3fecb961SMatt Stancliff #define BAD_SAR (bsar(-8, 2) != (SBits)-2)
162*3fecb961SMatt Stancliff
luaopen_bit(lua_State * L)163*3fecb961SMatt Stancliff LUALIB_API int luaopen_bit(lua_State *L)
164*3fecb961SMatt Stancliff {
165*3fecb961SMatt Stancliff UBits b;
166*3fecb961SMatt Stancliff lua_pushnumber(L, (lua_Number)1437217655L);
167*3fecb961SMatt Stancliff b = barg(L, -1);
168*3fecb961SMatt Stancliff if (b != (UBits)1437217655L || BAD_SAR) { /* Perform a simple self-test. */
169*3fecb961SMatt Stancliff const char *msg = "compiled with incompatible luaconf.h";
170*3fecb961SMatt Stancliff #ifdef LUA_NUMBER_DOUBLE
171*3fecb961SMatt Stancliff #ifdef _WIN32
172*3fecb961SMatt Stancliff if (b == (UBits)1610612736L)
173*3fecb961SMatt Stancliff msg = "use D3DCREATE_FPU_PRESERVE with DirectX";
174*3fecb961SMatt Stancliff #endif
175*3fecb961SMatt Stancliff if (b == (UBits)1127743488L)
176*3fecb961SMatt Stancliff msg = "not compiled with SWAPPED_DOUBLE";
177*3fecb961SMatt Stancliff #endif
178*3fecb961SMatt Stancliff if (BAD_SAR)
179*3fecb961SMatt Stancliff msg = "arithmetic right-shift broken";
180*3fecb961SMatt Stancliff luaL_error(L, "bit library self-test failed (%s)", msg);
181*3fecb961SMatt Stancliff }
182*3fecb961SMatt Stancliff #if LUA_VERSION_NUM < 502
183*3fecb961SMatt Stancliff luaL_register(L, "bit", bit_funcs);
184*3fecb961SMatt Stancliff #else
185*3fecb961SMatt Stancliff luaL_newlib(L, bit_funcs);
186*3fecb961SMatt Stancliff #endif
187*3fecb961SMatt Stancliff return 1;
188*3fecb961SMatt Stancliff }
189*3fecb961SMatt Stancliff
190