95 lines · plain
1! RUN: %flang_fc1 -emit-hlfir -o - %s | FileCheck %s2 3! CHECK: #access_group = #llvm.access_group<id = distinct[0]<>>4! CHECK: #access_group1 = #llvm.access_group<id = distinct[1]<>>5! CHECK: #access_group2 = #llvm.access_group<id = distinct[2]<>>6! CHECK: #loop_vectorize = #llvm.loop_vectorize<disable = false>7! CHECK: #loop_annotation = #llvm.loop_annotation<vectorize = #loop_vectorize, parallelAccesses = #access_group>8! CHECK: #loop_annotation1 = #llvm.loop_annotation<vectorize = #loop_vectorize, parallelAccesses = #access_group1>9! CHECK: #loop_annotation2 = #llvm.loop_annotation<vectorize = #loop_vectorize, parallelAccesses = #access_group2>10 11! CHECK-LABEL: ivdep_test112subroutine ivdep_test1 13 integer :: a(10)14 !dir$ ivdep 15 !CHECK: fir.do_loop {{.*}} attributes {loopAnnotation = #loop_annotation}16 do i=1,1017 a(i)=i18 !CHECK: fir.store %[[ARG1:.*]] to %[[VAL_4:.*]]#0 {accessGroups = [#access_group]}19 !CHECK: %[[VAL_9:.*]] = fir.load %[[VAL_4]]#0 {accessGroups = [#access_group]} 20 !CHECK: %[[VAL_10:.*]] = fir.load %[[VAL_4]]#0 {accessGroups = [#access_group]}21 !CHECK: %[[VAL_11:.*]] = fir.convert %[[VAL_10]] : (i32) -> i6422 !CHECK: %[[VAL_12:.*]] = hlfir.designate %[[VAL_2:.*]]#0 (%[[VAL_11]]) : (!fir.ref<!fir.array<10xi32>>, i64)23 !CHECK: hlfir.assign %[[VAL_9]] to %[[VAL_12]] {access_groups = [#access_group]} : i32, !fir.ref<i32> 24 !CHECK: %[[VAL_14:.*]] = fir.convert %[[C1:.*]] : (index) -> i3225 !CHECK: %[[VAL_15:.*]] = fir.load %[[VAL_4]]#0 {accessGroups = [#access_group]}26 !CHECK: %[[VAL_16:.*]] = arith.addi %[[VAL_15]], %[[VAL_14]] overflow<nsw> : i3227 !CHECK: fir.result %[[VAL_16]] : i32 28 end do 29end subroutine ivdep_test130 31 32! CHECK-LABEL: ivdep_test233subroutine ivdep_test234 integer :: a(10), b(10), c(10)35 !dir$ ivdep 36 !dir$ unknown37 !CHECK: fir.do_loop {{.*}} attributes {loopAnnotation = #loop_annotation1}38 do i=1,1039 a(i)=b(i)+c(i)40 !CHECK: fir.store %[[ARG1:.*]] to %[[VAL_10:.*]]#0 {accessGroups = [#access_group1]}41 !CHECK: %[[VAL_15:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group1]}42 !CHECK: %[[VAL_16:.*]] = fir.convert %[[VAL_15]] : (i32) -> i6443 !CHECK: %[[VAL_17:.*]] = hlfir.designate %[[VAL_5:.*]]#0 (%[[VAL_16]]) : (!fir.ref<!fir.array<10xi32>>, i64)44 !CHECK: %[[VAL_18:.*]] = fir.load %[[VAL_17]] {accessGroups = [#access_group1]}45 !CHECK: %[[VAL_19:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group1]}46 !CHECK: %[[VAL_20:.*]] = fir.convert %[[VAL_19]] : (i32) -> i6447 !CHECK: %[[VAL_21:.*]] = hlfir.designate %[[VAL_8:.*]]#0 (%[[VAL_20]]) : (!fir.ref<!fir.array<10xi32>>, i64)48 !CHECK: %[[VAL_22:.*]] = fir.load %[[VAL_21]] {accessGroups = [#access_group1]}49 !CHECK: %[[VAL_23:.*]] = arith.addi %[[VAL_18]], %[[VAL_22]] : i32 50 !CHECK: %[[VAL_24:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group1]}51 !CHECK: %[[VAL_25:.*]] = fir.convert %[[VAL_24]] : (i32) -> i6452 !CHECK: %[[VAL_26:.*]] = hlfir.designate %[[VAL_2:.*]]#0 (%[[VAL_25]]) : (!fir.ref<!fir.array<10xi32>>, i64)53 !CHECK: hlfir.assign %[[VAL_23]] to %[[VAL_26]] {access_groups = [#access_group1]} : i32, !fir.ref<i32> 54 !CHECK: %[[VAL_28:.*]] = fir.convert %[[C1:.*]] : (index) -> i3255 !CHECK: %[[VAL_29:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group1]}56 !CHECK: %[[VAL_30:.*]] = arith.addi %[[VAL_29]], %[[VAL_28]] overflow<nsw> : i3257 !CHECK: fir.result %[[VAL_30]] : i3258 end do59end subroutine ivdep_test260 61 62! CHECK-LABEL: ivdep_test363subroutine ivdep_test364 integer :: a(10), b(10), c(10)65 !dir$ ivdep 66 !CHECK: fir.do_loop {{.*}} attributes {loopAnnotation = #loop_annotation2}67 do i=1,1068 a(i)=b(i)+c(i)69 call foo() 70 !CHECK: fir.store %[[ARG1:.*]] to %[[VAL_10:.*]]#0 {accessGroups = [#access_group2]}71 !CHECK: %[[VAL_15:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group2]}72 !CHECK: %[[VAL_16:.*]] = fir.convert %[[VAL_15]] : (i32) -> i6473 !CHECK: %[[VAL_17:.*]] = hlfir.designate %[[VAL_5:.*]]#0 (%[[VAL_16]]) : (!fir.ref<!fir.array<10xi32>>, i64)74 !CHECK: %[[VAL_18:.*]] = fir.load %[[VAL_17]] {accessGroups = [#access_group2]}75 !CHECK: %[[VAL_19:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group2]}76 !CHECK: %[[VAL_20:.*]] = fir.convert %[[VAL_19]] : (i32) -> i6477 !CHECK: %[[VAL_21:.*]] = hlfir.designate %[[VAL_8:.*]]#0 (%[[VAL_20]]) : (!fir.ref<!fir.array<10xi32>>, i64)78 !CHECK: %[[VAL_22:.*]] = fir.load %[[VAL_21]] {accessGroups = [#access_group2]}79 !CHECK: %[[VAL_23:.*]] = arith.addi %[[VAL_18]], %[[VAL_22]] : i32 80 !CHECK: %[[VAL_24:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group2]}81 !CHECK: %[[VAL_25:.*]] = fir.convert %[[VAL_24]] : (i32) -> i6482 !CHECK: %[[VAL_26:.*]] = hlfir.designate %[[VAL_2:.*]]#0 (%[[VAL_25]]) : (!fir.ref<!fir.array<10xi32>>, i64)83 !CHECK: hlfir.assign %[[VAL_23]] to %[[VAL_26]] {access_groups = [#access_group2]} : i32, !fir.ref<i32>84 !CHECK: fir.call @_QFivdep_test3Pfoo() fastmath<contract> {accessGroups = [#access_group2]}85 !CHECK: %[[VAL_28:.*]] = fir.convert %[[C1:.*]] : (index) -> i3286 !CHECK: %[[VAL_29:.*]] = fir.load %[[VAL_10]]#0 {accessGroups = [#access_group2]}87 !CHECK: %[[VAL_30:.*]] = arith.addi %[[VAL_29]], %[[VAL_28]] overflow<nsw> : i3288 !CHECK: fir.result %[[VAL_30]] : i32 89 end do90 contains91 subroutine foo()92 end subroutine93end subroutine ivdep_test394 95