此 C 代码的哪一部分丢失或需要更改？

Question

对于我的作业，我必须填写以下 C 代码的缺失部分。 但是，我不确定缺少哪些部分或必须填写哪些部分。 我有一个该代码将生成的示例汇编代码，但不知道我必须更改哪些部分才能获得预期的结果。我只是想澄清一下。

typedef enum {MODE_A, MODE_B, MODE_C, MODE_D, MODE_E} mode_t;
long switch3 (long *p1, long *p2, mode_t action) {
  long result = 0;
  switch(action){
  case MODE_A:
  case MODE_B:
  case MODE_C:
  case MODE_D:
  case MODE_E:
  default;
  }
  return result;
}

其他要点：

• 可能有一些情况应该写在 C 中 带有失败的代码
• 代码显示开关中枚举类型值的分支 陈述。 （问题：简单来说这到底是什么意思？我的教授提供了一个我不明白的复杂定义。）

汇编代码结果示例：

# p1 in %rdi, p2 in %rsi, action in %edx
.L2:                         # MODE_E
      movl    $27, %eax
      ret
.L7:                         # MODE_A
      movl    (%rsi), %rax
      movq    (%rdi), %rdx
      movq     %rdx, (%rsi)
      ret
.L5:                         # MODE_B
      movq     (%rdi), %rax
      addq     (%rsi), %rax
      movq      %rax, (%rdi)
      ret
.L4:                         # MODE_C
      movq     $59, (%rdi)
      movq     (%rsi), %rax
      ret
.L3:                         # MODE_D
      movq     (%rsi), %rax
      movq      %rax, (%rdi)
      movl      $27, %eax
      ret
.L8:                         # default
      movl      $12, %eax
      ret

Answer 1

因为这是一个任务，我不会给你代码。但这里对这两点进行澄清。

switch() case通常可以被视为一个块，例如：

if(myvar == ...){
    //branch1
} else if(myvar == ...){
    //branch2
}
...

每个if 都是一个分支，在您的情况下，每个分支条件都取决于一个枚举值。那应该回答branching on an enumerated type value in a switch statement 的问题。

我写“一般”是因为，事实上switch case 更像是一个asm jump if equals。所以一旦它到达正确的case，下面的所有代码都会被执行，甚至是下一个casestatements 中的代码。您必须通过以编程方式停止 switch 块来处理此问题（您要么破坏它，要么返回）。这是fall-through 点。

您可以找到很多解释 switch case 工作原理的网站。

现在你必须用正确的实现填充每个case——它似乎是排列。

Answer 2

这不是很清楚。但据我了解，教授提供了一个汇编代码和一个 C 代码
我认为他希望你以这种方式扩展 C 代码，编译它会产生类似于他提供的汇编代码。

我希望我没有搞砸（我在阅读 AT&T 语法时遇到了重大问题），但对我来说这看起来像：

typedef enum {MODE_A, MODE_B, MODE_C, MODE_D, MODE_E} mode_t;
long switch3 (long *p1, long *p2, mode_t action) {
  long result = 0;
  switch(action){
    case MODE_A:  result = *p2; *p2 = *p1; break;
    case MODE_B:  result = *p2; *p1 = *p1 + *p2; break;
    case MODE_C:  result = *p2; *p1 = 59; break;
    case MODE_D: *p1 = *p2;  // fallthru to E
    case MODE_E: result = 27 break;
    default: result = 12;
  }
  return result;
}

“可能有一些情况应该用 C 代码写成一个失败”对我来说是一个提示

    case MODE_D: *p1 = *p2;  // fallthru to E
    case MODE_E: result = 27 break;

应该写，而不是

    case MODE_D: *p1 = *p2;  result = 27 break;
    case MODE_E: result = 27 break;

（结果相同）即使编译器为此选择了另一个标签