         Edinburgh IMP77 Compiler - Version 8.4-2024.12.18

     1  %begin
 0000 C8 00 00 01                           ENTER 0000,1
     2  
     3    %integer X
     4    %integername XP
     5    
     6    %predicate test(%integer a,b, %integername c)
 0004 EB 00                                 JMP L1001
 0006                      L1002  EQU $
 0006 C8 00 00 02                           ENTER 0000,2
     7      %true
 000A B8 FF FF FF FF                        MOV %EAX,#-1
 000F C9                                    LEAVE
 0010 C3                                    RET
     8    %end
 0011                      L1001  EQU $
?C unused
?B unused
?A unused
     9  
    10    %if test(X,XP,XP) %start
 0011 FF 75 F8                              PUSH DWORD PTR [%EBP-8]
 0014 8B 75 F4                              MOV %ESI,[%EBP-12]
 0017 FF 36                                 PUSH DWORD PTR [%ESI]
 0019 FF 75 F4                              PUSH DWORD PTR [%EBP-12]
 001C E8 00 00                              CALL 'TEST' (INTERNAL L1002 )
 001F 83 C4 0C                              ADD %ESP,#12
 0022 3D 00 00 00 00                        CMP %EAX,#0
 0027 74 00                                 JE L1003
    11  
    12    %finish
 0029                      L1003  EQU $
    13  
    14  %endofprogram
 0029 C9                                    LEAVE
 002A C3                                    RET

     9 Statements compiled



 ELF object file generated from IMP source file: '/home/gtoal/src/compilers101/new-parser/imps/tests/test222.imp'
 +----------+---------------------+---------+---------+---------+------------+
 | Sections |       Symbols       | Code    | Data    | Diag    | Total size |
 +----------+----------+----------+---------+---------+---------+------------+
 |  (count) | Internal | External | (bytes) | (bytes) | (bytes) | (bytes)    |
 +----------+----------+----------+---------+---------+---------+------------+
 |       11 |        5 |        6 |      45 |       0 |      64 |        109 |
 +----------+----------+----------+---------+---------+---------+------------+


