LLVM insertvalue 优化不好？答案

【问题标题】：LLVM insertvalue bad optimized?LLVM insertvalue 优化不好？
【发布时间】：2012-02-15 11:01:31
【问题描述】：

当我发出 LLVM 代码时，是否应该避免将“insertvalue”指令与加载和存储结合使用？当我使用它时，我总是得到糟糕的优化本机代码。看下面的例子：

; ModuleID = 'mod'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-pc-linux-gnu"

%A = type { i64, i64, i64, i64, i64, i64, i64, i64 }

@aa = external global %A*

define void @func() {
entry:
  %a1 = load %A** @aa
  %a2 = load %A* %a1
  %a3 = insertvalue %A %a2, i64 3, 3
  store %A %a3, %A* %a1
  ret void
}

当我运行“llc -o - -O3 mod.ll”时，我得到了这个可怕的代码：

func:                                   # @func
.Ltmp0:
        .cfi_startproc
# BB#0:                                 # %entry
        movq    aa(%rip), %rax
        movq    (%rax), %r8
        movq    8(%rax), %r9
        movq    16(%rax), %r10
        movq    32(%rax), %rdi
        movq    40(%rax), %rcx
        movq    48(%rax), %rdx
        movq    56(%rax), %rsi
        movq    %rsi, 56(%rax)
        movq    %rdx, 48(%rax)
        movq    %rcx, 40(%rax)
        movq    %rdi, 32(%rax)
        movq    %r10, 16(%rax)
        movq    %r9, 8(%rax)
        movq    %r8, (%rax)
        movq    $3, 24(%rax)
        ret

但我想看到的是这样的：

func:                                   # @func
.Ltmp0:
        .cfi_startproc
# BB#0:                                 # %entry
        movq    aa(%rip), %rax
        movq    $3, 24(%rax)
        ret

当然我可以使用getelementptr什么的，但是有时候生成insertvalue和extractvalue指令比较容易，我希望这些能被优化...

我认为代码生成器很容易看出这些东西是不好的：

        movq    56(%rax), %rsi
        movq    %rsi, 56(%rax)

【问题讨论】：

您使用的是哪个 LLVM 版本？

标签： optimization code-generation llvm x86-64

【解决方案1】：

首先，请注意 llc 不进行任何 IR 级优化。因此，您应该运行 opt 来运行一组 IR 级优化器。

但是，opt 对此没有帮助。我希望标准的 IR 级优化器以某种方式将这些东西规范化为 gep。

请提交 LLVM PR，这看起来像是错过了优化！

【讨论】：