53 lines · plain
1; RUN: opt -passes=loop-unroll-and-jam -allow-unroll-and-jam -S < %s | FileCheck %s2;3; Verify that the llvm.loop.unroll_and_jam.count loop property overrides4; llvm.loop.disable_nonforced.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_enable(9; CHECK: load10; CHECK: load11; CHECK-NOT: load12; CHECK: br i113define void @disable_nonforced_enable(i32 %I, i32 %J, ptr noalias nocapture %A, ptr noalias nocapture readonly %B) {14entry:15 %cmp = icmp ne i32 %J, 016 %cmp122 = icmp ne i32 %I, 017 %or.cond = and i1 %cmp, %cmp12218 br i1 %or.cond, label %for.outer.preheader, label %for.end19 20for.outer.preheader:21 br label %for.outer22 23for.outer:24 %i.us = phi i32 [ %add8.us, %for.latch ], [ 0, %for.outer.preheader ]25 br label %for.inner26 27for.inner:28 %j.us = phi i32 [ 0, %for.outer ], [ %inc.us, %for.inner ]29 %sum1.us = phi i32 [ 0, %for.outer ], [ %add.us, %for.inner ]30 %arrayidx.us = getelementptr inbounds i32, ptr %B, i32 %j.us31 %0 = load i32, ptr %arrayidx.us, align 432 %add.us = add i32 %0, %sum1.us33 %inc.us = add nuw i32 %j.us, 134 %exitcond = icmp eq i32 %inc.us, %J35 br i1 %exitcond, label %for.latch, label %for.inner36 37for.latch:38 %add.us.lcssa = phi i32 [ %add.us, %for.inner ]39 %arrayidx6.us = getelementptr inbounds i32, ptr %A, i32 %i.us40 store i32 %add.us.lcssa, ptr %arrayidx6.us, align 441 %add8.us = add nuw i32 %i.us, 142 %exitcond25 = icmp eq i32 %add8.us, %I43 br i1 %exitcond25, label %for.end.loopexit, label %for.outer, !llvm.loop !044 45for.end.loopexit:46 br label %for.end47 48for.end:49 ret void50}51 52!0 = distinct !{!0, !{!"llvm.loop.disable_nonforced"}, !{!"llvm.loop.unroll_and_jam.count", i32 2}}53