57 lines · plain
1; RUN: opt -S -mtriple=amdgcn-unknown-amdhsa -passes=loop-unroll < %s | FileCheck %s2 3; Test that max iterations count to analyze (specific for the target)4; is enough to make the inner loop completely unrolled5; CHECK-LABEL: foo6define void @foo(ptr addrspace(5) %ptrB, ptr addrspace(5) %ptrC, i32 %A, i32 %A2, float %M) {7bb:8 br label %bb29 10bb2: ; preds = %bb7, %bb11 %i = phi i32 [ 0, %bb ], [ %i8, %bb7 ]12 br label %bb413 14bb3: ; preds = %bb715 ret void16 17bb4: ; preds = %bb10, %bb218 %i5 = phi i32 [ 0, %bb2 ], [ %i11, %bb10 ]19 %i6 = add nuw nsw i32 %i5, %i20 br label %for.body21 22bb7: ; preds = %bb1023 %i8 = add nuw nsw i32 %i, 124 %i9 = icmp eq i32 %i8, 825 br i1 %i9, label %bb3, label %bb226 27bb10: ; preds = %for.body28 %i11 = add nuw nsw i32 %i5, 129 %cmpj = icmp ult i32 %i11, 830 br i1 %cmpj, label %bb7, label %bb431 32; CHECK-LABEL: for.body33; CHECK-NOT: %phi = phi {{.*}}34for.body: ; preds = %bb4, %for.body35 %phi = phi i32 [ 0, %bb4 ], [ %inc, %for.body ]36 %mul = shl nuw nsw i32 %phi, 637 %add = add i32 %A, %mul38 %arrayidx = getelementptr inbounds float, ptr addrspace(5) %ptrC, i32 %add39 %ld1 = load float, ptr addrspace(5) %arrayidx, align 440 %mul2 = shl nuw nsw i32 %phi, 341 %add2 = add i32 %A2, %mul242 %arrayidx2 = getelementptr inbounds float, ptr addrspace(5) %ptrB, i32 %add243 %ld2 = load float, ptr addrspace(5) %arrayidx2, align 444 %mul3 = fmul contract float %M, %ld245 %add3 = fadd contract float %ld1, %mul346 store float %add3, ptr addrspace(5) %arrayidx, align 447 %add1 = add nuw nsw i32 %add, 204848 %arrayidx3 = getelementptr inbounds float, ptr addrspace(5) %ptrC, i32 %add149 %ld3 = load float, ptr addrspace(5) %arrayidx3, align 450 %mul4 = fmul contract float %ld2, %M51 %add4 = fadd contract float %ld3, %mul452 store float %add4, ptr addrspace(5) %arrayidx3, align 453 %inc = add nuw nsw i32 %phi, 154 %cmpi = icmp ult i32 %phi, 3155 br i1 %cmpi, label %for.body, label %bb1056}57