<div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><div style="margin:0;">Hi all:</div><div style="margin:0;"><br></div><div style="margin:0;">I write C code like this:</div><div style="margin:0;"><br></div><div style="margin:0;">```</div><div style="margin:0;">for (int i =0; i< 128; i++) {</div><div style="margin:0;"> printf("hello");</div><div style="margin:0;">}</div><div style="margin:0;">```</div><div style="margin:0;">I use this command to compile the above code.</div><div style="margin:0;">``</div><div style="margin:0;"><div style="margin:0;">clang -Xclang -disable-O0-optnone -O0  -emit-llvm -S main.c</div><div style="margin:0;">opt -O2  --print-after-all main.ll -S -o  main.mid.ll</div></div><div style="margin:0;">``</div><div style="margin:0;">And I find the LLVM IR have this changed after instCombine optimization.</div><div style="margin:0;"><br></div><div style="margin:0;">```</div><div style="margin:0;"><div style="margin:0;">*** IR Dump After Dead Argument Elimination ***</div><div style="margin:0;">; Function Attrs: noinline nounwind uwtable</div><div style="margin:0;">define dso_local i32 @main(i32 %argc, i8** %argv) local_unnamed_addr #0 {</div><div style="margin:0;">entry:</div><div style="margin:0;">  br label %for.cond</div><div style="margin:0;"><br></div><div style="margin:0;">for.cond:                                         ; preds = %for.body, %entry</div><div style="margin:0;">  %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.body ]</div><div style="margin:0;">  %cmp =<b> icmp sle i32 %i.0, 128</b></div><div style="margin:0;">  br i1 %cmp, label %for.body, label %for.end</div><div style="margin:0;"><br></div><div style="margin:0;">for.body:                                         ; preds = %for.cond</div><div style="margin:0;">  %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))</div><div style="margin:0;">  %inc = add nsw i32 %i.0, 1</div><div style="margin:0;">  br label %for.cond</div><div style="margin:0;"><br></div><div style="margin:0;">for.end:                                          ; preds = %for.cond</div><div style="margin:0;">  ret i32 0</div><div style="margin:0;">}</div><div style="margin:0;"><br></div><div style="margin:0;">*** IR Dump After Combine redundant instructions ***</div><div style="margin:0;">; Function Attrs: noinline nounwind uwtable</div><div style="margin:0;">define dso_local i32 @main(i32 %argc, i8** %argv) local_unnamed_addr #0 {</div><div style="margin:0;">entry:</div><div style="margin:0;">  br label %for.cond</div><div style="margin:0;"><br></div><div style="margin:0;">for.cond:                                         ; preds = %for.body, %entry</div><div style="margin:0;">  %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.body ]</div><div style="margin:0;">  %cmp = <b>icmp ult i32 %i.0, 129</b></div><div style="margin:0;">  br i1 %cmp, label %for.body, label %for.end</div><div style="margin:0;"><br></div><div style="margin:0;">for.body:                                         ; preds = %for.cond</div><div style="margin:0;">  %call = call i32 (i8*, ...) @printf(i8* nonnull dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))</div><div style="margin:0;">  %inc = add nuw nsw i32 %i.0, 1</div><div style="margin:0;">  br label %for.cond</div><div style="margin:0;"><br></div><div style="margin:0;">for.end:                                          ; preds = %for.cond</div><div style="margin:0;">  ret i32 0</div><div style="margin:0;">}</div><div style="margin:0;"><br></div><div style="margin:0;">¡¤¡¤¡¤</div><div style="margin:0;">I find the value 128 chaned to 129. So I want to know what's the purpose to changed the form?Can you give some example?</div><div style="margin:0;"><br></div><div style="margin:0;">Thanks</div><div style="margin:0;">Rock</div><div style="margin:0;"><br></div></div><div style="margin:0;"><br></div><div style="margin:0;"><br></div></div><br><br><span title="neteasefooter"><p> </p></span>