[Question][Hw5] Shape of branch predicate

[jirheee]

Can we assume that variable comes at first operand of predicate like x < 10? Or should we consider something like 2<x?

[RiceBiscuits]

Please assume that the both cases are possible.

[jirheee]

Oh then should we consider something like 2>6 in the predicate?

[seyoungsong]

Should we consider something like (x > y) in the predicate? I think it is not possible ...

[RiceBiscuits]

@jirheee @seyoungsong Regardless of cases, you should just concentrate which an abstract type is assigned for the right or the left side of the predicate.

[jirheee]

Thank you!

[jirheee]

How about cases like x+y>5? This seem to be a lot harder....

[RiceBiscuits]

Please see corresponding *.ll file. Your analyzer reads *.ll file instead of *.c file.
IR representation of x+y>5 will be consisted of separate code lines.
For example, %add = add x y, and %cmp = cmp sgt %add 5.

[jirheee]

Oh now I got it Thank you!