git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/rts/idris_bitstring.h
129 lines 4.4 kB history raw
1#ifndef _IDRISBITSTRING_H
2#define _IDRISBITSTRING_H
4VAL idris_b8CopyForGC(VM *vm, VAL a);
5VAL idris_b16CopyForGC(VM *vm, VAL a);
6VAL idris_b32CopyForGC(VM *vm, VAL a);
7VAL idris_b64CopyForGC(VM *vm, VAL a);
9VAL idris_b8(VM *vm, VAL a);
10VAL idris_b16(VM *vm, VAL a);
11VAL idris_b32(VM *vm, VAL a);
12VAL idris_b64(VM *vm, VAL a);
13VAL idris_castB32Int(VM *vm, VAL a);
14VAL idris_b8const(VM *vm, uint8_t a);
15VAL idris_b16const(VM *vm, uint16_t a);
16VAL idris_b32const(VM *vm, uint32_t a);
17VAL idris_b64const(VM *vm, uint64_t a);
19VAL idris_b8Plus(VM *vm, VAL a, VAL b);
20VAL idris_b8Minus(VM *vm, VAL a, VAL b);
21VAL idris_b8Times(VM *vm, VAL a, VAL b);
22VAL idris_b8UDiv(VM *vm, VAL a, VAL b);
23VAL idris_b8SDiv(VM *vm, VAL a, VAL b);
24VAL idris_b8URem(VM *vm, VAL a, VAL b);
25VAL idris_b8SRem(VM *vm, VAL a, VAL b);
26VAL idris_b8Lt(VM *vm, VAL a, VAL b);
27VAL idris_b8Gt(VM *vm, VAL a, VAL b);
28VAL idris_b8Eq(VM *vm, VAL a, VAL b);
29VAL idris_b8Lte(VM *vm, VAL a, VAL b);
30VAL idris_b8Gte(VM *vm, VAL a, VAL b);
31VAL idris_b8Compl(VM *vm, VAL a);
32VAL idris_b8And(VM *vm, VAL a, VAL b);
33VAL idris_b8Or(VM *vm, VAL a, VAL b);
34VAL idris_b8Neg(VM *vm, VAL a);
35VAL idris_b8Xor(VM *vm, VAL a, VAL b);
36VAL idris_b8Shl(VM *vm, VAL a, VAL b);
37VAL idris_b8LShr(VM *vm, VAL a, VAL b);
38VAL idris_b8AShr(VM *vm, VAL a, VAL b);
40VAL idris_b16Eq(VM *vm, VAL a, VAL b);
41VAL idris_b32Eq(VM *vm, VAL a, VAL b);
42VAL idris_b64Eq(VM *vm, VAL a, VAL b);
44VAL idris_b8Z16(VM *vm, VAL a);
45VAL idris_b8Z32(VM *vm, VAL a);
46VAL idris_b8Z64(VM *vm, VAL a);
47VAL idris_b8S16(VM *vm, VAL a);
48VAL idris_b8S32(VM *vm, VAL a);
49VAL idris_b8S64(VM *vm, VAL a);
51VAL idris_b16Plus(VM *vm, VAL a, VAL b);
52VAL idris_b16Minus(VM *vm, VAL a, VAL b);
53VAL idris_b16Times(VM *vm, VAL a, VAL b);
54VAL idris_b16UDiv(VM *vm, VAL a, VAL b);
55VAL idris_b16SDiv(VM *vm, VAL a, VAL b);
56VAL idris_b16URem(VM *vm, VAL a, VAL b);
57VAL idris_b16SRem(VM *vm, VAL a, VAL b);
58VAL idris_b16Lt(VM *vm, VAL a, VAL b);
59VAL idris_b16Gt(VM *vm, VAL a, VAL b);
60VAL idris_b16Eq(VM *vm, VAL a, VAL b);
61VAL idris_b16Lte(VM *vm, VAL a, VAL b);
62VAL idris_b16Gte(VM *vm, VAL a, VAL b);
63VAL idris_b16Compl(VM *vm, VAL a);
64VAL idris_b16And(VM *vm, VAL a, VAL b);
65VAL idris_b16Or(VM *vm, VAL a, VAL b);
66VAL idris_b16Neg(VM *vm, VAL a);
67VAL idris_b16Xor(VM *vm, VAL a, VAL b);
68VAL idris_b16Shl(VM *vm, VAL a, VAL b);
69VAL idris_b16LShr(VM *vm, VAL a, VAL b);
70VAL idris_b16AShr(VM *vm, VAL a, VAL b);
72VAL idris_b16Z32(VM *vm, VAL a);
73VAL idris_b16Z64(VM *vm, VAL a);
74VAL idris_b16S32(VM *vm, VAL a);
75VAL idris_b16S64(VM *vm, VAL a);
76VAL idris_b16T8(VM *vm, VAL a);
78VAL idris_b32Plus(VM *vm, VAL a, VAL b);
79VAL idris_b32Minus(VM *vm, VAL a, VAL b);
80VAL idris_b32Times(VM *vm, VAL a, VAL b);
81VAL idris_b32UDiv(VM *vm, VAL a, VAL b);
82VAL idris_b32SDiv(VM *vm, VAL a, VAL b);
83VAL idris_b32URem(VM *vm, VAL a, VAL b);
84VAL idris_b32SRem(VM *vm, VAL a, VAL b);
85VAL idris_b32Lt(VM *vm, VAL a, VAL b);
86VAL idris_b32Gt(VM *vm, VAL a, VAL b);
87VAL idris_b32Eq(VM *vm, VAL a, VAL b);
88VAL idris_b32Lte(VM *vm, VAL a, VAL b);
89VAL idris_b32Gte(VM *vm, VAL a, VAL b);
90VAL idris_b32Compl(VM *vm, VAL a);
91VAL idris_b32And(VM *vm, VAL a, VAL b);
92VAL idris_b32Or(VM *vm, VAL a, VAL b);
93VAL idris_b32Neg(VM *vm, VAL a);
94VAL idris_b32Xor(VM *vm, VAL a, VAL b);
95VAL idris_b32Shl(VM *vm, VAL a, VAL b);
96VAL idris_b32LShr(VM *vm, VAL a, VAL b);
97VAL idris_b32AShr(VM *vm, VAL a, VAL b);
99VAL idris_b32Z64(VM *vm, VAL a);
100VAL idris_b32S64(VM *vm, VAL a);
101VAL idris_b32T8(VM *vm, VAL a);
102VAL idris_b32T16(VM *vm, VAL a);
104VAL idris_b64Plus(VM *vm, VAL a, VAL b);
105VAL idris_b64Minus(VM *vm, VAL a, VAL b);
106VAL idris_b64Times(VM *vm, VAL a, VAL b);
107VAL idris_b64UDiv(VM *vm, VAL a, VAL b);
108VAL idris_b64SDiv(VM *vm, VAL a, VAL b);
109VAL idris_b64URem(VM *vm, VAL a, VAL b);
110VAL idris_b64SRem(VM *vm, VAL a, VAL b);
111VAL idris_b64Lt(VM *vm, VAL a, VAL b);
112VAL idris_b64Gt(VM *vm, VAL a, VAL b);
113VAL idris_b64Eq(VM *vm, VAL a, VAL b);
114VAL idris_b64Lte(VM *vm, VAL a, VAL b);
115VAL idris_b64Gte(VM *vm, VAL a, VAL b);
116VAL idris_b64Compl(VM *vm, VAL a);
117VAL idris_b64And(VM *vm, VAL a, VAL b);
118VAL idris_b64Or(VM *vm, VAL a, VAL b);
119VAL idris_b64Neg(VM *vm, VAL a);
120VAL idris_b64Xor(VM *vm, VAL a, VAL b);
121VAL idris_b64Shl(VM *vm, VAL a, VAL b);
122VAL idris_b64LShr(VM *vm, VAL a, VAL b);
123VAL idris_b64AShr(VM *vm, VAL a, VAL b);
125VAL idris_b64T8(VM *vm, VAL a);
126VAL idris_b64T16(VM *vm, VAL a);
127VAL idris_b64T32(VM *vm, VAL a);
129#endif