llvm/test/Transforms/SimplifyCFG/dbginfo.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
   3 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S --try-experimental-debuginfo-iterators | FileCheck %s
   4
   5   %llvm.dbg.anchor.type = type { i32, i32 }
   6   %llvm.dbg.basictype.type = type { i32, ptr, ptr, ptr, i32, i64, i64, i64, i32, i32 }
   7   %llvm.dbg.compile_unit.type = type { i32, ptr, i32, ptr, ptr, ptr, i1, i1, ptr }
   8   %llvm.dbg.composite.type = type { i32, ptr, ptr, ptr, i32, i64, i64, i64, i32, ptr, ptr }
   9   %llvm.dbg.derivedtype.type = type { i32, ptr, ptr, ptr, i32, i64, i64, i64, i32, ptr }
  10   %llvm.dbg.global_variable.type = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, i1, i1, ptr }
  11   %llvm.dbg.subprogram.type = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, i1, i1 }
  12   %llvm.dbg.subrange.type = type { i32, i64, i64 }
  13   %struct.Group = type { %struct.Scene, %struct.Sphere, %"struct.std::list<Scene*,std::allocator<Scene*> >" }
  14   %struct.Ray = type { %struct.Vec, %struct.Vec }
  15   %struct.Scene = type { ptr }
  16   %struct.Sphere = type { %struct.Scene, %struct.Vec, double }
  17   %struct.Vec = type { double, double, double }
  18   %struct.__class_type_info_pseudo = type { %struct.__type_info_pseudo }
  19   %struct.__false_type = type <{ i8 }>
  20   %"struct.__gnu_cxx::new_allocator<Scene*>" = type <{ i8 }>
  21   %"struct.__gnu_cxx::new_allocator<std::_List_node<Scene*> >" = type <{ i8 }>
  22   %struct.__si_class_type_info_pseudo = type { %struct.__type_info_pseudo, ptr }
  23   %struct.__type_info_pseudo = type { ptr, ptr }
  24   %"struct.std::Hit" = type { double, %struct.Vec }
  25   %"struct.std::_List_base<Scene*,std::allocator<Scene*> >" = type { %"struct.std::_List_base<Scene*,std::allocator<Scene*> >::_List_impl" }
  26   %"struct.std::_List_base<Scene*,std::allocator<Scene*> >::_List_impl" = type { %"struct.std::_List_node_base" }
  27   %"struct.std::_List_const_iterator<Scene*>" = type { ptr }
  28   %"struct.std::_List_iterator<Scene*>" = type { ptr }
  29   %"struct.std::_List_node<Scene*>" = type { %"struct.std::_List_node_base", ptr }
  30   %"struct.std::_List_node_base" = type { ptr, ptr }
  31   %"struct.std::allocator<Scene*>" = type <{ i8 }>
  32   %"struct.std::allocator<std::_List_node<Scene*> >" = type <{ i8 }>
  33   %"struct.std::basic_ios<char,std::char_traits<char> >" = type { %"struct.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
  34   %"struct.std::basic_ostream<char,std::char_traits<char> >" = type { ptr, %"struct.std::basic_ios<char,std::char_traits<char> >" }
  35   %"struct.std::basic_streambuf<char,std::char_traits<char> >" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"struct.std::locale" }
  36   %"struct.std::ctype<char>" = type { %"struct.std::locale::facet", ptr, i8, ptr, ptr, ptr, i8, [256 x i8], [256 x i8], i8 }
  37   %"struct.std::ios_base" = type { ptr, i32, i32, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"struct.std::locale" }
  38   %"struct.std::ios_base::Init" = type <{ i8 }>
  39   %"struct.std::ios_base::_Callback_list" = type { ptr, ptr, i32, i32 }
  40   %"struct.std::ios_base::_Words" = type { ptr, i32 }
  41   %"struct.std::list<Scene*,std::allocator<Scene*> >" = type { %"struct.std::_List_base<Scene*,std::allocator<Scene*> >" }
  42   %"struct.std::locale" = type { ptr }
  43   %"struct.std::locale::_Impl" = type { i32, ptr, i32, ptr, ptr }
  44   %"struct.std::locale::facet" = type { ptr, i32 }
  45   %"struct.std::num_get<char,std::istreambuf_iterator<char, std::char_traits<char> > >" = type { %"struct.std::locale::facet" }
  46   %"struct.std::num_put<char,std::ostreambuf_iterator<char, std::char_traits<char> > >" = type { %"struct.std::locale::facet" }
  47   %"struct.std::numeric_limits<double>" = type <{ i8 }>
  48   %"struct.std::type_info" = type { ptr, ptr }
  49 @llvm.dbg.subprogram947 = external constant %llvm.dbg.subprogram.type           ; <ptr> [#uses=1]
  50
  51 declare void @llvm.dbg.func.start(ptr) nounwind
  52
  53 declare void @llvm.dbg.region.end(ptr) nounwind
  54
  55 declare void @_ZN9__gnu_cxx13new_allocatorIP5SceneED2Ev(ptr) nounwind
  56
  57 define void @_ZNSaIP5SceneED1Ev(ptr %this) nounwind {
  58 ; CHECK-LABEL: @_ZNSaIP5SceneED1Ev(
  59 ; CHECK-NEXT:  entry:
  60 ; CHECK-NEXT:    [[THIS_ADDR:%.*]] = alloca ptr, align 8
  61 ; CHECK-NEXT:    %"alloca point" = bitcast i32 0 to i32
  62 ; CHECK-NEXT:    call void @llvm.dbg.func.start(ptr @llvm.dbg.subprogram947)
  63 ; CHECK-NEXT:    store ptr [[THIS:%.*]], ptr [[THIS_ADDR]], align 8
  64 ; CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[THIS_ADDR]], align 4
  65 ; CHECK-NEXT:    call void @_ZN9__gnu_cxx13new_allocatorIP5SceneED2Ev(ptr [[TMP0]]) #[[ATTR0:[0-9]+]]
  66 ; CHECK-NEXT:    call void @llvm.dbg.region.end(ptr @llvm.dbg.subprogram947)
  67 ; CHECK-NEXT:    ret void
  68 ;
  69 entry:
  70   %this_addr = alloca ptr               ; <ptr> [#uses=2]
  71   %"alloca point" = bitcast i32 0 to i32                ; <i32> [#uses=0]
  72   call void @llvm.dbg.func.start(ptr @llvm.dbg.subprogram947)
  73   store ptr %this, ptr %this_addr
  74   %0 = load ptr, ptr %this_addr, align 4                ; <ptr> [#uses=1]
  75   call void @_ZN9__gnu_cxx13new_allocatorIP5SceneED2Ev(ptr %0) nounwind
  76   br label %bb
  77
  78 bb:             ; preds = %entry
  79   br label %return
  80
  81 return:         ; preds = %bb
  82   call void @llvm.dbg.region.end(ptr @llvm.dbg.subprogram947)
  83   ret void
  84 }