add InstCombineLoadStoreAlloca transformations
> add new equivalentAddressValues() predicate
> fix undef when alloca size == 0