Skip to content
Discussion options

You must be logged in to vote

For the first question, pointer is a type you should support, and icmp is an instruction you should support. So yes, you should allow pointer comparisons.
For the second questions, any of the llvm instructions not mentioned in https://github.com/prosyslab-classroom/smallvm-typechecker-master#3-format-of-input-programs is considered nop.

Hope this clarifies your question.

Replies: 4 comments

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Answer selected by doit-man
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants
Converted from issue

This discussion was converted from issue #117 on May 31, 2024 04:58.