@@ -1250,6 +1250,82 @@ TEST(MetadataTest, DbgVariableRecordConversionRoutines) {
1250
1250
EXPECT_EQ (DVI2->getExpression (), Expr2);
1251
1251
}
1252
1252
1253
+ TEST (MetadataTest, InlinedAtMethodsWithMultipleLevels) {
1254
+ LLVMContext C;
1255
+
1256
+ // Create IR with 3 levels of inlining:
1257
+ // main() calls inline1() which calls inline2() which calls inline3()
1258
+ // We'll test from the perspective of code in inline3()
1259
+ std::unique_ptr<Module> M = parseIR (C, R"(
1260
+ define void @main() !dbg !10 {
1261
+ ret void, !dbg !20
1262
+ }
1263
+
1264
+ !llvm.dbg.cu = !{!0}
1265
+ !llvm.module.flags = !{!2}
1266
+
1267
+ !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1)
1268
+ !1 = !DIFile(filename: "test.c", directory: "/test")
1269
+ !2 = !{i32 2, !"Debug Info Version", i32 3}
1270
+
1271
+ ; Subprograms for each function in the call chain
1272
+ !10 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 100, unit: !0)
1273
+ !11 = distinct !DISubprogram(name: "inline1", scope: !1, file: !1, line: 200, unit: !0)
1274
+ !12 = distinct !DISubprogram(name: "inline2", scope: !1, file: !1, line: 300, unit: !0)
1275
+ !13 = distinct !DISubprogram(name: "inline3", scope: !1, file: !1, line: 400, unit: !0)
1276
+
1277
+ ; Location in inline3 (line 401), inlined at location !21
1278
+ !20 = !DILocation(line: 401, column: 5, scope: !13, inlinedAt: !21)
1279
+
1280
+ ; Location in inline2 (line 301) where inline3 was called, inlined at !22
1281
+ !21 = !DILocation(line: 301, column: 10, scope: !12, inlinedAt: !22)
1282
+
1283
+ ; Location in inline1 (line 201) where inline2 was called, inlined at !23
1284
+ !22 = !DILocation(line: 201, column: 15, scope: !11, inlinedAt: !23)
1285
+
1286
+ ; Location in main (line 101) where inline1 was called (no more inlinedAt)
1287
+ !23 = !DILocation(line: 101, column: 3, scope: !10)
1288
+ )" );
1289
+
1290
+ ASSERT_TRUE (M);
1291
+
1292
+ Function *MainFunc = M->getFunction (" main" );
1293
+ ASSERT_TRUE (MainFunc);
1294
+ Instruction &RetInst = MainFunc->getEntryBlock ().front ();
1295
+
1296
+ // Use getDebugLoc() to get the location from the ret instruction.
1297
+ const DILocation *InnermostLoc = RetInst.getDebugLoc ().get ();
1298
+ ASSERT_TRUE (InnermostLoc);
1299
+
1300
+ // Test getScope() - should return the immediate scope (inline3).
1301
+ DILocalScope *ImmediateScope = InnermostLoc->getScope ();
1302
+ ASSERT_TRUE (ImmediateScope);
1303
+ EXPECT_TRUE (isa<DISubprogram>(ImmediateScope));
1304
+ EXPECT_EQ (cast<DISubprogram>(ImmediateScope)->getName (), " inline3" );
1305
+
1306
+ // Test getInlinedAt() - should return the next level in the inlining chain.
1307
+ const DILocation *NextLevel = InnermostLoc->getInlinedAt ();
1308
+ ASSERT_TRUE (NextLevel);
1309
+ EXPECT_EQ (NextLevel->getLine (), 301u );
1310
+ EXPECT_EQ (cast<DISubprogram>(NextLevel->getScope ())->getName (), " inline2" );
1311
+
1312
+ // Test getInlinedAtLocation() - should return the outermost location.
1313
+ const DILocation *OutermostLoc = InnermostLoc->getInlinedAtLocation ();
1314
+ ASSERT_TRUE (OutermostLoc);
1315
+ EXPECT_EQ (OutermostLoc->getLine (), 101u );
1316
+ EXPECT_EQ (OutermostLoc->getColumn (), 3u );
1317
+ EXPECT_EQ (OutermostLoc->getInlinedAt (), nullptr );
1318
+ EXPECT_EQ (cast<DISubprogram>(OutermostLoc->getScope ())->getName (), " main" );
1319
+
1320
+ // Test getInlinedAtScope() - should return the scope of the outermost
1321
+ // location.
1322
+ DILocalScope *InlinedAtScope = InnermostLoc->getInlinedAtScope ();
1323
+ ASSERT_TRUE (InlinedAtScope);
1324
+ EXPECT_TRUE (isa<DISubprogram>(InlinedAtScope));
1325
+ EXPECT_EQ (cast<DISubprogram>(InlinedAtScope)->getName (), " main" );
1326
+ EXPECT_EQ (InlinedAtScope, OutermostLoc->getScope ());
1327
+ }
1328
+
1253
1329
// Test that the hashing function for DISubprograms representing methods produce
1254
1330
// the same result after replacing their scope (the type containing the
1255
1331
// subprogram) from a temporary DIType with the permanent one.
0 commit comments