If a tuple_pack_element_addr uses a scalar_pack_index rather than a dynamic_pack_index, we can replace it with tuple_element_addr, since the specific tuple element accessed is statically known.
Aidan Hall