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