WebSVN – Kolibri OS – Diff – /programs/develop/fasm/trunk/parser.inc


; flat assembler core
; Copyright (c) 1999-2007, Tomasz Grysztar.
; All rights reserved.
 
parser:
	mov	eax,[memory_end]
	mov	[labels_list],eax
	mov	eax,[additional_memory]
	mov	[free_additional_memory],eax
	xor	eax,eax
	mov	[current_locals_prefix],eax
	mov	[anonymous_reverse],eax
	mov	[anonymous_forward],eax
	mov	[hash_tree],eax
	mov	[blocks_stack],eax
	mov	[parsed_lines],eax
	mov	esi,[memory_start]
	mov	edi,[source_start]
      parser_loop:
	mov	[current_line],esi
	lea	eax,[edi+100h]
	cmp	eax,[labels_list]
	jae	out_of_memory
	cmp	byte [esi+16],0
	je	empty_line
	cmp	byte [esi+16],3Bh
	je	empty_line
	mov	al,0Fh
	stos	byte [edi]
	mov	eax,esi
	stos	dword [edi]
	inc	[parsed_lines]
	add	esi,16
      parse_line:
	cmp	byte [esi],1Ah
	jne	empty_instruction
	push	edi
	add	esi,2
	movzx	ecx,byte [esi-1]
	cmp	byte [esi+ecx],':'
	je	simple_label
	cmp	byte [esi+ecx],'='
	je	constant_label
	call	get_instruction
	jnc	main_instruction_identified
	cmp	byte [esi+ecx],1Ah
	jne	no_data_label
	push	esi ecx
	lea	esi,[esi+ecx+2]
	movzx	ecx,byte [esi-1]
	call	get_data_directive
	jnc	data_label
	pop	ecx esi
      no_data_label:
	call	get_data_directive
	jnc	main_instruction_identified
	pop	edi
	sub	esi,2
	xor	bx,bx
	call	parse_line_contents
	jmp	parse_next_line
      simple_label:
	pop	edi
	call	identify_label
	mov	byte [edi],2
	inc	edi
	stos	dword [edi]
	inc	esi
	xor	al,al
	stos	byte [edi]
	jmp	parse_line
      constant_label:
	pop	edi
	call	get_label_id
	mov	byte [edi],3
	inc	edi
	stos	dword [edi]
	xor	al,al
	stos	byte [edi]
	inc	esi
	xor	bx,bx
	call	parse_line_contents
	jmp	parse_next_line
      data_label:
	pop	ecx edx
	pop	edi
	push	eax ebx esi
	mov	esi,edx
	movzx	ecx,byte [esi-1]
	call	identify_label
	mov	byte [edi],2
	inc	edi
	stos	dword [edi]
	pop	esi ebx eax
	stos	byte [edi]
	push	edi
      main_instruction_identified:
	pop	edi
	mov	dl,al
	mov	al,1
	stos	byte [edi]
	mov	ax,bx
	stos	word [edi]
	mov	al,dl
	stos	byte [edi]
	cmp	bx,if_directive-assembler
	je	parse_block
	cmp	bx,repeat_directive-assembler
	je	parse_block
	cmp	bx,while_directive-assembler
	je	parse_block
	cmp	bx,end_directive-assembler
	je	parse_end_directive
	cmp	bx,else_directive-assembler
	je	parse_else
      common_parse:
	call	parse_line_contents
	jmp	parse_next_line
      empty_instruction:
	lods	byte [esi]
	or	al,al
	jz	parse_next_line
	cmp	al,':'
	je	invalid_name
	dec	esi
 
 
	cmp	al,3Bh
	je	skip_rest_of_line
	call	parse_argument
	jmp	parse_next_line
      empty_line:
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
	add	esi,16
      skip_rest_of_line:
	call	skip_foreign_line
      parse_next_line:
	cmp	esi,[source_start]
	jb	parser_loop
      source_parsed:
	cmp	[blocks_stack],0
	je	blocks_stack_ok
	pop	eax
	pop	[current_line]
	jmp	missing_end_directive
      blocks_stack_ok:
	xor	al,al
	stos	byte [edi]
	add	edi,0Fh
 
 
 
 
	and	edi,not 0Fh
	mov	[code_start],edi
	ret
      parse_block:
	mov	eax,esp
	sub	eax,100h
	jc	stack_overflow
	cmp	eax,[stack_limit]
	jb	stack_overflow
	push	[current_line]
	mov	ax,bx
	shl	eax,16
	push	eax
	inc	[blocks_stack]
	cmp	bx,if_directive-assembler
	je	parse_if
	cmp	bx,while_directive-assembler
	je	parse_while
	call	parse_line_contents
	jmp	parse_next_line
      parse_end_directive:
	cmp	byte [esi],1Ah
	jne	common_parse
	push	edi
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_instruction
	pop	edi
	jnc	parse_end_block
	sub	esi,2
	jmp	common_parse
      parse_end_block:
	mov	dl,al
	mov	al,1
	stos	byte [edi]
	mov	ax,bx
	stos	word [edi]
	mov	al,dl
	stos	byte [edi]
	lods	byte [esi]
	or	al,al
	jnz	extra_characters_on_line
	cmp	bx,if_directive-assembler
	je	close_parsing_block
	cmp	bx,repeat_directive-assembler
	je	close_parsing_block
	cmp	bx,while_directive-assembler
	je	close_parsing_block
	jmp	parse_next_line
      close_parsing_block:
	cmp	[blocks_stack],0
	je	unexpected_instruction
	cmp	bx,[esp+2]
	jne	unexpected_instruction
	dec	[blocks_stack]
	pop	eax edx
	cmp	bx,if_directive-assembler
	jne	parse_next_line
	test	al,1100b
	jz	parse_next_line
	test	al,10000b
	jnz	parse_next_line
	sub	edi,8
	jmp	parse_next_line
      parse_if:
	push	edi
	call	parse_line_contents
	xor	al,al
	stos	byte [edi]
	xchg	esi,[esp]
	mov	edi,esi
	call	preevaluate_logical_expression
	pop	esi
	cmp	al,'0'
	je	parse_false_condition_block
	cmp	al,'1'
	je	parse_true_condition_block
	or	byte [esp],10000b
	jmp	parse_next_line
      parse_while:
	push	edi
	call	parse_line_contents
	xor	al,al
	stos	byte [edi]
	xchg	esi,[esp]
	mov	edi,esi
	call	preevaluate_logical_expression
	pop	esi
	cmp	al,'0'
	je	parse_false_condition_block
	cmp	al,'1'
	jne	parse_next_line
	stos	byte [edi]
	jmp	parse_next_line
      parse_false_condition_block:
	or	byte [esp],1
	sub	edi,4
	jmp	skip_parsing
      parse_true_condition_block:
	or	byte [esp],100b
	sub	edi,4
	jmp	parse_next_line
      parse_else:
	cmp	[blocks_stack],0
	je	unexpected_instruction
	cmp	word [esp+2],if_directive-assembler
	jne	unexpected_instruction
	lods	byte [esi]
	or	al,al
	jz	parse_pure_else
	cmp	al,1Ah
	jne	extra_characters_on_line
	push	edi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_instruction
	jc	extra_characters_on_line
	pop	edi
	cmp	bx,if_directive-assembler
	jne	extra_characters_on_line
	test	byte [esp],100b
	jnz	skip_true_condition_else
	mov	dl,al
	mov	al,1
	stos	byte [edi]
	mov	ax,bx
	stos	word [edi]
	mov	al,dl
	stos	byte [edi]
	jmp	parse_if
      skip_true_condition_else:
	sub	edi,4
	or	byte [esp],1
	jmp	skip_parsing_contents
      parse_pure_else:
	bts	dword [esp],1
	jc	unexpected_instruction
	test	byte [esp],100b
	jz	parse_next_line
	sub	edi,4
	or	byte [esp],1
	jmp	skip_parsing
      skip_parsing:
	cmp	esi,[source_start]
	jae	source_parsed
	mov	[current_line],esi
	add	esi,16
      skip_parsing_line:
	cmp	byte [esi],1Ah
	jne	skip_parsing_contents
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	cmp	byte [esi+ecx],':'
	je	skip_parsing_label
	push	edi
	call	get_instruction
	pop	edi
	jnc	skip_parsing_instruction
	add	esi,ecx
	jmp	skip_parsing_contents
      skip_parsing_label:
	lea	esi,[esi+ecx+1]
	jmp	skip_parsing_line
      skip_parsing_instruction:
	cmp	bx,if_directive-assembler
	je	skip_parsing_block
	cmp	bx,repeat_directive-assembler
	je	skip_parsing_block
	cmp	bx,while_directive-assembler
	je	skip_parsing_block
	cmp	bx,end_directive-assembler
	je	skip_parsing_end_directive
	cmp	bx,else_directive-assembler
	je	skip_parsing_else
      skip_parsing_contents:
	lods	byte [esi]
	or	al,al
	jz	skip_parsing
	cmp	al,1Ah
	je	skip_parsing_symbol
	cmp	al,3Bh
	je	skip_parsing_symbol
	cmp	al,22h
	je	skip_parsing_string
	jmp	skip_parsing_contents
      skip_parsing_symbol:
	lods	byte [esi]
	movzx	eax,al
	add	esi,eax
	jmp	skip_parsing_contents
      skip_parsing_string:
	lods	dword [esi]
	add	esi,eax
	jmp	skip_parsing_contents
      skip_parsing_block:
	mov	eax,esp
	sub	eax,100h
	jc	stack_overflow
	cmp	eax,[stack_limit]
	jb	stack_overflow
	push	[current_line]
	mov	ax,bx
	shl	eax,16
	push	eax
	inc	[blocks_stack]
	jmp	skip_parsing_contents
      skip_parsing_end_directive:
	cmp	byte [esi],1Ah
	jne	skip_parsing_contents
	push	edi
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_instruction
	pop	edi
	jnc	skip_parsing_end_block
	add	esi,ecx
	jmp	skip_parsing_contents
      skip_parsing_end_block:
	lods	byte [esi]
	or	al,al
	jnz	extra_characters_on_line
	cmp	bx,if_directive-assembler
	je	close_skip_parsing_block
	cmp	bx,repeat_directive-assembler
	je	close_skip_parsing_block
	cmp	bx,while_directive-assembler
	je	close_skip_parsing_block
	jmp	skip_parsing
      close_skip_parsing_block:
	cmp	[blocks_stack],0
	je	unexpected_instruction
	cmp	bx,[esp+2]
	jne	unexpected_instruction
	dec	[blocks_stack]
	pop	eax edx
	test	al,1
	jz	skip_parsing
	cmp	bx,if_directive-assembler
	jne	parse_next_line
	test	al,10000b
	jz	parse_next_line
	mov	al,0Fh
	stos	byte [edi]
	mov	eax,[current_line]
	stos	dword [edi]
	inc	[parsed_lines]
	mov	eax,1 + (end_directive-assembler) shl 8
	stos	dword [edi]
	mov	eax,1 + (if_directive-assembler) shl 8
	stos	dword [edi]
	jmp	parse_next_line
      skip_parsing_else:
	cmp	[blocks_stack],0
	je	unexpected_instruction
	cmp	word [esp+2],if_directive-assembler
	jne	unexpected_instruction
	lods	byte [esi]
	or	al,al
	jz	skip_parsing_pure_else
	cmp	al,1Ah
	jne	extra_characters_on_line
	push	edi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_instruction
	jc	extra_characters_on_line
	pop	edi
	cmp	bx,if_directive-assembler
	jne	extra_characters_on_line
	mov	al,[esp]
	test	al,1
	jz	skip_parsing_contents
	test	al,100b
	jnz	skip_parsing_contents
	test	al,10000b
	jnz	parse_else_if
	xor	al,al
	mov	[esp],al
	mov	al,0Fh
	stos	byte [edi]
	mov	eax,[current_line]
	stos	dword [edi]
	inc	[parsed_lines]
      parse_else_if:
	mov	eax,1 + (if_directive-assembler) shl 8
	stos	dword [edi]
	jmp	parse_if
      skip_parsing_pure_else:
	bts	dword [esp],1
	jc	unexpected_instruction
	mov	al,[esp]
	test	al,1
	jz	skip_parsing
	test	al,100b
	jnz	skip_parsing
	and	al,not 1
	or	al,1000b
	mov	[esp],al
	jmp	parse_next_line
 
parse_line_contents:
	mov	[parenthesis_stack],0
      parse_instruction_arguments:
	cmp	bx,prefix_instruction-assembler
	je	allow_embedded_instruction
	cmp	bx,times_directive-assembler
	je	parse_times_directive
	cmp	bx,end_directive-assembler
	je	allow_embedded_instruction
	cmp	bx,label_directive-assembler
	je	parse_label_directive
	cmp	bx,segment_directive-assembler
	je	parse_label_directive
	cmp	bx,load_directive-assembler
	je	parse_load_directive
	cmp	bx,extrn_directive-assembler
	je	parse_extrn_directive
	cmp	bx,public_directive-assembler
	je	parse_public_directive
      parse_argument:
	lea	eax,[edi+100h]
	cmp	eax,[labels_list]
	jae	out_of_memory
	lods	byte [esi]
	cmp	al,':'
	je	instruction_separator
	cmp	al,','
	je	separator
	cmp	al,'='
	je	separator
	cmp	al,'|'
	je	separator
	cmp	al,'&'
	je	separator
	cmp	al,'~'
	je	separator
	cmp	al,'>'
	je	greater
	cmp	al,'<'
	je	less
	cmp	al,')'
	je	close_parenthesis
	or	al,al
	jz	contents_parsed
	cmp	al,'['
	je	address_argument
	cmp	al,']'
	je	separator
	cmp	al,'{'
	je	unallowed_character
	cmp	al,'}'
	je	unallowed_character
	cmp	al,'#'
	je	unallowed_character
	cmp	al,'`'
	je	unallowed_character
	dec	esi
	cmp	al,1Ah
	jne	expression_argument
	push	edi
	mov	edi,directive_operators
	call	get_operator
	or	al,al
	jnz	operator_argument
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_symbol
	jnc	symbol_argument
	cmp	ecx,1
	jne	check_argument
	cmp	byte [esi],'?'
	jne	check_argument
	pop	edi
	movs	byte [edi],[esi]
	jmp	argument_parsed
      symbol_argument:
	pop	edi
	stos	word [edi]
	jmp	argument_parsed
      operator_argument:
	pop	edi
	cmp	al,85h
	je	ptr_argument
	stos	byte [edi]
	cmp	al,80h
	je	forced_expression
	cmp	al,81h
	je	forced_parenthesis
	cmp	al,82h
	je	parse_from_operator
	cmp	al,89h
	je	parse_label_operator
	jmp	argument_parsed
      allow_embedded_instruction:
	cmp	byte [esi],1Ah
	jne	parse_argument
	push	edi
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_instruction
	jnc	embedded_instruction
	call	get_data_directive
	jnc	embedded_instruction
	pop	edi
	sub	esi,2
	jmp	parse_argument
      embedded_instruction:
	pop	edi
	mov	dl,al
	mov	al,1
	stos	byte [edi]
	mov	ax,bx
	stos	word [edi]
	mov	al,dl
	stos	byte [edi]
	jmp	parse_instruction_arguments
      parse_times_directive:
	mov	al,'('
	stos	byte [edi]
	call	convert_expression
	mov	al,')'
	stos	byte [edi]
	cmp	byte [esi],':'
	jne	allow_embedded_instruction
	movs	byte [edi],[esi]
	jmp	allow_embedded_instruction
      parse_label_directive:
	cmp	byte [esi],1Ah
	jne	argument_parsed
	push	esi
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	identify_label
	pop	ebx
	cmp	eax,0Fh
	je	non_label_identified
	mov	byte [edi],2
	inc	edi
	stos	dword [edi]
	xor	al,al
	stos	byte [edi]
	jmp	argument_parsed
      non_label_identified:
	mov	esi,ebx
	jmp	argument_parsed
      parse_load_directive:
	cmp	byte [esi],1Ah
	jne	argument_parsed
	push	esi
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	call	get_label_id
	pop	ebx
	cmp	eax,0Fh
	je	non_label_identified
	mov	byte [edi],2
	inc	edi
	stos	dword [edi]
	xor	al,al
	stos	byte [edi]
	jmp	argument_parsed
      parse_public_directive:
	cmp	byte [esi],1Ah
	jne	parse_argument
	inc	esi
	push	esi
	movzx	ecx,byte [esi]
	inc	esi
	push	esi ecx
	push	edi
	call	get_symbol
	pop	edi
	jc	parse_public_label
	cmp	al,1Dh
	jne	parse_public_label
	add	esp,12
	stos	word [edi]
	jmp	parse_public_directive
      parse_public_label:
	pop	ecx esi
	mov	al,2
	stos	byte [edi]
	call	get_label_id
	stos	dword [edi]
	mov	ax,8600h
	stos	word [edi]
	pop	ebx
	push	ebx esi edi
	mov	edi,directive_operators
	call	get_operator
	pop	edi edx ebx
	cmp	al,86h
	je	argument_parsed
	mov	esi,edx
	xchg	esi,ebx
	movzx	ecx,byte [esi]
	inc	esi
	mov	ax,'('
	stos	word [edi]
	mov	eax,ecx
	stos	dword [edi]
	rep	movs byte [edi],[esi]
	xor	al,al
	stos	byte [edi]
	xchg	esi,ebx
	jmp	argument_parsed
      parse_extrn_directive:
	cmp	byte [esi],22h
	je	parse_quoted_extrn
	cmp	byte [esi],1Ah
	jne	parse_argument
	push	esi
	movzx	ecx,byte [esi+1]
	add	esi,2
	mov	ax,'('
	stos	word [edi]
	mov	eax,ecx
	stos	dword [edi]
	rep	movs byte [edi],[esi]
	mov	ax,8600h
	stos	word [edi]
	pop	esi
      parse_label_operator:
	cmp	byte [esi],1Ah
	jne	argument_parsed
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
	mov	al,2
	stos	byte [edi]
	call	get_label_id
	stos	dword [edi]
	xor	al,al
	stos	byte [edi]
	jmp	argument_parsed
      parse_from_operator:
	cmp	byte [esi],22h
	jne	forced_expression
	jmp	argument_parsed
      parse_quoted_extrn:
	inc	esi
	mov	ax,'('
	stos	word [edi]
	lods	dword [esi]
	mov	ecx,eax
	stos	dword [edi]
	rep	movs byte [edi],[esi]
	xor	al,al
	stos	byte [edi]
	push	esi edi
	mov	edi,directive_operators
	call	get_operator
	mov	edx,esi
	pop	edi esi
	cmp	al,86h
	jne	argument_parsed
	stos	byte [edi]
	mov	esi,edx
	jmp	parse_label_operator
      ptr_argument:
	call	parse_address
	jmp	address_parsed
      check_argument:
	push	esi ecx
	sub	esi,2
	mov	edi,single_operand_operators
	call	get_operator
	pop	ecx esi
	or	al,al
	jnz	not_instruction
	call	get_instruction
	jnc	embedded_instruction
	call	get_data_directive
	jnc	embedded_instruction
      not_instruction:
	pop	edi
	sub	esi,2
      expression_argument:
	cmp	byte [esi],22h
	jne	not_string
	mov	eax,[esi+1]
	lea	ebx,[esi+5+eax]
	push	ebx ecx esi edi
	mov	al,'('
	stos	byte [edi]
	call	convert_expression
	mov	al,')'
	stos	byte [edi]
	pop	eax edx ecx ebx
	cmp	esi,ebx
	jne	expression_parsed
	mov	edi,eax
	mov	esi,edx
      string_argument:
	inc	esi
	mov	ax,'('
	stos	word [edi]
	lods	dword [esi]
	mov	ecx,eax
	stos	dword [edi]
	shr	ecx,1
	jnc	string_movsb_ok
	movs	byte [edi],[esi]
      string_movsb_ok:
	shr	ecx,1
	jnc	string_movsw_ok
	movs	word [edi],[esi]
      string_movsw_ok:
	rep	movs dword [edi],[esi]
	xor	al,al
	stos	byte [edi]
	jmp	expression_parsed
      not_string:
	cmp	byte [esi],'('
	jne	expression
	mov	eax,esp
	sub	eax,100h
	jc	stack_overflow
	cmp	eax,[stack_limit]
	jb	stack_overflow
	push	esi edi
	inc	esi
	mov	al,'{'
	stos	byte [edi]
	inc	[parenthesis_stack]
	jmp	parse_argument
      expression:
	mov	al,'('
	stos	byte [edi]
	call	convert_expression
	mov	al,')'
	stos	byte [edi]
	jmp	expression_parsed
      forced_expression:
	mov	al,'('
	stos	byte [edi]
	call	convert_expression
	mov	al,')'
	stos	byte [edi]
	jmp	argument_parsed
      address_argument:
	call	parse_address
	lods	byte [esi]
	cmp	al,']'
	je	address_parsed
	dec	esi
	mov	al,')'
	stos	byte [edi]
	jmp	argument_parsed
      address_parsed:
	mov	al,']'
	stos	byte [edi]
	jmp	argument_parsed
      parse_address:
	mov	al,'['
	stos	byte [edi]
	cmp	word [esi],021Ah
	jne	convert_address
	push	esi
	add	esi,4
	lea	ebx,[esi+1]
	cmp	byte [esi],':'
	pop	esi
	jne	convert_address
	add	esi,2
	mov	ecx,2
	push	ebx edi
	call	get_symbol
	pop	edi esi
	jc	unknown_segment_prefix
	cmp	al,10h
	jne	unknown_segment_prefix
	mov	al,ah
	and	ah,11110000b
	cmp	ah,60h
	jne	unknown_segment_prefix
	stos	byte [edi]
	jmp	convert_address
      unknown_segment_prefix:
	sub	esi,5
      convert_address:
	push	edi
	mov	edi,address_sizes
	call	get_operator
	pop	edi
	or	al,al
	jz	convert_expression
	add	al,70h
	stos	byte [edi]
	jmp	convert_expression
      forced_parenthesis:
	cmp	byte [esi],'('
	jne	argument_parsed
	inc	esi
	mov	al,'{'
	jmp	separator
      unallowed_character:
	mov	al,0FFh
	jmp	separator
      close_parenthesis:
	mov	al,'}'
      separator:
	stos	byte [edi]
	jmp	argument_parsed
      instruction_separator:
	stos	byte [edi]
	jmp	allow_embedded_instruction
      greater:
	cmp	byte [esi],'='
	jne	separator
	inc	esi
	mov	al,0F2h
	jmp	separator
      less:
	cmp	byte [edi-1],0F6h
	je	separator
	cmp	byte [esi],'>'
	je	not_equal
	cmp	byte [esi],'='
	jne	separator
	inc	esi
	mov	al,0F3h
	jmp	separator
      not_equal:
	inc	esi
	mov	al,0F1h
	jmp	separator
      argument_parsed:
	cmp	[parenthesis_stack],0
	je	parse_argument
	dec	[parenthesis_stack]
	add	esp,8
	jmp	argument_parsed
      expression_parsed:
	cmp	[parenthesis_stack],0
	je	parse_argument
	cmp	byte [esi],')'
	jne	argument_parsed
	dec	[parenthesis_stack]
	pop	edi esi
	jmp	expression
      contents_parsed:
	cmp	[parenthesis_stack],0
	je	contents_ok
 
	dec	[parenthesis_stack]
	add	esp,8
	jmp	contents_parsed
      contents_ok:
	ret
 
identify_label:
	cmp	byte [esi],'.'
	je	local_label_name
	call	get_label_id
	cmp	eax,10h
	jb	label_identified
	or	ebx,ebx
	jz	anonymous_label_name
	dec	ebx
	mov	[current_locals_prefix],ebx
      label_identified:
	ret
      anonymous_label_name:
	cmp	byte [esi-1],'@'
	je	anonymous_label_name_ok
	mov	eax,0Fh
      anonymous_label_name_ok:
	ret
      local_label_name:
	call	get_label_id
	ret
 
get_operator:
	cmp	byte [esi],1Ah
	jne	get_simple_operator
	mov	edx,esi
	push	ebp
	inc	esi
	lods	byte [esi]
	movzx	ebp,al
	push	edi
	mov	ecx,ebp
	call	lower_case
	pop	edi
      check_operator:
	mov	esi,converted
	movzx	ecx,byte [edi]
	jecxz	no_operator
	inc	edi
	mov	ebx,edi
	add	ebx,ecx
	cmp	ecx,ebp
	jne	next_operator
	repe	cmps byte [esi],[edi]
	je	operator_found
      next_operator:
	mov	edi,ebx
	inc	edi
	jmp	check_operator
      no_operator:
	mov	esi,edx
	mov	ecx,ebp
	pop	ebp
      no_simple_operator:
	xor	al,al
	ret
      operator_found:
	lea	esi,[edx+2+ebp]
	mov	ecx,ebp
	pop	ebp
	mov	al,[edi]
	ret
      get_simple_operator:
	mov	al,[esi]
	cmp	al,22h
	je	no_simple_operator
      simple_operator:
	cmp	byte [edi],1
	jb	no_simple_operator
	ja	simple_next_operator
	cmp	al,[edi+1]
	je	simple_operator_found
      simple_next_operator:
	movzx	ecx,byte [edi]
	lea	edi,[edi+1+ecx+1]
	jmp	simple_operator
      simple_operator_found:
	inc	esi
	mov	al,[edi+2]
	ret
 
get_symbol:
	push	esi
	mov	ebp,ecx
	call	lower_case
	mov	ecx,ebp
	cmp	cl,11
	ja	no_symbol
	sub	cl,2
	jc	no_symbol
	movzx	ebx,word [symbols+ecx*4]
	add	ebx,symbols
	movzx	edx,word [symbols+ecx*4+2]
      scan_symbols:
	or	edx,edx
	jz	no_symbol
	mov	eax,edx
	shr	eax,1
	lea	edi,[ebp+2]
	imul	eax,edi
	lea	edi,[ebx+eax]
	mov	esi,converted
	mov	ecx,ebp
	repe	cmps byte [esi],[edi]
	ja	symbols_up
	jb	symbols_down
	pop	esi
	add	esi,ebp
	mov	ax,[edi]
	clc
	ret
      no_symbol:
	pop	esi
	mov	ecx,ebp
	stc
	ret
      symbols_down:
	shr	edx,1
	jmp	scan_symbols
      symbols_up:
	lea	ebx,[edi+ecx+2]
	shr	edx,1
	adc	edx,-1
	jmp	scan_symbols
 
get_data_directive:
	push	esi
	mov	ebp,ecx
	call	lower_case
	mov	ecx,ebp
	cmp	cl,4
	ja	no_instruction
	sub	cl,2
	jc	no_instruction
	movzx	ebx,word [data_directives+ecx*4]
	add	ebx,data_directives
	movzx	edx,word [data_directives+ecx*4+2]
	jmp	scan_instructions
 
get_instruction:
	push	esi
	mov	ebp,ecx
	call	lower_case
	mov	ecx,ebp
	cmp	cl,11
	ja	no_instruction
	sub	cl,2
	jc	no_instruction
	movzx	ebx,word [instructions+ecx*4]
	add	ebx,instructions
	movzx	edx,word [instructions+ecx*4+2]
      scan_instructions:
	or	edx,edx
	jz	no_instruction
	mov	eax,edx
	shr	eax,1
	lea	edi,[ebp+3]
	imul	eax,edi
	lea	edi,[ebx+eax]
	mov	esi,converted
	mov	ecx,ebp
	repe	cmps byte [esi],[edi]
	ja	instructions_up
	jb	instructions_down
	pop	esi
	add	esi,ebp
	mov	al,[edi]
	mov	bx,[edi+1]
	clc
	ret
      no_instruction:
	pop	esi
	mov	ecx,ebp
	stc
	ret
      instructions_down:
	shr	edx,1
	jmp	scan_instructions
      instructions_up:
	lea	ebx,[edi+ecx+3]
	shr	edx,1
	adc	edx,-1
	jmp	scan_instructions
 
get_label_id:
	cmp	ecx,100h
	jae	name_too_long
	cmp	byte [esi],'@'
	je	anonymous_label
	cmp	byte [esi],'.'
	jne	standard_label
	cmp	byte [esi+1],'.'
	je	standard_label
	cmp	[current_locals_prefix],0
	je	standard_label
	push	edi
	mov	edi,[additional_memory_end]
	sub	edi,2
	sub	edi,ecx
	push	ecx esi
	mov	esi,[current_locals_prefix]
	lods	byte [esi]
	movzx	ecx,al
	sub	edi,ecx
	cmp	edi,[free_additional_memory]
	jb	out_of_memory
	mov	word [edi],0
	add	edi,2
	mov	ebx,edi
	rep	movs byte [edi],[esi]
	pop	esi ecx
	add	al,cl
	jc	name_too_long
	rep	movs byte [edi],[esi]
	pop	edi
	push	ebx esi
	movzx	ecx,al
	mov	byte [ebx-1],al
	mov	esi,ebx
	call	get_label_id
	pop	esi ebx
	cmp	ebx,[eax+24]
	jne	composed_label_id_ok
	lea	edx,[ebx-2]
	mov	[additional_memory_end],edx
      composed_label_id_ok:
	ret
      anonymous_label:
	cmp	ecx,2
	jne	standard_label
	mov	al,[esi+1]
	mov	ebx,characters
	xlat	byte [ebx]
	cmp	al,'@'
	je	new_anonymous
	cmp	al,'b'
	je	anonymous_back
	cmp	al,'r'
	je	anonymous_back
	cmp	al,'f'
	jne	standard_label
	add	esi,2
	mov	eax,[anonymous_forward]
	or	eax,eax
	jnz	anonymous_ok
	mov	eax,[current_line]
	mov	[error_line],eax
	call	allocate_label
	mov	[anonymous_forward],eax
      anonymous_ok:
	xor	ebx,ebx
	ret
      anonymous_back:
	mov	eax,[anonymous_reverse]
	or	eax,eax
	jz	new_anonymous
	add	esi,2
	jmp	anonymous_ok
      new_anonymous:
	add	esi,2
	mov	eax,[anonymous_forward]
	or	eax,eax
	jnz	new_anonymous_ok
	call	allocate_label
      new_anonymous_ok:
	mov	[anonymous_reverse],eax
	mov	[anonymous_forward],0
	jmp	anonymous_ok
      standard_label:
	cmp	byte [esi],'%'
	je	get_predefined_id
	cmp	byte [esi],'$'
	jne	find_label
	cmp	ecx,2
	ja	find_label
	inc	esi
	jb	get_current_offset_id
	inc	esi
	cmp	byte [esi-1],'$'
	je	get_org_origin_id
	sub	esi,ecx
	jmp	find_label
      get_current_offset_id:
	xor	eax,eax
	ret
      get_counter_id:
	mov	eax,1
	ret
      get_timestamp_id:
	mov	eax,2
	ret
      get_org_origin_id:
	mov	eax,3
	ret
      get_predefined_id:
	cmp	ecx,2
	ja	find_label
	inc	esi
	cmp	cl,1
	je	get_counter_id
	lods	byte [esi]
	mov	ebx,characters
	xlat	[ebx]
	cmp	al,'t'
	je	get_timestamp_id
	sub	esi,2
      find_label:
	xor	ebx,ebx
	mov	eax,2166136261
	mov	ebp,16777619
      hash_label:
	xor	al,[esi+ebx]
	mul	ebp
	inc	bl
	cmp	bl,cl
	jb	hash_label
	mov	ebp,eax
	shl	eax,8
	and	ebp,0FFh shl 24
	xor	ebp,eax
	or	ebp,ebx
	mov	[label_hash],ebp
	push	edi esi
	push	ecx
	mov	ecx,32
	mov	ebx,hash_tree
      follow_tree:
	mov	edx,[ebx]
	or	edx,edx
	jz	extend_tree
	xor	eax,eax
	shl	ebp,1
	adc	eax,0
	lea	ebx,[edx+eax*4]
	dec	ecx
	jnz	follow_tree
	mov	[label_leaf],ebx
	pop	edx
	mov	eax,[ebx]
	or	eax,eax
	jz	add_label
	mov	ebx,esi
	mov	ebp,[label_hash]
      compare_labels:
	mov	esi,ebx
	mov	ecx,edx
	mov	edi,[eax+4]
	mov	edi,[edi+24]
	repe	cmps byte [esi],[edi]
	je	label_found
	mov	eax,[eax]
	or	eax,eax
	jnz	compare_labels
	jmp	add_label
      label_found:
	add	esp,4
	pop	edi
	mov	eax,[eax+4]
	ret
      extend_tree:
	mov	edx,[free_additional_memory]
	lea	eax,[edx+8]
	cmp	eax,[additional_memory_end]
	ja	out_of_memory
	mov	[free_additional_memory],eax
	xor	eax,eax
	mov	[edx],eax
	mov	[edx+4],eax
	shl	ebp,1
	adc	eax,0
	mov	[ebx],edx
	lea	ebx,[edx+eax*4]
	dec	ecx
	jnz	extend_tree
	mov	[label_leaf],ebx
	pop	edx
      add_label:
	mov	ecx,edx
	pop	esi
	cmp	byte [esi-2],0
	je	label_name_ok
	mov	al,[esi]
	cmp	al,30h
	jb	name_first_char_ok
	cmp	al,39h
	jbe	invalid_name
      name_first_char_ok:
	cmp	al,'$'
	jne	check_for_reserved_word
	cmp	ecx,1
	jne	invalid_name
      reserved_word:
	mov	eax,0Fh
	pop	edi
	ret
      check_for_reserved_word:
	call	get_instruction
	jnc	reserved_word
	call	get_data_directive
	jnc	reserved_word
	call	get_symbol
	jnc	reserved_word
	sub	esi,2
	mov	edi,operators
	call	get_operator
	or	al,al
	jnz	reserved_word
	mov	edi,single_operand_operators
	call	get_operator
	or	al,al
	jnz	reserved_word
	mov	edi,directive_operators
	call	get_operator
	or	al,al
	jnz	reserved_word
	inc	esi
	movzx	ecx,byte [esi]
	inc	esi
      label_name_ok:
	mov	edx,[free_additional_memory]
	lea	eax,[edx+8]
	cmp	eax,[additional_memory_end]
	ja	out_of_memory
	mov	[free_additional_memory],eax
	mov	ebx,esi
	add	esi,ecx
	mov	eax,[label_leaf]
	mov	edi,[eax]
	mov	[edx],edi
	mov	[eax],edx
	call	allocate_label
	mov	[edx+4],eax
	mov	[eax+24],ebx
	pop	edi
	ret
      allocate_label:
	mov	eax,[labels_list]
	mov	ecx,LABEL_STRUCTURE_SIZE shr 2
      initialize_label:
	sub	eax,4
	mov	dword [eax],0
	loop	initialize_label
	mov	[labels_list],eax
	ret
 
LABEL_STRUCTURE_SIZE = 32
>

Rev 624	Rev 992
1	; flat assembler core	1	; flat assembler core
2	; Copyright (c) 1999-2007, Tomasz Grysztar.	2	; Copyright (c) 1999-2007, Tomasz Grysztar.
3	; All rights reserved.	3	; All rights reserved.
4		4
5	parser:	5	parser:
6	mov eax,[memory_end]	6	mov eax,[memory_end]
7	mov [labels_list],eax	7	mov [labels_list],eax
8	mov eax,[additional_memory]	8	mov eax,[additional_memory]
9	mov [free_additional_memory],eax	9	mov [free_additional_memory],eax
10	xor eax,eax	10	xor eax,eax
11	mov [current_locals_prefix],eax	11	mov [current_locals_prefix],eax
12	mov [anonymous_reverse],eax	12	mov [anonymous_reverse],eax
13	mov [anonymous_forward],eax	13	mov [anonymous_forward],eax
14	mov [hash_tree],eax	14	mov [hash_tree],eax
15	mov [blocks_stack],eax	15	mov [blocks_stack],eax
16	mov [parsed_lines],eax	16	mov [parsed_lines],eax
17	mov esi,[memory_start]	17	mov esi,[memory_start]
18	mov edi,[source_start]	18	mov edi,[source_start]
19	parser_loop:	19	parser_loop:
20	mov [current_line],esi	20	mov [current_line],esi
21	lea eax,[edi+100h]	21	lea eax,[edi+100h]
22	cmp eax,[labels_list]	22	cmp eax,[labels_list]
23	jae out_of_memory	23	jae out_of_memory
24	cmp byte [esi+16],0	24	cmp byte [esi+16],0
25	je empty_line	25	je empty_line
26	mov al,0Fh	26	cmp byte [esi+16],3Bh
-		27	je empty_line
-		28	mov al,0Fh
27	stos byte [edi]	29	stos byte [edi]
28	mov eax,esi	30	mov eax,esi
29	stos dword [edi]	31	stos dword [edi]
30	inc [parsed_lines]	32	inc [parsed_lines]
31	add esi,16	33	add esi,16
32	parse_line:	34	parse_line:
33	cmp byte [esi],1Ah	35	cmp byte [esi],1Ah
34	jne empty_instruction	36	jne empty_instruction
35	push edi	37	push edi
36	add esi,2	38	add esi,2
37	movzx ecx,byte [esi-1]	39	movzx ecx,byte [esi-1]
38	cmp byte [esi+ecx],':'	40	cmp byte [esi+ecx],':'
39	je simple_label	41	je simple_label
40	cmp byte [esi+ecx],'='	42	cmp byte [esi+ecx],'='
41	je constant_label	43	je constant_label
42	call get_instruction	44	call get_instruction
43	jnc main_instruction_identified	45	jnc main_instruction_identified
44	cmp byte [esi+ecx],1Ah	46	cmp byte [esi+ecx],1Ah
45	jne no_data_label	47	jne no_data_label
46	push esi ecx	48	push esi ecx
47	lea esi,[esi+ecx+2]	49	lea esi,[esi+ecx+2]
48	movzx ecx,byte [esi-1]	50	movzx ecx,byte [esi-1]
49	call get_data_directive	51	call get_data_directive
50	jnc data_label	52	jnc data_label
51	pop ecx esi	53	pop ecx esi
52	no_data_label:	54	no_data_label:
53	call get_data_directive	55	call get_data_directive
54	jnc main_instruction_identified	56	jnc main_instruction_identified
55	pop edi	57	pop edi
56	sub esi,2	58	sub esi,2
57	xor bx,bx	59	xor bx,bx
58	call parse_line_contents	60	call parse_line_contents
59	jmp parse_next_line	61	jmp parse_next_line
60	simple_label:	62	simple_label:
61	pop edi	63	pop edi
62	call identify_label	64	call identify_label
63	mov byte [edi],2	65	mov byte [edi],2
64	inc edi	66	inc edi
65	stos dword [edi]	67	stos dword [edi]
66	inc esi	68	inc esi
67	xor al,al	69	xor al,al
68	stos byte [edi]	70	stos byte [edi]
69	jmp parse_line	71	jmp parse_line
70	constant_label:	72	constant_label:
71	pop edi	73	pop edi
72	call get_label_id	74	call get_label_id
73	mov byte [edi],3	75	mov byte [edi],3
74	inc edi	76	inc edi
75	stos dword [edi]	77	stos dword [edi]
76	xor al,al	78	xor al,al
77	stos byte [edi]	79	stos byte [edi]
78	inc esi	80	inc esi
79	xor bx,bx	81	xor bx,bx
80	call parse_line_contents	82	call parse_line_contents
81	jmp parse_next_line	83	jmp parse_next_line
82	data_label:	84	data_label:
83	pop ecx edx	85	pop ecx edx
84	pop edi	86	pop edi
85	push eax ebx esi	87	push eax ebx esi
86	mov esi,edx	88	mov esi,edx
87	movzx ecx,byte [esi-1]	89	movzx ecx,byte [esi-1]
88	call identify_label	90	call identify_label
89	mov byte [edi],2	91	mov byte [edi],2
90	inc edi	92	inc edi
91	stos dword [edi]	93	stos dword [edi]
92	pop esi ebx eax	94	pop esi ebx eax
93	stos byte [edi]	95	stos byte [edi]
94	push edi	96	push edi
95	main_instruction_identified:	97	main_instruction_identified:
96	pop edi	98	pop edi
97	mov dl,al	99	mov dl,al
98	mov al,1	100	mov al,1
99	stos byte [edi]	101	stos byte [edi]
100	mov ax,bx	102	mov ax,bx
101	stos word [edi]	103	stos word [edi]
102	mov al,dl	104	mov al,dl
103	stos byte [edi]	105	stos byte [edi]
104	cmp bx,if_directive-assembler	106	cmp bx,if_directive-assembler
105	je parse_block	107	je parse_block
106	cmp bx,repeat_directive-assembler	108	cmp bx,repeat_directive-assembler
107	je parse_block	109	je parse_block
108	cmp bx,while_directive-assembler	110	cmp bx,while_directive-assembler
109	je parse_block	111	je parse_block
110	cmp bx,end_directive-assembler	112	cmp bx,end_directive-assembler
111	je parse_end_directive	113	je parse_end_directive
112	cmp bx,else_directive-assembler	114	cmp bx,else_directive-assembler
113	je parse_else	115	je parse_else
114	common_parse:	116	common_parse:
115	call parse_line_contents	117	call parse_line_contents
116	jmp parse_next_line	118	jmp parse_next_line
117	empty_instruction:	119	empty_instruction:
118	lods byte [esi]	120	lods byte [esi]
119	or al,al	121	or al,al
120	jz parse_next_line	122	jz parse_next_line
121	cmp al,':'	123	cmp al,':'
122	je invalid_name	124	je invalid_name
123	cmp al,3Bh	125	dec esi
124	je skip_preprocessed_symbol	-
125	dec esi	-
126	call parse_argument	126	cmp al,3Bh
-		127	je skip_rest_of_line
-		128	call parse_argument
127	jmp parse_next_line	129	jmp parse_next_line
128	skip_preprocessed_symbol:	130	empty_line:
129	lods byte [esi]	-
130	movzx eax,al	-
131	add esi,eax	-
132	skip_next:	-
133	lods byte [esi]	-
134	or al,al	-
135	jz parse_next_line	-
136	cmp al,1Ah	-
137	je skip_preprocessed_symbol	-
138	cmp al,3Bh	-
139	je skip_preprocessed_symbol	-
140	cmp al,22h	-
141	je skip_preprocessed_string	-
142	jmp skip_next	-
143	skip_preprocessed_string:	-
144	lods dword [esi]	-
145	add esi,eax	-
146	jmp skip_next	-
147	empty_line:	-
148	add esi,17	131	add esi,16
149	parse_next_line:	132	skip_rest_of_line:
-		133	call skip_foreign_line
-		134	parse_next_line:
150	cmp esi,[source_start]	135	cmp esi,[source_start]
151	jb parser_loop	136	jb parser_loop
152	source_parsed:	137	source_parsed:
153	cmp [blocks_stack],0	138	cmp [blocks_stack],0
154	je blocks_stack_ok	139	je blocks_stack_ok
155	pop eax	140	pop eax
156	pop [current_line]	141	pop [current_line]
157	jmp missing_end_directive	142	jmp missing_end_directive
158	blocks_stack_ok:	143	blocks_stack_ok:
159	xor al,al	144	xor al,al
160	stos byte [edi]	145	stos byte [edi]
161	;mov eax,[error_line]	146	add edi,0Fh
162	;mov [current_line],eax	-
163	;cmp [anonymous_forward],0	-
164	;jne invalid_value	-
165	add edi,0Fh	-
166	and edi,not 0Fh	147	and edi,not 0Fh
167	mov [code_start],edi	148	mov [code_start],edi
168	ret	149	ret
169	parse_block:	150	parse_block:
170	mov eax,esp	151	mov eax,esp
171	sub eax,100h	152	sub eax,100h
172	jc stack_overflow	153	jc stack_overflow
173	cmp eax,[stack_limit]	154	cmp eax,[stack_limit]
174	jb stack_overflow	155	jb stack_overflow
175	push [current_line]	156	push [current_line]
176	mov ax,bx	157	mov ax,bx
177	shl eax,16	158	shl eax,16
178	push eax	159	push eax
179	inc [blocks_stack]	160	inc [blocks_stack]
180	cmp bx,if_directive-assembler	161	cmp bx,if_directive-assembler
181	je parse_if	162	je parse_if
182	cmp bx,while_directive-assembler	163	cmp bx,while_directive-assembler
183	je parse_while	164	je parse_while
184	call parse_line_contents	165	call parse_line_contents
185	jmp parse_next_line	166	jmp parse_next_line
186	parse_end_directive:	167	parse_end_directive:
187	cmp byte [esi],1Ah	168	cmp byte [esi],1Ah
188	jne common_parse	169	jne common_parse
189	push edi	170	push edi
190	inc esi	171	inc esi
191	movzx ecx,byte [esi]	172	movzx ecx,byte [esi]
192	inc esi	173	inc esi
193	call get_instruction	174	call get_instruction
194	pop edi	175	pop edi
195	jnc parse_end_block	176	jnc parse_end_block
196	sub esi,2	177	sub esi,2
197	jmp common_parse	178	jmp common_parse
198	parse_end_block:	179	parse_end_block:
199	mov dl,al	180	mov dl,al
200	mov al,1	181	mov al,1
201	stos byte [edi]	182	stos byte [edi]
202	mov ax,bx	183	mov ax,bx
203	stos word [edi]	184	stos word [edi]
204	mov al,dl	185	mov al,dl
205	stos byte [edi]	186	stos byte [edi]
206	lods byte [esi]	187	lods byte [esi]
207	or al,al	188	or al,al
208	jnz extra_characters_on_line	189	jnz extra_characters_on_line
209	cmp bx,if_directive-assembler	190	cmp bx,if_directive-assembler
210	je close_parsing_block	191	je close_parsing_block
211	cmp bx,repeat_directive-assembler	192	cmp bx,repeat_directive-assembler
212	je close_parsing_block	193	je close_parsing_block
213	cmp bx,while_directive-assembler	194	cmp bx,while_directive-assembler
214	je close_parsing_block	195	je close_parsing_block
215	jmp parse_next_line	196	jmp parse_next_line
216	close_parsing_block:	197	close_parsing_block:
217	cmp [blocks_stack],0	198	cmp [blocks_stack],0
218	je unexpected_instruction	199	je unexpected_instruction
219	cmp bx,[esp+2]	200	cmp bx,[esp+2]
220	jne unexpected_instruction	201	jne unexpected_instruction
221	dec [blocks_stack]	202	dec [blocks_stack]
222	pop eax edx	203	pop eax edx
223	cmp bx,if_directive-assembler	204	cmp bx,if_directive-assembler
224	jne parse_next_line	205	jne parse_next_line
225	test al,1100b	206	test al,1100b
226	jz parse_next_line	207	jz parse_next_line
227	test al,10000b	208	test al,10000b
228	jnz parse_next_line	209	jnz parse_next_line
229	sub edi,8	210	sub edi,8
230	jmp parse_next_line	211	jmp parse_next_line
231	parse_if:	212	parse_if:
232	push edi	213	push edi
233	call parse_line_contents	214	call parse_line_contents
234	xor al,al	215	xor al,al
235	stos byte [edi]	216	stos byte [edi]
236	xchg esi,[esp]	217	xchg esi,[esp]
237	mov edi,esi	218	mov edi,esi
238	call preevaluate_logical_expression	219	call preevaluate_logical_expression
239	pop esi	220	pop esi
240	cmp al,'0'	221	cmp al,'0'
241	je parse_false_condition_block	222	je parse_false_condition_block
242	cmp al,'1'	223	cmp al,'1'
243	je parse_true_condition_block	224	je parse_true_condition_block
244	or byte [esp],10000b	225	or byte [esp],10000b
245	jmp parse_next_line	226	jmp parse_next_line
246	parse_while:	227	parse_while:
247	push edi	228	push edi
248	call parse_line_contents	229	call parse_line_contents
249	xor al,al	230	xor al,al
250	stos byte [edi]	231	stos byte [edi]
251	xchg esi,[esp]	232	xchg esi,[esp]
252	mov edi,esi	233	mov edi,esi
253	call preevaluate_logical_expression	234	call preevaluate_logical_expression
254	pop esi	235	pop esi
255	cmp al,'0'	236	cmp al,'0'
256	je parse_false_condition_block	237	je parse_false_condition_block
257	cmp al,'1'	238	cmp al,'1'
258	jne parse_next_line	239	jne parse_next_line
259	stos byte [edi]	240	stos byte [edi]
260	jmp parse_next_line	241	jmp parse_next_line
261	parse_false_condition_block:	242	parse_false_condition_block:
262	or byte [esp],1	243	or byte [esp],1
263	sub edi,4	244	sub edi,4
264	jmp skip_parsing	245	jmp skip_parsing
265	parse_true_condition_block:	246	parse_true_condition_block:
266	or byte [esp],100b	247	or byte [esp],100b
267	sub edi,4	248	sub edi,4
268	jmp parse_next_line	249	jmp parse_next_line
269	parse_else:	250	parse_else:
270	cmp [blocks_stack],0	251	cmp [blocks_stack],0
271	je unexpected_instruction	252	je unexpected_instruction
272	cmp word [esp+2],if_directive-assembler	253	cmp word [esp+2],if_directive-assembler
273	jne unexpected_instruction	254	jne unexpected_instruction
274	lods byte [esi]	255	lods byte [esi]
275	or al,al	256	or al,al
276	jz parse_pure_else	257	jz parse_pure_else
277	cmp al,1Ah	258	cmp al,1Ah
278	jne extra_characters_on_line	259	jne extra_characters_on_line
279	push edi	260	push edi
280	movzx ecx,byte [esi]	261	movzx ecx,byte [esi]
281	inc esi	262	inc esi
282	call get_instruction	263	call get_instruction
283	jc extra_characters_on_line	264	jc extra_characters_on_line
284	pop edi	265	pop edi
285	cmp bx,if_directive-assembler	266	cmp bx,if_directive-assembler
286	jne extra_characters_on_line	267	jne extra_characters_on_line
287	test byte [esp],100b	268	test byte [esp],100b
288	jnz skip_true_condition_else	269	jnz skip_true_condition_else
289	mov dl,al	270	mov dl,al
290	mov al,1	271	mov al,1
291	stos byte [edi]	272	stos byte [edi]
292	mov ax,bx	273	mov ax,bx
293	stos word [edi]	274	stos word [edi]
294	mov al,dl	275	mov al,dl
295	stos byte [edi]	276	stos byte [edi]
296	jmp parse_if	277	jmp parse_if
297	skip_true_condition_else:	278	skip_true_condition_else:
298	sub edi,4	279	sub edi,4
299	or byte [esp],1	280	or byte [esp],1
300	jmp skip_parsing_contents	281	jmp skip_parsing_contents
301	parse_pure_else:	282	parse_pure_else:
302	bts dword [esp],1	283	bts dword [esp],1
303	jc unexpected_instruction	284	jc unexpected_instruction
304	test byte [esp],100b	285	test byte [esp],100b
305	jz parse_next_line	286	jz parse_next_line
306	sub edi,4	287	sub edi,4
307	or byte [esp],1	288	or byte [esp],1
308	jmp skip_parsing	289	jmp skip_parsing
309	skip_parsing:	290	skip_parsing:
310	cmp esi,[source_start]	291	cmp esi,[source_start]
311	jae source_parsed	292	jae source_parsed
312	mov [current_line],esi	293	mov [current_line],esi
313	add esi,16	294	add esi,16
314	skip_parsing_line:	295	skip_parsing_line:
315	cmp byte [esi],1Ah	296	cmp byte [esi],1Ah
316	jne skip_parsing_contents	297	jne skip_parsing_contents
317	inc esi	298	inc esi
318	movzx ecx,byte [esi]	299	movzx ecx,byte [esi]
319	inc esi	300	inc esi
320	cmp byte [esi+ecx],':'	301	cmp byte [esi+ecx],':'
321	je skip_parsing_label	302	je skip_parsing_label
322	push edi	303	push edi
323	call get_instruction	304	call get_instruction
324	pop edi	305	pop edi
325	jnc skip_parsing_instruction	306	jnc skip_parsing_instruction
326	add esi,ecx	307	add esi,ecx
327	jmp skip_parsing_contents	308	jmp skip_parsing_contents
328	skip_parsing_label:	309	skip_parsing_label:
329	lea esi,[esi+ecx+1]	310	lea esi,[esi+ecx+1]
330	jmp skip_parsing_line	311	jmp skip_parsing_line
331	skip_parsing_instruction:	312	skip_parsing_instruction:
332	cmp bx,if_directive-assembler	313	cmp bx,if_directive-assembler
333	je skip_parsing_block	314	je skip_parsing_block
334	cmp bx,repeat_directive-assembler	315	cmp bx,repeat_directive-assembler
335	je skip_parsing_block	316	je skip_parsing_block
336	cmp bx,while_directive-assembler	317	cmp bx,while_directive-assembler
337	je skip_parsing_block	318	je skip_parsing_block
338	cmp bx,end_directive-assembler	319	cmp bx,end_directive-assembler
339	je skip_parsing_end_directive	320	je skip_parsing_end_directive
340	cmp bx,else_directive-assembler	321	cmp bx,else_directive-assembler
341	je skip_parsing_else	322	je skip_parsing_else
342	skip_parsing_contents:	323	skip_parsing_contents:
343	lods byte [esi]	324	lods byte [esi]
344	or al,al	325	or al,al
345	jz skip_parsing	326	jz skip_parsing
346	cmp al,1Ah	327	cmp al,1Ah
347	je skip_parsing_symbol	328	je skip_parsing_symbol
348	cmp al,3Bh	329	cmp al,3Bh
349	je skip_parsing_symbol	330	je skip_parsing_symbol
350	cmp al,22h	331	cmp al,22h
351	je skip_parsing_string	332	je skip_parsing_string
352	jmp skip_parsing_contents	333	jmp skip_parsing_contents
353	skip_parsing_symbol:	334	skip_parsing_symbol:
354	lods byte [esi]	335	lods byte [esi]
355	movzx eax,al	336	movzx eax,al
356	add esi,eax	337	add esi,eax
357	jmp skip_parsing_contents	338	jmp skip_parsing_contents
358	skip_parsing_string:	339	skip_parsing_string:
359	lods dword [esi]	340	lods dword [esi]
360	add esi,eax	341	add esi,eax
361	jmp skip_parsing_contents	342	jmp skip_parsing_contents
362	skip_parsing_block:	343	skip_parsing_block:
363	mov eax,esp	344	mov eax,esp
364	sub eax,100h	345	sub eax,100h
365	jc stack_overflow	346	jc stack_overflow
366	cmp eax,[stack_limit]	347	cmp eax,[stack_limit]
367	jb stack_overflow	348	jb stack_overflow
368	push [current_line]	349	push [current_line]
369	mov ax,bx	350	mov ax,bx
370	shl eax,16	351	shl eax,16
371	push eax	352	push eax
372	inc [blocks_stack]	353	inc [blocks_stack]
373	jmp skip_parsing_contents	354	jmp skip_parsing_contents
374	skip_parsing_end_directive:	355	skip_parsing_end_directive:
375	cmp byte [esi],1Ah	356	cmp byte [esi],1Ah
376	jne skip_parsing_contents	357	jne skip_parsing_contents
377	push edi	358	push edi
378	inc esi	359	inc esi
379	movzx ecx,byte [esi]	360	movzx ecx,byte [esi]
380	inc esi	361	inc esi
381	call get_instruction	362	call get_instruction
382	pop edi	363	pop edi
383	jnc skip_parsing_end_block	364	jnc skip_parsing_end_block
384	add esi,ecx	365	add esi,ecx
385	jmp skip_parsing_contents	366	jmp skip_parsing_contents
386	skip_parsing_end_block:	367	skip_parsing_end_block:
387	lods byte [esi]	368	lods byte [esi]
388	or al,al	369	or al,al
389	jnz extra_characters_on_line	370	jnz extra_characters_on_line
390	cmp bx,if_directive-assembler	371	cmp bx,if_directive-assembler
391	je close_skip_parsing_block	372	je close_skip_parsing_block
392	cmp bx,repeat_directive-assembler	373	cmp bx,repeat_directive-assembler
393	je close_skip_parsing_block	374	je close_skip_parsing_block
394	cmp bx,while_directive-assembler	375	cmp bx,while_directive-assembler
395	je close_skip_parsing_block	376	je close_skip_parsing_block
396	jmp skip_parsing	377	jmp skip_parsing
397	close_skip_parsing_block:	378	close_skip_parsing_block:
398	cmp [blocks_stack],0	379	cmp [blocks_stack],0
399	je unexpected_instruction	380	je unexpected_instruction
400	cmp bx,[esp+2]	381	cmp bx,[esp+2]
401	jne unexpected_instruction	382	jne unexpected_instruction
402	dec [blocks_stack]	383	dec [blocks_stack]
403	pop eax edx	384	pop eax edx
404	test al,1	385	test al,1
405	jz skip_parsing	386	jz skip_parsing
406	cmp bx,if_directive-assembler	387	cmp bx,if_directive-assembler
407	jne parse_next_line	388	jne parse_next_line
408	test al,10000b	389	test al,10000b
409	jz parse_next_line	390	jz parse_next_line
410	mov al,0Fh	391	mov al,0Fh
411	stos byte [edi]	392	stos byte [edi]
412	mov eax,[current_line]	393	mov eax,[current_line]
413	stos dword [edi]	394	stos dword [edi]
414	inc [parsed_lines]	395	inc [parsed_lines]
415	mov eax,1 + (end_directive-assembler) shl 8	396	mov eax,1 + (end_directive-assembler) shl 8
416	stos dword [edi]	397	stos dword [edi]
417	mov eax,1 + (if_directive-assembler) shl 8	398	mov eax,1 + (if_directive-assembler) shl 8
418	stos dword [edi]	399	stos dword [edi]
419	jmp parse_next_line	400	jmp parse_next_line
420	skip_parsing_else:	401	skip_parsing_else:
421	cmp [blocks_stack],0	402	cmp [blocks_stack],0
422	je unexpected_instruction	403	je unexpected_instruction
423	cmp word [esp+2],if_directive-assembler	404	cmp word [esp+2],if_directive-assembler
424	jne unexpected_instruction	405	jne unexpected_instruction
425	lods byte [esi]	406	lods byte [esi]
426	or al,al	407	or al,al
427	jz skip_parsing_pure_else	408	jz skip_parsing_pure_else
428	cmp al,1Ah	409	cmp al,1Ah
429	jne extra_characters_on_line	410	jne extra_characters_on_line
430	push edi	411	push edi
431	movzx ecx,byte [esi]	412	movzx ecx,byte [esi]
432	inc esi	413	inc esi
433	call get_instruction	414	call get_instruction
434	jc extra_characters_on_line	415	jc extra_characters_on_line
435	pop edi	416	pop edi
436	cmp bx,if_directive-assembler	417	cmp bx,if_directive-assembler
437	jne extra_characters_on_line	418	jne extra_characters_on_line
438	mov al,[esp]	419	mov al,[esp]
439	test al,1	420	test al,1
440	jz skip_parsing_contents	421	jz skip_parsing_contents
441	test al,100b	422	test al,100b
442	jnz skip_parsing_contents	423	jnz skip_parsing_contents
443	test al,10000b	424	test al,10000b
444	jnz parse_else_if	425	jnz parse_else_if
445	xor al,al	426	xor al,al
446	mov [esp],al	427	mov [esp],al
447	mov al,0Fh	428	mov al,0Fh
448	stos byte [edi]	429	stos byte [edi]
449	mov eax,[current_line]	430	mov eax,[current_line]
450	stos dword [edi]	431	stos dword [edi]
451	inc [parsed_lines]	432	inc [parsed_lines]
452	parse_else_if:	433	parse_else_if:
453	mov eax,1 + (if_directive-assembler) shl 8	434	mov eax,1 + (if_directive-assembler) shl 8
454	stos dword [edi]	435	stos dword [edi]
455	jmp parse_if	436	jmp parse_if
456	skip_parsing_pure_else:	437	skip_parsing_pure_else:
457	bts dword [esp],1	438	bts dword [esp],1
458	jc unexpected_instruction	439	jc unexpected_instruction
459	mov al,[esp]	440	mov al,[esp]
460	test al,1	441	test al,1
461	jz skip_parsing	442	jz skip_parsing
462	test al,100b	443	test al,100b
463	jnz skip_parsing	444	jnz skip_parsing
464	and al,not 1	445	and al,not 1
465	or al,1000b	446	or al,1000b
466	mov [esp],al	447	mov [esp],al
467	jmp parse_next_line	448	jmp parse_next_line
468		449
469	parse_line_contents:	450	parse_line_contents:
470	mov [parenthesis_stack],0	451	mov [parenthesis_stack],0
471	parse_instruction_arguments:	452	parse_instruction_arguments:
472	cmp bx,prefix_instruction-assembler	453	cmp bx,prefix_instruction-assembler
473	je allow_embedded_instruction	454	je allow_embedded_instruction
474	cmp bx,times_directive-assembler	455	cmp bx,times_directive-assembler
475	je parse_times_directive	456	je parse_times_directive
476	cmp bx,end_directive-assembler	457	cmp bx,end_directive-assembler
477	je allow_embedded_instruction	458	je allow_embedded_instruction
478	cmp bx,label_directive-assembler	459	cmp bx,label_directive-assembler
479	je parse_label_directive	460	je parse_label_directive
480	cmp bx,segment_directive-assembler	461	cmp bx,segment_directive-assembler
481	je parse_label_directive	462	je parse_label_directive
482	cmp bx,load_directive-assembler	463	cmp bx,load_directive-assembler
483	je parse_load_directive	464	je parse_load_directive
484	cmp bx,extrn_directive-assembler	465	cmp bx,extrn_directive-assembler
485	je parse_extrn_directive	466	je parse_extrn_directive
486	cmp bx,public_directive-assembler	467	cmp bx,public_directive-assembler
487	je parse_public_directive	468	je parse_public_directive
488	parse_argument:	469	parse_argument:
489	lea eax,[edi+100h]	470	lea eax,[edi+100h]
490	cmp eax,[labels_list]	471	cmp eax,[labels_list]
491	jae out_of_memory	472	jae out_of_memory
492	lods byte [esi]	473	lods byte [esi]
493	cmp al,':'	474	cmp al,':'
494	je instruction_separator	475	je instruction_separator

Subversion Repositories Kolibri OS

(root)/programs/develop/fasm/trunk/parser.inc – Rev 624 → 992