fin save taint mem; instru IR:add_i32, mul_i32