[HW2] Question about syntax & semantics of print

[ksy980418]

Your Name

김상윤

Question

구현 중 print 관련 궁금한 사항이 있어 질문 남기게 되었습니다. 문서에는 print(x)로 나와 있어서 단순히 variable만을 출력하는 식으로 구현을 했었는데, 이를 variable이 아닌 expression evaluation을 하는 식으로 바꾸어 구현했더니 점수가 올랐습니다. 이렇다면 print(x)가 아닌 print(E) 와 같은 방식으로 바뀌어야 되는 것이 아닌가요? 혹시 제가 잘못 이해하고 있는 부분이 있다면 설명 부탁드립니다.
감사합니다.

---

I have a question about print during implementation, so I'm leaving a question. The document says print(x), so I implemented it by simply printing only the variable, but when I changed it to evaluate expression instead of variable, the score grows. Therefore, shouldn't it be changed to something like print(E) instead of print(x)? If there's anything I misunderstood, please explain. Thank you.

[bongjunj]

LLVM IR은 SSA-form으로 작성되기 때문에 print(E)같은 프로그램은 작성하는 게 불가능한 것으로 압니다.
항상 x := E; print(x) 여야 합니다. 그래서 syntax가 print(x)로 고정된 것 같고요.

대신에 지금 문서의 실행의미 자체가 수학적으로 메모리 간의 transition으로 표현되기 때문에
print라는 side effect를 기술하는데 한계가 있는 것 같습니다.
제 생각에는 문서에 x := E, v = [[E]](m) 그리고 자연어로 print v to stdout를 적는 정도가 최선이 아닐까 싶네요.

[ksy980418]

안녕하세요 답변 감사드립니다.

말씀해주신 내용이 과제 document 상에 설명되어 있는 내용이라고 이해했습니다.

제가 말씀드리고 싶은 내용은제가 생각하기엔 gradescope에서 테스트 되는 코드에는 print(n) 형식의 syntax도 테스트 되는 것으로 보여서 질문 글을 올렸습니다.

말씀해주신대로 print(x)의 syntax만 고려하여 구현한 코드와 위의 syntax를 고려하여 구현한 코드가 점수가 다르더라고요.

제가 파악한 것이 맞다면, 단순히 print(x)로 syntax가 표현되는 것은 문제가 있어보여서요.

감사합니다.

[sujin0529]

상윤님, 안녕하세요.
실제로는 llvm의 syntax를 고려하여 구현되어야 했던 것이 맞습니다.
과제의 syntax만으로 혼동이 없게 하기 위해서 print(E) 로 표기하는 게 더 올바를 것 같습니다.

감사합니다.

---

Hi,

In fact, it should have been implemented considering LLVM's syntax.
Defining it as print(E) seems more appropriate to avoid confusion when using only this homework's syntax.

Thank you.

[ksy980418]

아 제가 llvm의 syntax를 고려하지 못 했네요. 답변 감사합니다!!