GCC 使用什么代替 GEP？

Question

在两个最著名的 C 编译器中，LLVM 使用有点臭名昭著的getelementptr指令处理复合对象元素的地址计算，这可能在https://blog.yossarian.net/2020/09/19/LLVMs- 中讨论得最getelementptr 按示例获取元素

但基本上，就我所见，GEP 最显着的特点是它在 LLVM 指令中是独一无二的，它将任意长的计算序列放入一条指令中。 我一直无法解释为什么决定这样做，而不是将其分解为多个 LEA 指令，每个指令执行一次计算。

GCC 使用什么代替？

Godbolt 似乎没有为 GCC 提供 IR 输出，所以我从上面的页面举了一个例子：

typedef struct foo {
  struct {
    long field1;
    struct {
      long field2;
      long field3;
      union {
        long field4;
        char field5[32];
      } quux;
      long field6;
      long field7;
    } baz;
    long field8;
  } bar;
} foo;

foo chunky;

char take_field(void) {
  return chunky.bar.baz.quux.field5[17];
}

用gcc -fdump-tree-all ac编译，得到了ac020t.ssa其中包含以下内容：

;; Function take_field (take_field, funcdef_no=0, decl_uid=1810, cgraph_uid=0, symbol_order=1)

take_field ()
{
  char D.1813;
  char _2;

  <bb 2> [0.00%]:
  _2 = chunky.bar.baz.quux.field5[17];

<L0> [0.00%]:
  return _2;

}

现在，看到它与 LLVM 做同样的事情我不会感到惊讶。

看到它将大地址计算分解为一系列较小的计算，我也不会感到惊讶。

但据我所知，它实际上只是将所有计算压缩到一个“加 17”中。

这就是 GCC 处理地址计算的一般方式吗？ 如果是这样......我有点想问它为什么这样做，但我想真正的问题是相反的：如果这足够了，那么其他条件相同，更简单显然更好，所以如果这足够了，为什么LLVM 使用更复杂的形式，在一条指令中放置任意长的计算序列？ 将其压缩为单个数字是否有缺点？ 或者如果有缺点，那为什么 GCC 会这样做？