[Question][Hw2] How do we know that the previous state is enough?

[qawbecrdtey]

There might be an issue if we don't store every states before the current, but the current implementation seems to only store the state of the immediately preceded block. How do we know that is sufficient?

[KAIST-JongchanPark]

I'm very sorry, but I cannot fully understand what your "issue" is...

Could you explain your question one more time in detail?

It would be helpful if there is any example.

[qawbecrdtey]

prev only holds the state from the preceding block.
In some complex program, there might be a case where the single previous state is not enough, but it seems like the program runs without problem.
Why is this the case? Why is the preceded state sufficient for the design with the phi node?

[goodtaeeun]

I guess what you mean by the "case where the single previous state is not enough" is a case where there are multiple incoming locations for a single instruction. In this case, all the information of the incoming blocks is well handled with the phi node.

[qawbecrdtey]

Thanks for the answer. Maybe I should think about it more.