52 lines · plain
1; RUN: opt -passes='hardware-loops<force-hardware-loops;hardware-loop-decrement=1;hardware-loop-counter-bitwidth=32>' -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ALLOW2; RUN: opt -passes='hardware-loops<force-hardware-loops;hardware-loop-decrement=1;hardware-loop-counter-bitwidth=32>' -force-hardware-loop-guard=true -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ALLOW3; RUN: opt -passes='hardware-loops<force-hardware-loops;hardware-loop-decrement=1;hardware-loop-counter-bitwidth=32;force-hardware-loop-phi>' -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-LATCH4 5; CHECK-LABEL: not_rotated6; CHECK-LATCH-NOT: call void @llvm.set.loop.iterations7; CHECK-LATCH-NOT: call i1 @llvm.loop.decrement8 9; CHECK-ALLOW: bb:10; CHECK-ALLOW: [[COUNT:%[^ ]+]] = add i32 %arg, 111; CHECK-ALLOW: br label %bb312; CHECK-ALLOW: bb5:13; CHECK-ALLOW: call void @llvm.set.loop.iterations.i32(i32 [[COUNT]])14; CHECK-ALLOW: br label %bb715 16; CHECK-ALLOW: [[CMP:%[^ ]+]] = call i1 @llvm.loop.decrement.i32(i32 1)17; CHECK-ALLOW: br i1 [[CMP]], label %bb10, label %bb1618define void @not_rotated(i32 %arg, ptr nocapture %arg1, i16 signext %arg2) {19bb:20 br label %bb321 22bb3: ; preds = %bb16, %bb23 %tmp = phi i32 [ 0, %bb ], [ %tmp17, %bb16 ]24 %tmp4 = icmp eq i32 %tmp, %arg25 br i1 %tmp4, label %bb18, label %bb526 27bb5: ; preds = %bb328 %tmp6 = mul i32 %tmp, %arg29 br label %bb730 31bb7: ; preds = %bb10, %bb532 %tmp8 = phi i32 [ %tmp15, %bb10 ], [ 0, %bb5 ]33 %tmp9 = icmp eq i32 %tmp8, %arg34 br i1 %tmp9, label %bb16, label %bb1035 36bb10: ; preds = %bb737 %tmp11 = add i32 %tmp8, %tmp638 %tmp12 = getelementptr inbounds i16, ptr %arg1, i32 %tmp1139 %tmp13 = load i16, ptr %tmp12, align 240 %tmp14 = add i16 %tmp13, %arg241 store i16 %tmp14, ptr %tmp12, align 242 %tmp15 = add i32 %tmp8, 143 br label %bb744 45bb16: ; preds = %bb746 %tmp17 = add i32 %tmp, 147 br label %bb348 49bb18: ; preds = %bb350 ret void51}52