NASM 0.98p3.5
[nasm/avx512.git] / Wishlist
blobb1529bfe20b00b3cbf63f9e9b3c67f860a94ffac
1 NASM Wishlist
2 =============
4 Numbers on right hand side are version numbers that it would be nice to
5 have this done by. ? means I haven't looked at it yet.
7 - Create a binary RDF tools distribution. Should probably be distributed 0.98
8   seperately.
10 - Check misc/ide.cfg into RCS as Watcom IDE enhancement thingy.         0.98
11   (nop@dlc.fi)
13 - Package the Linux Assembler HOWTO.                                    0.98
15 - AMD 3dNow extensions need documenting.                                0.98
17 - prototypes of lrotate don't match in test/*. Fix.                     0.98
19 - Build djgpp binaries for 0.98 onwards. Look into PMODE/W as a stub    0.98
20   - it might be a lot better than CWSDPMI. It's in PMW133.ZIP.
22 - Fix `%error' giving error messages twice.                             0.99
23   Not especially important, as changes planned for 1.1x below will make
24   the preprocessor be only called once.
26 - Sort out problems with OBJ:                                           0.99
27   * TLINK32 doesn't seem to like SEGDEF32 et al. So for that, we
28     should avoid xxx32 records wherever we can.
29   * However, didn't we change _to_ using xxx32 at some stage? Try
30     to remember why and when.
31   * Apparently Delphi's linker has trouble with two or more
32     globals being defined inside a PUBDEF32. Don't even know if it
33     _can_ cope with a PUBDEF16.
34   * Might need extra flags. *sigh*
36 - Symbol table output may possibly be useful.                           0.99
37   Ken Martwick (kenm@efn.org) wants the following format:
38         labelname       type    offset(hex)     repetition count
39   Possibly include xref addresses after repetition count?
41 - There are various other bugs in outelf.c that make certain kinds      0.99
42   of relocation not work. See zbrown.asm. Looks like we may have to do
43   a major rewrite of parts of it. Compare some NASM code output with
44   equivalent GAS code output. Look at the ELF spec. Generally fix things.
46 - NASM is currently using a kludge in ELF that involves defining        0.99
47   a symbol at a zero absolute offset. This isn't needed, as the
48   documented solution to the problem that this solves is to use
49   SHN_UNDEF.
51 - Debug information, in all formats it can be usefully done in.         0.99
52   * including line-number record support.
53   * "George C. Lindauer" <gclind01@starbase.spd.louisville.edu>
54     wants to have some say in how this goes through.
55   * Andrew Crabtree <andrewc@rosemail.rose.hp.com> wants to help out.
57 - Think about a line-continuation character.                            0.99
59 - Consider allowing declaration of two labels on the same line,
60   syntax 'label1[:] label2[:] ... instruction'. Need to investigate
61   feasibility.                                                          0.99
63 - Quoting of quotes by doubling them, in string and char constants.     0.99
65 - Two-operand syntax for SEGMENT/SECTION macro to avoid warnings        0.99
66   of ignored section parameters on reissue of __SECT__.
67   Or maybe skip the warning if the given parameters are identical to
68   what was actually stored. Investigate.                                
70 - Apparently we are not missing a PSRAQ instruction, because it
71   doesn't exist.  Check that it doesn't exist as an undocumented
72   instruction, or something stupid like that.                           0.99
74 - Any assembled form starting 0x80 can also start 0x82. ndisasm         1.00
75   should know this. New special code in instruction encodings,
76   probably.
78 - Pointing an EQU at an external symbol now generates an error. There   1.05
79   may be a better way of handling this; we should look into it.
80   Ideally, the label mechanism should be changed to cope with one
81   label being declared relative to another - that may work, but could be
82   a pain to implement (or is it? it may be easy enough that you just
83   need to declare a new offset in the same segment...) This should be done
84   before v1.0 is released. There is a comment regarding this in labels.c,
85   towards the end of the file, which discusses ways of fixing this.
87 - nested %rep used to cause a panic. Now a more informative error       1.10
88   message is produced. This problem whould be fixed before v1.0.
89   See comment in switch() statement block for PP_REP in do_directive()
90   in preproc.c (line 1585, or thereabouts)
92 - Contribution: zgraeme.tar contains improved hash table routines       ?
93   contributed by Graeme Defty <graeme@HK.Super.NET> for use in the
94   label manager.
96 - Contribution: zsyntax.zip contains a syntax-highlighting mode for     ?
97   NASM, for use with the Aurora text editor (??).
99 - Contribution: zvim.zip contains a syntax-highlighting mode for        ?
100   NASM, for use with vim.
102 - Contribution: zkendal1.zip and zkendal2.zip contain Kendall           ?
103   Bennett's (<KendallB@scitechsoft.com>) alternative syntax stuff,
104   providing an alternative syntax mode for NASM which allows a macro
105   set to be written that allows the same source files to be
106   assembled with NASM and TASM.
108 - Add the UD2 instruction.                                              ?
110 - Add the four instructions documented in 24368901.pdf (Intel's own     ?
111   document).
113 - Some means of avoiding MOV memoffs,EAX which apparently the           1.10?
114   Pentium pairing detector thinks modifies EAX. Similar means of
115   choosing instruction encodings where necessary.
117 - The example of ..@ makes it clear that a ..@ label isn't just         ?
118   local, but doesn't make it clear that it isn't just global either.
120 - hpa wants an evaluator operator for ceil(log2(x)).                    ?
122 - Extra reloc types in ELF: R_386_16 type 20, PC16 is 21, 8 is 22, PC8 is 23.
123   Add support for the 16s at least.                                     ?
126 - Lazy section creation or selective section output, in COFF/win32      ?
127   at least and probably other formats: don't bother to emit a section
128   if it contains no data. Particularly the default auto-created
129   section. We believe zero-length sections crash at least WLINK (in
130   win32).
132 - Make the flags field in `struct itemplate' in insns.h a long          ?
133   instead of an int.
135 - Implement %ifref to check whether a single-line macro has ever been   ?
136   expanded since (last re) definition. Or maybe not. We'll see.
138 - add pointer to \k{insLEAVE} and \k{insENTER} in chapters about        ?
139   mixed-language programming.
141 - Some equivalent to TASM's GLOBAL directive, ie something which        ?
142   defines a symbol as external if it doesn't end up being defined
143   but defines it as public if it does end up being defined.
145 - Documentation doesn't explain about C++ name mangling.                ?
147 - see if BITS can be made to do anything sensible in obj (eg set the    ?
148   default new-segment property to Use32).
150 - OBJ: coalesce consecutive offset and segment fixups for the same      ?
151   location into full-32bit-pointer fixups. This is apparently
152   necessary because some twazzock in the PowerBASIC development
153   team didn't deign to support the OMF spec the way the rest of the
154   world sees it.
156 - Allow % to be separated from the rest of a preproc directive, for     ?
157   alternative directive indentation styles.
159 - __DATE__, __TIME__, and text variants of __NASM_MAJOR__ and           ?
160   __NASM_MINOR__.
162 - Warn on TIMES combined with multi-line macros. TIMES gets applied     1.00
163   to first line only - should bring to users' attention.
165 - Re-work the evaluator, again, with a per-object-format fixup          1.10
166   routine, so as to be able to cope with section offsets "really"
167   being pure numbers; should be able to allow at _least_ the two
168   common idioms
169      TIMES 510-$ DB 0            ; bootsector
170      MOV AX,(PROG_END-100H)/16   ; .COM TSR
171   Would need to call the fixup throughout the evaluator, and the
172   fixup would have to be allowed to return UNKNOWN on pass one if it
173   had to. (_Always_ returning UNKNOWN on pass one, though a lovely
174   clean design, breaks the first of the above examples.)
176 - Preprocessor identifier concatenation?                                1.10
178 - Arbitrary section names in `bin'.                                     ?
179   Is this necessary? Is it even desirable?
181 - Ability to read from a pipe. Obviously not useful under dos, so       1.10
182   memory problems with storing entire input file aren't a problem
183   either.
185   Related topic: file caching under DOS/32 bit...                       1.10?
186   maybe even implement discardable buffers that get thrown away
187   when we get a NULL returned from malloc(). Only really useful under
188   DOS. Think about it.
190   Another related topic: possibly spool out the pre-processed           1.10?
191   stuff to a file, to avoid having to re-process it. Possible problems
192   with preprocessor values not known on pass 1? Have a look...
194   Or maybe we can spool out a pre-parsed version...?                    1.10
195   Need to investigate feasibility. Does the results from the parser
196   change from pass 1 to pass 2? Would it be feasible to alter it so that
197   the parser returns an invariant result, and this is then processed
198   afterwards to resolve label references, etc?
200 - Subsection support?                                                   ?
202 - A good ALIGN mechanism, similar to GAS's. GAS pads out space by       1.10?
203   means of the following (32-bit) instructions:
204           8DB42600000000    lea esi,[esi+0x0]
205           8DB600000000      lea esi,[esi+0x0]
206           8D742600          lea esi,[esi+0x0]
207           8D7600            lea esi,[esi+0x0]
208           8D36              lea esi,[esi]
209           90                nop
210   It uses up to two of these instructions to do up to 14-byte pads;
211   when more than 14 bytes are needed, it issues a (short) jump to
212   the end of the padded section and then NOPs the rest. Come up with
213   a similar scheme for 16 bit mode, and also come up with a way to
214   use it - internal to the assembler, so that programs using ALIGN
215   don't knock over preprocess-only mode.
216     Also re-work the macro form so that when given one argument in a
217   code section it calls this feature.
219 - Possibly a means whereby FP constants can be specified as             ?
220   immediate operands to non-FP instructions.
221   * Possible syntax: MOV EAX,FLOAT 1.2 to get a single-precision FP
222     constant. Then maybe MOV EAX,HI_FLOAT 1.2 and MOV EAX,LO_FLOAT
223     1.2 to get the two halves of a double-precision one. Best to
224     ignore extended-precision in case it bites.
225   * Alternatively, maybe MOV EAX,FLOAT(4,0-4,1.2) to get bytes 0-4
226     (ie 0-3) of a 4-byte constant. Then HI_FLOAT is FLOAT(8,4-8,x)
227     and LO_FLOAT is FLOAT(8,0-4,x). But this version allows two-byte
228     chunks, one-byte chunks, even stranger chunks, and pieces of
229     ten-byte reals to be bandied around as well.
231 - A UNION macro might be quite cool, now that ABSOLUTE is sane          ?
232   enough to be able to handle it.
234 - An equivalent to gcc's ## stringify operator, plus string             ?
235   concatenation, somehow implemented without undue ugliness, so as
236   to be able to do `%include "/my/path/%1"' in a macro, or something
237   similar...
239 - Actually _do_ something with the processor, privileged and            1.10
240   undocumented flags in the instruction table. When this happens,
241   consider allowing PMULHRW to map to either of the Cyrix or AMD
242   versions?
244 - Maybe NEC V20/V30 instructions?                                       ?
246 - Yet more object formats.
247   * Possibly direct support for .EXE files?                             1.10
249 - Symbol map in binary format. Format-specific options...               1.10?
251 - REDESIGN: Think about EQU dependency, and about start-point           1.20?
252   specification in OBJ. Possibly re-think directive support.
254 - Think about a wrapper program like gcc? Possibly invent a _patch_     2.00?
255   for gcc so that it can take .asm files on the command line?
257 - If a wrapper happens, think about adding an option to cause the       ?
258   resulting executable file to be executed immediately, thus
259   allowing NASM source files to have #!... (probably silly)
261 - Multi-platform support? If so: definitely Alpha; possibly Java        ?
262   byte code; probably ARM/StrongARM; maybe Sparc; maybe Mips; maybe
263   Vax. Perhaps Z80 and 6502, just for a laugh?
265 - Consider a 'verbose' option that prints information about the resulting ?
266   object file onto stdout.