Select and if_then_else

[ydy]

I’m a little confused about “if_then_else” used for unsafe memory access, I think it same as select. so why need use the “rewrite_unsafe_select.cc” to detect and rewrite unsafe select that contains memory access

[kparzysz]

Select evaluates all operands, if_then_else only evaluates the condition and the one corresponding operand.