Linear scan 遇到不同 control flow conflict 的做法是暴力破解orz... 不過如果只是 general CFG 好像也沒有簡單的好解法