c++ - 如何在 LLVM IR 中实现非标量别名？

Question

我的目标是能够创建一个数组别名，例如对于变量a并且b位于非连续内存中，我可以创建一个c可以取消引用的变量，它c[0]是 的别名a和c[1]的别名b。现在我正在使用一个 LLVM ConstantArray 初始化程序，其中包含所需变量的全局别名，这会产生以下 IR：

@C = alias i16, i16* @A
@C.1 = alias i16, i16* @B

这是实现所需行为的正确方法吗？我无法以上述行为方式创建将此变量导入 C（通过 extern）。