Design: 조건부 분기에 대한 스택 팝핑 설명

에 만든 2017년 03월 27일 · 5코멘트 · 출처: WebAssembly/design

WebAssembly 컴파일러를 작성하고 있습니다. https://github.com/WebAssembly/spec/blob/634f0d9009404f498ef8d8bd510bd6f0941219cc/test/core/br_if.wast#L272 테스트를 보고 있습니다. 이 테스트는 약간 확장된 것처럼 보입니다.

(module
    (func
      $type-arg-void-vs-num-nested
      (result i32)

      block i32
        (i32.const 0)
        block
          (i32.const 1)
          (br_if 1)
        end
      end
    )
)

내가 얻는 오류는 다음과 같습니다.

Error: check failed:
test.wast:10:12
type stack size too small at br_if value. got 0, expected at least 1
          (br_if 1)
           ^^^^^^^

br_if 도달할 때 스택 크기가 2라고 생각합니다. 즉, 조건문에 대해 1을 팝한 다음 외부 블록을 충족시키기 위해 하나가 남습니다. (i32.const 0) 가 중첩 블록으로 넘어갈 것이라고 가정했습니다. 어떤 부분이 누락 되었습니까? 미리 감사드립니다.

출처

cretz

가장 유용한 댓글

이것은 각 블록이 자체 스택을 갖는다는 것을 의미합니까?
나는 그들이 자신의 스택을 얻는다고 말하지 않을 것입니다. 단지 한계가 있다는 것뿐입니다.
터질 수 있는 것. 그것이 실제로 wabt에서 구현되는 방식입니다.
값 스택 및 "레이블" 스택입니다. 각 레이블은 "한계"를 저장합니다.
레이블이 푸시될 때 값 스택의 크기입니다. 그러면 언제라도
pop, 당신은 상위 레이블의 한계에 대해 확인합니다.

둘 다 유효한 보기입니다. 의미적으로 "블록 로컬 스택" 보기에는
추가 불변량이 필요하지 않다는 장점이 있습니다. "단일 스택"으로
모든 한계와 같은 추가 정확성 가정이 필요합니다.
레이블 스택에서 발생하는 것은 현재 피연산자 스택의 범위 내에 있어야 합니다.
높이, 그들은 (반드시 엄격하게는 아니지만) 오름차순으로 발생해야합니다.
레이블 스택은 비워 둘 수 없습니다.

rossberg 에 2017년 03월 28일

👍2

모든 5 댓글

예, watt의 오류 보고는 여기에서 향상될 수 있습니다. 스택에 i32 가 두 개 있어도 연산자는 블록의 시작 부분을 지나치지 않으므로 사실상 하나만 있습니다.

binji 에 2017년 03월 28일

이것은 각 블록이 자체 스택을 갖는다는 것을 의미합니까? 의미론 문서에서 다음 진술에 혼란스러워했습니다.

블록 또는 루프 명령어 실행은 값 스택에 영향을 미치지 않습니다.

아마도 다음과 같이 변경되어야 합니다.

블록 또는 루프 명령어 실행은 값 스택에 영향을 미치지 않지만 실행 블록 외부의 모든 스택 값은 액세스할 수 없습니다.

아니면 내가 오해하고 있습니까?

cretz 에 2017년 03월 28일

이것은 각 블록이 자체 스택을 갖는다는 것을 의미합니까?

나는 그들이 자신의 스택을 얻는다고 말하지 않을 것입니다. 단지 터질 수 있는 것에 한계가 있다는 것뿐입니다. 이것이 실제로 wabt에서 구현되는 방식이며, 가치 스택과 "레이블" 스택이 있습니다. 각 레이블은 레이블이 푸시될 때 값 스택의 크기인 "한계"를 저장합니다. 그런 다음 팝업할 때마다 상위 레이블의 한계를 확인합니다.

블록 또는 루프 명령어 실행은 값 스택에 영향을 미치지 않습니다.
아마도 다음과 같이 변경되어야 합니다.
블록 또는 루프 명령어 실행은 값 스택에 영향을 미치지 않지만 블록 실행 블록 외부의 모든 스택 값은 액세스할 수 없습니다.
아니면 내가 오해하고 있습니까?

예, Semantics.md에서 이와 같은 것을 언급할 가치가 있습니다. 공식적인 산문 사양에 대한 작업도 있음을 언급해야 합니다.

binji 에 2017년 03월 28일

👍1

이것은 각 블록이 자체 스택을 갖는다는 것을 의미합니까?
나는 그들이 자신의 스택을 얻는다고 말하지 않을 것입니다. 단지 한계가 있다는 것뿐입니다.
터질 수 있는 것. 그것이 실제로 wabt에서 구현되는 방식입니다.
값 스택 및 "레이블" 스택입니다. 각 레이블은 "한계"를 저장합니다.
레이블이 푸시될 때 값 스택의 크기입니다. 그러면 언제라도
pop, 당신은 상위 레이블의 한계에 대해 확인합니다.

rossberg 에 2017년 03월 28일

👍2

정보에 대해서 감사드립니다. 실행 가능한 것이 없고 이를 설명하기 위해 더 공식적인 사양이 나올 것이기 때문에 이 글을 닫습니다.

cretz 에 2017년 04월 06일

이 페이지가 도움이 되었나요?

0 / 5 - 0 등급

Design: 조건부 분기에 대한 스택 팝핑 설명

가장 유용한 댓글

모든 5 댓글

관련 문제