[X86] Add test coverage for #164853 (#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