Add some alignment info where LLVM might otherwise be more pessimistic. In particular, %.nest_arg is always aligned even though it's bitcast from i8*. Pointers in vtables are also guaranteed to be stored at aligned addresses.

module bug16;

void func(long val)
{
    val >>= 32;
}

void main()
{
    func(64L);
}