如何获取LLVM数组的切片？extractvalue多索引报错咨询

问题场景 #

单索引的extractvalue指令可正常执行：

%r1 = extractvalue [6 x i1] [i1 0, i1 1, i1 0, i1 1, i1 0, i1 0], 1

但添加第二个索引后运行llc会报错：

%r1 = extractvalue [6 x i1] [i1 0, i1 1, i1 0, i1 1, i1 0, i1 0], 1, 2

报错信息：error: invalid indices for extractvalue

核心原因与解决方案 #

多索引报错的原因 #

extractvalue的作用是从聚合类型（结构体、数组、向量）中提取单个元素。索引序列仅用于定位嵌套聚合类型里的元素（比如数组的数组），而你使用的[6 x i1]是一维数组，只能用单个索引定位元素，多索引属于非法用法，因此触发报错。

实现数组切片的方法 #

LLVM没有直接提取数组切片的指令，但可以通过以下方式实现类似效果：

• 循环+单元素操作：对于一维数组，通过循环调用extractvalue逐个提取切片范围内的元素，再用insertvalue将这些元素组合成新数组；如果是向量类型（如<6 x i1>），可以用extractelement和insertelement完成同类操作。
• 内存拷贝：如果数组存储在内存中，直接使用llvm.memcpy指令复制指定长度的内存块到新数组的内存地址，这种方式适合处理较大的数组，效率较高。
• 手动构造新数组：如果切片范围固定且元素数量较少，直接通过数组字面量手动构造包含目标元素的新数组即可，无需复杂指令。

内容的提问来源于stack exchange，提问作者Eric D