llvm/test/DebugInfo/assignment-tracking/X86/nested-loop-sroa.ll

   1 ; RUN: llc %s -stop-after=finalize-isel -o - \
   2 ; RUN: | FileCheck %s --implicit-check-not=DBG
   3
   4
   5 ; RUN: llc --try-experimental-debuginfo-iterators %s -stop-after=finalize-isel -o - \
   6 ; RUN: | FileCheck %s --implicit-check-not=DBG
   7
   8 ;; Test a variety of block inputs and lattice configurations for the assignment
   9 ;; tracking analysis (debug-ata). This is the same as nested-loop.ll except each
  10 ;; alloca holds a fragment of a variable instead of a whole variable.
  11 ;; The CFG looks like this:
  12 ;;     entry
  13 ;;     |
  14 ;;     v
  15 ;;     do.body <-----+
  16 ;;     |             |
  17 ;;     V             |
  18 ;;     do.body1 <--+ |
  19 ;;    / \          | |
  20 ;;   /   \         | |
  21 ;;  /     \        | |
  22 ;; v       v       | |
  23 ;; if.then if.else | |
  24 ;;  \      /       | |
  25 ;;   \    /        | |
  26 ;;    \  /         | |
  27 ;;     do.cond ----+ |
  28 ;;     |             |
  29 ;;     v             |
  30 ;;     do.cond4 -----+
  31 ;;     |
  32 ;;     v
  33 ;;     do.end6
  34
  35 ;;  Key
  36 ;; ╔═════════════════════╦═══════════════════════════════════════════════════════════════════╗
  37 ;; ║ thing               ║ meaning                                                           ║
  38 ;; ╠═════════════════════╬═══════════════════════════════════════════════════════════════════╣
  39 ;; ║ mem=<!n|phi>        ║ assignment of !n or phi to memory                                 ║
  40 ;; ║ dbg=<!n|phi>        ║ assignment of !n or phi to source variable                        ║
  41 ;; ║ phi                 ║ phi of assignments (operands not traked)*                         ║
  42 ;; ║ loc=<val|mem|none>  ║ location to use is value (implicit location), stack home, or none ║
  43 ;; ╚═════════════════════╩═══════════════════════════════════════════════════════════════════╝
  44 ;;  (*) A phi in the def column represents an assignment made by an untagged store.
  45 ;;
  46 ;; Variable 'a' (!21)
  47 ;; Check initial dbg and mem assignment values are propagated through all blocks.
  48 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
  49 ;; ║ block       ║ in                       ║ def             ║ out                      ║
  50 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
  51 ;; ║ entry       ║                          ║ mem=!63 dbg=!70 ║ mem=!63 dbg=!70 loc=val  ║
  52 ;; ║ do.end6     ║ mem=!63 dbg=!70 loc=val  ║ mem=!63         ║ mem=!63 dbg=!63 loc=mem  ║
  53 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
  54 ;;
  55 ;; Variable 'b' (!22)
  56 ;; Check mem=dbg assignment on branch in nested loop causes a mem=phi (tested by looking
  57 ;; for value-based DBG_VALUE in do.end6).
  58 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
  59 ;; ║ block       ║ in                       ║ def             ║ out                      ║
  60 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
  61 ;; ║ entry       ║                          ║ mem=!65 dbg=!71 ║ mem=!65 dbg=!71 loc=val  ║
  62 ;; ║ if.then     ║ mem=phi dbg=phi loc=none ║ mem=!66 dbg=!66 ║ mem=!66 dbg=!66 loc=mem  ║
  63 ;; ║ do.end6     ║ mem=phi dbg=phi loc=none ║ mem=!65         ║ mem=phi dbg=!65 loc=val  ║
  64 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
  65 ;;
  66 ;; Variable 'c' (!67)
  67 ;; Check initial dbg and mem assignment values are propagated through all blocks, with
  68 ;; dbg defs with the inital assignment ID put in do.cond and do.end6 (variable is always
  69 ;; in memory).
  70 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
  71 ;; ║ block       ║ in                       ║ def             ║ out                      ║
  72 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
  73 ;; ║ entry       ║                          ║ mem=!69 dbg=!69 ║ mem=!69 dbg=!69 loc=mem  ║
  74 ;; ║ do.cond     ║ mem=!69 dbg=!69 loc=mem  ║         dbg=!69 ║ mem=!69 dbg=!69 loc=mem  ║
  75 ;; ║ do.end6     ║ mem=!69 dbg=!69 loc=mem  ║         dbg=!69 ║ mem=!69 dbg=!69 loc=mem  ║
  76 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
  77 ;;
  78 ;; Variable 'd' (!72)
  79 ;; Same as above, except the dbg def in do.cond has been swapped for a dbg=mem def (with
  80 ;; the initial assignment ID) and has been moved to if.else.
  81 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
  82 ;; ║ block       ║ in                       ║ def             ║ out                      ║
  83 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
  84 ;; ║ entry       ║                          ║ mem=!74 dbg=!74 ║ mem=!74 dbg=!74 loc=mem  ║
  85 ;; ║ if.else     ║ mem=!74 dbg=!74 loc=mem  ║ mem=!74 dbg=!74 ║ mem=!74 dbg=!74 loc=mem  ║
  86 ;; ║ do.end6     ║ mem=!74 dbg=!74 loc=mem  ║         dbg=!74 ║ mem=!74 dbg=!74 loc=mem  ║
  87 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
  88 ;;
  89 ;; Variable 'e' (!75)
  90 ;; mem defs in entry, if.then and if.else with same ID (!77). Check these join correct
  91 ;; (tested using the dbg defs of the same ID - the memory location is valid at each of
  92 ;; these with that ID).
  93 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
  94 ;; ║ block       ║ in                       ║ def             ║ out                      ║
  95 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
  96 ;; ║ entry       ║                          ║ mem=!77 dbg=!78 ║ mem=!77 dbg=!78 loc=val  ║
  97 ;; ║ do.body     ║ mem=!77 dbg=phi loc=none ║         dbg=!77 ║ mem=!77 dbg=!77 loc=mem  ║
  98 ;; ║ do.body1    ║ mem=!77 dbg=!77 loc=mem  ║         dbg=!77 ║ mem=!77 dbg=!77 loc=mem  ║
  99 ;; ║ if.then     ║ mem=!77 dbg=!77 loc=mem  ║ mem=!77         ║ mem=!77 dbg=!77 loc=mem  ║
 100 ;; ║ if.else     ║ mem=!77 dbg=!77 loc=mem  ║ mem=!77         ║ mem=!77 dbg=!77 loc=mem  ║
 101 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
 102 ;;
 103 ;; Variable 'f' (!79)
 104 ;; mem def in entry and an untagged store in if.else (results in mem=phi, dbg=phi defs).
 105 ;; Use dbg defs in do.body, do.body1, do.cond and do.end6 to check the phi-ness
 106 ;; has been propagated (the memory loc at each is not a valid location). Check the memory
 107 ;; loc is used in if.else after the untagged store.
 108 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
 109 ;; ║ block       ║ in                       ║ def             ║ out                      ║
 110 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
 111 ;; ║ entry       ║                          ║ mem=!81 dbg=!81 ║ mem=!81 dbg=!81 loc=mem  ║
 112 ;; ║ do.body     ║ mem=phi dbg=phi loc=none ║         dbg=!81 ║ mem=phi dbg=!81 loc=val  ║
 113 ;; ║ do.body1    ║ mem=phi dbg=phi loc=none ║         dbg=!81 ║ mem=phi dbg=!81 loc=val  ║
 114 ;; ║ if.else     ║ mem=phi dbg=phi loc=none ║ mem=phi dbg=phi ║ mem=phi dbg=phi loc=mem  ║
 115 ;; ║ do.cond     ║ mem=phi dbg=phi loc=none ║         dbg=!81 ║ mem=phi dbg=!81 loc=val  ║
 116 ;; ║ do.end6     ║ mem=phi dbg=!81 loc=val  ║         dbg=!81 ║ mem=!69 dbg=!81 loc=val  ║
 117 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
 118 ;;
 119 ;; Variable 'g' (!82)
 120 ;; Check that joining loc=none with anything else results in loc=none. The out-loc of
 121 ;; entry is set up to be loc=none by following an untagged store with a tagged store,
 122 ;; with the linked dbg.assign in another block. The dbg.assign is in do.body - it follows
 123 ;; another store linked to it. Importantly, there are other instructions wedged between
 124 ;; them, which is how we test that the in-loc is loc=none. The result of encountering
 125 ;; a tagged store while the loc=none is to emit nothing. Thus, we check that no location
 126 ;; def is emitted in do.body until the dbg.assign is encountered (after the load that was
 127 ;; wedged between the store and intrinsic).
 128 ;; ╔═════════════╦══════════════════════════╦═════════════════╦══════════════════════════╗
 129 ;; ║ block       ║ in                       ║ def             ║ out                      ║
 130 ;; ╠═════════════╬══════════════════════════╬═════════════════╬══════════════════════════╣
 131 ;; ║ entry       ║                          ║ mem=phi dbg=phi ║ mem=phi dbg=phi loc=none ║
 132 ;; ║ do.body     ║ mem=phi dbg=phi loc=none ║ mem=!84 dbg=!84 ║ mem=!84 dbg=!84 loc=mem  ║
 133 ;; ╚═════════════╩══════════════════════════╩═════════════════╩══════════════════════════╝
 134
 135 ; CHECK-DAG: ![[a:[0-9]+]] = !DILocalVariable(name: "a",
 136 ; CHECK-DAG: ![[b:[0-9]+]] = !DILocalVariable(name: "b",
 137 ; CHECK-DAG: ![[c:[0-9]+]] = !DILocalVariable(name: "c",
 138 ; CHECK-DAG: ![[d:[0-9]+]] = !DILocalVariable(name: "d",
 139 ; CHECK-DAG: ![[e:[0-9]+]] = !DILocalVariable(name: "e",
 140 ; CHECK-DAG: ![[f:[0-9]+]] = !DILocalVariable(name: "f",
 141 ; CHECK-DAG: ![[g:[0-9]+]] = !DILocalVariable(name: "g",
 142
 143 ;; Variables 'c' (!67) and 'd' (!72) are always stack-homed, but the analysis
 144 ;; currently doesn't try to work this out for sroa-d vars. Instead, we get a
 145 ;; set of DBG_VALUEs.
 146 ;; TODO / Wishlist:
 147 ; KCEHC:      - { id: 2, name: c.addr, type: default, offset: 0, size: 4, alignment: 4,
 148 ; TXEN-KCEHC:     stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 149 ; TXEN-KCEHC:     debug-info-variable: '![[c]]', debug-info-expression: '!DIExpression()',
 150 ; KCEHC:      - { id: 3, name: d.addr, type: default, offset: 0, size: 4, alignment: 4,
 151 ; TXEN-KCEHC:     stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 152 ; TXEN-KCEHC:     debug-info-variable: '![[d]]', debug-info-expression: '!DIExpression()',
 153
 154 source_filename = "test.cpp"
 155 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
 156 target triple = "x86_64-unknown-linux-gnu"
 157
 158 @g_a = dso_local local_unnamed_addr global i32 0, align 4, !dbg !0
 159 @g_b = dso_local local_unnamed_addr global i32 0, align 4, !dbg !5
 160 @g_c = dso_local local_unnamed_addr global i32 0, align 4, !dbg !8
 161
 162 define dso_local noundef i32 @_Z3funii(i32 noundef %a, i32 noundef %b) local_unnamed_addr #0 !dbg !17 {
 163 entry:
 164   %a.addr = alloca i32, align 4, !DIAssignID !58 ; VAR:a
 165   call void @llvm.dbg.assign(metadata i1 undef, metadata !21, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !58, metadata ptr %a.addr, metadata !DIExpression()), !dbg !27 ; VAR:a
 166   %b.addr = alloca i32, align 4, !DIAssignID !64 ; VAR:b
 167   call void @llvm.dbg.assign(metadata i1 undef, metadata !22, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !64, metadata ptr %b.addr, metadata !DIExpression()), !dbg !27 ; VAR:b
 168   %c.addr = alloca i32, align 4, !DIAssignID !68 ; VAR:c
 169   call void @llvm.dbg.assign(metadata i1 undef, metadata !67, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !68, metadata ptr %c.addr, metadata !DIExpression()), !dbg !27 ; VAR:c
 170   %d.addr = alloca i32, align 4, !DIAssignID !73 ; VAR:d
 171   call void @llvm.dbg.assign(metadata i1 undef, metadata !72, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !73, metadata ptr %d.addr, metadata !DIExpression()), !dbg !27 ; VAR:d
 172   %e.addr = alloca i32, align 4, !DIAssignID !76 ; VAR:e
 173   call void @llvm.dbg.assign(metadata i1 undef, metadata !75, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !76, metadata ptr %e.addr, metadata !DIExpression()), !dbg !27 ; VAR:e
 174   %f.addr = alloca i32, align 4, !DIAssignID !80 ; VAR:f
 175   call void @llvm.dbg.assign(metadata i1 undef, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !80, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 176   %g.addr = alloca i32, align 4, !DIAssignID !83 ; VAR:g
 177   call void @llvm.dbg.assign(metadata i1 undef, metadata !82, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !83, metadata ptr %g.addr, metadata !DIExpression()), !dbg !27 ; VAR:g
 178   store i32 1, ptr %a.addr, !DIAssignID !70 ; VAR:a
 179   call void @llvm.dbg.assign(metadata i32 1, metadata !21, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !70, metadata ptr %a.addr, metadata !DIExpression()), !dbg !27 ; VAR:a
 180   store i32 2, ptr %b.addr, !DIAssignID !71 ; VAR:b
 181   call void @llvm.dbg.assign(metadata i32 2, metadata !22, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !71, metadata ptr %b.addr, metadata !DIExpression()), !dbg !27 ; VAR:b
 182   store i32 12, ptr %g.addr ; VAR:g
 183   store i32 9, ptr %e.addr, !DIAssignID !78 ; VAR:e
 184   call void @llvm.dbg.assign(metadata i32 9, metadata !75, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !78, metadata ptr %e.addr, metadata !DIExpression()), !dbg !27 ; VAR:e
 185   store i32 3, ptr %a.addr, !DIAssignID !63 ; VAR:a
 186   store i32 4, ptr %b.addr, !DIAssignID !65 ; VAR:b
 187   store i32 5, ptr %c.addr, !DIAssignID !69 ; VAR:c
 188   call void @llvm.dbg.assign(metadata i32 5, metadata !67, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !69, metadata ptr %c.addr, metadata !DIExpression()), !dbg !27 ; VAR:c
 189   store i32 6, ptr %d.addr, !DIAssignID !74 ; VAR:d
 190   call void @llvm.dbg.assign(metadata i32 6, metadata !72, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !74, metadata ptr %d.addr, metadata !DIExpression()), !dbg !27 ; VAR:d
 191   store i32 8, ptr %e.addr, !DIAssignID !77 ; VAR:e
 192   store i32 13, ptr %g.addr, !DIAssignID !84 ; VAR:g
 193   store i32 11, ptr %f.addr, !DIAssignID !81 ; VAR:f
 194   call void @llvm.dbg.assign(metadata i32 11, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !81, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 195   br label %do.body, !dbg !24
 196 ; CHECK-LABEL: bb.0.entry:
 197 ; CHECK-NEXT: successors
 198 ; CHECK-NEXT: {{^ *$}}
 199 ; CHECK-NEXT:    DBG_VALUE %stack.0.a.addr, $noreg, ![[a]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 200 ; CHECK-NEXT:    DBG_VALUE %stack.1.b.addr, $noreg, ![[b]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 201 ; CHECK-NEXT:    DBG_VALUE %stack.2.c.addr, $noreg, ![[c]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 202 ; CHECK-NEXT:    DBG_VALUE %stack.3.d.addr, $noreg, ![[d]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 203 ; CHECK-NEXT:    DBG_VALUE %stack.4.e.addr, $noreg, ![[e]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 204 ; CHECK-NEXT:    DBG_VALUE %stack.5.f.addr, $noreg, ![[f]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 205 ; CHECK-NEXT:    DBG_VALUE %stack.6.g.addr, $noreg, ![[g]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 206 ; CHECK-NEXT:    MOV32mi %stack.0.a.addr, 1, $noreg, 0, $noreg, 3
 207 ; CHECK-NEXT:    DBG_VALUE 1, $noreg, ![[a]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 208 ; CHECK-NEXT:    MOV32mi %stack.1.b.addr, 1, $noreg, 0, $noreg, 4
 209 ; CHECK-NEXT:    DBG_VALUE 2, $noreg, ![[b]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 210 ; CHECK-NEXT:    MOV32mi %stack.2.c.addr, 1, $noreg, 0, $noreg, 5
 211 ; CHECK-NEXT:    MOV32mi %stack.3.d.addr, 1, $noreg, 0, $noreg, 6
 212 ; CHECK-NEXT:    MOV32mi %stack.4.e.addr, 1, $noreg, 0, $noreg, 8
 213 ; CHECK-NEXT:    DBG_VALUE 9, $noreg, ![[e]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 214 ; CHECK-NEXT:    MOV32mi %stack.6.g.addr, 1, $noreg, 0, $noreg, 13
 215 ; CHECK-NEXT:    DBG_VALUE $noreg, $noreg, ![[g]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 216 ; CHECK-NEXT:    MOV32mi %stack.5.f.addr, 1, $noreg, 0, $noreg, 11
 217 ; CHECK-NEXT: {{^ *$}}
 218
 219 do.body:                                          ; preds = %do.cond4, %entry
 220   call void @llvm.dbg.assign(metadata i32 8, metadata !75, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !77, metadata ptr %e.addr, metadata !DIExpression()), !dbg !27 ; VAR:e
 221   call void @llvm.dbg.assign(metadata i32 11, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !81, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 222   store i32 13, ptr %g.addr, !DIAssignID !84 ; VAR:g
 223   %.pre10 = load i32, ptr @g_a, align 4, !dbg !27
 224   call void @llvm.dbg.assign(metadata i32 11, metadata !82, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !84, metadata ptr %g.addr, metadata !DIExpression()), !dbg !27 ; VAR:g
 225   br label %do.body1, !dbg !34
 226 ; CHECK-LABEL: bb.1.do.body:
 227 ; CHECK-NEXT: successors
 228 ; CHECK-NEXT: {{^ *$}}
 229 ; CHECK-NEXT:    DBG_VALUE %stack.4.e.addr, $noreg, ![[e]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 230 ; CHECK-NEXT:    DBG_VALUE 11, $noreg, ![[f]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 231 ; CHECK-NEXT:    MOV32mi %stack.6.g.addr, 1, $noreg, 0, $noreg, 13
 232 ; CHECK-NEXT:    %0:gr32 = MOV32rm $rip, 1, $noreg, @g_a, $noreg
 233 ; CHECK-NEXT:    DBG_VALUE %stack.6.g.addr, $noreg, ![[g]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 234 ; CHECK-NEXT: {{^ *$}}
 235
 236 do.body1:                                         ; preds = %do.cond, %do.body
 237   %0 = phi i32 [ %.pre10, %do.body ], [ %1, %do.cond ], !dbg !27
 238   call void @llvm.dbg.assign(metadata i32 8, metadata !75, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !77, metadata ptr %e.addr, metadata !DIExpression()), !dbg !27 ; VAR:e
 239   call void @llvm.dbg.assign(metadata i32 11, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !81, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 240   %tobool.not = icmp eq i32 %0, 0, !dbg !27
 241   br i1 %tobool.not, label %if.else, label %if.then, !dbg !35
 242 ; CHECK-LABEL: bb.2.do.body1:
 243 ; CHECK-NEXT: successors
 244 ; CHECK-NEXT: {{^ *$}}
 245 ; CHECK:         DBG_VALUE %stack.4.e.addr, $noreg, ![[e]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 246 ; CHECK-NEXT:    DBG_VALUE 11, $noreg, ![[f]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 247 ; CHECK:         JMP_1
 248 ; CHECK-NEXT: {{^ *$}}
 249
 250 if.then:                                          ; preds = %do.body1
 251   %.pre = load i32, ptr @g_a, align 4, !dbg !27
 252   store i32 %.pre, ptr %b.addr, !DIAssignID !66 ; VAR:b
 253   call void @llvm.dbg.assign(metadata i32 %.pre, metadata !22, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !66, metadata ptr %b.addr, metadata !DIExpression()), !dbg !27 ; VAR:b
 254   store i32 8, ptr %e.addr, !DIAssignID !77 ; VAR:e
 255   br label %do.cond, !dbg !39
 256 ; CHECK-LABEL: bb.3.if.then:
 257 ; CHECK-NEXT: successors
 258 ; CHECK-NEXT: {{^ *$}}
 259 ; CHECK-NEXT:    %5:gr32 = MOV32rm
 260 ; CHECK-NEXT:    MOV32mr %stack.1.b.addr, 1, $noreg, 0, $noreg, killed %5
 261 ; CHECK-NEXT:    DBG_VALUE %stack.1.b.addr, $noreg, ![[b]], !DIExpression(DW_OP_deref
 262 ; CHECK-NEXT:    MOV32mi %stack.4.e.addr, 1, $noreg, 0, $noreg, 8
 263 ; CHECK-NEXT:    DBG_VALUE %stack.4.e.addr, $noreg, ![[e]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 264 ; CHECK-NEXT:    JMP_1 %bb.5
 265 ; CHECK-NEXT: {{^ *$}}
 266
 267 if.else:                                          ; preds = %do.body1
 268   store i32 6, ptr %d.addr, !DIAssignID !74 ; VAR:d
 269   call void @llvm.dbg.assign(metadata i32 6, metadata !72, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !74, metadata ptr %d.addr, metadata !DIExpression()), !dbg !27 ; VAR:d
 270   store i32 8, ptr %e.addr, !DIAssignID !77 ; VAR:e
 271   store i32 10, ptr %f.addr ; VAR:f
 272   br label %do.cond
 273 ; CHECK-LABEL: bb.4.if.else:
 274 ; CHECK-NEXT: successors
 275 ; CHECK-NEXT: {{^ *$}}
 276 ; CHECK-NEXT:    MOV32mi %stack.3.d.addr, 1, $noreg, 0, $noreg, 6
 277 ; CHECK-NEXT:    DBG_VALUE %stack.3.d.addr, $noreg, ![[d]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 278 ; CHECK-NEXT:    MOV32mi %stack.4.e.addr, 1, $noreg, 0, $noreg, 8
 279 ; CHECK-NEXT:    DBG_VALUE %stack.4.e.addr, $noreg, ![[e]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 280 ; CHECK-NEXT:    MOV32mi %stack.5.f.addr, 1, $noreg, 0, $noreg, 10
 281 ; CHECK-NEXT:    DBG_VALUE %stack.5.f.addr, $noreg, ![[f]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 282 ; CHECK-NEXT: {{^ *$}}
 283
 284 do.cond:                                          ; preds = %if.then, %if.else
 285   call void @llvm.dbg.assign(metadata i1 undef, metadata !67, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !69, metadata ptr %c.addr, metadata !DIExpression()), !dbg !27 ; VAR:c
 286   call void @llvm.dbg.assign(metadata i32 11, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !81, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 287   %1 = load i32, ptr @g_b, align 4, !dbg !43
 288   %tobool3.not = icmp eq i32 %1, 0, !dbg !43
 289   br i1 %tobool3.not, label %do.cond4, label %do.body1, !dbg !44, !llvm.loop !45
 290 ; CHECK-LABEL: bb.5.do.cond:
 291 ; CHECK-NEXT: successors
 292 ; CHECK-NEXT: {{^ *$}}
 293 ; CHECK-NEXT:    DBG_VALUE %stack.2.c.addr, $noreg, ![[c]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 294 ; CHECK-NEXT:    DBG_VALUE 11, $noreg, ![[f]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 295 ; CHECK:      {{^ *$}}
 296
 297 do.cond4:                                         ; preds = %do.cond
 298   %2 = load i32, ptr @g_c, align 4, !dbg !48
 299   %tobool5.not = icmp eq i32 %2, 0, !dbg !48
 300   br i1 %tobool5.not, label %do.end6, label %do.body, !dbg !49, !llvm.loop !50
 301 ; CHECK-LABEL: bb.6.do.cond4:
 302 ; CHECK-NEXT: successors
 303 ; CHECK-NEXT: {{^ *$}}
 304 ; CHECK-NOT:     DBG
 305 ; CHECK: {{^ *$}}
 306
 307 do.end6:                                          ; preds = %do.cond4
 308   call void @llvm.dbg.assign(metadata i32 3, metadata !21, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !63, metadata ptr %a.addr, metadata !DIExpression()), !dbg !27; VAR:a
 309   call void @llvm.dbg.assign(metadata i32 4, metadata !22, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !65, metadata ptr %b.addr, metadata !DIExpression()), !dbg !27 ; VAR:b
 310   call void @llvm.dbg.assign(metadata i1 undef, metadata !67, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !69, metadata ptr %c.addr, metadata !DIExpression()), !dbg !27 ; VAR:c
 311   call void @llvm.dbg.assign(metadata i32 6, metadata !72, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !74, metadata ptr %d.addr, metadata !DIExpression()), !dbg !27 ; VAR:d
 312   call void @llvm.dbg.assign(metadata i32 11, metadata !79, metadata !DIExpression(DW_OP_LLVM_fragment, 32, 32), metadata !81, metadata ptr %f.addr, metadata !DIExpression()), !dbg !27 ; VAR:f
 313   ret i32 0, !dbg !53
 314 ; CHECK-LABEL: bb.7.do.end6:
 315 ; CHECK-NEXT:    DBG_VALUE %stack.0.a.addr, $noreg, ![[a]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 316 ; CHECK-NEXT:    DBG_VALUE 4, $noreg, ![[b]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 317 ; CHECK-NEXT:    DBG_VALUE %stack.2.c.addr, $noreg, ![[c]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 318 ; CHECK-NEXT:    DBG_VALUE %stack.3.d.addr, $noreg, ![[d]], !DIExpression(DW_OP_deref, DW_OP_LLVM_fragment, 32, 32)
 319 ; CHECK-NEXT:    DBG_VALUE 11, $noreg, ![[f]], !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 320 }
 321
 322 declare !dbg !54 void @_Z4calli(i32 noundef) local_unnamed_addr #1
 323 declare void @llvm.dbg.declare(metadata, metadata, metadata)
 324 declare void @llvm.dbg.value(metadata, metadata, metadata)
 325 declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata)
 326
 327 !llvm.dbg.cu = !{!2}
 328 !llvm.module.flags = !{!10, !11, !12, !13, !14, !15, !1000}
 329 !llvm.ident = !{!16}
 330
 331 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 332 !1 = distinct !DIGlobalVariable(name: "g_a", scope: !2, file: !3, line: 1, type: !7, isLocal: false, isDefinition: true)
 333 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !3, producer: "clang version 16.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !4, splitDebugInlining: false, nameTableKind: None)
 334 !3 = !DIFile(filename: "test.cpp", directory: "/")
 335 !4 = !{!0, !5, !8}
 336 !5 = !DIGlobalVariableExpression(var: !6, expr: !DIExpression())
 337 !6 = distinct !DIGlobalVariable(name: "g_b", scope: !2, file: !3, line: 1, type: !7, isLocal: false, isDefinition: true)
 338 !7 = !DIBasicType(name: "long long", size: 64, encoding: DW_ATE_signed)
 339 !8 = !DIGlobalVariableExpression(var: !9, expr: !DIExpression())
 340 !9 = distinct !DIGlobalVariable(name: "g_c", scope: !2, file: !3, line: 1, type: !7, isLocal: false, isDefinition: true)
 341 !10 = !{i32 7, !"Dwarf Version", i32 5}
 342 !11 = !{i32 2, !"Debug Info Version", i32 3}
 343 !12 = !{i32 1, !"wchar_size", i32 4}
 344 !13 = !{i32 8, !"PIC Level", i32 2}
 345 !14 = !{i32 7, !"PIE Level", i32 2}
 346 !15 = !{i32 7, !"uwtable", i32 2}
 347 !16 = !{!"clang version 16.0.0"}
 348 !17 = distinct !DISubprogram(name: "fun", linkageName: "_Z3funii", scope: !3, file: !3, line: 3, type: !18, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !20)
 349 !18 = !DISubroutineType(types: !19)
 350 !19 = !{!7, !7, !7}
 351 !20 = !{!21, !22}
 352 !21 = !DILocalVariable(name: "a", arg: 1, scope: !17, file: !3, line: 3, type: !7)
 353 !22 = !DILocalVariable(name: "b", arg: 2, scope: !17, file: !3, line: 3, type: !7)
 354 !23 = !DILocation(line: 0, scope: !17)
 355 !24 = !DILocation(line: 4, column: 3, scope: !17)
 356 !25 = !DILocation(line: 5, column: 5, scope: !26)
 357 !26 = distinct !DILexicalBlock(scope: !17, file: !3, line: 4, column: 6)
 358 !27 = !DILocation(line: 7, column: 11, scope: !28)
 359 !28 = distinct !DILexicalBlock(scope: !29, file: !3, line: 7, column: 11)
 360 !29 = distinct !DILexicalBlock(scope: !26, file: !3, line: 6, column: 8)
 361 !34 = !DILocation(line: 6, column: 5, scope: !26)
 362 !35 = !DILocation(line: 7, column: 11, scope: !29)
 363 !36 = !DILocation(line: 8, column: 11, scope: !37)
 364 !37 = distinct !DILexicalBlock(scope: !28, file: !3, line: 7, column: 16)
 365 !38 = !DILocation(line: 9, column: 9, scope: !37)
 366 !39 = !DILocation(line: 10, column: 7, scope: !37)
 367 !40 = !DILocation(line: 11, column: 11, scope: !41)
 368 !41 = distinct !DILexicalBlock(scope: !28, file: !3, line: 10, column: 14)
 369 !42 = !DILocation(line: 0, scope: !28)
 370 !43 = !DILocation(line: 13, column: 14, scope: !26)
 371 !44 = !DILocation(line: 13, column: 5, scope: !29)
 372 !45 = distinct !{!45, !34, !46, !47}
 373 !46 = !DILocation(line: 13, column: 17, scope: !26)
 374 !47 = !{!"llvm.loop.mustprogress"}
 375 !48 = !DILocation(line: 14, column: 12, scope: !17)
 376 !49 = !DILocation(line: 14, column: 3, scope: !26)
 377 !50 = distinct !{!50, !24, !51, !47}
 378 !51 = !DILocation(line: 14, column: 15, scope: !17)
 379 !52 = !DILocation(line: 15, column: 12, scope: !17)
 380 !53 = !DILocation(line: 15, column: 3, scope: !17)
 381 !54 = !DISubprogram(name: "call", linkageName: "_Z4calli", scope: !3, file: !3, line: 2, type: !55, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !57)
 382 !55 = !DISubroutineType(types: !56)
 383 !56 = !{null, !7}
 384 !57 = !{}
 385 !58 = distinct !DIAssignID()
 386 !63 = distinct !DIAssignID()
 387 !64 = distinct !DIAssignID()
 388 !65 = distinct !DIAssignID()
 389 !66 = distinct !DIAssignID()
 390 !67 = !DILocalVariable(name: "c", scope: !17, file: !3, line: 3, type: !7)
 391 !68 = distinct !DIAssignID()
 392 !69 = distinct !DIAssignID()
 393 !70 = distinct !DIAssignID()
 394 !71 = distinct !DIAssignID()
 395 !72 = !DILocalVariable(name: "d", scope: !17, file: !3, line: 3, type: !7)
 396 !73 = distinct !DIAssignID()
 397 !74 = distinct !DIAssignID()
 398 !75 = !DILocalVariable(name: "e", scope: !17, file: !3, line: 3, type: !7)
 399 !76 = distinct !DIAssignID()
 400 !77 = distinct !DIAssignID()
 401 !78 = distinct !DIAssignID()
 402 !79 = !DILocalVariable(name: "f", scope: !17, file: !3, line: 3, type: !7)
 403 !80 = distinct !DIAssignID()
 404 !81 = distinct !DIAssignID()
 405 !82 = !DILocalVariable(name: "g", scope: !17, file: !3, line: 3, type: !7)
 406 !83 = distinct !DIAssignID()
 407 !84 = distinct !DIAssignID()
 408 !1000 = !{i32 7, !"debug-info-assignment-tracking", i1 true}