现代编译器可以像 C 一样优化 C 的最小子集是什么？ [关闭]

Question

我想生成一些 C 并验证它是否可以编译，因此我想使用 C 的一个子集来简化验证。 但是我不想限制可以编写的内容，所以我想要 C 的一个子集，这样给定任何 C 程序，您都可以编写一个程序，该程序将在现代编译器中编译成相同的机器代码。

例如，我认为以下构造是不必要的：

• x++, ++x, x—-, —-x
• （编辑：这些不是，感谢@dmuir 和@StoryTeller-UnslanderMonica）+=，-=，*=，/=，%=，<<=，@9876543325@，@98764 @、^=、|=
• a[i]
• 声明之外的数组类型
• p->m

对于某些优化，是否还有其他需要我的？

Answer 1

您可以从“C 的子集”中排除而无需编译器输出差异的内容包括：

• 前增量和后增量 (x++, ++x)。这包括必须明确模拟副作用的异常情况。

• 赋值运算符（x =+ .. 等）。这包括必须明确模拟副作用的异常情况。

• 数组访问（但不是数组的定义）或 * 作为指针取消引用（例如 x = *pointer; 替换为 x = pointer[0];）。

• 几乎所有空格（例如，除了换行符之外的所有空格），包括 cmets 和续行符（\ 在行尾）

• 三元组（可替换为普通字符）

• do、while和for（都可以用if和goto替换）；但不是switch（我希望现代编译器使用switch 关键字作为“考虑转换为跳转表”提示）

• break;（可替换为goto）

• inline 关键字（它通常被忽略）

• 表达式中的括号。这些可以通过重新排列表达式和/或使用临时变量（例如 x = (y + z) * 3; 替换为 temp = y + z; x = temp * 3;）来消除。

• 一半的关系运算符（例如x = a != b可以替换为x = !(a == b);，x = a <= b可以替换为x = !(a > b);等）

• 数字常量的十六进制和八进制（可以用十进制常量代替）

• 否定。可以用减法代替（例如x = -y;用x = 0 - y;代替）

• & 或 |。使用 DeMorgan 定律替换为等效项（例如，x = a & b; 替换为 x = ~(~a | ~b);）。

• && 或 ||。使用 DeMorgan 定律替换为等效项（例如，if( (a == b) && (c == d) ) 替换为 if( !(a != b) || (c != d) )）。

• 逗号用作语句分隔符。使用逗号作为语句分隔符的代码始终可以重构为不使用逗号分隔符的代码（例如，for(i = 0, j = 0; i < k; i++, j++) { foo(); } 替换为 j = 0; for(i = 0; i < k; i++) { foo(); j++; } 或 i = 0; j = 0; if(i < k) goto done; next: ; foo(); i = i + 1; j = j + 1; if( !(i < k)) goto next; done: ; }。

• enum。可以换成一组#define ..。

注意 1：“不需要编译器的输出有差异”（在我的第一句话中）意味着编译器的输出可能存在不需要的差异。

注 2：我“非常不喜欢”阅读执行这些操作的源代码。为了源代码的可读性（例如，调试“Idris to C”转换器的输出以查看转换器是否存在错误），我会避免执行此列表中的任何操作。