43 lines · plain
1// Use --mlir-disable-threading so that the AA queries are serialized2// as well as its diagnostic output.3// RUN: fir-opt %s -pass-pipeline='builtin.module(func.func(test-fir-alias-analysis))' -split-input-file --mlir-disable-threading 2>&1 | FileCheck %s4 5// Fortran code before simplification:6// SUBROUTINE mysub(ns,ne)7// INTEGER :: n8// REAL(KIND=8), DIMENSION(:), allocatable :: ar19// real(kind=8), dimension(20) :: ar210// REAL(KIND=8), DIMENSION(20) :: d11//12//!$OMP parallel PRIVATE(ar1)13// d(1:1) = (/(DOT_PRODUCT(ar1(1:n), ar2(1:n)),n=1, 1)/)14//!$OMP END parallel15// END SUBROUTINE16 17// CHECK-LABEL: Testing : "testPrivateAllocatable"18// CHECK: ar2#0 <-> ar1#0: NoAlias19// CHECK: ar2#1 <-> ar1#0: NoAlias20// CHECK: ar2#0 <-> ar1#1: NoAlias21// CHECK: ar2#1 <-> ar1#1: NoAlias22 23omp.private {type = private} @_QFmysubEar1_private_ref_box_heap_Uxf64 : !fir.box<!fir.heap<!fir.array<?xf64>>>24func.func @testPrivateAllocatable(%arg0: !fir.ref<i32> {fir.bindc_name = "ns"}, %arg1: !fir.ref<i32> {fir.bindc_name = "ne"}) {25 %0 = fir.dummy_scope : !fir.dscope26 %1 = fir.alloca !fir.box<!fir.heap<!fir.array<?xf64>>> {bindc_name = "ar1", uniq_name = "_QFmysubEar1"}27 %2 = fir.zero_bits !fir.heap<!fir.array<?xf64>>28 %c0 = arith.constant 0 : index29 %3 = fir.shape %c0 : (index) -> !fir.shape<1>30 %4 = fir.embox %2(%3) : (!fir.heap<!fir.array<?xf64>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xf64>>>31 fir.store %4 to %1 : !fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>32 %5:2 = hlfir.declare %1 {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFmysubEar1"} : (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>) -> (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>, !fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>)33 %c20 = arith.constant 20 : index34 %6 = fir.alloca !fir.array<20xf64> {bindc_name = "ar2", uniq_name = "_QFmysubEar2"}35 %7 = fir.shape %c20 : (index) -> !fir.shape<1>36 %8:2 = hlfir.declare %6(%7) {uniq_name = "_QFmysubEar2", test.ptr="ar2" } : (!fir.ref<!fir.array<20xf64>>, !fir.shape<1>) -> (!fir.ref<!fir.array<20xf64>>, !fir.ref<!fir.array<20xf64>>)37 omp.parallel private(@_QFmysubEar1_private_ref_box_heap_Uxf64 %5#0 -> %arg2 : !fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>) {38 %20:2 = hlfir.declare %arg2 {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFmysubEar1", test.ptr = "ar1"} : (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>) -> (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>, !fir.ref<!fir.box<!fir.heap<!fir.array<?xf64>>>>)39 omp.terminator40 }41 return42}43