maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Transforms/LoopUnroll/unloop.ll

474 lines
12 KiB
LLVM
Raw Normal View History

-unroll-scev flag removal llvm-svn: 139010
2011-09-03 01:36:14 +08:00
; RUN: opt < %s -S -loop-unroll -verify-loop-info | FileCheck %s
[PM] Teach LoopUnroll to update the LPM infrastructure as it unrolls loops. We do this by reconstructing the newly added loops after the unroll completes to avoid threading pass manager details through all the mess of the unrolling infrastructure. I've enabled some extra assertions in the LPM to try and catch issues here and enabled a bunch of unroller tests to try and make sure this is sane. Currently, I'm manually running loop-simplify when needed. That should go away once it is folded into the LPM infrastructure. Differential Revision: https://reviews.llvm.org/D28848 llvm-svn: 293011
2017-01-25 10:49:01 +08:00
; RUN: opt < %s -S -passes='require<opt-remark-emit>,loop(unroll),verify<loops>' | FileCheck %s
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
;
LoopInfo: Simplify ownership of Loop objects It's strange that LoopInfo mostly owns the Loop objects, but that it defers deleting them to the loop pass manager. Instead, change the oddly named "updateUnloop" to "markAsRemoved" and have it queue the Loop object for deletion. We can't delete the Loop immediately when we remove it, since we need its pointer identity still, so we'll mark the object as "invalid" so that clients can see what's going on. llvm-svn: 257191
2016-01-09 03:08:53 +08:00
; Unit tests for LoopInfo::markAsRemoved.
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
declare i1 @check() nounwind
; Ensure that tail->inner is removed and rely on verify-loopinfo to
; check soundness.
;
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @skiplevelexit(
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; CHECK: tail:
; CHECK-NOT: br
; CHECK: ret void
define void @skiplevelexit() nounwind {
entry:
br label %outer
outer:
br label %inner
inner:
%iv = phi i32 [ 0, %outer ], [ %inc, %tail ]
%inc = add i32 %iv, 1
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
call zeroext i1 @check()
br i1 true, label %outer.backedge, label %tail
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
tail:
br i1 false, label %inner, label %exit
outer.backedge:
br label %outer
exit:
ret void
}
; Remove the middle loop of a triply nested loop tree.
; Ensure that only the middle loop is removed and rely on verify-loopinfo to
; check soundness.
;
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @unloopNested(
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Outer loop control.
; CHECK: while.body:
; CHECK: br i1 %cmp3, label %if.then, label %if.end
; Inner loop control.
; CHECK: while.end14.i:
; CHECK: br i1 %call15.i, label %if.end.i, label %exit
; Middle loop control should no longer reach %while.cond.
; Now it is the outer loop backedge.
; CHECK: exit:
; CHECK: br label %while.cond.outer
define void @unloopNested() {
entry:
br label %while.cond.outer
while.cond.outer:
br label %while.cond
while.cond:
%cmp = call zeroext i1 @check()
br i1 %cmp, label %while.body, label %while.end
while.body:
%cmp3 = call zeroext i1 @check()
br i1 %cmp3, label %if.then, label %if.end
if.then:
br label %return
if.end:
%cmp.i48 = call zeroext i1 @check()
br i1 %cmp.i48, label %if.then.i, label %if.else20.i
if.then.i:
%cmp8.i = call zeroext i1 @check()
br i1 %cmp8.i, label %merge, label %if.else.i
if.else.i:
br label %merge
if.else20.i:
%cmp25.i = call zeroext i1 @check()
br i1 %cmp25.i, label %merge, label %if.else28.i
if.else28.i:
br label %merge
merge:
br label %while.cond2.i
while.cond2.i:
%cmp.i = call zeroext i1 @check()
br i1 %cmp.i, label %while.cond2.backedge.i, label %while.end.i
while.cond2.backedge.i:
br label %while.cond2.i
while.end.i:
%cmp1114.i = call zeroext i1 @check()
br i1 %cmp1114.i, label %while.body12.lr.ph.i, label %while.end14.i
while.body12.lr.ph.i:
br label %while.end14.i
while.end14.i:
%call15.i = call zeroext i1 @check()
br i1 %call15.i, label %if.end.i, label %exit
if.end.i:
br label %while.cond2.backedge.i
exit:
br i1 false, label %while.cond, label %if.else
if.else:
br label %while.cond.outer
while.end:
br label %return
return:
ret void
}
; Remove the middle loop of a deeply nested loop tree.
; Ensure that only the middle loop is removed and rely on verify-loopinfo to
; check soundness.
;
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; This test must be disabled until trip count computation can be optimized...
; rdar:14038809 [SCEV]: Optimize trip count computation for multi-exit loops.
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECKFIXME-LABEL: @unloopDeepNested(
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Inner-inner loop control.
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; CHECKFIXME: while.cond.us.i:
; CHECKFIXME: br i1 %cmp.us.i, label %next_data.exit, label %while.body.us.i
; CHECKFIXME: if.then.us.i:
; CHECKFIXME: br label %while.cond.us.i
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Inner loop tail.
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; CHECKFIXME: if.else.i:
; CHECKFIXME: br label %while.cond.outer.i
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Middle loop control (removed).
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; CHECKFIXME: valid_data.exit:
; CHECKFIXME-NOT: br
; CHECKFIXME: %cmp = call zeroext i1 @check()
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Outer loop control.
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; CHECKFIXME: copy_data.exit:
; CHECKFIXME: br i1 %cmp38, label %if.then39, label %while.cond.outer
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Outer-outer loop tail.
Prevent loop-unroll from making assumptions about undefined behavior. Fixes rdar:14036816, PR16130. There is an opportunity to compute precise trip counts for 'or' expressions and multi-exit loops. rdar:14038809: Optimize trip count computation for multi-exit loops. To do this we need to record the fact that ExitLimit assumes NSW. When it does not we can safely assume that the loop trip count is the minimum ExitLimt across all subexpressions and loop exits. llvm-svn: 183060
2013-06-01 07:34:46 +08:00
; CHECKFIXME: while.cond.outer.outer.backedge:
; CHECKFIXME: br label %while.cond.outer.outer
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
define void @unloopDeepNested() nounwind {
for.cond8.preheader.i:
%cmp113.i = call zeroext i1 @check()
br i1 %cmp113.i, label %make_data.exit, label %for.body13.lr.ph.i
for.body13.lr.ph.i:
br label %make_data.exit
make_data.exit:
br label %while.cond.outer.outer
while.cond.outer.outer:
br label %while.cond.outer
while.cond.outer:
br label %while.cond
while.cond:
br label %while.cond.outer.i
while.cond.outer.i:
%tmp192.ph.i = call zeroext i1 @check()
br i1 %tmp192.ph.i, label %while.cond.outer.split.us.i, label %while.body.loopexit
while.cond.outer.split.us.i:
br label %while.cond.us.i
while.cond.us.i:
%cmp.us.i = call zeroext i1 @check()
br i1 %cmp.us.i, label %next_data.exit, label %while.body.us.i
while.body.us.i:
%cmp7.us.i = call zeroext i1 @check()
br i1 %cmp7.us.i, label %if.then.us.i, label %if.else.i
if.then.us.i:
br label %while.cond.us.i
if.else.i:
br label %while.cond.outer.i
next_data.exit:
%tmp192.ph.i.lcssa28 = call zeroext i1 @check()
br i1 %tmp192.ph.i.lcssa28, label %while.end, label %while.body
while.body.loopexit:
br label %while.body
while.body:
br label %while.cond.i
while.cond.i:
%cmp.i = call zeroext i1 @check()
br i1 %cmp.i, label %valid_data.exit, label %while.body.i
while.body.i:
%cmp7.i = call zeroext i1 @check()
br i1 %cmp7.i, label %valid_data.exit, label %if.end.i
if.end.i:
br label %while.cond.i
valid_data.exit:
br i1 true, label %if.then, label %while.cond
if.then:
%cmp = call zeroext i1 @check()
br i1 %cmp, label %if.then12, label %if.end
if.then12:
br label %if.end
if.end:
%tobool3.i = call zeroext i1 @check()
br i1 %tobool3.i, label %copy_data.exit, label %while.body.lr.ph.i
while.body.lr.ph.i:
br label %copy_data.exit
copy_data.exit:
%cmp38 = call zeroext i1 @check()
br i1 %cmp38, label %if.then39, label %while.cond.outer
if.then39:
%cmp5.i = call zeroext i1 @check()
br i1 %cmp5.i, label %while.cond.outer.outer.backedge, label %for.cond8.preheader.i8.thread
for.cond8.preheader.i8.thread:
br label %while.cond.outer.outer.backedge
while.cond.outer.outer.backedge:
br label %while.cond.outer.outer
while.end:
ret void
}
; Remove a nested loop with irreducible control flow.
; Ensure that only the middle loop is removed and rely on verify-loopinfo to
; check soundness.
;
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @unloopIrreducible(
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; Irreducible loop.
; CHECK: for.inc117:
; CHECK: br label %for.cond103t
; Nested loop (removed).
; CHECK: for.inc159:
; CHECK: br label %for.inc163
define void @unloopIrreducible() nounwind {
entry:
br label %for.body
for.body:
%cmp2113 = call zeroext i1 @check()
br i1 %cmp2113, label %for.body22.lr.ph, label %for.inc163
for.body22.lr.ph:
br label %for.body22
for.body22:
br label %for.body33
for.body33:
br label %for.end
for.end:
%cmp424 = call zeroext i1 @check()
br i1 %cmp424, label %for.body43.lr.ph, label %for.end93
for.body43.lr.ph:
br label %for.end93
for.end93:
%cmp96 = call zeroext i1 @check()
br i1 %cmp96, label %if.then97, label %for.cond103
if.then97:
br label %for.cond103t
for.cond103t:
br label %for.cond103
for.cond103:
%cmp105 = call zeroext i1 @check()
br i1 %cmp105, label %for.body106, label %for.end120
for.body106:
%cmp108 = call zeroext i1 @check()
br i1 %cmp108, label %if.then109, label %for.inc117
if.then109:
br label %for.inc117
for.inc117:
br label %for.cond103t
for.end120:
br label %for.inc159
for.inc159:
br i1 false, label %for.body22, label %for.cond15.for.inc163_crit_edge
for.cond15.for.inc163_crit_edge:
br label %for.inc163
for.inc163:
%cmp12 = call zeroext i1 @check()
br i1 %cmp12, label %for.body, label %for.end166
for.end166:
ret void
}
; Remove a loop whose exit branches into a sibling loop.
; Ensure that only the loop is removed and rely on verify-loopinfo to
; check soundness.
;
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @unloopCriticalEdge(
A slew of unit tests for the recent LoopInfo::updateUnloop feature checked in at r137276 and r137341. llvm-svn: 137385
2011-08-12 07:38:09 +08:00
; CHECK: while.cond.outer.i.loopexit.split:
; CHECK: br label %while.body
; CHECK: while.body:
; CHECK: br label %for.end78
define void @unloopCriticalEdge() nounwind {
entry:
br label %for.cond31
for.cond31:
br i1 undef, label %for.body35, label %for.end94
for.body35:
br label %while.cond.i.preheader
while.cond.i.preheader:
br i1 undef, label %while.cond.i.preheader.split, label %while.cond.outer.i.loopexit.split
while.cond.i.preheader.split:
br label %while.cond.i
while.cond.i:
br i1 true, label %while.cond.i, label %while.cond.outer.i.loopexit
while.cond.outer.i.loopexit:
br label %while.cond.outer.i.loopexit.split
while.cond.outer.i.loopexit.split:
br i1 false, label %while.cond.i.preheader, label %Func2.exit
Func2.exit:
br label %while.body
while.body:
br i1 false, label %while.body, label %while.end
while.end:
br label %for.end78
for.end78:
br i1 undef, label %Proc2.exit, label %for.cond.i.preheader
for.cond.i.preheader:
br label %for.cond.i
for.cond.i:
br label %for.cond.i
Proc2.exit:
br label %for.cond31
for.end94:
ret void
}
; Test UnloopUpdater::removeBlocksFromAncestors.
;
; Check that the loop backedge is removed from the middle loop 1699,
; but not the inner loop 1676.
; CHECK: while.body1694:
; CHECK: br label %while.cond1676
; CHECK: while.end1699:
; CHECK: br label %sw.default1711
define void @removeSubloopBlocks() nounwind {
entry:
br label %tryagain.outer
tryagain.outer: ; preds = %sw.bb304, %entry
br label %tryagain
tryagain: ; preds = %while.end1699, %tryagain.outer
br i1 undef, label %sw.bb1669, label %sw.bb304
sw.bb304: ; preds = %tryagain
br i1 undef, label %return, label %tryagain.outer
sw.bb1669: ; preds = %tryagain
br i1 undef, label %sw.default1711, label %while.cond1676
while.cond1676: ; preds = %while.body1694, %sw.bb1669
br i1 undef, label %while.end1699, label %while.body1694
while.body1694: ; preds = %while.cond1676
br label %while.cond1676
while.end1699: ; preds = %while.cond1676
br i1 false, label %tryagain, label %sw.default1711
sw.default1711: ; preds = %while.end1699, %sw.bb1669, %tryagain
br label %defchar
defchar: ; preds = %sw.default1711, %sw.bb376
br i1 undef, label %if.end2413, label %if.then2368
if.then2368: ; preds = %defchar
unreachable
if.end2413: ; preds = %defchar
unreachable
return: ; preds = %sw.bb304
ret void
}
Fix a corner case in updating LoopInfo after fully unrolling an outer loop. The loop tree's inclusive block lists are painful and expensive to update. (I have no idea why they're inclusive). The design was supposed to handle this case but the implementation missed it and my unit tests weren't thorough enough. Fixes PR11335: loop unroll update. llvm-svn: 144970
2011-11-18 11:42:41 +08:00
; PR11335: the most deeply nested block should be removed from the outer loop.
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @removeSubloopBlocks2(
Fix a corner case in updating LoopInfo after fully unrolling an outer loop. The loop tree's inclusive block lists are painful and expensive to update. (I have no idea why they're inclusive). The design was supposed to handle this case but the implementation missed it and my unit tests weren't thorough enough. Fixes PR11335: loop unroll update. llvm-svn: 144970
2011-11-18 11:42:41 +08:00
; CHECK: for.cond3:
; CHECK-NOT: br
; CHECK: ret void
define void @removeSubloopBlocks2() nounwind {
entry:
%tobool.i = icmp ne i32 undef, 0
br label %lbl_616
lbl_616.loopexit: ; preds = %for.cond
br label %lbl_616
lbl_616: ; preds = %lbl_616.loopexit, %entry
br label %for.cond
for.cond: ; preds = %for.cond3, %lbl_616
br i1 false, label %for.cond1.preheader, label %lbl_616.loopexit
for.cond1.preheader: ; preds = %for.cond
br label %for.cond1
for.cond1.loopexit: ; preds = %for.cond.i
br label %for.cond1
for.cond1: ; preds = %for.cond1.loopexit, %for.cond1.preheader
br i1 false, label %for.body2, label %for.cond3
for.body2: ; preds = %for.cond1
br label %for.cond.i
for.cond.i: ; preds = %for.cond.i, %for.body2
br i1 %tobool.i, label %for.cond.i, label %for.cond1.loopexit
for.cond3: ; preds = %for.cond1
br i1 false, label %for.cond, label %if.end
if.end: ; preds = %for.cond3
ret void
}