flang/test/Semantics/typeinfo01.f90

   1 !RUN: bbc --dump-symbols %s | FileCheck %s
   2 !RUN: %flang_fc1 -fdebug-dump-symbols %s | FileCheck %s
   3 ! Tests for derived type runtime descriptions
   4
   5 module m01
   6   type :: t1
   7     integer :: n
   8   end type
   9 !CHECK: Module scope: m01
  10 !CHECK: .c.t1, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:0_8 init:[component::component(name=.n.n,genre=1_1,category=0_1,kind=4_1,rank=0_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL())]
  11 !CHECK: .dt.t1, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.t1,sizeinbytes=4_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=.c.t1,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  12 !CHECK: .n.n, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: CHARACTER(1_8,1) init:"n"
  13 !CHECK: .n.t1, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: CHARACTER(2_8,1) init:"t1"
  14 !CHECK: DerivedType scope: t1
  15 end module
  16
  17 module m02
  18   type :: parent
  19     integer :: pn
  20   end type
  21   type, extends(parent) :: child
  22     integer :: cn
  23   end type
  24 !CHECK: .c.child, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:1_8 init:[component::component(name=.n.parent,genre=1_1,category=5_1,kind=0_1,rank=0_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=.dt.parent,lenvalue=NULL(),bounds=NULL(),initialization=NULL()),component(name=.n.cn,genre=1_1,category=0_1,kind=4_1,rank=0_1,offset=4_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL())]
  25 !CHECK: .c.parent, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:0_8 init:[component::component(name=.n.pn,genre=1_1,category=0_1,kind=4_1,rank=0_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL())]
  26 !CHECK: .dt.child, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.child,sizeinbytes=8_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=.c.child,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=1_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  27 !CHECK: .dt.parent, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.parent,sizeinbytes=4_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=.c.parent,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  28 end module
  29
  30 module m03
  31   type :: kpdt(k)
  32     integer(kind=1), kind :: k = 1
  33     real(kind=k) :: a
  34   end type
  35   type(kpdt(4)) :: x
  36 !CHECK: .c.kpdt.4, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:0_8 init:[component::component(name=.n.a,genre=1_1,category=1_1,kind=4_1,rank=0_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL())]
  37 !CHECK: .dt.kpdt, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(name=.n.kpdt,uninstantiated=NULL(),kindparameter=.kp.kpdt,lenparameterkind=NULL())
  38 !CHECK: .dt.kpdt.4, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.kpdt,sizeinbytes=4_8,uninstantiated=.dt.kpdt,kindparameter=.kp.kpdt.4,lenparameterkind=NULL(),component=.c.kpdt.4,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  39 !CHECK: .kp.kpdt, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: INTEGER(8) shape: 0_8:0_8 init:[INTEGER(8)::1_8]
  40 !CHECK: .kp.kpdt.4, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: INTEGER(8) shape: 0_8:0_8 init:[INTEGER(8)::4_8]
  41 end module
  42
  43 module m04
  44   type :: tbps
  45    contains
  46     procedure :: b2 => s1
  47     procedure :: b1 => s1
  48   end type
  49  contains
  50   subroutine s1(x)
  51     class(tbps), intent(in) :: x
  52   end subroutine
  53 !CHECK: .dt.tbps, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=.v.tbps,name=.n.tbps,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  54 !CHECK: .v.tbps, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(binding) shape: 0_8:1_8 init:[binding::binding(proc=s1,name=.n.b1),binding(proc=s1,name=.n.b2)]
  55 end module
  56
  57 module m05
  58   type :: t
  59     procedure(s1), pointer :: p1 => s1
  60   end type
  61  contains
  62   subroutine s1(x)
  63     class(t), intent(in) :: x
  64   end subroutine
  65 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.t,sizeinbytes=24_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=.p.t,special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=0_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  66 !CHECK: .p.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(procptrcomponent) shape: 0_8:0_8 init:[procptrcomponent::procptrcomponent(name=.n.p1,offset=0_8,initialization=s1)]
  67 end module
  68
  69 module m06
  70   type :: t
  71    contains
  72     procedure :: s1
  73     generic :: assignment(=) => s1
  74   end type
  75   type, extends(t) :: t2
  76    contains
  77     procedure :: s1 => s2 ! override
  78   end type
  79  contains
  80   subroutine s1(x, y)
  81     class(t), intent(out) :: x
  82     class(t), intent(in) :: y
  83   end subroutine
  84   subroutine s2(x, y)
  85     class(t2), intent(out) :: x
  86     class(t), intent(in) :: y
  87   end subroutine
  88 !CHECK: .c.t2, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:0_8 init:[component::component(name=.n.t,genre=1_1,category=5_1,kind=0_1,rank=0_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=.dt.t,lenvalue=NULL(),bounds=NULL(),initialization=NULL())]
  89 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=.v.t,name=.n.t,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=.s.t,specialbitset=2_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  90 !CHECK: .dt.t2, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=.v.t2,name=.n.t2,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=.c.t2,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=1_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
  91 !CHECK: .s.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:0_8 init:[specialbinding::specialbinding(which=1_1,isargdescriptorset=3_1,proc=s1)]
  92 !CHECK: .v.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(binding) shape: 0_8:0_8 init:[binding::binding(proc=s1,name=.n.s1)]
  93 !CHECK: .v.t2, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(binding) shape: 0_8:0_8 init:[binding::binding(proc=s2,name=.n.s1)]
  94 end module
  95
  96 module m07
  97   type :: t
  98    contains
  99     procedure :: s1
 100     generic :: assignment(=) => s1
 101   end type
 102  contains
 103   impure elemental subroutine s1(x, y)
 104     class(t), intent(out) :: x
 105     class(t), intent(in) :: y
 106   end subroutine
 107 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=.v.t,name=.n.t,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=.s.t,specialbitset=4_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
 108 !CHECK: .s.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:0_8 init:[specialbinding::specialbinding(which=2_1,isargdescriptorset=3_1,proc=s1)]
 109 !CHECK: .v.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(binding) shape: 0_8:0_8 init:[binding::binding(proc=s1,name=.n.s1)]
 110 end module
 111
 112 module m08
 113   type :: t
 114    contains
 115     final :: s1, s2, s3
 116   end type
 117  contains
 118   subroutine s1(x)
 119     type(t) :: x(:)
 120   end subroutine
 121   subroutine s2(x)
 122     type(t) :: x(3,3)
 123   end subroutine
 124   impure elemental subroutine s3(x)
 125     type(t), intent(in) :: x
 126   end subroutine
 127 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.t,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=.s.t,specialbitset=3200_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=0_1,nofinalizationneeded=0_1)
 128 !CHECK: .s.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:2_8 init:[specialbinding::specialbinding(which=7_1,isargdescriptorset=0_1,proc=s3),specialbinding(which=10_1,isargdescriptorset=1_1,proc=s1),specialbinding(which=11_1,isargdescriptorset=0_1,proc=s2)]
 129 end module
 130
 131 module m09
 132   type :: t
 133    contains
 134     procedure :: rf, ru, wf, wu
 135     generic :: read(formatted) => rf
 136     generic :: read(unformatted) => ru
 137     generic :: write(formatted) => wf
 138     generic :: write(unformatted) => wu
 139   end type
 140  contains
 141   subroutine rf(x,u,iot,v,iostat,iomsg)
 142     class(t), intent(inout) :: x
 143     integer, intent(in) :: u
 144     character(len=*), intent(in) :: iot
 145     integer, intent(in) :: v(:)
 146     integer, intent(out) :: iostat
 147     character(len=*), intent(inout) :: iomsg
 148   end subroutine
 149   subroutine ru(x,u,iostat,iomsg)
 150     class(t), intent(inout) :: x
 151     integer, intent(in) :: u
 152     integer, intent(out) :: iostat
 153     character(len=*), intent(inout) :: iomsg
 154   end subroutine
 155   subroutine wf(x,u,iot,v,iostat,iomsg)
 156     class(t), intent(in) :: x
 157     integer, intent(in) :: u
 158     character(len=*), intent(in) :: iot
 159     integer, intent(in) :: v(:)
 160     integer, intent(out) :: iostat
 161     character(len=*), intent(inout) :: iomsg
 162   end subroutine
 163   subroutine wu(x,u,iostat,iomsg)
 164     class(t), intent(in) :: x
 165     integer, intent(in) :: u
 166     integer, intent(out) :: iostat
 167     character(len=*), intent(inout) :: iomsg
 168   end subroutine
 169 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=.v.t,name=.n.t,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=.s.t,specialbitset=120_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
 170 !CHECK: .s.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:3_8 init:[specialbinding::specialbinding(which=3_1,isargdescriptorset=1_1,proc=rf),specialbinding(which=4_1,isargdescriptorset=1_1,proc=ru),specialbinding(which=5_1,isargdescriptorset=1_1,proc=wf),specialbinding(which=6_1,isargdescriptorset=1_1,proc=wu)]
 171 !CHECK: .v.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(binding) shape: 0_8:3_8 init:[binding::binding(proc=rf,name=.n.rf),binding(proc=ru,name=.n.ru),binding(proc=wf,name=.n.wf),binding(proc=wu,name=.n.wu)]
 172 end module
 173
 174 module m10
 175   type, bind(c) :: t ! non-extensible
 176   end type
 177   interface read(formatted)
 178     procedure :: rf
 179   end interface
 180   interface read(unformatted)
 181     procedure :: ru
 182   end interface
 183   interface write(formatted)
 184     procedure ::wf
 185   end interface
 186   interface write(unformatted)
 187     procedure :: wu
 188   end interface
 189  contains
 190   subroutine rf(x,u,iot,v,iostat,iomsg)
 191     type(t), intent(inout) :: x
 192     integer, intent(in) :: u
 193     character(len=*), intent(in) :: iot
 194     integer, intent(in) :: v(:)
 195     integer, intent(out) :: iostat
 196     character(len=*), intent(inout) :: iomsg
 197   end subroutine
 198   subroutine ru(x,u,iostat,iomsg)
 199     type(t), intent(inout) :: x
 200     integer, intent(in) :: u
 201     integer, intent(out) :: iostat
 202     character(len=*), intent(inout) :: iomsg
 203   end subroutine
 204   subroutine wf(x,u,iot,v,iostat,iomsg)
 205     type(t), intent(in) :: x
 206     integer, intent(in) :: u
 207     character(len=*), intent(in) :: iot
 208     integer, intent(in) :: v(:)
 209     integer, intent(out) :: iostat
 210     character(len=*), intent(inout) :: iomsg
 211   end subroutine
 212   subroutine wu(x,u,iostat,iomsg)
 213     type(t), intent(in) :: x
 214     integer, intent(in) :: u
 215     integer, intent(out) :: iostat
 216     character(len=*), intent(inout) :: iomsg
 217   end subroutine
 218 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.t,sizeinbytes=0_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=NULL(),component=NULL(),procptr=NULL(),special=.s.t,specialbitset=120_4,hasparent=0_1,noinitializationneeded=1_1,nodestructionneeded=1_1,nofinalizationneeded=1_1)
 219 !CHECK: .s.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:3_8 init:[specialbinding::specialbinding(which=3_1,isargdescriptorset=0_1,proc=rf),specialbinding(which=4_1,isargdescriptorset=0_1,proc=ru),specialbinding(which=5_1,isargdescriptorset=0_1,proc=wf),specialbinding(which=6_1,isargdescriptorset=0_1,proc=wu)]
 220 end module
 221
 222 module m11
 223   real, target :: target
 224   type :: t(len)
 225     integer(kind=8), len :: len
 226     real, allocatable :: allocatable(:)
 227     real, pointer :: pointer => target
 228     character(len=len) :: chauto
 229     real :: automatic(len)
 230   end type
 231 !CHECK: .b.t.automatic, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(value) shape: 0_8:1_8,0_8:0_8 init:reshape([value::value(genre=2_1,value=1_8),value(genre=3_1,value=0_8)],shape=[2,1])
 232 !CHECK: .c.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(component) shape: 0_8:3_8 init:[component::component(name=.n.allocatable,genre=3_1,category=1_1,kind=4_1,rank=1_1,offset=0_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL()),component(name=.n.pointer,genre=2_1,category=1_1,kind=4_1,rank=0_1,offset=48_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=.di.t.pointer),component(name=.n.chauto,genre=4_1,category=3_1,kind=1_1,rank=0_1,offset=72_8,characterlen=value(genre=3_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=NULL(),initialization=NULL()),component(name=.n.automatic,genre=4_1,category=1_1,kind=4_1,rank=1_1,offset=96_8,characterlen=value(genre=1_1,value=0_8),derived=NULL(),lenvalue=NULL(),bounds=.b.t.automatic,initialization=NULL())]
 233 !CHECK: .di.t.pointer, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(.dp.t.pointer) init:.dp.t.pointer(pointer=target)
 234 !CHECK: .dp.t.pointer (CompilerCreated): DerivedType components: pointer
 235 !CHECK: .dt.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(derivedtype) init:derivedtype(binding=NULL(),name=.n.t,sizeinbytes=144_8,uninstantiated=NULL(),kindparameter=NULL(),lenparameterkind=.lpk.t,component=.c.t,procptr=NULL(),special=NULL(),specialbitset=0_4,hasparent=0_1,noinitializationneeded=0_1,nodestructionneeded=0_1,nofinalizationneeded=1_1)
 236 !CHECK: .lpk.t, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: INTEGER(1) shape: 0_8:0_8 init:[INTEGER(1)::8_1]
 237 !CHECK: DerivedType scope: .dp.t.pointer size=24 alignment=8 instantiation of .dp.t.pointer
 238 !CHECK: pointer, POINTER size=24 offset=0: ObjectEntity type: REAL(4)
 239  contains
 240   subroutine s1(x)
 241     type(t(*)), intent(in) :: x
 242   end subroutine
 243 end module
 244
 245 module m12
 246   type :: t1
 247     integer :: n
 248     integer :: n2
 249     integer :: n_3
 250     ! CHECK: .n.n, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: CHARACTER(1_8,1) init:"n"
 251     ! CHECK: .n.n2, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: CHARACTER(2_8,1) init:"n2"
 252     ! CHECK: .n.n_3, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: CHARACTER(3_8,1) init:"n_3"
 253   end type
 254 end module
 255
 256 module m13
 257   type :: t1
 258     integer :: n
 259    contains
 260     procedure :: assign1, assign2
 261     generic :: assignment(=) => assign1, assign2
 262     ! CHECK: .s.t1, SAVE, TARGET (CompilerCreated, ReadOnly): ObjectEntity type: TYPE(specialbinding) shape: 0_8:0_8 init:[specialbinding::specialbinding(which=2_1,isargdescriptorset=3_1,proc=assign1)]
 263   end type
 264  contains
 265   impure elemental subroutine assign1(to, from)
 266     class(t1), intent(out) :: to
 267     class(t1), intent(in) :: from
 268   end subroutine
 269   impure elemental subroutine assign2(to, from)
 270     class(t1), intent(out) :: to
 271     integer, intent(in) :: from
 272   end subroutine
 273 end module