C struct 完成函数的汇编代码

Question

我得到了以下代码框架：

typedef struct node {
    _______________ x;
    _______________ y;
    struct node *next;
    struct node *prev;
} node_t;

node_t n;
void func() {
    node_t *m;
    m = ______________________;
    m->y /= 16;
    return; 
}

在 IA-32 linux 机器上生成以下汇编代码：

func:
  pushl %ebp
  movl n+12,%eax
  movl 16(%eax),%eax
  movl %esp,%ebp
  movl %ebp,%esp
  shrw $4,8(%eax)
  popl %ebp
  ret

我需要填写上面的空白。我确实相信，当我看到他的台词时：

m->y /= 16; and shrw $4,8(%eax)

这显然是 node_t *m 的第 8 个字节的右移。所以我认为在 y 之前有 8 个字节，所以 x 是 8 个字节长（双）。另外，我认为 struct 'node' 的总大小来自行

movl n+12, %eax

因为这是创建 node_t *m 的地方。我只是不确定如何从该行确定它的大小。

我也提供了这个信息

还应注意，指针的大小和对齐方式为 4 个字节。

Answer 1

在 32 位模式下，指针为 4 字节，通常在 4 字节边界上对齐。所以n + 12 实际上是将& n.next 加载到%eax。例如，如果y 是一个unsigned short，那么next之前的结构中有2个字节的填充。

movl 16(%eax),%eax 使用 16 字节的偏移量解除引用，给出：m = n.next->prev

---

struct node
{
    double x;          /* bytes: 0  .. 7  */
    unsigned short y;  /* bytes: 8  .. 9  */
                       /* bytes: 10 .. 11 */ /* (padding) */
    struct node *next; /* bytes: 12 .. 15 */
    struct node *prev; /* bytes: 16 .. 19 */
};