1; RUN: opt -passes=loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=2 -S < %s | FileCheck %s 2; 3; Check that the disable_nonforced loop property is honored by 4; loop unroll-and-jam. 5; 6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 7 8; CHECK-LABEL: disable_nonforced 9; CHECK: load 10; CHECK-NOT: load 11define void @disable_nonforced(i32 %I, i32 %J, ptr noalias nocapture %A, ptr noalias nocapture readonly %B) { 12entry: 13 %cmp = icmp ne i32 %J, 0 14 %cmp122 = icmp ne i32 %I, 0 15 %or.cond = and i1 %cmp, %cmp122 16 br i1 %or.cond, label %for.outer.preheader, label %for.end 17 18for.outer.preheader: 19 br label %for.outer 20 21for.outer: 22 %i.us = phi i32 [ %add8.us, %for.latch ], [ 0, %for.outer.preheader ] 23 br label %for.inner 24 25for.inner: 26 %j.us = phi i32 [ 0, %for.outer ], [ %inc.us, %for.inner ] 27 %sum1.us = phi i32 [ 0, %for.outer ], [ %add.us, %for.inner ] 28 %arrayidx.us = getelementptr inbounds i32, ptr %B, i32 %j.us 29 %0 = load i32, ptr %arrayidx.us, align 4 30 %add.us = add i32 %0, %sum1.us 31 %inc.us = add nuw i32 %j.us, 1 32 %exitcond = icmp eq i32 %inc.us, %J 33 br i1 %exitcond, label %for.latch, label %for.inner 34 35for.latch: 36 %add.us.lcssa = phi i32 [ %add.us, %for.inner ] 37 %arrayidx6.us = getelementptr inbounds i32, ptr %A, i32 %i.us 38 store i32 %add.us.lcssa, ptr %arrayidx6.us, align 4 39 %add8.us = add nuw i32 %i.us, 1 40 %exitcond25 = icmp eq i32 %add8.us, %I 41 br i1 %exitcond25, label %for.end.loopexit, label %for.outer, !llvm.loop !0 42 43for.end.loopexit: 44 br label %for.end 45 46for.end: 47 ret void 48} 49 50!0 = distinct !{!0, !{!"llvm.loop.disable_nonforced"}} 51