Hm, 12ms for the IR is longer than I would expect for such a translation step. Do you know whwre this time is being spent?
Other than that, you're right that it might be a bit high. There's very likely parts of the lowering code which can be optimized, I just haven't had the need to yet.