Use Alias Analysis to hoist 2 loads from diamond to the common predecessor basic...