0

我一直在尝试使用 llvm 进行代码生成。我目前正在尝试为变量声明生成 IR。这是一个例子：

let sum: float = 8 * 3 * 4 + 6 * 9;

当我为此生成 IR 时，这就是我得到的：

  %sum = alloca float
  %sum1 = alloca float
  %sum2 = alloca float
  store float mul (float 8.000000e+00, float 3.000000e+00), float* %sum2
  %sum3 = load float, float* %sum2
  %sum4 = alloca float
  %sum5 = mul float %sum3, 4.000000e+00
  store float %sum5, float* %sum4
  %sum6 = load float, float* %sum4
  store float %sum6, float* %sum
  %sum_loaded = load float, float* %sum
  %sum7 = alloca float
  %sum8 = alloca float
  store float mul (float 6.000000e+00, float 9.000000e+00), float* %sum8
  %sum9 = load float, float* %sum8
  store float %sum9, float* %sum
  %sum_loaded10 = load float, float* %sum

首先，这看起来很混乱，我相信这可以更有效地完成。但我认为我可以稍后通过优化来修复它。我的问题是在测试中看看它是否有效。我试过了：

llc my_ir

哪个抛出：

llc: error: llc: my_ir:4:15: error: constexpr requires integer operands
  store float mul (float 8.000000e+00, float 3.000000e+00), float* %sum2

我不太明白这个错误信息，但听起来它不能乘以浮点数？这里发生了什么？

4

1 回答 1

2

我认为这只是你需要用来fmul乘以浮点数。

于 2020-05-21T02:15:57.317 回答