Generate stores and loads of the right width in IR, and correctly treat types that are by reference