test/Transforms/GlobalOpt/shrink-global-to-bool-check-debug.ll

   1 ;RUN: opt -S -debugify -globalopt -f %s | FileCheck %s
   2
   3 @foo = internal global i32 0, align 4
   4
   5 define dso_local i32 @bar() {
   6 entry:
   7   store i32 5, i32* @foo, align 4
   8   %0 = load i32, i32* @foo, align 4
   9   ret i32 %0
  10 }
  11
  12 ;CHECK:      @bar
  13 ;CHECK-NEXT: entry:
  14 ;CHECK-NEXT:   store i1 true, i1* @foo, !dbg ![[DbgLocStore:[0-9]+]]
  15 ;CHECK-NEXT:   %.b = load i1, i1* @foo, !dbg ![[DbgLocLoadSel:[0-9]+]]
  16 ;CHECK-NEXT:   %0 = select i1 %.b, i32 5, i32 0, !dbg ![[DbgLocLoadSel]]
  17 ;CHECK-NEXT:   call void @llvm.dbg.value({{.*}}), !dbg ![[DbgLocLoadSel]]
  18 ;CHECK-NEXT:   ret i32 %0, !dbg ![[DbgLocRet:[0-9]+]]
  19
  20 ;CHECK: ![[DbgLocStore]] = !DILocation(line: 1,
  21 ;CHECK: ![[DbgLocLoadSel]] = !DILocation(line: 2,
  22 ;CHECK: ![[DbgLocRet]] = !DILocation(line: 3,