Intel x86架构,Linux(wsl2 5.10.102.1) 平台上,gcc/g++(9.4)对位域的编译行为
好久没写过博客了,权当做个笔记,别以后忘了。之前一直都下意识的认为连续的对于位域的操作gcc编译之后应该会合并成一次store/mv操作,然而实际上连续的位域操作编译之后还是会变成一段一段的操作(即便是o3优化级别)。虽然intel平台上的store buffer保证了store操作的顺序性(参见intel开发者手册/蓝皮书 第三卷对store buffer以及内存序相关内容),即是说保证了在store操作顺序的对全局可见。然而这并没有保证操作的原子性(当然有可能store buffer可以合并对连续地址的store操作,不过俺没看见intel手册上有说),因为对位域的连续操作被编译成了多次mv/store操作,对一些要求操作原子性的情景不适用(使用union比较合适)
实例:
struct test{
uint64_t a : 4;
uint64_t b : 60;
};
int main(){
test t;
t.a = 3;
t.b = 4;
}
默认优化等级编译结果:
o3优化级别编译结果: