c – gcc是否用条件优化了我的周期？

概述我有以下周期： //condition will be set here to true or falsefor (int i = 0; i < LARGE_NUMBER; i++) { if (condition) { //do foo } else { //do bar }} 假设：一个循环,如果没有条件比条件更快. (这是真的？) 我有以下周期：

//condition will be set here to true or falsefor (int i = 0; i < LARGE_NUMBER; i++) {    if (condition) {        //do foo    } else {        //do bar    }}

假设：一个循环,如果没有条件比条件更快. (这是真的？)
问题：如果条件已经设定在循环周期之外,循环本身不接触条件,gcc是否会归因于我的？

如果没有,我应该切换if和for,重复的代码,违反DRY等.

解决方法 对于那些不想阅读冗长帖子的人来说,这个优化被称为(LLVM) Loop Unswitch.

为什么不问一个编译器？

voID foo(char* c);int main(int argc,char **argv) {  bool const condition = argc % 2;  for (int i = 0; i != argc; ++i) {    if (condition) {      foo(argv[1]);    } else {      foo(argv[0]);    }  }  return 0; }

转换成SSA表格(通过LLVM try out)：

define i32 @main(i32 %argc,i8** nocapture %argv) {entry:  %0 = icmp eq i32 %argc,0                       ; <i1> [#uses=1]  br i1 %0,label %bb5,label %bb.nphbb.nph:                                           ; preds = %entry  %1 = and i32 %argc,1                           ; <i32> [#uses=1]  %toBool = icmp eq i32 %1,0                     ; <i1> [#uses=1]  %2 = getelementptr inbounds i8** %argv,i64 1   ; <i8**> [#uses=1]  br i1 %toBool,label %bb3.us,label %bb3bb3.us:                                           ; preds = %bb3.us,%bb.nph  %i.07.us = phi i32 [ %4,%bb3.us ],[ 0,%bb.nph ] ; <i32> [#uses=1]  %3 = load i8** %argv,align 8                   ; <i8*> [#uses=1]  tail call voID @_Z3fooPc(i8* %3)  %4 = add nsw i32 %i.07.us,1                    ; <i32> [#uses=2]  %exitcond = icmp eq i32 %4,%argc               ; <i1> [#uses=1]  br i1 %exitcond,label %bb3.usbb3:                                              ; preds = %bb3,%bb.nph  %i.07 = phi i32 [ %6,%bb3 ],%bb.nph ]    ; <i32> [#uses=1]  %5 = load i8** %2,align 8                      ; <i8*> [#uses=1]  tail call voID @_Z3fooPc(i8* %5)  %6 = add nsw i32 %i.07,1                       ; <i32> [#uses=2]  %exitcond8 = icmp eq i32 %6,%argc              ; <i1> [#uses=1]  br i1 %exitcond8,label %bb3bb5:                                              ; preds = %bb3,%bb3.us,%entry  ret i32 0}

不太可读,所以让我指出一下这里：

> entry：检查argc是否等于0,如果是,则转到bb5(exit),否则转到bb.nph
> bb.nph：计算条件的值,请转到bb3.us其他去bb3
> bb3.us和bb3：分别为true和false的循环
> bb5：退出

编译器几乎可以转换代码,只要效果与您所要求的相似.在这种情况下,它已经有效地将代码重写为：

int main(int argc,char**argv) {  if (argc != 0)  {    int i = 0;    if (argc % 2) {      do {        foo(argv[1]);        ++i;      } while (i != argc);    } else {      do {        foo(argv[0]);        ++i;      } while (i != argc);    }  }  return 0;}

它是一种循环不变优化的形式,它与第一次检查相结合,以避免在不执行循环的情况下计算条件.

对于那些会认为第一个解决方案更清晰的人来说,我们很高兴让编译器为我们做最好的优化！

总结

以上是内存溢出为你收集整理的c – gcc是否用条件优化了我的周期？全部内容，希望文章能够帮你解决c – gcc是否用条件优化了我的周期？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。