llvm libLLVMCore源码分析 18 - BlockAddress & ConstantExpr

源码路径

llvm\include\llvm\IR\Constant.h

llvm BlockAddress class

BlockAddress用于唯一标识一组（Function F，BasicBlock B）的地址：

blockaddress(@function, %block)

BlockAddress常量的类型是i8 addrspace(P)*，P是包含该BasicBlock的Function所在的地址空间（通常是0）。

BlockAddress只能用作indirectbr/callbr指令的操作数，或者和null作比较，其他情况都是未定义行为。

ConstantExpr

ConstantExpr表示常量表达式，既允许操作数为常量的表达式也被当做常量处理。

语法

trunc (CST to TYPE)

zext (CST to TYPE)

sext (CST to TYPE)

fptrunc (CST to TYPE)

fpext (CST to TYPE)

fptoui (CST to TYPE)

fptosi (CST to TYPE)

uitofp (CST to TYPE)

sitofp (CST to TYPE)

ptrtoint (CST to TYPE)

inttoptr (CST to TYPE)

bitcast (CST to TYPE)

addrspacecast (CST to TYPE)

getelementptr (TY, CSTPTR, IDX0, IDX1, ...), getelementptr inbounds (TY, CSTPTR, IDX0, IDX1, ...)

select (COND, VAL1, VAL2) 

icmp COND (VAL1, VAL2)

fcmp COND (VAL1, VAL2)

extractelement (VAL, IDX)

insertelement (VAL, ELT, IDX)

shufflevector (VEC1, VEC2, IDXMASK)

extractvalue (VAL, IDX0, IDX1, ...)

insertvalue (VAL, ELT, IDX0, IDX1, ...)

OPCODE (LHS, RHS) ; opcode可以是任何的的binary operations

如下代码：

extern constexpr float e = 50 * 20;
int constant_expr(int b) {
	return e;
}

生成的IR中就存在1个ConstantExpr：@e

@e = dso_local constant float 1.000000e+03, align 4
define dso_local i32 @_Z13constant_expri(i32 %b) #0 {
entry:
  ret i32 1000
}