Subversion Repositories Kolibri OS

Rev

Rev 196 | Go to most recent revision | Blame | Last modification | View Log | Download | RSS feed

  1.  
  2. ; flat assembler core
  3. ; Copyright (c) 1999-2006, Tomasz Grysztar.
  4. ; All rights reserved.
  5.  
  6. convert_expression:
  7.         push    ebp
  8.         call    get_fp_value
  9.         jnc     fp_expression
  10.         mov     [current_offset],esp
  11.       expression_loop:
  12.         push    edi
  13.         mov     edi,single_operand_operators
  14.         call    get_operator
  15.         pop     edi
  16.         or      al,al
  17.         jz      expression_element
  18.         push    eax
  19.         jmp     expression_loop
  20.       expression_element:
  21.         mov     al,[esi]
  22.         cmp     al,1Ah
  23.         je      expression_number
  24.         cmp     al,22h
  25.         je      expression_number
  26.         cmp     al,'('
  27.         je      expression_number
  28.         mov     al,'!'
  29.         stos    byte [edi]
  30.         jmp     expression_operator
  31.       expression_number:
  32.         call    convert_number
  33.       expression_operator:
  34.         push    edi
  35.         mov     edi,operators
  36.         call    get_operator
  37.         pop     edi
  38.         or      al,al
  39.         jz      expression_end
  40.       operators_loop:
  41.         cmp     esp,[current_offset]
  42.         je      push_operator
  43.         mov     bl,al
  44.         and     bl,0F0h
  45.         mov     bh,byte [esp]
  46.         and     bh,0F0h
  47.         cmp     bl,bh
  48.         ja      push_operator
  49.         pop     ebx
  50.         mov     byte [edi],bl
  51.         inc     edi
  52.         jmp     operators_loop
  53.       push_operator:
  54.         push    eax
  55.         jmp     expression_loop
  56.       expression_end:
  57.         cmp     esp,[current_offset]
  58.         je      expression_converted
  59.         pop     eax
  60.         stos    byte [edi]
  61.         jmp     expression_end
  62.       expression_converted:
  63.         pop     ebp
  64.         ret
  65.       fp_expression:
  66.         mov     al,'.'
  67.         stos    byte [edi]
  68.         mov     eax,[fp_value]
  69.         stos    dword [edi]
  70.         mov     eax,[fp_value+4]
  71.         stos    dword [edi]
  72.         mov     eax,[fp_value+8]
  73.         stos    dword [edi]
  74.         pop     ebp
  75.         ret
  76.  
  77. convert_number:
  78.         lea     eax,[edi-10h]
  79.         cmp     eax,[labels_list]
  80.         jae     out_of_memory
  81.         cmp     byte [esi],'('
  82.         je      expression_value
  83.         inc     edi
  84.         call    get_number
  85.         jc      symbol_value
  86.         or      ebp,ebp
  87.         jz      valid_number
  88.         mov     byte [edi-1],0Fh
  89.         ret
  90.       valid_number:
  91.         cmp     dword [edi+4],0
  92.         jne     qword_number
  93.         cmp     word [edi+2],0
  94.         jne     dword_number
  95.         cmp     byte [edi+1],0
  96.         jne     word_number
  97.       byte_number:
  98.         mov     byte [edi-1],1
  99.         inc     edi
  100.         ret
  101.       qword_number:
  102.         mov     byte [edi-1],8
  103.         add     edi,8
  104.         ret
  105.       dword_number:
  106.         mov     byte [edi-1],4
  107.         scas    dword [edi]
  108.         ret
  109.       word_number:
  110.         mov     byte [edi-1],2
  111.         scas    word [edi]
  112.         ret
  113.       expression_value:
  114.         mov     eax,esp
  115.         sub     eax,100h
  116.         jc      stack_overflow
  117.         cmp     eax,[stack_limit]
  118.         jb      stack_overflow
  119.         inc     esi
  120.         push    [current_offset]
  121.         call    convert_expression
  122.         pop     [current_offset]
  123.         lods    byte [esi]
  124.         cmp     al,')'
  125.         jne     invalid_expression
  126.         ret
  127.       symbol_value:
  128.         push    edi
  129.         mov     edi,address_registers
  130.         call    get_operator
  131.         or      al,al
  132.         jnz     register_value
  133.         mov     edi,directive_operators
  134.         call    get_operator
  135.         pop     edi
  136.         or      al,al
  137.         jnz     broken_value
  138.         lods    byte [esi]
  139.         cmp     al,1Ah
  140.         jne     invalid_value
  141.         lods    byte [esi]
  142.         movzx   ecx,al
  143.         call    get_label_id
  144.       store_label_value:
  145.         mov     byte [edi-1],11h
  146.         stos    dword [edi]
  147.         ret
  148.       broken_value:
  149.         mov     eax,0Fh
  150.         jmp     store_label_value
  151.       register_value:
  152.         pop     edi
  153.         mov     byte [edi-1],10h
  154.         stos    byte [edi]
  155.         ret
  156.  
  157. get_number:
  158.         xor     ebp,ebp
  159.         lods    byte [esi]
  160.         cmp     al,22h
  161.         je      get_text_number
  162.         cmp     al,1Ah
  163.         jne     not_number
  164.         lods    byte [esi]
  165.         movzx   ecx,al
  166.         mov     [number_start],esi
  167.         mov     al,[esi]
  168.         cmp     al,'$'
  169.         je      number_begin
  170.         sub     al,30h
  171.         cmp     al,9
  172.         ja      invalid_number
  173.       number_begin:
  174.         mov     ebx,esi
  175.         add     esi,ecx
  176.         push    esi
  177.         dec     esi
  178.         mov     dword [edi],0
  179.         mov     dword [edi+4],0
  180.         cmp     byte [ebx],'$'
  181.         je      pascal_hex_number
  182.         cmp     word [ebx],'0x'
  183.         je      get_hex_number
  184.         mov     al,[esi]
  185.         dec     esi
  186.         cmp     al,'h'
  187.         je      get_hex_number
  188.         cmp     al,'b'
  189.         je      get_bin_number
  190.         cmp     al,'d'
  191.         je      get_dec_number
  192.         cmp     al,'o'
  193.         je      get_oct_number
  194.         cmp     al,'H'
  195.         je      get_hex_number
  196.         cmp     al,'B'
  197.         je      get_bin_number
  198.         cmp     al,'D'
  199.         je      get_dec_number
  200.         cmp     al,'O'
  201.         je      get_oct_number
  202.         inc     esi
  203.       get_dec_number:
  204.         mov     ebx,esi
  205.         mov     esi,[number_start]
  206.       get_dec_digit:
  207.         cmp     esi,ebx
  208.         ja      number_ok
  209.         xor     edx,edx
  210.         mov     eax,[edi]
  211.         shld    edx,eax,2
  212.         shl     eax,2
  213.         add     eax,[edi]
  214.         adc     edx,0
  215.         add     eax,eax
  216.         adc     edx,edx
  217.         mov     [edi],eax
  218.         mov     eax,[edi+4]
  219.         add     eax,eax
  220.         jc      dec_out_of_range
  221.         add     eax,eax
  222.         jc      dec_out_of_range
  223.         add     eax,[edi+4]
  224.         jc      dec_out_of_range
  225.         add     eax,eax
  226.         jc      dec_out_of_range
  227.         add     eax,edx
  228.         jc      dec_out_of_range
  229.         mov     [edi+4],eax
  230.         movzx   eax,byte [esi]
  231.         sub     al,30h
  232.         cmp     al,9
  233.         ja      bad_number
  234.         add     [edi],eax
  235.         adc     dword [edi+4],0
  236.         jc      dec_out_of_range
  237.         inc     esi
  238.         jmp     get_dec_digit
  239.       dec_out_of_range:
  240.         or      ebp,-1
  241.         inc     esi
  242.         jmp     get_dec_digit
  243.       bad_number:
  244.         pop     eax
  245.       invalid_number:
  246.         mov     esi,[number_start]
  247.         dec     esi
  248.       not_number:
  249.         dec     esi
  250.         stc
  251.         ret
  252.       get_bin_number:
  253.         xor     bl,bl
  254.       get_bin_digit:
  255.         cmp     esi,[number_start]
  256.         jb      number_ok
  257.         movzx   eax,byte [esi]
  258.         sub     al,30h
  259.         cmp     al,1
  260.         ja      bad_number
  261.         xor     edx,edx
  262.         mov     cl,bl
  263.         dec     esi
  264.         cmp     bl,64
  265.         je      bin_out_of_range
  266.         inc     bl
  267.         cmp     cl,32
  268.         jae     bin_digit_high
  269.         shl     eax,cl
  270.         or      dword [edi],eax
  271.         jmp     get_bin_digit
  272.       bin_digit_high:
  273.         sub     cl,32
  274.         shl     eax,cl
  275.         or      dword [edi+4],eax
  276.         jmp     get_bin_digit
  277.       bin_out_of_range:
  278.         or      al,al
  279.         jz      get_bin_digit
  280.         or      ebp,-1
  281.         jmp     get_bin_digit
  282.       pascal_hex_number:
  283.         cmp     cl,1
  284.         je      bad_number
  285.       get_hex_number:
  286.         xor     bl,bl
  287.       get_hex_digit:
  288.         cmp     esi,[number_start]
  289.         jb      number_ok
  290.         movzx   eax,byte [esi]
  291.         cmp     al,'x'
  292.         je      hex_number_ok
  293.         cmp     al,'$'
  294.         je      pascal_hex_ok
  295.         sub     al,30h
  296.         cmp     al,9
  297.         jbe     hex_digit_ok
  298.         sub     al,7
  299.         cmp     al,15
  300.         jbe     hex_letter_digit_ok
  301.         sub     al,20h
  302.         cmp     al,15
  303.         ja      bad_number
  304.       hex_letter_digit_ok:
  305.         cmp     al,10
  306.         jb      bad_number
  307.       hex_digit_ok:
  308.         xor     edx,edx
  309.         mov     cl,bl
  310.         dec     esi
  311.         cmp     bl,64
  312.         je      hex_out_of_range
  313.         add     bl,4
  314.         cmp     cl,32
  315.         jae     hex_digit_high
  316.         shl     eax,cl
  317.         or      dword [edi],eax
  318.         jmp     get_hex_digit
  319.       hex_digit_high:
  320.         sub     cl,32
  321.         shl     eax,cl
  322.         or      dword [edi+4],eax
  323.         jmp     get_hex_digit
  324.       hex_out_of_range:
  325.         or      al,al
  326.         jz      get_hex_digit
  327.         or      ebp,-1
  328.         jmp     get_hex_digit
  329.       get_oct_number:
  330.         xor     bl,bl
  331.       get_oct_digit:
  332.         cmp     esi,[number_start]
  333.         jb      number_ok
  334.         movzx   eax,byte [esi]
  335.         sub     al,30h
  336.         cmp     al,7
  337.         ja      bad_number
  338.       oct_digit_ok:
  339.         xor     edx,edx
  340.         mov     cl,bl
  341.         dec     esi
  342.         cmp     bl,64
  343.         jae     oct_out_of_range
  344.         add     bl,3
  345.         cmp     cl,30
  346.         je      oct_digit_wrap
  347.         ja      oct_digit_high
  348.         shl     eax,cl
  349.         or      dword [edi],eax
  350.         jmp     get_oct_digit
  351.       oct_digit_wrap:
  352.         shl     eax,cl
  353.         adc     dword [edi+4],0
  354.         or      dword [edi],eax
  355.         jmp     get_oct_digit
  356.       oct_digit_high:
  357.         sub     cl,32
  358.         shl     eax,cl
  359.         or      dword [edi+4],eax
  360.         jmp     get_oct_digit
  361.       oct_out_of_range:
  362.         or      al,al
  363.         jz      get_oct_digit
  364.         or      ebp,-1
  365.         jmp     get_oct_digit
  366.       hex_number_ok:
  367.         dec     esi
  368.       pascal_hex_ok:
  369.         cmp     esi,[number_start]
  370.         jne     bad_number
  371.       number_ok:
  372.         pop     esi
  373.       number_done:
  374.         clc
  375.         ret
  376.       get_text_number:
  377.         lods    dword [esi]
  378.         mov     edx,eax
  379.         xor     bl,bl
  380.         mov     dword [edi],0
  381.         mov     dword [edi+4],0
  382.       get_text_character:
  383.         sub     edx,1
  384.         jc      number_done
  385.         movzx   eax,byte [esi]
  386.         inc     esi
  387.         mov     cl,bl
  388.         cmp     bl,64
  389.         je      text_out_of_range
  390.         add     bl,8
  391.         cmp     cl,32
  392.         jae     text_character_high
  393.         shl     eax,cl
  394.         or      dword [edi],eax
  395.         jmp     get_text_character
  396.       text_character_high:
  397.         sub     cl,32
  398.         shl     eax,cl
  399.         or      dword [edi+4],eax
  400.         jmp     get_text_character
  401.       text_out_of_range:
  402.         or      ebp,-1
  403.         jmp     get_text_character
  404.  
  405. get_fp_value:
  406.         push    edi esi
  407.         lods    byte [esi]
  408.         cmp     al,1Ah
  409.         je      fp_value_start
  410.         cmp     al,'-'
  411.         je      fp_sign_ok
  412.         cmp     al,'+'
  413.         jne     not_fp_value
  414.       fp_sign_ok:
  415.         lods    byte [esi]
  416.         cmp     al,1Ah
  417.         jne     not_fp_value
  418.       fp_value_start:
  419.         lods    byte [esi]
  420.         movzx   ecx,al
  421.         cmp     cl,1
  422.         jbe     not_fp_value
  423.         lea     edx,[esi+1]
  424.         xor     ah,ah
  425.       check_fp_value:
  426.         lods    byte [esi]
  427.         cmp     al,'.'
  428.         je      fp_character_dot
  429.         cmp     al,'E'
  430.         je      fp_character_exp
  431.         cmp     al,'e'
  432.         je      fp_character_exp
  433.         cmp     al,'F'
  434.         je      fp_last_character
  435.         cmp     al,'f'
  436.         je      fp_last_character
  437.       digit_expected:
  438.         cmp     al,'0'
  439.         jb      not_fp_value
  440.         cmp     al,'9'
  441.         ja      not_fp_value
  442.         jmp     fp_character_ok
  443.       fp_character_dot:
  444.         cmp     esi,edx
  445.         je      not_fp_value
  446.         or      ah,ah
  447.         jnz     not_fp_value
  448.         or      ah,1
  449.         lods    byte [esi]
  450.         loop    digit_expected
  451.       not_fp_value:
  452.         pop     esi edi
  453.         stc
  454.         ret
  455.       fp_last_character:
  456.         cmp     cl,1
  457.         jne     not_fp_value
  458.         or      ah,4
  459.         jmp     fp_character_ok
  460.       fp_character_exp:
  461.         cmp     esi,edx
  462.         je      not_fp_value
  463.         cmp     ah,1
  464.         ja      not_fp_value
  465.         or      ah,2
  466.         cmp     ecx,1
  467.         jne     fp_character_ok
  468.         cmp     byte [esi],'+'
  469.         je      fp_exp_sign
  470.         cmp     byte [esi],'-'
  471.         jne     fp_character_ok
  472.       fp_exp_sign:
  473.         inc     esi
  474.         cmp     byte [esi],1Ah
  475.         jne     not_fp_value
  476.         inc     esi
  477.         lods    byte [esi]
  478.         movzx   ecx,al
  479.         inc     ecx
  480.       fp_character_ok:
  481.         dec     ecx
  482.         jnz     check_fp_value
  483.         or      ah,ah
  484.         jz      not_fp_value
  485.         pop     esi
  486.         lods    byte [esi]
  487.         mov     [fp_sign],0
  488.         cmp     al,1Ah
  489.         je      fp_get
  490.         inc     esi
  491.         cmp     al,'+'
  492.         je      fp_get
  493.         mov     [fp_sign],1
  494.       fp_get:
  495.         lods    byte [esi]
  496.         movzx   ecx,al
  497.         xor     edx,edx
  498.         mov     edi,fp_value
  499.         mov     [edi],edx
  500.         mov     [edi+4],edx
  501.         mov     [edi+12],edx
  502.         call    fp_optimize
  503.         mov     [fp_format],0
  504.         mov     al,[esi]
  505.       fp_before_dot:
  506.         lods    byte [esi]
  507.         cmp     al,'.'
  508.         je      fp_dot
  509.         cmp     al,'E'
  510.         je      fp_exponent
  511.         cmp     al,'e'
  512.         je      fp_exponent
  513.         cmp     al,'F'
  514.         je      fp_done
  515.         cmp     al,'f'
  516.         je      fp_done
  517.         sub     al,30h
  518.         mov     edi,fp_value+16
  519.         xor     edx,edx
  520.         mov     dword [edi+12],edx
  521.         mov     dword [edi],edx
  522.         mov     dword [edi+4],edx
  523.         mov     [edi+7],al
  524.         mov     dl,7
  525.         mov     dword [edi+8],edx
  526.         call    fp_optimize
  527.         mov     edi,fp_value
  528.         push    ecx
  529.         mov     ecx,10
  530.         call    fp_mul
  531.         pop     ecx
  532.         mov     ebx,fp_value+16
  533.         call    fp_add
  534.         loop    fp_before_dot
  535.       fp_dot:
  536.         mov     edi,fp_value+16
  537.         xor     edx,edx
  538.         mov     [edi],edx
  539.         mov     [edi+4],edx
  540.         mov     byte [edi+7],80h
  541.         mov     [edi+8],edx
  542.         mov     dword [edi+12],edx
  543.         dec     ecx
  544.         jz      fp_done
  545.       fp_after_dot:
  546.         lods    byte [esi]
  547.         cmp     al,'E'
  548.         je      fp_exponent
  549.         cmp     al,'e'
  550.         je      fp_exponent
  551.         cmp     al,'F'
  552.         je      fp_done
  553.         cmp     al,'f'
  554.         je      fp_done
  555.         inc     [fp_format]
  556.         cmp     [fp_format],80h
  557.         jne     fp_counter_ok
  558.         mov     [fp_format],7Fh
  559.       fp_counter_ok:
  560.         dec     esi
  561.         mov     edi,fp_value+16
  562.         push    ecx
  563.         mov     ecx,10
  564.         call    fp_div
  565.         push    dword [edi]
  566.         push    dword [edi+4]
  567.         push    dword [edi+8]
  568.         push    dword [edi+12]
  569.         lods    byte [esi]
  570.         sub     al,30h
  571.         movzx   ecx,al
  572.         call    fp_mul
  573.         mov     ebx,edi
  574.         mov     edi,fp_value
  575.         call    fp_add
  576.         mov     edi,fp_value+16
  577.         pop     dword [edi+12]
  578.         pop     dword [edi+8]
  579.         pop     dword [edi+4]
  580.         pop     dword [edi]
  581.         pop     ecx
  582.         loop    fp_after_dot
  583.         jmp     fp_done
  584.       fp_exponent:
  585.         or      [fp_format],80h
  586.         xor     edx,edx
  587.         xor     ebp,ebp
  588.         dec     ecx
  589.         jnz     get_exponent
  590.         cmp     byte [esi],'+'
  591.         je      fp_exponent_sign
  592.         cmp     byte [esi],'-'
  593.         jne     fp_done
  594.         not     ebp
  595.       fp_exponent_sign:
  596.         add     esi,2
  597.         lods    byte [esi]
  598.         movzx   ecx,al
  599.       get_exponent:
  600.         movzx   eax,byte [esi]
  601.         inc     esi
  602.         sub     al,30h
  603.         cmp     al,10
  604.         jae     exponent_ok
  605.         imul    edx,10
  606.         cmp     edx,8000h
  607.         jae     value_out_of_range
  608.         add     edx,eax
  609.         loop    get_exponent
  610.       exponent_ok:
  611.         mov     edi,fp_value
  612.         or      edx,edx
  613.         jz      fp_done
  614.         mov     ecx,edx
  615.         or      ebp,ebp
  616.         jnz     fp_negative_power
  617.       fp_power:
  618.         push    ecx
  619.         mov     ecx,10
  620.         call    fp_mul
  621.         pop     ecx
  622.         loop    fp_power
  623.         jmp     fp_done
  624.       fp_negative_power:
  625.         push    ecx
  626.         mov     ecx,10
  627.         call    fp_div
  628.         pop     ecx
  629.         loop    fp_negative_power
  630.       fp_done:
  631.         mov     edi,fp_value
  632.         mov     al,[fp_format]
  633.         mov     [edi+10],al
  634.         mov     al,[fp_sign]
  635.         mov     [edi+11],al
  636.         test    byte [edi+15],80h
  637.         jz      fp_ok
  638.         add     dword [edi],1
  639.         adc     dword [edi+4],0
  640.         jnc     fp_ok
  641.         mov     eax,[edi+4]
  642.         shrd    [edi],eax,1
  643.         shr     eax,1
  644.         or      eax,80000000h
  645.         mov     [edi+4],eax
  646.         inc     word [edi+8]
  647.       fp_ok:
  648.         pop     edi
  649.         clc
  650.         ret
  651.       fp_mul:
  652.         or      ecx,ecx
  653.         jz      fp_zero
  654.         mov     eax,[edi+12]
  655.         mul     ecx
  656.         mov     [edi+12],eax
  657.         mov     ebx,edx
  658.         mov     eax,[edi]
  659.         mul     ecx
  660.         add     eax,ebx
  661.         adc     edx,0
  662.         mov     [edi],eax
  663.         mov     ebx,edx
  664.         mov     eax,[edi+4]
  665.         mul     ecx
  666.         add     eax,ebx
  667.         adc     edx,0
  668.         mov     [edi+4],eax
  669.       .loop:
  670.         or      edx,edx
  671.         jz      .done
  672.         mov     eax,[edi]
  673.         shrd    [edi+12],eax,1
  674.         mov     eax,[edi+4]
  675.         shrd    [edi],eax,1
  676.         shrd    eax,edx,1
  677.         mov     [edi+4],eax
  678.         shr     edx,1
  679.         inc     dword [edi+8]
  680.         cmp     dword [edi+8],8000h
  681.         jge     value_out_of_range
  682.         jmp     .loop
  683.       .done:
  684.         ret
  685.       fp_div:
  686.         mov     eax,[edi+4]
  687.         xor     edx,edx
  688.         div     ecx
  689.         mov     [edi+4],eax
  690.         mov     eax,[edi]
  691.         div     ecx
  692.         mov     [edi],eax
  693.         mov     eax,[edi+12]
  694.         div     ecx
  695.         mov     [edi+12],eax
  696.         mov     ebx,eax
  697.         or      ebx,[edi]
  698.         or      ebx,[edi+4]
  699.         jz      fp_zero
  700.       .loop:
  701.         test    byte [edi+7],80h
  702.         jnz     .exp_ok
  703.         mov     eax,[edi]
  704.         shld    [edi+4],eax,1
  705.         mov     eax,[edi+12]
  706.         shld    [edi],eax,1
  707.         add     eax,eax
  708.         mov     [edi+12],eax
  709.         dec     dword [edi+8]
  710.         add     edx,edx
  711.         jmp     .loop
  712.       .exp_ok:
  713.         mov     eax,edx
  714.         xor     edx,edx
  715.         div     ecx
  716.         add     [edi+12],eax
  717.         adc     dword [edi],0
  718.         adc     dword [edi+4],0
  719.         jnc     .done
  720.         mov     eax,[edi+4]
  721.         mov     ebx,[edi]
  722.         shrd    [edi],eax,1
  723.         shrd    [edi+12],ebx,1
  724.         shr     eax,1
  725.         or      eax,80000000h
  726.         mov     [edi+4],eax
  727.         inc     dword [edi+8]
  728.       .done:
  729.         ret
  730.       fp_add:
  731.         cmp     dword [ebx+8],8000h
  732.         je      .done
  733.         cmp     dword [edi+8],8000h
  734.         je      .copy
  735.         mov     eax,[ebx+8]
  736.         cmp     eax,[edi+8]
  737.         jge     .exp_ok
  738.         mov     eax,[edi+8]
  739.       .exp_ok:
  740.         call    .change_exp
  741.         xchg    ebx,edi
  742.         call    .change_exp
  743.         xchg    ebx,edi
  744.         mov     edx,[ebx+12]
  745.         mov     eax,[ebx]
  746.         mov     ebx,[ebx+4]
  747.         add     [edi+12],edx
  748.         adc     [edi],eax
  749.         adc     [edi+4],ebx
  750.         jnc     .done
  751.         mov     eax,[edi]
  752.         shrd    [edi+12],eax,1
  753.         mov     eax,[edi+4]
  754.         shrd    [edi],eax,1
  755.         shr     eax,1
  756.         or      eax,80000000h
  757.         mov     [edi+4],eax
  758.         inc     dword [edi+8]
  759.       .done:
  760.         ret
  761.       .copy:
  762.         mov     eax,[ebx]
  763.         mov     [edi],eax
  764.         mov     eax,[ebx+4]
  765.         mov     [edi+4],eax
  766.         mov     eax,[ebx+8]
  767.         mov     [edi+8],eax
  768.         mov     eax,[ebx+12]
  769.         mov     [edi+12],eax
  770.         ret
  771.       .change_exp:
  772.         push    ecx
  773.         mov     ecx,eax
  774.         sub     ecx,[ebx+8]
  775.         mov     edx,[ebx+4]
  776.         jecxz   .exp_done
  777.       .exp_loop:
  778.         mov     ebp,[ebx]
  779.         shrd    [ebx+12],ebp,1
  780.         shrd    [ebx],edx,1
  781.         shr     edx,1
  782.         inc     dword [ebx+8]
  783.         loop    .exp_loop
  784.       .exp_done:
  785.         mov     [ebx+4],edx
  786.         pop     ecx
  787.         ret
  788.       fp_optimize:
  789.         mov     eax,[edi]
  790.         mov     ebp,[edi+4]
  791.         or      ebp,[edi]
  792.         or      ebp,[edi+12]
  793.         jz      fp_zero
  794.       .loop:
  795.         test    byte [edi+7],80h
  796.         jnz     .done
  797.         shld    [edi+4],eax,1
  798.         mov     ebp,[edi+12]
  799.         shld    eax,ebp,1
  800.         mov     [edi],eax
  801.         shl     dword [edi+12],1
  802.         dec     dword [edi+8]
  803.         jmp     .loop
  804.       .done:
  805.         ret
  806.       fp_zero:
  807.         mov     dword [edi+8],8000h
  808.         ret
  809.  
  810. calculate_expression:
  811.         mov     [current_offset],edi
  812.         mov     [value_undefined],0
  813.         cmp     byte [esi],0
  814.         je      get_string_value
  815.         cmp     byte [esi],'.'
  816.         je      convert_fp
  817.       calculation_loop:
  818.         lods    byte [esi]
  819.         cmp     al,1
  820.         je      get_byte_number
  821.         cmp     al,2
  822.         je      get_word_number
  823.         cmp     al,4
  824.         je      get_dword_number
  825.         cmp     al,8
  826.         je      get_qword_number
  827.         cmp     al,0Fh
  828.         je      value_out_of_range
  829.         cmp     al,10h
  830.         je      get_register
  831.         cmp     al,11h
  832.         je      get_label
  833.         cmp     al,')'
  834.         je      expression_calculated
  835.         cmp     al,']'
  836.         je      expression_calculated
  837.         cmp     al,'!'
  838.         je      invalid_expression
  839.         sub     edi,14h
  840.         mov     ebx,edi
  841.         sub     ebx,14h
  842.         cmp     al,0E0h
  843.         je      calculate_rva
  844.         cmp     al,0E1h
  845.         je      calculate_plt
  846.         cmp     al,0D0h
  847.         je      calculate_not
  848.         cmp     al,083h
  849.         je      calculate_neg
  850.         mov     dx,[ebx+8]
  851.         or      dx,[edi+8]
  852.         cmp     al,80h
  853.         je      calculate_add
  854.         cmp     al,81h
  855.         je      calculate_sub
  856.         mov     ah,[ebx+12]
  857.         or      ah,[edi+12]
  858.         jz      absolute_values_calculation
  859.         cmp     [error_line],0
  860.         jne     absolute_values_calculation
  861.         mov     eax,[current_line]
  862.         mov     [error_line],eax
  863.         mov     [error],invalid_use_of_symbol
  864.       absolute_values_calculation:
  865.         cmp     al,90h
  866.         je      calculate_mul
  867.         cmp     al,91h
  868.         je      calculate_div
  869.         or      dx,dx
  870.         jnz     invalid_expression
  871.         cmp     al,0A0h
  872.         je      calculate_mod
  873.         cmp     al,0B0h
  874.         je      calculate_and
  875.         cmp     al,0B1h
  876.         je      calculate_or
  877.         cmp     al,0B2h
  878.         je      calculate_xor
  879.         cmp     al,0C0h
  880.         je      calculate_shl
  881.         cmp     al,0C1h
  882.         je      calculate_shr
  883.         jmp     invalid_expression
  884.       expression_calculated:
  885.         sub     edi,14h
  886.         cmp     [value_undefined],0
  887.         je      expression_value_ok
  888.         xor     eax,eax
  889.         mov     [edi],eax
  890.         mov     [edi+4],eax
  891.         mov     [edi+12],al
  892.       expression_value_ok:
  893.         ret
  894.       get_byte_number:
  895.         mov     word [edi+8],0
  896.         mov     byte [edi+12],0
  897.         xor     eax,eax
  898.         lods    byte [esi]
  899.         stos    dword [edi]
  900.         xor     al,al
  901.         stos    dword [edi]
  902.         add     edi,0Ch
  903.         jmp     calculation_loop
  904.       get_word_number:
  905.         mov     word [edi+8],0
  906.         mov     byte [edi+12],0
  907.         xor     eax,eax
  908.         lods    word [esi]
  909.         stos    dword [edi]
  910.         xor     ax,ax
  911.         stos    dword [edi]
  912.         add     edi,0Ch
  913.         jmp     calculation_loop
  914.       get_dword_number:
  915.         mov     word [edi+8],0
  916.         mov     byte [edi+12],0
  917.         movs    dword [edi],[esi]
  918.         xor     eax,eax
  919.         stos    dword [edi]
  920.         add     edi,0Ch
  921.         jmp     calculation_loop
  922.       get_qword_number:
  923.         mov     word [edi+8],0
  924.         mov     byte [edi+12],0
  925.         movs    dword [edi],[esi]
  926.         movs    dword [edi],[esi]
  927.         add     edi,0Ch
  928.         jmp     calculation_loop
  929.       get_register:
  930.         mov     byte [edi+9],0
  931.         mov     byte [edi+12],0
  932.         lods    byte [esi]
  933.         mov     [edi+8],al
  934.         mov     byte [edi+10],1
  935.         xor     eax,eax
  936.         stos    dword [edi]
  937.         stos    dword [edi]
  938.         add     edi,0Ch
  939.         jmp     calculation_loop
  940.       get_label:
  941.         xor     eax,eax
  942.         mov     [edi+8],eax
  943.         mov     [edi+12],al
  944.         mov     [edi+20],eax
  945.         lods    dword [esi]
  946.         cmp     eax,0Fh
  947.         jb      predefined_label
  948.         je      reserved_word_used_as_symbol
  949.         mov     ebx,eax
  950.         mov     ax,[current_pass]
  951.         mov     [ebx+18],ax
  952.         or      byte [ebx+8],8
  953.         test    byte [ebx+8],1
  954.         jz      label_undefined
  955.         cmp     ax,[ebx+16]
  956.         je      label_defined
  957.         test    byte [ebx+8],4
  958.         jnz     label_undefined
  959.         test    byte [ebx+9],1
  960.         jz      label_defined
  961.         mov     eax,[ebx]
  962.         sub     eax,dword [adjustment]
  963.         stos    dword [edi]
  964.         mov     eax,[ebx+4]
  965.         sbb     eax,dword [adjustment+4]
  966.         stos    dword [edi]
  967.         mov     eax,dword [adjustment]
  968.         or      eax,dword [adjustment+4]
  969.         jz      got_label
  970.         or      [next_pass_needed],-1
  971.         jmp     got_label
  972.       label_defined:
  973.         mov     eax,[ebx]
  974.         stos    dword [edi]
  975.         mov     eax,[ebx+4]
  976.         stos    dword [edi]
  977.       got_label:
  978.         mov     al,[ebx+11]
  979.         mov     [edi-8+12],al
  980.         mov     eax,[ebx+12]
  981.         mov     [edi-8+8],eax
  982.         mov     eax,[ebx+20]
  983.         mov     [edi-8+16],eax
  984.         add     edi,0Ch
  985.         mov     al,[ebx+10]
  986.         or      al,al
  987.         jz      calculation_loop
  988.         cmp     [size_override],-1
  989.         je      calculation_loop
  990.         cmp     [size_override],0
  991.         je      check_size
  992.         cmp     [operand_size],0
  993.         jne     calculation_loop
  994.         mov     [operand_size],al
  995.         jmp     calculation_loop
  996.       check_size:
  997.         xchg    [operand_size],al
  998.         or      al,al
  999.         jz      calculation_loop
  1000.         cmp     al,[operand_size]
  1001.         jne     operand_sizes_do_not_match
  1002.         jmp     calculation_loop
  1003.       current_offset_label:
  1004.         mov     al,[labels_type]
  1005.         mov     [edi+12],al
  1006.         mov     eax,[org_symbol]
  1007.         mov     [edi+16],eax
  1008.         mov     eax,[current_offset]
  1009.         xor     edx,edx
  1010.         sub     eax,dword [org_origin]
  1011.         sbb     edx,dword [org_origin+4]
  1012.         stos    dword [edi]
  1013.         mov     eax,edx
  1014.         stos    dword [edi]
  1015.         mov     eax,[org_registers]
  1016.         stos    dword [edi]
  1017.         add     edi,8
  1018.         jmp     calculation_loop
  1019.       org_origin_label:
  1020.         mov     al,[labels_type]
  1021.         mov     [edi+12],al
  1022.         mov     eax,[org_symbol]
  1023.         mov     [edi+16],eax
  1024.         mov     eax,[org_start]
  1025.         xor     edx,edx
  1026.         sub     eax,dword [org_origin]
  1027.         sbb     edx,dword [org_origin+4]
  1028.         stos    dword [edi]
  1029.         mov     eax,edx
  1030.         stos    dword [edi]
  1031.         mov     eax,[org_registers]
  1032.         stos    dword [edi]
  1033.         add     edi,8
  1034.         jmp     calculation_loop
  1035.       counter_label:
  1036.         mov     eax,[counter]
  1037.       make_dword_label_value:
  1038.         stos    dword [edi]
  1039.         xor     eax,eax
  1040.         stos    dword [edi]
  1041.         add     edi,0Ch
  1042.         jmp     calculation_loop
  1043.       timestamp_label:
  1044.         call    make_timestamp
  1045.         jmp     make_dword_label_value
  1046.       predefined_label:
  1047.         or      eax,eax
  1048.         jz      current_offset_label
  1049.         cmp     eax,1
  1050.         je      counter_label
  1051.         cmp     eax,2
  1052.         je      timestamp_label
  1053.         cmp     eax,3
  1054.         je      org_origin_label
  1055.       label_undefined:
  1056.         cmp     [current_pass],1
  1057.         ja      undefined_value
  1058.       force_next_pass:
  1059.         or      [next_pass_needed],-1
  1060.       undefined_value:
  1061.         mov     byte [edi+12],0
  1062.         or      [value_undefined],-1
  1063.         xor     eax,eax
  1064.         stos    dword [edi]
  1065.         stos    dword [edi]
  1066.         add     edi,0Ch
  1067.         cmp     [error_line],0
  1068.         jne     calculation_loop
  1069.         mov     eax,[current_line]
  1070.         mov     [error_line],eax
  1071.         mov     [error],undefined_symbol
  1072.         jmp     calculation_loop
  1073.       calculate_add:
  1074.         mov     ecx,[ebx+16]
  1075.         cmp     byte [edi+12],0
  1076.         je      add_values
  1077.         mov     ecx,[edi+16]
  1078.         cmp     byte [ebx+12],0
  1079.         je      add_values
  1080.         cmp     [error_line],0
  1081.         jne     add_values
  1082.         mov     eax,[current_line]
  1083.         mov     [error_line],eax
  1084.         mov     [error],invalid_use_of_symbol
  1085.       add_values:
  1086.         mov     al,[edi+12]
  1087.         or      [ebx+12],al
  1088.         mov     [ebx+16],ecx
  1089.         mov     eax,[edi]
  1090.         add     [ebx],eax
  1091.         mov     eax,[edi+4]
  1092.         adc     [ebx+4],eax
  1093.         or      dx,dx
  1094.         jz      calculation_loop
  1095.         push    esi
  1096.         mov     esi,ebx
  1097.         lea     ebx,[edi+10]
  1098.         mov     cl,[edi+8]
  1099.         call    add_register
  1100.         lea     ebx,[edi+11]
  1101.         mov     cl,[edi+9]
  1102.         call    add_register
  1103.         pop     esi
  1104.         jmp     calculation_loop
  1105.       add_register:
  1106.         or      cl,cl
  1107.         jz      add_register_done
  1108.       add_register_start:
  1109.         cmp     [esi+8],cl
  1110.         jne     add_in_second_slot
  1111.         mov     al,[ebx]
  1112.         add     [esi+10],al
  1113.         jnz     add_register_done
  1114.         mov     byte [esi+8],0
  1115.         ret
  1116.       add_in_second_slot:
  1117.         cmp     [esi+9],cl
  1118.         jne     create_in_first_slot
  1119.         mov     al,[ebx]
  1120.         add     [esi+11],al
  1121.         jnz     add_register_done
  1122.         mov     byte [esi+9],0
  1123.         ret
  1124.       create_in_first_slot:
  1125.         cmp     byte [esi+8],0
  1126.         jne     create_in_second_slot
  1127.         mov     [esi+8],cl
  1128.         mov     al,[ebx]
  1129.         mov     [esi+10],al
  1130.         ret
  1131.       create_in_second_slot:
  1132.         cmp     byte [esi+9],0
  1133.         jne     invalid_expression
  1134.         mov     [esi+9],cl
  1135.         mov     al,[ebx]
  1136.         mov     [esi+11],al
  1137.       add_register_done:
  1138.         ret
  1139.       calculate_sub:
  1140.         xor     ah,ah
  1141.         mov     ah,[ebx+12]
  1142.         mov     al,[edi+12]
  1143.         or      al,al
  1144.         jz      sub_values
  1145.         cmp     al,ah
  1146.         jne     invalid_sub
  1147.         xor     ah,ah
  1148.         mov     ecx,[edi+16]
  1149.         cmp     ecx,[ebx+16]
  1150.         jne     invalid_sub
  1151.       sub_values:
  1152.         mov     [ebx+12],ah
  1153.         mov     eax,[edi]
  1154.         sub     [ebx],eax
  1155.         mov     eax,[edi+4]
  1156.         sbb     [ebx+4],eax
  1157.         or      dx,dx
  1158.         jz      calculation_loop
  1159.         push    esi
  1160.         mov     esi,ebx
  1161.         lea     ebx,[edi+10]
  1162.         mov     cl,[edi+8]
  1163.         call    sub_register
  1164.         lea     ebx,[edi+11]
  1165.         mov     cl,[edi+9]
  1166.         call    sub_register
  1167.         pop     esi
  1168.         jmp     calculation_loop
  1169.       invalid_sub:
  1170.         cmp     [error_line],0
  1171.         jne     sub_values
  1172.         mov     eax,[current_line]
  1173.         mov     [error_line],eax
  1174.         mov     [error],invalid_use_of_symbol
  1175.         jmp     sub_values
  1176.       sub_register:
  1177.         or      cl,cl
  1178.         jz      add_register_done
  1179.         neg     byte [ebx]
  1180.         jmp     add_register_start
  1181.       calculate_mul:
  1182.         or      dx,dx
  1183.         jz      mul_start
  1184.         cmp     word [ebx+8],0
  1185.         jne     mul_start
  1186.         mov     eax,[ebx]
  1187.         xchg    eax,[edi]
  1188.         mov     [ebx],eax
  1189.         mov     eax,[ebx+4]
  1190.         xchg    eax,[edi+4]
  1191.         mov     [ebx+4],eax
  1192.         mov     eax,[ebx+8]
  1193.         xchg    eax,[edi+8]
  1194.         mov     [ebx+8],eax
  1195.         mov     eax,[ebx+12]
  1196.         xchg    eax,[edi+12]
  1197.         mov     [ebx+12],eax
  1198.       mul_start:
  1199.         push    esi edx
  1200.         mov     esi,ebx
  1201.         xor     bl,bl
  1202.         bt      dword [esi+4],31
  1203.         jnc     mul_first_sign_ok
  1204.         not     dword [esi]
  1205.         not     dword [esi+4]
  1206.         add     dword [esi],1
  1207.         adc     dword [esi+4],0
  1208.         not     bl
  1209.       mul_first_sign_ok:
  1210.         bt      dword [edi+4],31
  1211.         jnc     mul_second_sign_ok
  1212.         not     dword [edi]
  1213.         not     dword [edi+4]
  1214.         add     dword [edi],1
  1215.         adc     dword [edi+4],0
  1216.         not     bl
  1217.       mul_second_sign_ok:
  1218.         cmp     dword [esi+4],0
  1219.         jz      mul_numbers
  1220.         cmp     dword [edi+4],0
  1221.         jnz     value_out_of_range
  1222.       mul_numbers:
  1223.         mov     eax,[esi+4]
  1224.         mul     dword [edi]
  1225.         or      edx,edx
  1226.         jnz     value_out_of_range
  1227.         mov     ecx,eax
  1228.         mov     eax,[esi]
  1229.         mul     dword [edi+4]
  1230.         or      edx,edx
  1231.         jnz     value_out_of_range
  1232.         add     ecx,eax
  1233.         jc      value_out_of_range
  1234.         mov     eax,[esi]
  1235.         mul     dword [edi]
  1236.         add     edx,ecx
  1237.         jc      value_out_of_range
  1238.         test    edx,1 shl 31
  1239.         jnz     value_out_of_range
  1240.         mov     [esi],eax
  1241.         mov     [esi+4],edx
  1242.         or      bl,bl
  1243.         jz      mul_ok
  1244.         not     dword [esi]
  1245.         not     dword [esi+4]
  1246.         add     dword [esi],1
  1247.         adc     dword [esi+4],0
  1248.       mul_ok:
  1249.         pop     edx
  1250.         or      dx,dx
  1251.         jz      mul_calculated
  1252.         cmp     word [edi+8],0
  1253.         jne     invalid_value
  1254.         cmp     byte [esi+8],0
  1255.         je      mul_first_register_ok
  1256.         mov     al,[edi]
  1257.         cbw
  1258.         cwde
  1259.         cdq
  1260.         cmp     edx,[edi+4]
  1261.         jne     value_out_of_range
  1262.         cmp     eax,[edi]
  1263.         jne     value_out_of_range
  1264.         imul    byte [esi+10]
  1265.         mov     dl,ah
  1266.         cbw
  1267.         cmp     ah,dl
  1268.         jne     value_out_of_range
  1269.         mov     [esi+10],al
  1270.       mul_first_register_ok:
  1271.         cmp     byte [esi+9],0
  1272.         je      mul_calculated
  1273.         mov     al,[edi]
  1274.         cbw
  1275.         cwde
  1276.         cdq
  1277.         cmp     edx,[edi+4]
  1278.         jne     value_out_of_range
  1279.         cmp     eax,[edi]
  1280.         jne     value_out_of_range
  1281.         imul    byte [esi+11]
  1282.         mov     dl,ah
  1283.         cbw
  1284.         cmp     ah,dl
  1285.         jne     value_out_of_range
  1286.         mov     [esi+11],al
  1287.       mul_calculated:
  1288.         pop     esi
  1289.         jmp     calculation_loop
  1290.       calculate_div:
  1291.         push    esi edx
  1292.         mov     esi,ebx
  1293.         call    div_64
  1294.         pop     edx
  1295.         or      dx,dx
  1296.         jz      div_calculated
  1297.         cmp     byte [esi+8],0
  1298.         je      div_first_register_ok
  1299.         mov     al,[edi]
  1300.         cbw
  1301.         cwde
  1302.         cdq
  1303.         cmp     edx,[edi+4]
  1304.         jne     value_out_of_range
  1305.         cmp     eax,[edi]
  1306.         jne     value_out_of_range
  1307.         or      al,al
  1308.         jz      value_out_of_range
  1309.         mov     al,[esi+10]
  1310.         cbw
  1311.         idiv    byte [edi]
  1312.         or      ah,ah
  1313.         jnz     invalid_use_of_symbol
  1314.         mov     [esi+10],al
  1315.       div_first_register_ok:
  1316.         cmp     byte [esi+9],0
  1317.         je      div_calculated
  1318.         mov     al,[edi]
  1319.         cbw
  1320.         cwde
  1321.         cdq
  1322.         cmp     edx,[edi+4]
  1323.         jne     value_out_of_range
  1324.         cmp     eax,[edi]
  1325.         jne     value_out_of_range
  1326.         or      al,al
  1327.         jz      value_out_of_range
  1328.         mov     al,[esi+11]
  1329.         cbw
  1330.         idiv    byte [edi]
  1331.         or      ah,ah
  1332.         jnz     invalid_use_of_symbol
  1333.         mov     [esi+11],al
  1334.       div_calculated:
  1335.         pop     esi
  1336.         jmp     calculation_loop
  1337.       calculate_mod:
  1338.         push    esi
  1339.         mov     esi,ebx
  1340.         call    div_64
  1341.         mov     [esi],eax
  1342.         mov     [esi+4],edx
  1343.         pop     esi
  1344.         jmp     calculation_loop
  1345.       calculate_and:
  1346.         mov     eax,[edi]
  1347.         and     [ebx],eax
  1348.         mov     eax,[edi+4]
  1349.         and     [ebx+4],eax
  1350.         jmp     calculation_loop
  1351.       calculate_or:
  1352.         mov     eax,[edi]
  1353.         or      [ebx],eax
  1354.         mov     eax,[edi+4]
  1355.         or      [ebx+4],eax
  1356.         jmp     calculation_loop
  1357.       calculate_xor:
  1358.         mov     eax,[edi]
  1359.         xor     [ebx],eax
  1360.         mov     eax,[edi+4]
  1361.         xor     [ebx+4],eax
  1362.         jmp     calculation_loop
  1363.       shr_negative:
  1364.         not     dword [edi]
  1365.         not     dword [edi+4]
  1366.         add     dword [edi],1
  1367.         adc     dword [edi+4],0
  1368.       calculate_shl:
  1369.         mov     eax,dword [edi+4]
  1370.         bt      eax,31
  1371.         jc      shl_negative
  1372.         or      eax,eax
  1373.         jnz     zero_value
  1374.         mov     ecx,[edi]
  1375.         cmp     ecx,64
  1376.         jae     zero_value
  1377.         cmp     ecx,32
  1378.         jae     shl_high
  1379.         mov     edx,[ebx+4]
  1380.         mov     eax,[ebx]
  1381.         shld    edx,eax,cl
  1382.         shl     eax,cl
  1383.         mov     [ebx],eax
  1384.         mov     [ebx+4],edx
  1385.         jmp     calculation_loop
  1386.       shl_high:
  1387.         sub     cl,32
  1388.         mov     eax,[ebx]
  1389.         shl     eax,cl
  1390.         mov     [ebx+4],eax
  1391.         mov     dword [ebx],0
  1392.         jmp     calculation_loop
  1393.       shl_negative:
  1394.         not     dword [edi]
  1395.         not     dword [edi+4]
  1396.         add     dword [edi],1
  1397.         adc     dword [edi+4],0
  1398.       calculate_shr:
  1399.         mov     eax,dword [edi+4]
  1400.         bt      eax,31
  1401.         jc      shr_negative
  1402.         or      eax,eax
  1403.         jnz     zero_value
  1404.         mov     ecx,[edi]
  1405.         cmp     ecx,64
  1406.         jae     zero_value
  1407.         cmp     ecx,32
  1408.         jae     shr_high
  1409.         mov     edx,[ebx+4]
  1410.         mov     eax,[ebx]
  1411.         shrd    eax,edx,cl
  1412.         shr     edx,cl
  1413.         mov     [ebx],eax
  1414.         mov     [ebx+4],edx
  1415.         jmp     calculation_loop
  1416.       shr_high:
  1417.         sub     cl,32
  1418.         mov     eax,[ebx+4]
  1419.         shr     eax,cl
  1420.         mov     [ebx],eax
  1421.         mov     dword [ebx+4],0
  1422.         jmp     calculation_loop
  1423.       zero_value:
  1424.         mov     dword [ebx],0
  1425.         mov     dword [ebx+4],0
  1426.         jmp     calculation_loop
  1427.       calculate_not:
  1428.         cmp     word [edi+8],0
  1429.         jne     invalid_expression
  1430.         cmp     byte [edi+12],0
  1431.         je      not_ok
  1432.         cmp     [error_line],0
  1433.         jne     not_ok
  1434.         mov     eax,[current_line]
  1435.         mov     [error_line],eax
  1436.         mov     [error],invalid_use_of_symbol
  1437.       not_ok:
  1438.         cmp     [value_size],1
  1439.         je      not_byte
  1440.         cmp     [value_size],2
  1441.         je      not_word
  1442.         cmp     [value_size],4
  1443.         je      not_dword
  1444.         cmp     [value_size],6
  1445.         je      not_pword
  1446.       not_qword:
  1447.         not     dword [edi]
  1448.         not     dword [edi+4]
  1449.         add     edi,14h
  1450.         jmp     calculation_loop
  1451.       not_byte:
  1452.         cmp     dword [edi+4],0
  1453.         jne     not_qword
  1454.         cmp     word [edi+2],0
  1455.         jne     not_qword
  1456.         cmp     byte [edi+1],0
  1457.         jne     not_qword
  1458.         not     byte [edi]
  1459.         add     edi,14h
  1460.         jmp     calculation_loop
  1461.       not_word:
  1462.         cmp     dword [edi+4],0
  1463.         jne     not_qword
  1464.         cmp     word [edi+2],0
  1465.         jne     not_qword
  1466.         not     word [edi]
  1467.         add     edi,14h
  1468.         jmp     calculation_loop
  1469.       not_dword:
  1470.         cmp     dword [edi+4],0
  1471.         jne     not_qword
  1472.         not     dword [edi]
  1473.         add     edi,14h
  1474.         jmp     calculation_loop
  1475.       not_pword:
  1476.         cmp     word [edi+6],0
  1477.         jne     not_qword
  1478.         not     dword [edi]
  1479.         not     word [edi+4]
  1480.         add     edi,14h
  1481.         jmp     calculation_loop
  1482.       calculate_neg:
  1483.         cmp     word [edi+8],0
  1484.         jne     invalid_expression
  1485.         cmp     byte [edi+12],0
  1486.         je      neg_ok
  1487.         cmp     [error_line],0
  1488.         jne     neg_ok
  1489.         mov     eax,[current_line]
  1490.         mov     [error_line],eax
  1491.         mov     [error],invalid_use_of_symbol
  1492.       neg_ok:
  1493.         mov     eax,[edi]
  1494.         mov     edx,[edi+4]
  1495.         mov     dword [edi],0
  1496.         mov     dword [edi+4],0
  1497.         sub     [edi],eax
  1498.         sbb     [edi+4],edx
  1499.         add     edi,14h
  1500.         jmp     calculation_loop
  1501.       calculate_rva:
  1502.         cmp     word [edi+8],0
  1503.         jne     invalid_expression
  1504.         cmp     [output_format],5
  1505.         je      calculate_gotoff
  1506.         cmp     [output_format],3
  1507.         jne     invalid_expression
  1508.         test    [format_flags],8
  1509.         jnz     pe64_rva
  1510.         mov     al,2
  1511.         bt      [resolver_flags],0
  1512.         jc      rva_type_ok
  1513.         xor     al,al
  1514.       rva_type_ok:
  1515.         cmp     byte [edi+12],al
  1516.         je      rva_ok
  1517.         cmp     [error_line],0
  1518.         jne     rva_ok
  1519.         mov     eax,[current_line]
  1520.         mov     [error_line],eax
  1521.         mov     [error],invalid_use_of_symbol
  1522.       rva_ok:
  1523.         mov     byte [edi+12],0
  1524.         mov     eax,[code_start]
  1525.         mov     eax,[eax+34h]
  1526.         cdq
  1527.         sub     [edi],eax
  1528.         sbb     [edi+4],edx
  1529.         add     edi,14h
  1530.         jmp     calculation_loop
  1531.       pe64_rva:
  1532.         mov     al,4
  1533.         bt      [resolver_flags],0
  1534.         jc      pe64_rva_type_ok
  1535.         xor     al,al
  1536.       pe64_rva_type_ok:
  1537.         cmp     byte [edi+12],al
  1538.         je      pe64_rva_ok
  1539.         cmp     [error_line],0
  1540.         jne     pe64_rva_ok
  1541.         mov     eax,[current_line]
  1542.         mov     [error_line],eax
  1543.         mov     [error],invalid_use_of_symbol
  1544.       pe64_rva_ok:
  1545.         mov     byte [edi+12],0
  1546.         mov     eax,[code_start]
  1547.         mov     edx,[eax+34h]
  1548.         mov     eax,[eax+30h]
  1549.         sub     [edi],eax
  1550.         sbb     [edi+4],edx
  1551.         add     edi,14h
  1552.         jmp     calculation_loop
  1553.       calculate_gotoff:
  1554.         test    [format_flags],8+1
  1555.         jnz     invalid_expression
  1556.         mov     dl,5
  1557.         cmp     byte [edi+12],2
  1558.         je      change_value_type
  1559.       incorrect_change_of_value_type:
  1560.         cmp     [error_line],0
  1561.         jne     change_value_type
  1562.         mov     eax,[current_line]
  1563.         mov     [error_line],eax
  1564.         mov     [error],invalid_use_of_symbol
  1565.       change_value_type:
  1566.         mov     byte [edi+12],dl
  1567.         add     edi,14h
  1568.         jmp     calculation_loop
  1569.       calculate_plt:
  1570.         cmp     word [edi+8],0
  1571.         jne     invalid_expression
  1572.         cmp     [output_format],5
  1573.         jne     invalid_expression
  1574.         test    [format_flags],1
  1575.         jnz     invalid_expression
  1576.         mov     dl,6
  1577.         mov     dh,2
  1578.         test    [format_flags],8
  1579.         jz      check_value_for_plt
  1580.         mov     dh,4
  1581.       check_value_for_plt:
  1582.         mov     eax,[edi]
  1583.         or      eax,[edi+4]
  1584.         jnz     incorrect_change_of_value_type
  1585.         cmp     byte [edi+12],dh
  1586.         jne     incorrect_change_of_value_type
  1587.         mov     eax,[edi+16]
  1588.         cmp     byte [eax],81h
  1589.         jne     incorrect_change_of_value_type
  1590.         jmp     change_value_type
  1591.       div_64:
  1592.         xor     ebx,ebx
  1593.         cmp     dword [edi],0
  1594.         jne     divider_ok
  1595.         cmp     dword [edi+4],0
  1596.         jne     divider_ok
  1597.         cmp     [next_pass_needed],0
  1598.         je      value_out_of_range
  1599.         jmp     div_done
  1600.       divider_ok:
  1601.         bt      dword [esi+4],31
  1602.         jnc     div_first_sign_ok
  1603.         not     dword [esi]
  1604.         not     dword [esi+4]
  1605.         add     dword [esi],1
  1606.         adc     dword [esi+4],0
  1607.         not     bx
  1608.       div_first_sign_ok:
  1609.         bt      dword [edi+4],31
  1610.         jnc     div_second_sign_ok
  1611.         not     dword [edi]
  1612.         not     dword [edi+4]
  1613.         add     dword [edi],1
  1614.         adc     dword [edi+4],0
  1615.         not     bl
  1616.       div_second_sign_ok:
  1617.         cmp     dword [edi+4],0
  1618.         jne     div_high
  1619.         mov     ecx,[edi]
  1620.         mov     eax,[esi+4]
  1621.         xor     edx,edx
  1622.         div     ecx
  1623.         mov     [esi+4],eax
  1624.         mov     eax,[esi]
  1625.         div     ecx
  1626.         mov     [esi],eax
  1627.         mov     eax,edx
  1628.         xor     edx,edx
  1629.         jmp     div_done
  1630.       div_high:
  1631.         mov     eax,[esi+4]
  1632.         xor     edx,edx
  1633.         div     dword [edi+4]
  1634.         mov     ebx,[esi]
  1635.         mov     [esi],eax
  1636.         mov     dword [esi+4],0
  1637.         mov     ecx,edx
  1638.         mul     dword [edi]
  1639.       div_high_loop:
  1640.         cmp     ecx,edx
  1641.         ja      div_high_done
  1642.         jb      div_high_large_correction
  1643.         cmp     ebx,eax
  1644.         jae     div_high_done
  1645.       div_high_correction:
  1646.         dec     dword [esi]
  1647.         sub     eax,[edi]
  1648.         sbb     edx,[edi+4]
  1649.         jnc     div_high_loop
  1650.       div_high_done:
  1651.         sub     ebx,eax
  1652.         sbb     ecx,edx
  1653.         mov     edx,ecx
  1654.         mov     eax,ebx
  1655.         ret
  1656.       div_high_large_correction:
  1657.         push    eax edx
  1658.         mov     eax,edx
  1659.         sub     eax,ecx
  1660.         xor     edx,edx
  1661.         div     dword [edi+4]
  1662.         shr     eax,1
  1663.         jz      div_high_small_correction
  1664.         sub     [esi],eax
  1665.         push    eax
  1666.         mul     dword [edi+4]
  1667.         sub     dword [esp+4],eax
  1668.         pop     eax
  1669.         mul     dword [edi]
  1670.         sub     dword [esp+4],eax
  1671.         sbb     dword [esp],edx
  1672.         pop     edx eax
  1673.         jmp     div_high_loop
  1674.       div_high_small_correction:
  1675.         pop     edx eax
  1676.         jmp     div_high_correction
  1677.       div_done:
  1678.         or      bh,bh
  1679.         jz      remainder_ok
  1680.         not     eax
  1681.         not     edx
  1682.         add     eax,1
  1683.         adc     edx,0
  1684.       remainder_ok:
  1685.         or      bl,bl
  1686.         jz      div_ok
  1687.         not     dword [esi]
  1688.         not     dword [esi+4]
  1689.         add     dword [esi],1
  1690.         adc     dword [esi+4],0
  1691.       div_ok:
  1692.         ret
  1693.       convert_fp:
  1694.         inc     esi
  1695.         mov     word [edi+8],0
  1696.         mov     byte [edi+12],0
  1697.         mov     al,[value_size]
  1698.         cmp     al,4
  1699.         je      convert_fp_dword
  1700.         cmp     al,8
  1701.         je      convert_fp_qword
  1702.         jmp     invalid_value
  1703.       convert_fp_dword:
  1704.         xor     eax,eax
  1705.         cmp     word [esi+8],8000h
  1706.         je      fp_dword_store
  1707.         mov     bx,[esi+8]
  1708.         mov     eax,[esi+4]
  1709.         shl     eax,1
  1710.         shr     eax,9
  1711.         jnc     fp_dword_ok
  1712.         inc     eax
  1713.         bt      eax,23
  1714.         jnc     fp_dword_ok
  1715.         and     eax,1 shl 23 - 1
  1716.         inc     bx
  1717.         shr     eax,1
  1718.       fp_dword_ok:
  1719.         add     bx,7Fh
  1720.         cmp     bx,100h
  1721.         jae     value_out_of_range
  1722.         shl     ebx,23
  1723.         or      eax,ebx
  1724.       fp_dword_store:
  1725.         mov     bl,[esi+11]
  1726.         shl     ebx,31
  1727.         or      eax,ebx
  1728.         mov     [edi],eax
  1729.         xor     eax,eax
  1730.         mov     [edi+4],eax
  1731.         add     esi,13
  1732.         ret
  1733.       convert_fp_qword:
  1734.         xor     eax,eax
  1735.         xor     edx,edx
  1736.         cmp     word [esi+8],8000h
  1737.         je      fp_qword_store
  1738.         mov     bx,[esi+8]
  1739.         mov     eax,[esi]
  1740.         mov     edx,[esi+4]
  1741.         add     eax,eax
  1742.         adc     edx,edx
  1743.         mov     ecx,edx
  1744.         shr     edx,12
  1745.         shrd    eax,ecx,12
  1746.         jnc     fp_qword_ok
  1747.         add     eax,1
  1748.         adc     edx,0
  1749.         bt      edx,20
  1750.         jnc     fp_qword_ok
  1751.         and     edx,1 shl 20 - 1
  1752.         inc     bx
  1753.         shr     edx,1
  1754.         rcr     eax,1
  1755.       fp_qword_ok:
  1756.         add     bx,3FFh
  1757.         cmp     bx,800h
  1758.         jae     value_out_of_range
  1759.         shl     ebx,20
  1760.         or      edx,ebx
  1761.       fp_qword_store:
  1762.         mov     bl,[esi+11]
  1763.         shl     ebx,31
  1764.         or      edx,ebx
  1765.         mov     [edi],eax
  1766.         mov     [edi+4],edx
  1767.         add     esi,13
  1768.         ret
  1769.       get_string_value:
  1770.         inc     esi
  1771.         lods    dword [esi]
  1772.         mov     ecx,eax
  1773.         cmp     ecx,8
  1774.         ja      value_out_of_range
  1775.         mov     edx,edi
  1776.         xor     eax,eax
  1777.         stos    dword [edi]
  1778.         stos    dword [edi]
  1779.         mov     edi,edx
  1780.         rep     movs byte [edi],[esi]
  1781.         mov     edi,edx
  1782.         inc     esi
  1783.         mov     word [edi+8],0
  1784.         mov     byte [edi+12],0
  1785.         ret
  1786.  
  1787. get_byte_value:
  1788.         mov     [value_size],1
  1789.         mov     [size_override],-1
  1790.         call    calculate_expression
  1791.         mov     eax,[edi+16]
  1792.         mov     [symbol_identifier],eax
  1793.         mov     [value_type],0
  1794.         cmp     word [edi+8],0
  1795.         jne     invalid_value
  1796.         cmp     byte [edi+12],0
  1797.         je      check_byte_value
  1798.         cmp     [error_line],0
  1799.         jne     check_byte_value
  1800.         mov     eax,[current_line]
  1801.         mov     [error_line],eax
  1802.         mov     [error],invalid_use_of_symbol
  1803.       check_byte_value:
  1804.         mov     eax,[edi]
  1805.         mov     edx,[edi+4]
  1806.         or      edx,edx
  1807.         jz      byte_positive
  1808.         cmp     edx,-1
  1809.         jne     range_exceeded
  1810.         cmp     eax,-80h
  1811.         jb      range_exceeded
  1812.         ret
  1813.       byte_positive:
  1814.         cmp     eax,100h
  1815.         jae     range_exceeded
  1816.       return_byte_value:
  1817.         ret
  1818.       range_exceeded:
  1819.         xor     eax,eax
  1820.         xor     edx,edx
  1821.         cmp     [error_line],0
  1822.         jne     return_byte_value
  1823.         mov     ecx,[current_line]
  1824.         mov     [error_line],ecx
  1825.         mov     [error],value_out_of_range
  1826.         ret
  1827. get_word_value:
  1828.         mov     [value_size],2
  1829.         mov     [size_override],-1
  1830.         call    calculate_expression
  1831.         mov     eax,[edi+16]
  1832.         mov     [symbol_identifier],eax
  1833.         cmp     word [edi+8],0
  1834.         jne     invalid_value
  1835.         mov     al,[edi+12]
  1836.         mov     [value_type],al
  1837.         cmp     al,2
  1838.         jb      check_word_value
  1839.         cmp     [error_line],0
  1840.         jne     check_word_value
  1841.         mov     eax,[current_line]
  1842.         mov     [error_line],eax
  1843.         mov     [error],invalid_use_of_symbol
  1844.       check_word_value:
  1845.         mov     eax,[edi]
  1846.         mov     edx,[edi+4]
  1847.         or      edx,edx
  1848.         jz      word_positive
  1849.         cmp     edx,-1
  1850.         jne     range_exceeded
  1851.         cmp     eax,-8000h
  1852.         jb      range_exceeded
  1853.         ret
  1854.       word_positive:
  1855.         cmp     eax,10000h
  1856.         jae     range_exceeded
  1857.         ret
  1858. get_dword_value:
  1859.         mov     [value_size],4
  1860.         mov     [size_override],-1
  1861.         call    calculate_expression
  1862.         mov     eax,[edi+16]
  1863.         mov     [symbol_identifier],eax
  1864.         cmp     word [edi+8],0
  1865.         jne     invalid_value
  1866.         mov     al,[edi+12]
  1867.         mov     [value_type],al
  1868.         cmp     al,4
  1869.         jne     check_dword_value
  1870.         mov     [value_type],2
  1871.         mov     eax,[edi]
  1872.         cdq
  1873.         cmp     edx,[edi+4]
  1874.         jne     range_exceeded
  1875.         ret
  1876.       check_dword_value:
  1877.         mov     eax,[edi]
  1878.         mov     edx,[edi+4]
  1879.         or      edx,edx
  1880.         jz      dword_positive
  1881.         cmp     edx,-1
  1882.         jne     range_exceeded
  1883.         bt      eax,31
  1884.         jnc     range_exceeded
  1885.       dword_positive:
  1886.         ret
  1887. get_pword_value:
  1888.         mov     [value_size],6
  1889.         mov     [size_override],-1
  1890.         call    calculate_expression
  1891.         mov     eax,[edi+16]
  1892.         mov     [symbol_identifier],eax
  1893.         cmp     word [edi+8],0
  1894.         jne     invalid_value
  1895.         mov     al,[edi+12]
  1896.         mov     [value_type],al
  1897.         cmp     al,4
  1898.         jne     check_pword_value
  1899.         cmp     [error_line],0
  1900.         jne     check_pword_value
  1901.         mov     eax,[current_line]
  1902.         mov     [error_line],eax
  1903.         mov     [error],invalid_use_of_symbol
  1904.       check_pword_value:
  1905.         mov     eax,[edi]
  1906.         mov     edx,[edi+4]
  1907.         cmp     edx,10000h
  1908.         jge     range_exceeded
  1909.         cmp     edx,-8000h
  1910.         jl      range_exceeded
  1911.         ret
  1912. get_qword_value:
  1913.         mov     [value_size],8
  1914.         mov     [size_override],-1
  1915.         call    calculate_expression
  1916.         mov     eax,[edi+16]
  1917.         mov     [symbol_identifier],eax
  1918.         cmp     word [edi+8],0
  1919.         jne     invalid_value
  1920.         mov     al,[edi+12]
  1921.         mov     [value_type],al
  1922.       check_qword_value:
  1923.         mov     eax,[edi]
  1924.         mov     edx,[edi+4]
  1925.         ret
  1926. get_value:
  1927.         mov     [operand_size],0
  1928.         lods    byte [esi]
  1929.         call    get_size_operator
  1930.         cmp     al,'('
  1931.         jne     invalid_value
  1932.         mov     al,[operand_size]
  1933.         cmp     al,1
  1934.         je      value_byte
  1935.         cmp     al,2
  1936.         je      value_word
  1937.         cmp     al,4
  1938.         je      value_dword
  1939.         cmp     al,6
  1940.         je      value_pword
  1941.         cmp     al,8
  1942.         je      value_qword
  1943.         or      al,al
  1944.         jnz     invalid_value
  1945.       value_qword:
  1946.         call    get_qword_value
  1947.         ret
  1948.       value_pword:
  1949.         call    get_pword_value
  1950.         movzx   edx,dx
  1951.         ret
  1952.       value_dword:
  1953.         call    get_dword_value
  1954.         xor     edx,edx
  1955.         ret
  1956.       value_word:
  1957.         call    get_word_value
  1958.         xor     edx,edx
  1959.         movzx   eax,ax
  1960.         ret
  1961.       value_byte:
  1962.         call    get_byte_value
  1963.         xor     edx,edx
  1964.         movzx   eax,al
  1965.         ret
  1966. get_address_value:
  1967.         mov     [address_size],0
  1968.         mov     [value_size],8
  1969.       calculate_address:
  1970.         cmp     byte [esi],'.'
  1971.         je      invalid_address
  1972.         call    calculate_expression
  1973.         mov     eax,[edi+16]
  1974.         mov     [address_symbol],eax
  1975.         mov     al,[edi+12]
  1976.         mov     [value_type],al
  1977.         cmp     al,5
  1978.         je      gotoff_address
  1979.         ja      invalid_use_of_symbol
  1980.         test    al,1
  1981.         jnz     invalid_use_of_symbol
  1982.         or      al,al
  1983.         jz      address_size_ok
  1984.         shl     al,5
  1985.         jmp     address_symbol_ok
  1986.       gotoff_address:
  1987.         mov     al,40h
  1988.       address_symbol_ok:
  1989.         mov     ah,[address_size]
  1990.         or      [address_size],al
  1991.         shr     al,4
  1992.         or      ah,ah
  1993.         jz      address_size_ok
  1994.         cmp     al,ah
  1995.         je      address_size_ok
  1996.         cmp     ax,0408h
  1997.         jne     address_sizes_do_not_agree
  1998.         mov     [value_type],2
  1999.         mov     eax,[edi]
  2000.         cdq
  2001.         cmp     edx,[edi+4]
  2002.         je      address_size_ok
  2003.         cmp     [error_line],0
  2004.         jne     address_size_ok
  2005.         mov     ecx,[current_line]
  2006.         mov     [error_line],ecx
  2007.         mov     [error],value_out_of_range
  2008.       address_size_ok:
  2009.         xor     ebx,ebx
  2010.         xor     ecx,ecx
  2011.         mov     cl,[value_type]
  2012.         shl     ecx,16
  2013.         mov     ch,[address_size]
  2014.         cmp     word [edi+8],0
  2015.         je      check_immediate_address
  2016.         mov     al,[edi+8]
  2017.         mov     dl,[edi+10]
  2018.         call    get_address_register
  2019.         mov     al,[edi+9]
  2020.         mov     dl,[edi+11]
  2021.         call    get_address_register
  2022.         mov     ax,bx
  2023.         shr     ah,4
  2024.         shr     al,4
  2025.         or      bh,bh
  2026.         jz      check_address_registers
  2027.         or      bl,bl
  2028.         jz      check_address_registers
  2029.         cmp     al,ah
  2030.         jne     invalid_address
  2031.       check_address_registers:
  2032.         or      al,ah
  2033.         mov     ah,[address_size]
  2034.         and     ah,0Fh
  2035.         jz      address_registers_sizes_ok
  2036.         cmp     al,ah
  2037.         jne     address_sizes_do_not_match
  2038.       address_registers_sizes_ok:
  2039.         cmp     al,4
  2040.         je      sib_allowed
  2041.         cmp     al,8
  2042.         je      sib_allowed
  2043.         cmp     al,0Fh
  2044.         je      check_ip_relative_address
  2045.         or      cl,cl
  2046.         jz      check_word_value
  2047.         cmp     cl,1
  2048.         je      check_word_value
  2049.         jmp     invalid_address
  2050.       address_sizes_do_not_match:
  2051.         cmp     al,0Fh
  2052.         jne     invalid_address
  2053.         mov     al,bh
  2054.         and     al,0Fh
  2055.         cmp     al,ah
  2056.         jne     invalid_address
  2057.       check_ip_relative_address:
  2058.         cmp     bh,0F4h
  2059.         je      check_dword_value
  2060.         cmp     bh,0F8h
  2061.         jne     invalid_address
  2062.         mov     eax,[edi]
  2063.         cdq
  2064.         cmp     edx,[edi+4]
  2065.         jne     range_exceeded
  2066.         ret
  2067.       get_address_register:
  2068.         or      al,al
  2069.         jz      address_register_ok
  2070.         cmp     dl,1
  2071.         jne     scaled_register
  2072.         or      bh,bh
  2073.         jnz     scaled_register
  2074.         mov     bh,al
  2075.       address_register_ok:
  2076.         ret
  2077.       scaled_register:
  2078.         or      bl,bl
  2079.         jnz     invalid_address
  2080.         mov     bl,al
  2081.         mov     cl,dl
  2082.         jmp     address_register_ok
  2083.       sib_allowed:
  2084.         or      bh,bh
  2085.         jnz     check_index_scale
  2086.         cmp     cl,2
  2087.         je      special_index_scale
  2088.         cmp     cl,3
  2089.         je      special_index_scale
  2090.         cmp     cl,5
  2091.         je      special_index_scale
  2092.         cmp     cl,9
  2093.         je      special_index_scale
  2094.       check_index_scale:
  2095.         or      cl,cl
  2096.         jz      address_registers_ok
  2097.         cmp     cl,1
  2098.         je      address_registers_ok
  2099.         cmp     cl,2
  2100.         je      address_registers_ok
  2101.         cmp     cl,4
  2102.         je      address_registers_ok
  2103.         cmp     cl,8
  2104.         je      address_registers_ok
  2105.         jmp     invalid_address
  2106.       special_index_scale:
  2107.         mov     bh,bl
  2108.         dec     cl
  2109.       address_registers_ok:
  2110.         jmp     check_dword_value
  2111.       check_immediate_address:
  2112.         cmp     [code_type],64
  2113.         jne     check_dword_value
  2114.         cmp     [address_size],4
  2115.         je      check_dword_value
  2116.         jmp     check_qword_value
  2117. calculate_relative_offset:
  2118.         cmp     [value_undefined],0
  2119.         jne     relative_offset_ok
  2120.         add     eax,dword [org_origin]
  2121.         adc     edx,dword [org_origin+4]
  2122.         sub     eax,edi
  2123.         sbb     edx,0
  2124.         mov     bl,[value_type]
  2125.         or      bl,bl
  2126.         je      relative_offset_ok
  2127.         test    bl,1
  2128.         jnz     invalid_use_of_symbol
  2129.         cmp     bl,6
  2130.         je      plt_relative_offset
  2131.         cmp     bl,[labels_type]
  2132.         jne     invalid_use_of_symbol
  2133.         mov     [value_type],0
  2134.         mov     ecx,[symbol_identifier]
  2135.         cmp     ecx,[org_symbol]
  2136.         je      relative_offset_ok
  2137.         mov     [value_type],3
  2138.       relative_offset_ok:
  2139.         ret
  2140.       plt_relative_offset:
  2141.         mov     [value_type],7
  2142.         ret
  2143.  
  2144. preevaluate_logical_expression:
  2145.         push    edi
  2146.         call    preevaluate_logical_value
  2147.       preevaluation_loop:
  2148.         cmp     al,0FFh
  2149.         je      invalid_logical_expression
  2150.         mov     dl,[esi]
  2151.         inc     esi
  2152.         cmp     dl,'|'
  2153.         je      preevaluate_or
  2154.         cmp     dl,'&'
  2155.         je      preevaluate_and
  2156.         cmp     dl,'}'
  2157.         je      preevaluation_done
  2158.         or      dl,dl
  2159.         jnz     invalid_logical_expression
  2160.       preevaluation_done:
  2161.         pop     edx
  2162.         dec     esi
  2163.         ret
  2164.       preevaluate_or:
  2165.         cmp     al,'1'
  2166.         je      quick_true
  2167.         cmp     al,'0'
  2168.         je      leave_only_following
  2169.         push    edi
  2170.         mov     al,dl
  2171.         stos    byte [edi]
  2172.         call    preevaluate_logical_value
  2173.         pop     ebx
  2174.         cmp     al,'0'
  2175.         je      leave_only_preceding
  2176.         cmp     al,'1'
  2177.         jne     preevaluation_loop
  2178.         stos    byte [edi]
  2179.         xor     al,al
  2180.         jmp     preevaluation_loop
  2181.       preevaluate_and:
  2182.         cmp     al,'0'
  2183.         je      quick_false
  2184.         cmp     al,'1'
  2185.         je      leave_only_following
  2186.         push    edi
  2187.         mov     al,dl
  2188.         stos    byte [edi]
  2189.         call    preevaluate_logical_value
  2190.         pop     ebx
  2191.         cmp     al,'1'
  2192.         je      leave_only_preceding
  2193.         cmp     al,'0'
  2194.         jne     preevaluation_loop
  2195.         stos    byte [edi]
  2196.         xor     al,al
  2197.         jmp     preevaluation_loop
  2198.       leave_only_following:
  2199.         mov     edi,[esp]
  2200.         call    preevaluate_logical_value
  2201.         jmp     preevaluation_loop
  2202.       leave_only_preceding:
  2203.         mov     edi,ebx
  2204.         xor     al,al
  2205.         jmp     preevaluation_loop
  2206.       quick_true:
  2207.         call    skip_logical_value
  2208.         jc      invalid_logical_expression
  2209.         mov     edi,[esp]
  2210.         mov     al,'1'
  2211.         jmp     preevaluation_loop
  2212.       quick_false:
  2213.         call    skip_logical_value
  2214.         jc      invalid_logical_expression
  2215.         mov     edi,[esp]
  2216.         mov     al,'0'
  2217.         jmp     preevaluation_loop
  2218.       invalid_logical_expression:
  2219.         pop     edi
  2220.         mov     esi,edi
  2221.         mov     al,0FFh
  2222.         stos    byte [edi]
  2223.         ret
  2224. skip_logical_value:
  2225.         cmp     byte [esi],'~'
  2226.         jne     negation_skipped
  2227.         inc     esi
  2228.         jmp     skip_logical_value
  2229.       negation_skipped:
  2230.         cmp     byte [esi],'{'
  2231.         jne     skip_simple_logical_value
  2232.         inc     esi
  2233.       skip_logical_expression:
  2234.         call    skip_logical_value
  2235.         lods    byte [esi]
  2236.         or      al,al
  2237.         jz      wrongly_structured_logical_expression
  2238.         cmp     al,0Fh
  2239.         je      wrongly_structured_logical_expression
  2240.         cmp     al,'|'
  2241.         je      skip_logical_expression
  2242.         cmp     al,'&'
  2243.         je      skip_logical_expression
  2244.         cmp     al,'}'
  2245.         je      logical_value_skipped
  2246.       wrongly_structured_logical_expression:
  2247.         stc
  2248.         ret
  2249.       skip_simple_logical_value:
  2250.         mov     al,[esi]
  2251.         or      al,al
  2252.         jz      logical_value_skipped
  2253.         cmp     al,0Fh
  2254.         je      logical_value_skipped
  2255.         cmp     al,'}'
  2256.         je      logical_value_skipped
  2257.         cmp     al,'|'
  2258.         je      logical_value_skipped
  2259.         cmp     al,'&'
  2260.         je      logical_value_skipped
  2261.         call    skip_symbol
  2262.         jmp     skip_simple_logical_value
  2263.       logical_value_skipped:
  2264.         clc
  2265.         ret
  2266.  
  2267. preevaluate_logical_value:
  2268.         mov     ebp,edi
  2269.       preevaluate_negation:
  2270.         cmp     byte [esi],'~'
  2271.         jne     preevaluate_negation_ok
  2272.         movs    byte [edi],[esi]
  2273.         jmp     preevaluate_negation
  2274.       preevaluate_negation_ok:
  2275.         mov     ebx,esi
  2276.         xor     edx,edx
  2277.         cmp     byte [esi],'{'
  2278.         jne     find_logical_value_boundaries
  2279.         movs    byte [edi],[esi]
  2280.         push    ebp
  2281.         call    preevaluate_logical_expression
  2282.         pop     ebp
  2283.         cmp     al,0FFh
  2284.         je      invalid_logical_value
  2285.         cmp     byte [esi],'}'
  2286.         jne     invalid_logical_value
  2287.         or      al,al
  2288.         jnz     preevaluated_expression_value
  2289.         movs    byte [edi],[esi]
  2290.         ret
  2291.       preevaluated_expression_value:
  2292.         inc     esi
  2293.         lea     edx,[edi-1]
  2294.         sub     edx,ebp
  2295.         test    edx,1
  2296.         jz      expression_negation_ok
  2297.         xor     al,1
  2298.       expression_negation_ok:
  2299.         mov     edi,ebp
  2300.         ret
  2301.       invalid_logical_value:
  2302.         mov     edi,ebp
  2303.         mov     al,0FFh
  2304.         ret
  2305.       find_logical_value_boundaries:
  2306.         mov     al,[esi]
  2307.         or      al,al
  2308.         jz      logical_value_boundaries_found
  2309.         cmp     al,'}'
  2310.         je      logical_value_boundaries_found
  2311.         cmp     al,'|'
  2312.         je      logical_value_boundaries_found
  2313.         cmp     al,'&'
  2314.         je      logical_value_boundaries_found
  2315.         or      edx,edx
  2316.         jnz     next_symbol_in_logical_value
  2317.         cmp     al,0F0h
  2318.         je      preevaluable_logical_operator
  2319.         cmp     al,0F7h
  2320.         je      preevaluable_logical_operator
  2321.         cmp     al,0F6h
  2322.         jne     next_symbol_in_logical_value
  2323.       preevaluable_logical_operator:
  2324.         mov     edx,esi
  2325.       next_symbol_in_logical_value:
  2326.         call    skip_symbol
  2327.         jmp     find_logical_value_boundaries
  2328.       logical_value_boundaries_found:
  2329.         or      edx,edx
  2330.         jz      non_preevaluable_logical_value
  2331.         mov     al,[edx]
  2332.         cmp     al,0F0h
  2333.         je      compare_symbols
  2334.         cmp     al,0F7h
  2335.         je      compare_symbol_types
  2336.         cmp     al,0F6h
  2337.         je      scan_symbols_list
  2338.       non_preevaluable_logical_value:
  2339.         mov     ecx,esi
  2340.         mov     esi,ebx
  2341.         sub     ecx,esi
  2342.         jz      invalid_logical_value
  2343.         cmp     esi,edi
  2344.         je      leave_logical_value_intact
  2345.         rep     movs byte [edi],[esi]
  2346.         xor     al,al
  2347.         ret
  2348.       leave_logical_value_intact:
  2349.         add     edi,ecx
  2350.         add     esi,ecx
  2351.         xor     al,al
  2352.         ret
  2353.       compare_symbols:
  2354.         lea     ecx,[esi-1]
  2355.         sub     ecx,edx
  2356.         mov     eax,edx
  2357.         sub     eax,ebx
  2358.         cmp     ecx,eax
  2359.         jne     preevaluated_false
  2360.         push    esi edi
  2361.         mov     esi,ebx
  2362.         lea     edi,[edx+1]
  2363.         repe    cmps byte [esi],[edi]
  2364.         pop     edi esi
  2365.         je      preevaluated_true
  2366.       preevaluated_false:
  2367.         mov     eax,edi
  2368.         sub     eax,ebp
  2369.         test    eax,1
  2370.         jnz     store_true
  2371.       store_false:
  2372.         mov     edi,ebp
  2373.         mov     al,'0'
  2374.         ret
  2375.       preevaluated_true:
  2376.         mov     eax,edi
  2377.         sub     eax,ebp
  2378.         test    eax,1
  2379.         jnz     store_false
  2380.       store_true:
  2381.         mov     edi,ebp
  2382.         mov     al,'1'
  2383.         ret
  2384.       compare_symbol_types:
  2385.         push    esi
  2386.         lea     esi,[edx+1]
  2387.       type_comparison:
  2388.         cmp     esi,[esp]
  2389.         je      types_compared
  2390.         mov     al,[esi]
  2391.         cmp     al,[ebx]
  2392.         jne     different_type
  2393.         cmp     al,'('
  2394.         jne     equal_type
  2395.         mov     al,[esi+1]
  2396.         mov     ah,[ebx+1]
  2397.         cmp     al,ah
  2398.         je      equal_type
  2399.         or      al,al
  2400.         jz      different_type
  2401.         or      ah,ah
  2402.         jz      different_type
  2403.         cmp     al,'.'
  2404.         je      different_type
  2405.         cmp     ah,'.'
  2406.         je      different_type
  2407.       equal_type:
  2408.         call    skip_symbol
  2409.         xchg    esi,ebx
  2410.         call    skip_symbol
  2411.         xchg    esi,ebx
  2412.         jmp     type_comparison
  2413.       types_compared:
  2414.         pop     esi
  2415.         cmp     byte [ebx],0F7h
  2416.         jne     preevaluated_false
  2417.         jmp     preevaluated_true
  2418.       different_type:
  2419.         pop     esi
  2420.         jmp     preevaluated_false
  2421.       scan_symbols_list:
  2422.         push    edi esi
  2423.         lea     esi,[edx+1]
  2424.         sub     edx,ebx
  2425.         lods    byte [esi]
  2426.         cmp     al,'<'
  2427.         jne     invalid_symbols_list
  2428.       get_next_from_list:
  2429.         mov     edi,esi
  2430.       get_from_list:
  2431.         cmp     byte [esi],','
  2432.         je      compare_in_list
  2433.         cmp     byte [esi],'>'
  2434.         je      compare_in_list
  2435.         cmp     esi,[esp]
  2436.         jae     invalid_symbols_list
  2437.         call    skip_symbol
  2438.         jmp     get_from_list
  2439.       compare_in_list:
  2440.         mov     ecx,esi
  2441.         sub     ecx,edi
  2442.         cmp     ecx,edx
  2443.         jne     not_equal_length_in_list
  2444.         mov     esi,ebx
  2445.         repe    cmps byte [esi],[edi]
  2446.         mov     esi,edi
  2447.         jne     not_equal_in_list
  2448.       skip_rest_of_list:
  2449.         cmp     byte [esi],'>'
  2450.         je      check_list_end
  2451.         cmp     esi,[esp]
  2452.         jae     invalid_symbols_list
  2453.         call    skip_symbol
  2454.         jmp     skip_rest_of_list
  2455.       check_list_end:
  2456.         inc     esi
  2457.         cmp     esi,[esp]
  2458.         jne     invalid_symbols_list
  2459.         pop     esi edi
  2460.         jmp     preevaluated_true
  2461.       not_equal_in_list:
  2462.         add     esi,ecx
  2463.       not_equal_length_in_list:
  2464.         lods    byte [esi]
  2465.         cmp     al,','
  2466.         je      get_next_from_list
  2467.         cmp     esi,[esp]
  2468.         jne     invalid_symbols_list
  2469.         pop     esi edi
  2470.         jmp     preevaluated_false
  2471.       invalid_symbols_list:
  2472.         pop     esi edi
  2473.         jmp     invalid_logical_value
  2474.  
  2475. calculate_logical_expression:
  2476.         call    get_logical_value
  2477.       logical_loop:
  2478.         cmp     byte [esi],'|'
  2479.         je      logical_or
  2480.         cmp     byte [esi],'&'
  2481.         je      logical_and
  2482.         ret
  2483.       logical_or:
  2484.         inc     esi
  2485.         or      al,al
  2486.         jnz     logical_value_already_determined
  2487.         push    eax
  2488.         call    get_logical_value
  2489.         pop     ebx
  2490.         or      al,bl
  2491.         jmp     logical_loop
  2492.       logical_and:
  2493.         inc     esi
  2494.         or      al,al
  2495.         jz      logical_value_already_determined
  2496.         push    eax
  2497.         call    get_logical_value
  2498.         pop     ebx
  2499.         and     al,bl
  2500.         jmp     logical_loop
  2501.       logical_value_already_determined:
  2502.         push    eax
  2503.         call    skip_logical_value
  2504.         jc      invalid_expression
  2505.         pop     eax
  2506.         jmp     logical_loop
  2507. get_logical_value:
  2508.         xor     al,al
  2509.       check_for_negation:
  2510.         cmp     byte [esi],'~'
  2511.         jne     negation_ok
  2512.         inc     esi
  2513.         xor     al,-1
  2514.         jmp     check_for_negation
  2515.       negation_ok:
  2516.         push    eax
  2517.         mov     al,[esi]
  2518.         cmp     al,'{'
  2519.         je      logical_expression
  2520.         cmp     al,0FFh
  2521.         je      invalid_expression
  2522.         cmp     al,88h
  2523.         je      check_for_defined
  2524.         cmp     al,89h
  2525.         je      check_for_used
  2526.         cmp     al,'0'
  2527.         je      given_false
  2528.         cmp     al,'1'
  2529.         je      given_true
  2530.         call    get_value
  2531.         mov     bl,[value_type]
  2532.         push    eax edx ebx
  2533.         mov     al,[esi]
  2534.         or      al,al
  2535.         jz      logical_number
  2536.         cmp     al,0Fh
  2537.         je      logical_number
  2538.         cmp     al,'}'
  2539.         je      logical_number
  2540.         cmp     al,'&'
  2541.         je      logical_number
  2542.         cmp     al,'|'
  2543.         je      logical_number
  2544.         inc     esi
  2545.         mov     [compare_type],al
  2546.         call    get_value
  2547.         pop     ebx
  2548.         cmp     [next_pass_needed],0
  2549.         jne     values_ok
  2550.         cmp     bl,[value_type]
  2551.         jne     invalid_use_of_symbol
  2552.       values_ok:
  2553.         pop     ecx ebx
  2554.         cmp     [compare_type],'='
  2555.         je      check_equal
  2556.         cmp     [compare_type],'>'
  2557.         je      check_greater
  2558.         cmp     [compare_type],'<'
  2559.         je      check_less
  2560.         cmp     [compare_type],0F1h
  2561.         je      check_not_equal
  2562.         cmp     [compare_type],0F2h
  2563.         je      check_not_less
  2564.         cmp     [compare_type],0F3h
  2565.         je      check_not_greater
  2566.         jmp     invalid_expression
  2567.       check_equal:
  2568.         cmp     eax,ebx
  2569.         jne     return_false
  2570.         cmp     edx,ecx
  2571.         jne     return_false
  2572.         jmp     return_true
  2573.       check_greater:
  2574.         cmp     edx,ecx
  2575.         jl      return_true
  2576.         jg      return_false
  2577.         cmp     eax,ebx
  2578.         jb      return_true
  2579.         jae     return_false
  2580.       check_less:
  2581.         cmp     edx,ecx
  2582.         jl      return_false
  2583.         jg      return_true
  2584.         cmp     eax,ebx
  2585.         jbe     return_false
  2586.         ja      return_true
  2587.       check_not_less:
  2588.         cmp     edx,ecx
  2589.         jl      return_true
  2590.         jg      return_false
  2591.         cmp     eax,ebx
  2592.         jbe     return_true
  2593.         ja      return_false
  2594.       check_not_greater:
  2595.         cmp     edx,ecx
  2596.         jl      return_false
  2597.         jg      return_true
  2598.         cmp     eax,ebx
  2599.         jb      return_false
  2600.         jae     return_true
  2601.       check_not_equal:
  2602.         cmp     eax,ebx
  2603.         jne     return_true
  2604.         cmp     edx,ecx
  2605.         jne     return_true
  2606.         jmp     return_false
  2607.       logical_number:
  2608.         pop     ebx edx eax
  2609.         or      bl,bl
  2610.         jnz     invalid_expression
  2611.         or      eax,edx
  2612.         jnz     return_true
  2613.         jmp     return_false
  2614.       check_for_defined:
  2615.         or      bl,-1
  2616.         lods    word [esi]
  2617.         cmp     ah,'('
  2618.         jne     invalid_expression
  2619.       check_expression:
  2620.         lods    byte [esi]
  2621.         or      al,al
  2622.         jz      defined_string
  2623.         cmp     al,'.'
  2624.         je      defined_fp_value
  2625.         cmp     al,')'
  2626.         je      expression_checked
  2627.         cmp     al,'!'
  2628.         je      invalid_expression
  2629.         cmp     al,0Fh
  2630.         je      check_expression
  2631.         cmp     al,10h
  2632.         je      defined_register
  2633.         cmp     al,11h
  2634.         je      check_if_symbol_defined
  2635.         cmp     al,80h
  2636.         jae     check_expression
  2637.         movzx   eax,al
  2638.         add     esi,eax
  2639.         jmp     check_expression
  2640.       defined_register:
  2641.         inc     esi
  2642.         jmp     check_expression
  2643.       defined_fp_value:
  2644.         add     esi,12
  2645.         jmp     expression_checked
  2646.       defined_string:
  2647.         lods    dword [esi]
  2648.         add     esi,eax
  2649.         inc     esi
  2650.         jmp     expression_checked
  2651.       check_if_symbol_defined:
  2652.         lods    dword [esi]
  2653.         cmp     eax,-1
  2654.         je      invalid_expression
  2655.         cmp     eax,0Fh
  2656.         jb      check_expression
  2657.         je      reserved_word_used_as_symbol
  2658.         test    byte [eax+8],4
  2659.         jnz     no_prediction
  2660.         test    byte [eax+8],1
  2661.         jz      symbol_predicted_undefined
  2662.         mov     cx,[current_pass]
  2663.         sub     cx,[eax+16]
  2664.         jz      check_expression
  2665.         cmp     cx,1
  2666.         ja      symbol_predicted_undefined
  2667.         or      byte [eax+8],40h+80h
  2668.         jmp     check_expression
  2669.       no_prediction:
  2670.         test    byte [eax+8],1
  2671.         jz      symbol_undefined
  2672.         mov     cx,[current_pass]
  2673.         sub     cx,[eax+16]
  2674.         jz      check_expression
  2675.         jmp     symbol_undefined
  2676.       symbol_predicted_undefined:
  2677.         or      byte [eax+8],40h
  2678.         and     byte [eax+8],not 80h
  2679.       symbol_undefined:
  2680.         xor     bl,bl
  2681.         jmp     check_expression
  2682.       expression_checked:
  2683.         mov     al,bl
  2684.         jmp     logical_value_ok
  2685.       check_for_used:
  2686.         lods    word [esi]
  2687.         cmp     ah,2
  2688.         jne     invalid_expression
  2689.         lods    dword [esi]
  2690.         cmp     eax,0Fh
  2691.         jb      invalid_use_of_symbol
  2692.         je      reserved_word_used_as_symbol
  2693.         inc     esi
  2694.         test    byte [eax+8],8
  2695.         jz      not_used
  2696.         mov     cx,[current_pass]
  2697.         sub     cx,[eax+18]
  2698.         jz      return_true
  2699.         cmp     cx,1
  2700.         ja      not_used
  2701.         or      byte [eax+8],10h+20h
  2702.         jmp     return_true
  2703.       not_used:
  2704.         or      byte [eax+8],10h
  2705.         and     byte [eax+8],not 20h
  2706.         jmp     return_false
  2707.       given_false:
  2708.         inc     esi
  2709.       return_false:
  2710.         xor     al,al
  2711.         jmp     logical_value_ok
  2712.       given_true:
  2713.         inc     esi
  2714.       return_true:
  2715.         or      al,-1
  2716.         jmp     logical_value_ok
  2717.       logical_expression:
  2718.         inc     esi
  2719.         call    calculate_logical_expression
  2720.         push    eax
  2721.         lods    byte [esi]
  2722.         cmp     al,'}'
  2723.         jne     invalid_expression
  2724.         pop     eax
  2725.       logical_value_ok:
  2726.         pop     ebx
  2727.         xor     al,bl
  2728.         ret
  2729.