我有以下周期：
//condition will be set here to true or false
for (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.nph
bb.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 %bb3
bb3.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.us
bb3: ; 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 %bb3
bb5: ; 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;
}
它是一种循环不变优化的形式,它与第一次检查相结合,以避免在不执行循环的情况下计算条件.
对于那些会认为第一个解决方案更清晰的人来说,我们很高兴让编译器为我们做最好的优化！
