[Question][Hw5] Abstract Semantics

[john-mai-2605]

I dont understand what we have to do for "transfer_atomic, transfer_cond, transfer_phi"
Can anyone give me some hints ...

[RiceBiscuits]

transfer_* functions calculate a memory state (Abstract memory) that represent after executing given node.

[john-mai-2605]

How does transfer_cond differ from filter?

[RiceBiscuits]

Filter will refine a variable using pred, and transfer_cond deals a conditional branches using Filter.
And transfer_cond should do almost everything except Filter can do.
Such as, determine what kind of instructions has been provided from the caller function.

[john-mai-2605]

Sorry for too many questions. I have 1 last question.
In transfer phi, I saw that there are iterations in both i and j in the doc. But in the code, there is only 1 list of instr. How should I understand this function? Thank you

[KAIST-JongchanPark]

I think #155 might be helpful for @john-mai-2605 's last question

[john-mai-2605]

Closed