The AggressiveInstCombine pass does not support this optimization yet. The tests are added to observe the result of implementing the full multiplication pattern match.
These tests are added as requested in https://reviews.llvm.org/D56214.
Right. The existing tests seem ok.
Probably some negative tests will be needed though.