flang/test/Evaluate/folding06.f90

   1 ! RUN: %python %S/test_folding.py %s %flang_fc1
   2 ! Test transformational intrinsic function folding
   3
   4 module m
   5
   6   ! Testing ASSOCATED
   7   integer, pointer :: int_pointer
   8   integer, allocatable :: int_allocatable
   9   logical, parameter :: test_Assoc1 = .not.(associated(null()))
  10   !WARN: portability: POINTER= argument of ASSOCIATED() would not be a valid left-hand side of a pointer assignment statement
  11   !WARN: because: 'NULL()' is a null pointer
  12   logical, parameter :: test_Assoc2 = .not.(associated(null(), null()))
  13   logical, parameter :: test_Assoc3 = .not.(associated(null(int_pointer)))
  14   logical, parameter :: test_Assoc4 = .not.(associated(null(int_allocatable)))
  15   !WARN: portability: POINTER= argument of ASSOCIATED() would not be a valid left-hand side of a pointer assignment statement
  16   !WARN: because: 'NULL()' is a null pointer
  17   logical, parameter :: test_Assoc5 = .not.(associated(null(), null(int_pointer)))
  18   !WARN: portability: POINTER= argument of ASSOCIATED() would not be a valid left-hand side of a pointer assignment statement
  19   !WARN: because: 'NULL()' is a null pointer
  20   logical, parameter :: test_Assoc6 = .not.(associated(null(), null(int_allocatable)))
  21
  22   type A
  23     real(4) x
  24     integer(8) i
  25   end type
  26
  27   integer(8), parameter :: new_shape(*) = [2, 4]
  28   integer(4), parameter :: order(2) = [2, 1]
  29
  30
  31   ! Testing integers (similar to real and complex)
  32   integer(4), parameter :: int_source(*) = [1, 2, 3, 4, 5, 6]
  33   integer(4), parameter :: int_pad(2) = [7, 8]
  34   integer(4), parameter :: int_expected_result(*, *) = reshape([1, 5, 2, 6, 3, 7, 4, 8], new_shape)
  35   integer(4), parameter :: int_result(*, *) = reshape(int_source, new_shape, int_pad, order)
  36   integer(4), parameter :: int_result_long_source(*, *) = reshape([1, 5, 2, 6, 3, 7, 4, 8, 9], new_shape)
  37   logical, parameter :: test_reshape_integer_1 = all(int_expected_result == int_result)
  38   logical, parameter :: test_reshape_integer_2 = all(shape(int_result, 8).EQ.new_shape)
  39   logical, parameter :: test_reshape_integer_3 = all(int_expected_result == int_result_long_source)
  40
  41
  42   ! Testing characters
  43   character(kind=1, len=3), parameter ::char_source(*) = ["abc", "def", "ghi", "jkl", "mno", "pqr"]
  44   character(kind=1,len=3), parameter :: char_pad(2) = ["stu", "vxy"]
  45
  46   character(kind=1, len=3), parameter :: char_expected_result(*, *) = &
  47     reshape(["abc", "mno", "def", "pqr", "ghi", "stu", "jkl", "vxy"], new_shape)
  48
  49   character(kind=1, len=3), parameter :: char_result(*, *) = &
  50     reshape(char_source, new_shape, char_pad, order)
  51
  52   logical, parameter :: test_reshape_char_1 = all(char_result == char_expected_result)
  53   logical, parameter :: test_reshape_char_2 = all(shape(char_result, 8).EQ.new_shape)
  54
  55
  56   ! Testing derived types
  57   type(A), parameter :: derived_source(*) = &
  58     [A(x=1.5, i=1), A(x=2.5, i=2), A(x=3.5, i=3), A(x=4.5, i=4), A(x=5.5, i=5), A(x=6.5, i=6)]
  59
  60   type(A), parameter :: derived_pad(2) = [A(x=7.5, i=7), A(x=8.5, i=8)]
  61
  62   type(A), parameter :: derived_expected_result(*, *) = &
  63     reshape([a::a(x=1.5_4,i=1_8),a(x=5.5_4,i=5_8),a(x=2.5_4,i=2_8), a(x=6.5_4,i=6_8), &
  64       a(x=3.5_4,i=3_8),a(x=7.5_4,i=7_8),a(x=4.5_4,i=4_8),a(x=8.5_4,i=8_8)], new_shape)
  65
  66   type(A), parameter :: derived_result(*, *) = reshape(derived_source, new_shape, derived_pad, order)
  67
  68   logical, parameter :: test_reshape_derived_1 = all((derived_result%x.EQ.derived_expected_result%x) &
  69       .AND.(derived_result%i.EQ.derived_expected_result%i))
  70
  71   logical, parameter :: test_reshape_derived_2 = all(shape(derived_result).EQ.new_shape)
  72
  73   ! More complicated ORDER= arguments
  74   integer, parameter :: int3d(2,3,4) = reshape([(j,j=1,24)],shape(int3d))
  75   logical, parameter :: test_int3d = all([int3d] == [(j,j=1,24)])
  76   logical, parameter :: test_reshape_order_1 = all([reshape(int3d, [2,3,4], order=[1,2,3])] == [(j,j=1,24)])
  77   logical, parameter :: test_reshape_order_2 = all([reshape(int3d, [2,4,3], order=[1,3,2])] == [1,2,7,8,13,14,19,20,3,4,9,10,15,16,21,22,5,6,11,12,17,18,23,24])
  78   logical, parameter :: test_reshape_order_3 = all([reshape(int3d, [3,2,4], order=[2,1,3])] == [1,3,5,2,4,6,7,9,11,8,10,12,13,15,17,14,16,18,19,21,23,20,22,24])
  79   logical, parameter :: test_reshape_order_4 = all([reshape(int3d, [3,4,2], order=[2,3,1])] == [1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,23,8,16,24])
  80   logical, parameter :: test_reshape_order_5 = all([reshape(int3d, [4,2,3], order=[3,1,2])] == [1,4,7,10,13,16,19,22,2,5,8,11,14,17,20,23,3,6,9,12,15,18,21,24])
  81   logical, parameter :: test_reshape_order_6 = all([reshape(int3d, [4,3,2], order=[3,2,1])] == [1,7,13,19,3,9,15,21,5,11,17,23,2,8,14,20,4,10,16,22,6,12,18,24])
  82
  83 end module