[X86] Add test coverage for llvm#164853 (llvm#165245)

Show examples of where truncated loads of non-constant, but known
aligned, shift amounts can be folded into address math to avoid
loads/spills of large/illegal scalar integers

Author: RKSimon