无效的常量表达式比特广播

Posted 2023-02-16

【中文标题】无效的常量表达式比特广播

【英文标题】：Invalid constantexpr bitcast

【发布时间】：2015-12-20 20:47:00

【问题描述】：

我正在尝试使用 bitcast 获取指向常量结构的 i8 指针，但出现此错误：

llvm_test: Constants.cpp:1811: static llvm::Constant*
llvm::ConstantExpr::getBitCast(llvm::Constant*, llvm::Type*, bool): 
Assertion `CastInst::castIsValid(Instruction::BitCast, C, DstTy) && 
"Invalid constantexpr bitcast!"' failed.

我不确定我做错了什么，代码非常基本（在 OCaml 中）：

let const = const_struct llctx [|const_int i32_t 1;|] in
let ptr = const_bitcast const i8_ptr_t in  <--- Explodes here

有什么想法吗？

【参考方案1】：

const_struct 返回 i32 而不是 i32*。你必须把它放到一个全局变量中才能把它变成一个指针。