중첩된 문장

POJ(JVM의 Pascal)을 따르지 않는 사람들을 위해 하위 집합을 Pascal에서 JASM( Java Assembly)를 통해 JVM을 실행 환경으로 사용할 수 있습니다.

지난 게시물에서 특히 어셈블리 세대에서 몇 가지 중요한 버그를 해결했습니다. 이번 포스팅에서는 중첩된 문장에 대한 어셈블리를 올바르게 생성하는 방법에 대해 설명하겠습니다.

JVM용으로 컴파일하는 동안 이 놀라운 가상 머신의 다양한 지점의 기능을 자세히 설명할 필요가 있습니다. 따라서 JVM의 내부 기능과 일부 지침(opcode)을 여러 번 자세히 설명합니다.

컨텍스트

중첩된 문장을 올바르게 처리하는 데 필요한 기능 중 하나는 파서에서 여러 컨텍스트를 가질 수 있다는 것입니다. 이는 파서가 하나의 컨텍스트만 가정하는 경우 레이블과 점프를 생성하는 중첩된 제어 문장(예: if, for, while 및 repeat)은 점프 주소 지정을 잘못 생성합니다.

컨텍스트를 처리하는 방법에는 두 가지가 있습니다.

• 파서 재귀
• 스택 컨텍스트

일반적으로 저는 재귀 파서 접근 방식을 사용합니다. 그러나 ANTLR을 사용하여 재귀 파서를 구현하려면 POJ의 문법 구조로 인해 코드를 문법에 직접 삽입해야 하는데 이는 권장되지 않는 접근 방식입니다. 그 결과 우리는 stacking context 접근방식을 선택하게 되었습니다.

JVM에는 파서가 스택/언스택한 유형을 모니터링하는 스택 구현이 이미 있었기 때문에 특정 유형에 대해 또 다른 스택을 생성할 필요가 없도록 스택을 하나 생성하기로 결정했습니다. 🎜 >stack 이 PR에서는 일반적입니다. 나중에 이 구현을 활용할 수 있을 뿐만 아니라 이전 코드를 리팩터링하고 기존의 특정 스택을 제거할 수도 있습니다.

이

commit에서는 파서가 함수 컨텍스트를 올바르게 스택/언스택하도록 변경되었습니다. 기본적으로 함수의 파서 시작 부분에 컨텍스트가 스택되고, 마지막에 컨텍스트가 언스택됩니다.

중첩된 문장

if, for, while 및 repeat와 같은 제어 문장이 올바르게 작동했습니다. 그러나 중첩된 문장이 있는 경우 POJ는 컨텍스트를 저장하지 않아 레이블과 점프를 잘못 생성하게 되었습니다. 여기 저기에서는 어셈블리의 생성이 이러한 제어문에 대해 어떻게 작동하는지 논의했습니다.

if가 다른 항목 안에 중첩되어 있는 아래 예의 경우 POJ가 레이블과 필요한 점프를 잘못 생성했습니다.

program NestedIfs;
begin
  if (1 > 2) then
    if (2 > 3 ) then
      writeln('1 > 2 and 2 > 3')
    else
      writeln('1 > 2 and 2 <= 3')
  else
    writeln('1 <= 2');
end.

이 버그는 알려져 있었고 파서가 컨텍스트를 지원할 때 이를 해결하기로 결정했습니다.

이 커밋에서는 다음

레이블을 포함하는 LabelsContext 구조가 생성되었습니다.

• Else: if와 else;의 경우에 필요합니다.
• NextStatement: 다음 문의 레이블을 포함합니다.
• IterationStart: while, repeat 및 for의 경우 반복 구조를 테스트함을 나타냅니다.

어셈블리의 올바른 생성을 검증하기 위해 중첩된 if, 중첩된 반복, 중첩된 while 및 for를 검증하는 테스트가 생성되었습니다. 중첩되었습니다. 재귀 함수의 경우 어셈블리 생성을 검증하기 위해 여기에서 테스트가 생성되었습니다. 게다가 모든 기존 테스트의 예상 어셈블리를 업데이트해야 했습니다. 마지막으로 이번 PR에서는 파서가 새로운 컨텍스트 구조를 사용하도록 업데이트되었습니다.

다음은 이러한 변경 사항에 대한 전체 홍보입니다. 여기에는

if 문장의 올바른 작동을 위한 변경 사항이 포함된 commit이 있습니다. 여기에는 반복을 참조하는 commit이 있습니다. commit은 while을 참조하고 여기서 commit은 for를 참조합니다.

다음 단계

다음 포스팅에서는 데이터 입력에 대해 이야기해보겠습니다. 이제 이 프로젝트의 목표 중 하나인 표준 입력에서 숫자를 읽고 계승값을 계산하는 작업이 얼마 남지 않았습니다.

완전한 프로젝트 코드

프로젝트의 전체 코드와 문서가 포함된 저장소가 여기에 있습니다.

위 내용은 중첩된 문장의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!