Mercurial > pub > dyncall > dyncall
annotate ToDo @ 244:75093cde6d10
- Todo
| author | Tassilo Philipp |
|---|---|
| date | Thu, 04 May 2017 13:54:29 +0200 |
| parents | 136409adbdd1 |
| children | 7cb8a0aaf638 |
| rev | line source |
|---|---|
| 0 | 1 1.0: |
| 2 ---- | |
| 201 | 3 - dyncall supports calls to functions where prototype exists (with and without varargs); however not when no |
| 4 prototype exist (e.g. just calling some pointer), without any declaration... even possible in C, as one has | |
| 5 to cast to the function type? need to support? | |
| 6 | |
| 7 - Add doc note (and on website) on dyncall's c standard compatibility, which is c99 + anon struct extension | |
| 8 | |
|
165
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
9 - make sure all assembly files declare (or are built) by setting the noexecstack flag, |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
10 compared to translating code with gcc, it's manual for the assembler; this depends on arch |
|
169
2fa600ea50e7
- marking off solaris/sparc (32 bit) as completely supported (just tested sparc callbacks on solaris (with gnu toolchain, though), works)
cslag
parents:
165
diff
changeset
|
11 support (currently it's only done for x86/x64 ELF, but doesn't always work I think... e.g. openbsd 4.0, maybe too old?): |
|
165
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
12 |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
13 "When you compile source code normally, gcc takes care of adding the GNU_STACK |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
14 markings so that the final object code is not marked with an executable stack |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
15 unless it actually needs it. However, if you compile assembly code, gcc will |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
16 not automatically add GNU_STACK markings." |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
17 |
| 155 | 18 - dyncallback's "stack_cleanup" can be removed from non x86 impls... test if they still work |
|
165
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
19 - target a minimum c version, for use with -pedantic, etc.? Right now we use e.g. extensions |
|
572aff021627
- file name/layout cleanup, removed "-att" from x64 .S filenames, as unnecessary and also misleading
cslag
parents:
159
diff
changeset
|
20 for anon structs, etc. |
| 86 | 21 - the CallVM-free functions are per VTable, however the latter can be changed out |
| 22 at runtime... which basically changes potentially the deallocator... | |
| 23 same goes for functions setting the mode. think about how to make this safer - currently | |
| 24 we have a higher flexibility and we need to potentially clean up from the mode we are in, | |
| 25 however, this is open to misuse | |
| 78 | 26 - check all vararg calling conv implementations if they promote correctly |
| 27 (e.g. float to double); we used to not care as it was the user's job to | |
| 28 think of that, but we allow users to use ArgFloat, etc. on "..." now, | |
| 29 taking care of the promotion; so it should be consistent all across the | |
| 30 implementations -> also write testcode specifically for that | |
| 0 | 31 - autovar was never really pushed all the way through and still plays second |
| 9 | 32 fiddle to dyncall_macros.h, clean this all up, eventually (Tassilo: for now, I |
| 33 removed out of sync files to avoid confusion; but still probably duped code) | |
| 0 | 34 - ppc32 callback fixes on bsd |
| 69 | 35 - add portable "make install" |
| 36 * make install should also install manpages | |
| 0 | 37 - mailing list announcements (html email?) |
| 38 - fix for NDS: | |
| 69 | 39 * ARM: |
|
104
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
40 - callback_plain retval wrong (not only platform), area on stack where |
|
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
41 it's stored is probably not zeroed, so half-words, etc., come with garbage |
| 69 | 42 * THUMB: |
| 43 - ellipsis (might be test itself, not respecting fixed part of args) | |
|
104
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
44 - callback_plain retval, see above under ARM |
| 69 | 45 - callf |
| 24 | 46 - support Solaris11 CFLAGS with -D_FILE_OFFSET_BITS=64 |
| 47 - make sure selinux works (esp. regarding NX bits, asm might need (or similar): .section .note.GNU-stack,"",@progbits) | |
| 54 | 48 Daniel has a patch for it, if needed, implementing allocwx with two memory blocks, one for w^x, mmaped to one for r|x |
| 68 | 49 - support /SAFESEH on cl/win32 |
|
83
54930a037e8a
- PPC64 single-precision float fixes for more than 13 float args (thanks Masanori!)
cslag
parents:
78
diff
changeset
|
50 - test code functions should be in .so files, optionally, so the suites can directly |
|
54930a037e8a
- PPC64 single-precision float fixes for more than 13 float args (thanks Masanori!)
cslag
parents:
78
diff
changeset
|
51 be used to test dycnall bindings |
|
54930a037e8a
- PPC64 single-precision float fixes for more than 13 float args (thanks Masanori!)
cslag
parents:
78
diff
changeset
|
52 - pkg-config support? |
| 90 | 53 - quadmath support (long double) |
| 117 | 54 - add tests using alloca(), as this might depend on the frame pointer being correctly |
| 55 set; we don't check for this, currently, at all | |
|
146
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
56 - test on OpenBSD 6.0 which comes with W^X by default |
| 0 | 57 |
| 58 portasm: | |
| 59 -------- | |
| 60 - add solaris support for x64 | |
| 61 | |
| 62 dyncall: | |
| 63 -------- | |
|
146
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
64 - find big endian arm box (also hardfloat), e.g. cubietruck: http://blog.netbsd.org/tnf/entry/working_arm_multiprocessor_support |
|
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
65 - test if armhf/thumb is actually working... pulls in arm mode code in dyncall_callvm.c |
|
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
66 - dyncall_call_mips_n32.h and dyncall_call_mips_n64.h are pretty much the same, share code |
| 0 | 67 - support for return values: aggregate return values |
| 68 - support for argument values: structures, half-precision, vector types, long double | |
| 69 - consider automatic type-promotion for arguments passed through DC_CALL_C_ELLIPSIS_VARARGS; | |
| 70 this would make it easier to just pass arguments instead of having to know about the C | |
| 88 | 71 type promotions (this is partly done, see todo-item above under 1.0) |
| 0 | 72 - syscalls for x64 |
| 73 * bsd | |
| 74 * linux | |
| 75 - other syscalls | |
| 110 | 76 - MIPS32 softfloat support (-msoft-float) |
| 135 | 77 - test MIPS32 eabi big endian (current port works on psp, which is little endian) |
|
132
b0cca984c740
- manual update, started splitting platform overview in EP and EL for some platforms
cslag
parents:
129
diff
changeset
|
78 - implement MIPS64 N32 (gcc -mabi=n32); both, little and big-endian (looks like NetNBSD on and |
|
b0cca984c740
- manual update, started splitting platform overview in EP and EL for some platforms
cslag
parents:
129
diff
changeset
|
79 EdgeRouter lite uses this: https://blog.netbsd.org/tnf/entry/hands_on_experience_with_edgerouter) |
| 129 | 80 - implement MIPS64 EABI (gcc -mabi=eabi); both, little and big-endian |
| 141 | 81 - support for Minix/arm |
|
146
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
82 - improve ellipsis test: |
|
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
83 * test not just with one fixed arg, to also simulate alignment problems |
|
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
84 * test return values |
|
0ab08c1541f0
- fixed armhf ellipsis calls, were ignoring spill area
cslag
parents:
145
diff
changeset
|
85 * convert from c++ to c, to have it also on plan9, and more portability |
| 0 | 86 |
| 87 dynload: | |
| 88 -------- | |
| 244 | 89 - dlGetLibraryPath: dl_iterate_phdr() used on OpenBSD, but not available on version < 3.7 |
| 0 | 90 - bug: test/nm crashes on qemu mips linux o32 debian etch |
| 91 - test/resolve_self crashes/asserts on windows and bsds | |
| 92 - rename SymsInit to InitSyms and similar for cleanup function to reflect naming | |
| 93 in dyncall | |
| 94 - get rid of Dl_info and friends (_GNU_SOURCE) in dynload/dynload_syms_elf.c | |
| 95 for implementation of dlSymsNameFromValue(..) | |
| 96 - check if PSP can support dynload (missing elf.h, dlfcn.h, etc.); fixup readme if successful | |
| 84 | 97 - some functionality like java's System.mapLibraryName('name') might be helpful? |
| 0 | 98 |
| 99 dyncallback: | |
| 100 ------------ | |
|
104
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
101 - callback_plain's return value not correct anymore on NDS (maybe just broken testcode?), |
|
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
102 see above under 1.0 items |
|
dbca6763f2be
- complete, working mips o32 callback (using hardware fp); fixes error from last commit, which ignored first 2 float args
cslag
parents:
100
diff
changeset
|
103 * check other platforms also, if asm stub initializes retval space, correctly |
| 21 | 104 - finish PPC32 callbacks (see bugs section, below, BSD not working) |
| 110 | 105 - MIPS32 softfloat support (-msoft-float) |
| 135 | 106 - test MIPS32 eabi big endian (current port works on psp, which is little endian) |
|
132
b0cca984c740
- manual update, started splitting platform overview in EP and EL for some platforms
cslag
parents:
129
diff
changeset
|
107 - implement MIPS64 N32 (gcc -mabi=n32); both, little and big-endian (looks like NetNBSD on and |
|
b0cca984c740
- manual update, started splitting platform overview in EP and EL for some platforms
cslag
parents:
129
diff
changeset
|
108 EdgeRouter lite uses this: https://blog.netbsd.org/tnf/entry/hands_on_experience_with_edgerouter) |
| 129 | 109 - implement MIPS64 EABI (gcc -mabi=eabi); both, little and big-endian |
| 141 | 110 - support for Minix/arm |
| 0 | 111 |
| 112 bindings: | |
| 113 --------- | |
| 114 - release bindings as standalone packages (already done for rbdc as a gem and rdyncall on cran) | |
| 115 * add note to documentation, where bindings are and that some bindings are svn-only ATM | |
| 116 - add rdoc documentation to ruby gem | |
| 117 - add pydoc for python | |
| 118 - add manpage for shdc | |
| 119 - expose callf-convenience functions to go | |
| 120 - add godoc for godc | |
| 121 - add javadoc to java | |
| 122 - add more bindings | |
| 123 - add callback support for erlang, go, java, lua, python and ruby (and shell? how?) | |
| 124 - add call-conv-mode-support for rbdc through signature | |
| 125 | |
| 126 manual: | |
| 127 ------- | |
| 201 | 128 - introduce doc overview tables and common vocab for calling convention specifics, following example of table on page 13 of https://www.linux-mips.org/pub/linux/mips/doc/ABI/MIPS-N32-ABI-Handbook.pdf; also as inspiration, e.g. user 'preserved' instead of 'permanent', etc. https://developer.apple.com/library/content/documentation/Xcode/Conceptual/iPhoneOSABIReference/Articles/ARMv6FunctionCallingConventions.html#//apple_ref/doc/uid/TP40009021-SW4 |
| 129 - make stack layout diagrams better, e.g. add grow direction (example: https://developer.apple.com/library/content/documentation/Xcode/Conceptual/iPhoneOSABIReference/art/arm_stack.jpg on https://developer.apple.com/library/content/documentation/Xcode/Conceptual/iPhoneOSABIReference/Articles/ARMv6FunctionCallingConventions.html#//apple_ref/doc/uid/TP40009021-SW1) | |
|
100
dcb7157392f1
- manual: fixed html output of tables rendered as .png, using tex multirow
cslag
parents:
98
diff
changeset
|
130 - callconv diagrams: |
| 98 | 131 * good idea to review it all, anyways, if the calling conventions are actually |
|
100
dcb7157392f1
- manual: fixed html output of tables rendered as .png, using tex multirow
cslag
parents:
98
diff
changeset
|
132 represented correctly (and if they are in sync with the .pdf, we used to have |
|
dcb7157392f1
- manual: fixed html output of tables rendered as .png, using tex multirow
cslag
parents:
98
diff
changeset
|
133 problems with multirow.4ht) |
| 0 | 134 - provide more examples on how to use dyncall, dynload and dyncallback |
| 135 * e.g. enhance manual with a couple of examples (e.g. calling MessageBoxA on windows, etc.) | |
| 136 - manuals for bindings (as stated in bindings-section, above) | |
| 117 | 137 - under "dyncall support", in each calling convention appendix, list crucial details of e.g. big/little endian support, etc. |
| 138 - specify integer models in use, use common ILP32, LLP64, etc. terms | |
| 0 | 139 |
| 88 | 140 regressions: |
| 141 ------------ | |
| 0 | 142 - Haiku/gmake build doesn't build dynload due to the fact, that elf.h is not found |
| 143 on default installations (one has to install the system headers) | |
| 144 * add to doc | |
| 145 - Solaris/gmake build doesn't build dynload and tests anymore (maybe not even dyncallback) | |
| 146 - test arm32/ATPCS/THUMB (and then change Status in doc Appendix) | |
| 147 - look over code and fix TODO or @@@ marks | |
| 148 - add ppc-support to doc (both, 32 and 64, as well as little and big endian remarks) | |
| 149 | |
| 150 nice to have: | |
| 151 ------------- | |
| 152 - update: microsoft visual c++ build files - integrate all test suites in solution file | |
| 153 - consistency: on x64 platforms: make both ABIs available ('win64','sysv') for all x64 OS ports | |
| 154 - microsoft build enhancement: autodetect assembly via C preprocessor (like with .S gcc files) | |
| 155 - test/thunk: some platforms do not allow for allocation of executable code on heap and stack -- | |
| 156 currently this test will crash, maybe we should collect information which platforms allow and which not. | |
| 157 | |
| 158 bugs: | |
| 159 ----- | |
| 88 | 160 - setting callconv, specifically for platforms that have only one (default)) excepts on some |
| 6 | 161 platforms, eg. setting X64_sysv on amd64/Linux - keeping cdecl which is the same in |
| 88 | 162 this case, works (this should work now...) |
| 0 | 163 - vararg function calls don't work for ARM THUMB mode (Daniel's new interface for modesetting for varag |
| 164 args should be used); adapt test/ellipsis and/or retest | |
| 165 | |
| 166 missing implementations (descending priority): | |
| 167 ---------------------------------------------- | |
| 168 - riscv | |
| 169 - itanium | |
| 88 | 170 - superh/j-core |
| 0 | 171 - 68k, 88k, 6502, etc. |
| 88 | 172 - arc |
| 0 | 173 - alpha |
| 174 - cell | |
| 175 - blackfin | |
| 88 | 176 - seaforth |
| 21 | 177 - s/390 |
| 0 | 178 - z80 |
| 179 - hppa | |
| 180 - vax | |
| 181 - atmel avr | |
| 182 - propeller | |
| 183 - amd29k | |
| 184 |