some optimizations of low-level IR