如何在LLVM IR中将[8 x i1]转换为i8？编译生成问题求助

问题原因 #

1. [8 x i1]的内存布局非紧凑字节：LLVM中[8 x i1]是8个独立1位值的数组，默认数据布局下每个i1会占用1个字节的内存空间（而非紧凑的1位）。当你将这个数组传递给printByte时，函数只会读取数组第一个元素所在的字节（值为1），因此输出1。
2. 类型不匹配导致截断：printByte期望i8类型参数，但你传递的是[8 x i1]类型。LLVM处理这种不匹配时，会隐式取数组第一个元素并零扩展为i8，剩余7个i1元素完全被忽略，无法参与字节组成。

修复方案 #

方案1：整数移位拼接（适配ollvm支持的i32类型） #

利用ollvm支持的i32类型，将每个i1位扩展为i32，移位到对应位置后按位或拼接，最后截断为i8。示例LLVM IR代码：

; 按数组顺序处理8个i1位：[bit0, bit1, bit2, bit3, bit4, bit5, bit6, bit7]
%bit0 = zext i1 1 to i32          ; 最低位（bit0），值为1
%bit1 = zext i1 0 to i32
%shift1 = shl i32 %bit1, 1        ; 左移1位到bit1位置
%bit2 = zext i1 0 to i32
%shift2 = shl i32 %bit2, 2        ; 左移2位到bit2位置
%bit3 = zext i1 0 to i32
%shift3 = shl i32 %bit3, 3        ; 左移3位到bit3位置
%bit4 = zext i1 1 to i32
%shift4 = shl i32 %bit4, 4        ; 左移4位到bit4位置
%bit5 = zext i1 0 to i32
%shift5 = shl i32 %bit5, 5        ; 左移5位到bit5位置
%bit6 = zext i1 0 to i32
%shift6 = shl i32 %bit6, 6        ; 左移6位到bit6位置
%bit7 = zext i1 0 to i32
%shift7 = shl i32 %bit7, 7        ; 左移7位到bit7位置

; 按位或拼接所有移位后的值
%combined = or i32 %bit0, %shift1
%combined = or i32 %combined, %shift2
%combined = or i32 %combined, %shift3
%combined = or i32 %combined, %shift4
%combined = or i32 %combined, %shift5
%combined = or i32 %combined, %shift6
%combined = or i32 %combined, %shift7

; 截断为i8类型，此时值为0x11
%final_byte = trunc i32 %combined to i8
call void @printByte(i8 %final_byte)

方案2：使用bitcast（需配置紧凑数据布局） #

若能修改LLVM数据布局，让[8 x i1]紧凑存储为1字节，可直接用bitcast转换：

@byte_arr = constant [8 x i1] [i1 1, i1 0, i1 0, i1 0, i1 1, i1 0, i1 0, i1 0]
; 将数组指针强转为i8指针
%byte_ptr = bitcast [8 x i1]* @byte_arr to i8*
%final_byte = load i8, i8* %byte_ptr
call void @printByte(i8 %final_byte)

注意：此方法依赖数据布局配置，需添加类似target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"的设置，确保i1紧凑布局；默认布局下每个i1占1字节，此方法无效。

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