The MASM Forum

64 bit assembler => UASM Assembler Development => Topic started by: dawnraider on October 31, 2016, 11:20:49 PM

Title: [HJWASM Bug] Output Stream and Macro Stream not separate during macro parsing
Post by: dawnraider on October 31, 2016, 11:20:49 PM
Hi Habran,

I recently came across another bug in HJWasm to do with macro parsing. Create a new file test.asm as follows:


tempvar TEXTEQU <MyProc PROC param1:DWORD,>

MyMacro MACRO
tempvar
EXITM
ENDM

.CODE

MyMacro

ret

MyProc ENDP

END


With ml64.exe this assembles fine. However, with HJWasm, the following error occurs:


JWasm v2.11, Oct 20 2013, Masm-compatible assembler.
Portions Copyright (c) 1992-2002 Sybase, Inc. All Rights Reserved.
Source code is available under the Sybase Open Watcom Public License.

x.asm(10) : Error A2209: Syntax error: EXITM
MyMacro(2)[x.asm]: Macro called from
  x.asm(10): Main line code
x.asm: 16 lines, 1 passes, 0 ms, 0 warnings, 1 errors


The problem appears to be that the output stream and the macro parsing stream and being merged, hence the EXITM is being
appended to the PROC declaration with the comma at the end even though they are technically two different processing streams.

Here is the listing file from ml64.exe


= MyProc PROC param1:DWORD     tempvar TEXTEQU <MyProc PROC param1:DWORD,>
   ,

                                MyMacro MACRO
                                tempvar
                                EXITM
                                ENDM

00000000                       .CODE

                                MyMacro
00000000                    1  tempvar

                                        ret

00000006                       MyProc ENDP

                                END


This does indeed produce a real function as the following output from dumpbin.exe shows:


File Type: COFF OBJECT

MyProc:
  0000000000000000: 55                 push        rbp
  0000000000000001: 48 8B EC           mov         rbp,rsp
  0000000000000004: C9                 leave
  0000000000000005: C3                 ret


Here is the listing from HJWasm:


= MyProc PROC param1:DWORD,    tempvar TEXTEQU <MyProc PROC param1:DWORD,>

                                MyMacro MACRO
>                              tempvar
>                              EXITM
>                              ENDM

                                .CODE

                                MyMacro
00000000                     1  MyProc PROC param1:DWORD,EXITM
                           Error A2209: Syntax error: EXITM

00000000                                ret

00000001                        MyProc ENDP

                                END


Would appreciate it if you could take a look. Thanks in advance.
Title: Re: [HJWASM Bug] Output Stream and Macro Stream not separate during macro parsing
Post by: habran on November 02, 2016, 05:44:42 AM
Thanks dawnraider, it'll be fixed in next release :biggrin:
Title: Re: [HJWASM Bug] Output Stream and Macro Stream not separate during macro parsing
Post by: habran on November 09, 2016, 01:43:30 PM
Hi dawnraider,
Sorry for taking so long, I was very bussy with the 2.16 release :dazzled:

The problem was caused with comma in :
tempvar TEXTEQU <MyProc PROC  param1:DWORD,>

When I removed "," everything worked.
So, HJWasm tuk EXITM as parameter to the function because of the comma.
ML64 disregarded it for some unknown reason???

Anyway, here is the listing:

                                .x64
                                option casemap:none
= MyProc PROC  param1:DWORD    tempvar TEXTEQU <MyProc PROC  param1:DWORD>

                                MyMacro MACRO
>                              tempvar
>                              EXITM
>                              ENDM

                                .CODE

                                MyMacro
00000000                     1  MyProc PROC  param1:DWORD
00000004                        ret
00000006                        MyProc ENDP
                                END


However, I wouldn't recommend that kind of programming.
IMHO, The function should show clearly which parameters are used in it

 
Title: Re: [HJWASM Bug] Output Stream and Macro Stream not separate during macro parsing
Post by: dawnraider on November 10, 2016, 05:39:51 PM
Hi Habran,

I think you have misinterpreted the reason for the bug report.

The problem is that comma is a continuation character in MASM and HJWasm is not interpreting it correctly when it appears within
a macro.

I have macros which build the arguments to some functions automatically depending on the context. That's why in the example
the function prototype was a string. The comma continues the prototype onto the next line which, if blank, should do nothing.

I admit, I did find this bug in HJWasm by accident as my code was not functioning properly. However, this is how MASM works and
it makes perfect sense. The problem is not in how the prototype was written. The problem is in the macro processing as HJWasm
is processing a comma continuation character as macro input when in fact it is clearly meant for the assembler.

This, in my opinion, is a bug.

Cheers.
Title: Re: [HJWASM Bug] Output Stream and Macro Stream not separate during macro parsing
Post by: johnsa on November 10, 2016, 09:31:55 PM

I would agree that it is a bug, however it's one based on a bit of an ambiguous or suspect use-case.

the EXITM should always terminate the macro no matter what is happening, so i think as a fix specifically for this case we could force EXITM to terminate any current macro even if the assembler is busy expanding some other construct.

I think the reason these issues happen is that masm runs multi-pass over macros and hjwasm recursively expands .. so the behaviour is slightly different.

Once again i would suggest a work-around by building up your argument list to the proc or proto then using a macro string op to just remove the final comma so it can be built up dynamically and would exist on a single line. This should be compatible with both masm and hjwasm.