extra: small fix for when the database is disabled but we have inline info
[smatch.git] / validation / backend / bitwise-ops.c
blob659c763988283d3801fe85d440385adb55d9be47
1 static int shl(int x, int y)
3 return x << y;
6 static unsigned int ushl(unsigned int x, unsigned int y)
8 return x << y;
11 static int shr(int x, int y)
13 return x >> y;
16 static unsigned int ushr(unsigned int x, unsigned int y)
18 return x >> y;
21 static int and(int x, int y)
23 return x & y;
26 static unsigned int uand(unsigned int x, unsigned int y)
28 return x & y;
31 static int or(int x, int y)
33 return x | y;
36 static unsigned int uor(unsigned int x, unsigned int y)
38 return x | y;
41 static int xor(int x, int y)
43 return x ^ y;
46 static unsigned int uxor(unsigned int x, unsigned int y)
48 return x ^ y;
51 static int not(int x)
53 return ~x;
56 static unsigned int unot(unsigned int x)
58 return ~x;
62 * check-name: Bitwise operator code generation
63 * check-command: ./sparsec -c $file -o tmp.o