Subversion Repositories Kolibri OS

Rev

Rev 1189 | Blame | Last modification | View Log | Download | RSS feed

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