Infer sext/zext/trunc insts