libffi_experimental/old_sample.apls at main · namgyaaal/libffi_experimental · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
#!/usr/local/bin/dyalogscript
⎕IO ← 0

⍝ In practice would be autogen'd based off of types
⍝ Would look something like (u4 u2 u4 u2) ManualFunction (u4 u2 u4 u2)
∇ r←ManualFunction a
    FFIW_SetTarget ⍬

    FFIW_WriteU4 a[0]
    FFIW_WriteU2 a[1]
    FFIW_WriteU4 a[2]
    FFIW_WriteU2 a[3]

    FFIW_Call ⍬

    a ← ⊃FFIW_ReadU4 ⍬
    b ← ⊃FFIW_ReadU2 ⍬
    c ← ⊃FFIW_ReadU4 ⍬
    d ← ⊃FFIW_ReadU2 ⍬

    r ← a b c d
∇

∇ build_fn (ret arg);name;compose;type
    compose ←⊂ '∇ r←AutoFunction ns'
    compose ← compose, ⊂'FFIW_SetTarget⍬'

    :For (name type) :in ↓arg
        :If type≡'U2'
            compose ← compose, ⊂'FFIW_WriteU2 ns⎕VGET⊂(,''',name,''') 0'
        :Elseif type≡'U4'
            compose ← compose, ⊂'FFIW_WriteU4 ns⎕VGET⊂(,''',name,''') 0'
        :EndIf
    :EndFor

    compose ← compose, ⊂'FFIW_Call ⍬'
    compose ← compose, ⊂'r←⎕NS⍬'

    :For (name type) :in ↓ret
        :If type≡'U2'
            compose ← compose, ⊂'r.', name, ' ← ⊃FFIW_ReadU2 ⍬'
        :Elseif type≡'U4'
            compose ← compose, ⊂'r.', name, ' ← ⊃FFIW_ReadU4 ⍬'
        :EndIf
    :EndFor
    compose ← compose, ⊂'∇'
    ⎕FX compose
∇

⍝u2 ← 'U2'
⍝u4 ← 'U4'
⍝struct_type ← ['a' u4 ⋄ 'b' u2 ⋄ 'c' u4 ⋄ 'd' u2]
⍝build_fn struct_type struct_type

void ← 0
u8 ← 1
u16 ← 2
u32 ← 3
u64 ← 4


⎕NA './target/release/libeasy_na.dylib|FFIW_Init'
⎕NA 'I4 ./target/release/libeasy_na.dylib|FFIW_BuildStruct <U4[] U4'
⎕NA 'I1 ./target/release/libeasy_na.dylib|FFIW_BuildFunction <0C1[] <U4[] U4 U4'
⎕NA 'I4 ./target/release/libeasy_na.dylib|FFIW_SetTarget <0C1[]'
⎕NA './target/release/libeasy_na.dylib|FFIW_Call'
⎕NA './target/release/libeasy_na.dylib|FFIW_WriteU2 U2'
⎕NA './target/release/libeasy_na.dylib|FFIW_WriteU4 U4'
⎕NA 'U2 ./target/release/libeasy_na.dylib|FFIW_ReadU2'
⎕NA 'U4 ./target/release/libeasy_na.dylib|FFIW_ReadU4'

test ← FFIW_BuildStruct (u32 u16 u32 u16) 4
test2 ← FFIW_BuildStruct (test test) 2

inner ← FFIW_BuildStruct (u32 u32) 2
outer ← FFIW_BuildStruct (inner inner) 2
big_outer ← FFIW_BuildStruct (outer u8 u8 outer) 4


⍝FFIW_BuildFunction 'fn_a' (u32) 1 void
FFIW_BuildFunction 'fn_b' test 1 test
⍝FFIW_BuildFunction 'fn_c' (outer outer) 2 void
⍝FFIW_BuildFunction 'fn_d' (big_outer) 1 void

⎕ ← FFIW_SetTarget ⊂'fn_b'
FFIW_WriteU4 1
FFIW_WriteU2 2
FFIW_WriteU4 3
FFIW_WriteU2 4
FFIW_Call ⍬
⎕ ← FFIW_ReadU4 ⍬
⎕ ← FFIW_ReadU2 ⍬
⎕ ← FFIW_ReadU4 ⍬
⎕ ← FFIW_ReadU2 ⍬


⍝FFIW_Init ⍬
⍝ Handwritten function
⍝⎕ ← 'Should be true: ', (3 4 1 2) ≡ ManualFunction (1 2 3 4)
⍝⎕ ← 'Should be true: ', (30 40 10 20) ≡ ManualFunction (10 20 30 40)


⍝⎕ ← 'Should Be true: '

⍝return_struct ← AutoFunction (a: 10 ⋄ b: 20 ⋄ c: 30 ⋄ d: 40)
⍝res ← (30 40 10 20)≡ return_struct⎕VGET ,¨ 'abcd'
⍝⎕ ← 'Should be true: ', res


⍝return_struct ← AutoFunction (a: 10 ⋄ c: 30 ⋄ d: 40)
⍝res ← (30 40 10 0)≡ return_struct⎕VGET ,¨ 'abcd'
⍝⎕ ← 'Should be true: ', res

⍝return_struct ← AutoFunction ⎕NS⍬
⍝res ← (0 0 0 0)≡ return_struct⎕VGET ,¨ 'abcd'
⍝⎕ ← 'Should be true: ', res