1; RUN: llc -verify-machineinstrs -stop-after=hardware-loops -mcpu=pwr9 \
2; RUN:   -mtriple=powerpc64le-unknown-unknown < %s | FileCheck %s
3
4@a = internal global fp128 0xL00000000000000000000000000000000, align 16
5@x = internal global [4 x fp128] zeroinitializer, align 16
6@y = internal global [4 x fp128] zeroinitializer, align 16
7
8define void @fmul_ctrloop_fp128() {
9entry:
10  %0 = load fp128, fp128* @a, align 16
11  br label %for.body
12
13for.body:                                         ; preds = %for.body, %entry
14  %i.06 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
15  %arrayidx = getelementptr inbounds [4 x fp128], [4 x fp128]* @x, i64 0, i64 %i.06
16  %1 = load fp128, fp128* %arrayidx, align 16
17  %mul = fmul fp128 %0, %1
18  %arrayidx1 = getelementptr inbounds [4 x fp128], [4 x fp128]* @y, i64 0, i64 %i.06
19  store fp128 %mul, fp128* %arrayidx1, align 16
20  %inc = add nuw nsw i64 %i.06, 1
21  %exitcond = icmp eq i64 %inc, 4
22  br i1 %exitcond, label %for.end, label %for.body
23
24for.end:                                          ; preds = %for.body
25  ret void
26
27; CHECK-LABEL: fmul_ctrloop_fp128
28; CHECK-NOT:     call void @llvm.set.loop.iterations.i64(i64 4)
29; CHECK-NOT:     call i1 @llvm.loop.decrement.i64(i64 1)
30}
31
32declare void @obfuscate(i8*, ...) local_unnamed_addr #2
33