brintos

brintos / llvm-project-archived public Read only

0
0
Text · 65.6 KiB · 8ee7ce1 Raw
1491 lines · plain
1; RUN: llc -filetype=obj %p/Inputs/many-funcs.ll -o %t.many.o2; RUN: llc -filetype=obj %s -o %t.o3; RUN: wasm-ld -r -o %t.wasm %t.many.o %t.o4; RUN: obj2yaml %t.wasm | FileCheck %s5 6; Test that relocations within the CODE section correctly handle7; linking object with different header sizes.  many-funcs.ll has8; 128 function and so the final output requires a 2-byte LEB in9; the CODE section header to store the function count.10 11target triple = "wasm32-unknown-unknown"12 13define i32 @func() {14entry:15  %call = tail call i32 @func()16  ret i32 %call17}18 19; CHECK:        - Type:            CODE20; CHECK-NEXT:     Relocations:21; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB22; CHECK-NEXT:         Index:           123; CHECK-NEXT:         Offset:          0x824; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB25; CHECK-NEXT:         Index:           126; CHECK-NEXT:         Offset:          0x1427; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB28; CHECK-NEXT:         Index:           129; CHECK-NEXT:         Offset:          0x2030; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB31; CHECK-NEXT:         Index:           132; CHECK-NEXT:         Offset:          0x2C33; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB34; CHECK-NEXT:         Index:           135; CHECK-NEXT:         Offset:          0x3836; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB37; CHECK-NEXT:         Index:           138; CHECK-NEXT:         Offset:          0x4439; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB40; CHECK-NEXT:         Index:           141; CHECK-NEXT:         Offset:          0x5042; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB43; CHECK-NEXT:         Index:           144; CHECK-NEXT:         Offset:          0x5C45; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB46; CHECK-NEXT:         Index:           147; CHECK-NEXT:         Offset:          0x6848; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB49; CHECK-NEXT:         Index:           150; CHECK-NEXT:         Offset:          0x7451; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB52; CHECK-NEXT:         Index:           153; CHECK-NEXT:         Offset:          0x8054; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB55; CHECK-NEXT:         Index:           156; CHECK-NEXT:         Offset:          0x8C57; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB58; CHECK-NEXT:         Index:           159; CHECK-NEXT:         Offset:          0x9860; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB61; CHECK-NEXT:         Index:           162; CHECK-NEXT:         Offset:          0xA463; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB64; CHECK-NEXT:         Index:           165; CHECK-NEXT:         Offset:          0xB066; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB67; CHECK-NEXT:         Index:           168; CHECK-NEXT:         Offset:          0xBC69; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB70; CHECK-NEXT:         Index:           171; CHECK-NEXT:         Offset:          0xC872; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB73; CHECK-NEXT:         Index:           174; CHECK-NEXT:         Offset:          0xD475; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB76; CHECK-NEXT:         Index:           177; CHECK-NEXT:         Offset:          0xE078; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB79; CHECK-NEXT:         Index:           180; CHECK-NEXT:         Offset:          0xEC81; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB82; CHECK-NEXT:         Index:           183; CHECK-NEXT:         Offset:          0xF884; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB85; CHECK-NEXT:         Index:           186; CHECK-NEXT:         Offset:          0x10487; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB88; CHECK-NEXT:         Index:           189; CHECK-NEXT:         Offset:          0x11090; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB91; CHECK-NEXT:         Index:           192; CHECK-NEXT:         Offset:          0x11C93; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB94; CHECK-NEXT:         Index:           195; CHECK-NEXT:         Offset:          0x12896; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB97; CHECK-NEXT:         Index:           198; CHECK-NEXT:         Offset:          0x13499; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB100; CHECK-NEXT:         Index:           1101; CHECK-NEXT:         Offset:          0x140102; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB103; CHECK-NEXT:         Index:           1104; CHECK-NEXT:         Offset:          0x14C105; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB106; CHECK-NEXT:         Index:           1107; CHECK-NEXT:         Offset:          0x158108; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB109; CHECK-NEXT:         Index:           1110; CHECK-NEXT:         Offset:          0x164111; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB112; CHECK-NEXT:         Index:           1113; CHECK-NEXT:         Offset:          0x170114; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB115; CHECK-NEXT:         Index:           1116; CHECK-NEXT:         Offset:          0x17C117; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB118; CHECK-NEXT:         Index:           1119; CHECK-NEXT:         Offset:          0x188120; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB121; CHECK-NEXT:         Index:           1122; CHECK-NEXT:         Offset:          0x194123; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB124; CHECK-NEXT:         Index:           1125; CHECK-NEXT:         Offset:          0x1A0126; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB127; CHECK-NEXT:         Index:           1128; CHECK-NEXT:         Offset:          0x1AC129; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB130; CHECK-NEXT:         Index:           1131; CHECK-NEXT:         Offset:          0x1B8132; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB133; CHECK-NEXT:         Index:           1134; CHECK-NEXT:         Offset:          0x1C4135; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB136; CHECK-NEXT:         Index:           1137; CHECK-NEXT:         Offset:          0x1D0138; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB139; CHECK-NEXT:         Index:           1140; CHECK-NEXT:         Offset:          0x1DC141; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB142; CHECK-NEXT:         Index:           1143; CHECK-NEXT:         Offset:          0x1E8144; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB145; CHECK-NEXT:         Index:           1146; CHECK-NEXT:         Offset:          0x1F4147; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB148; CHECK-NEXT:         Index:           1149; CHECK-NEXT:         Offset:          0x200150; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB151; CHECK-NEXT:         Index:           1152; CHECK-NEXT:         Offset:          0x20C153; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB154; CHECK-NEXT:         Index:           1155; CHECK-NEXT:         Offset:          0x218156; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB157; CHECK-NEXT:         Index:           1158; CHECK-NEXT:         Offset:          0x224159; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB160; CHECK-NEXT:         Index:           1161; CHECK-NEXT:         Offset:          0x230162; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB163; CHECK-NEXT:         Index:           1164; CHECK-NEXT:         Offset:          0x23C165; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB166; CHECK-NEXT:         Index:           1167; CHECK-NEXT:         Offset:          0x248168; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB169; CHECK-NEXT:         Index:           1170; CHECK-NEXT:         Offset:          0x254171; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB172; CHECK-NEXT:         Index:           1173; CHECK-NEXT:         Offset:          0x260174; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB175; CHECK-NEXT:         Index:           1176; CHECK-NEXT:         Offset:          0x26C177; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB178; CHECK-NEXT:         Index:           1179; CHECK-NEXT:         Offset:          0x278180; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB181; CHECK-NEXT:         Index:           1182; CHECK-NEXT:         Offset:          0x284183; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB184; CHECK-NEXT:         Index:           1185; CHECK-NEXT:         Offset:          0x290186; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB187; CHECK-NEXT:         Index:           1188; CHECK-NEXT:         Offset:          0x29C189; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB190; CHECK-NEXT:         Index:           1191; CHECK-NEXT:         Offset:          0x2A8192; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB193; CHECK-NEXT:         Index:           1194; CHECK-NEXT:         Offset:          0x2B4195; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB196; CHECK-NEXT:         Index:           1197; CHECK-NEXT:         Offset:          0x2C0198; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB199; CHECK-NEXT:         Index:           1200; CHECK-NEXT:         Offset:          0x2CC201; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB202; CHECK-NEXT:         Index:           1203; CHECK-NEXT:         Offset:          0x2D8204; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB205; CHECK-NEXT:         Index:           1206; CHECK-NEXT:         Offset:          0x2E4207; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB208; CHECK-NEXT:         Index:           1209; CHECK-NEXT:         Offset:          0x2F0210; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB211; CHECK-NEXT:         Index:           1212; CHECK-NEXT:         Offset:          0x2FC213; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB214; CHECK-NEXT:         Index:           1215; CHECK-NEXT:         Offset:          0x308216; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB217; CHECK-NEXT:         Index:           1218; CHECK-NEXT:         Offset:          0x314219; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB220; CHECK-NEXT:         Index:           1221; CHECK-NEXT:         Offset:          0x320222; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB223; CHECK-NEXT:         Index:           1224; CHECK-NEXT:         Offset:          0x32C225; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB226; CHECK-NEXT:         Index:           1227; CHECK-NEXT:         Offset:          0x338228; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB229; CHECK-NEXT:         Index:           1230; CHECK-NEXT:         Offset:          0x344231; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB232; CHECK-NEXT:         Index:           1233; CHECK-NEXT:         Offset:          0x350234; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB235; CHECK-NEXT:         Index:           1236; CHECK-NEXT:         Offset:          0x35C237; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB238; CHECK-NEXT:         Index:           1239; CHECK-NEXT:         Offset:          0x368240; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB241; CHECK-NEXT:         Index:           1242; CHECK-NEXT:         Offset:          0x374243; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB244; CHECK-NEXT:         Index:           1245; CHECK-NEXT:         Offset:          0x380246; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB247; CHECK-NEXT:         Index:           1248; CHECK-NEXT:         Offset:          0x38C249; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB250; CHECK-NEXT:         Index:           1251; CHECK-NEXT:         Offset:          0x398252; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB253; CHECK-NEXT:         Index:           1254; CHECK-NEXT:         Offset:          0x3A4255; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB256; CHECK-NEXT:         Index:           1257; CHECK-NEXT:         Offset:          0x3B0258; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB259; CHECK-NEXT:         Index:           1260; CHECK-NEXT:         Offset:          0x3BC261; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB262; CHECK-NEXT:         Index:           1263; CHECK-NEXT:         Offset:          0x3C8264; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB265; CHECK-NEXT:         Index:           1266; CHECK-NEXT:         Offset:          0x3D4267; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB268; CHECK-NEXT:         Index:           1269; CHECK-NEXT:         Offset:          0x3E0270; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB271; CHECK-NEXT:         Index:           1272; CHECK-NEXT:         Offset:          0x3EC273; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB274; CHECK-NEXT:         Index:           1275; CHECK-NEXT:         Offset:          0x3F8276; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB277; CHECK-NEXT:         Index:           1278; CHECK-NEXT:         Offset:          0x404279; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB280; CHECK-NEXT:         Index:           1281; CHECK-NEXT:         Offset:          0x410282; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB283; CHECK-NEXT:         Index:           1284; CHECK-NEXT:         Offset:          0x41C285; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB286; CHECK-NEXT:         Index:           1287; CHECK-NEXT:         Offset:          0x428288; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB289; CHECK-NEXT:         Index:           1290; CHECK-NEXT:         Offset:          0x434291; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB292; CHECK-NEXT:         Index:           1293; CHECK-NEXT:         Offset:          0x440294; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB295; CHECK-NEXT:         Index:           1296; CHECK-NEXT:         Offset:          0x44C297; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB298; CHECK-NEXT:         Index:           1299; CHECK-NEXT:         Offset:          0x458300; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB301; CHECK-NEXT:         Index:           1302; CHECK-NEXT:         Offset:          0x464303; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB304; CHECK-NEXT:         Index:           1305; CHECK-NEXT:         Offset:          0x470306; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB307; CHECK-NEXT:         Index:           1308; CHECK-NEXT:         Offset:          0x47C309; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB310; CHECK-NEXT:         Index:           1311; CHECK-NEXT:         Offset:          0x488312; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB313; CHECK-NEXT:         Index:           1314; CHECK-NEXT:         Offset:          0x494315; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB316; CHECK-NEXT:         Index:           1317; CHECK-NEXT:         Offset:          0x4A0318; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB319; CHECK-NEXT:         Index:           1320; CHECK-NEXT:         Offset:          0x4AC321; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB322; CHECK-NEXT:         Index:           1323; CHECK-NEXT:         Offset:          0x4B8324; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB325; CHECK-NEXT:         Index:           1326; CHECK-NEXT:         Offset:          0x4C4327; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB328; CHECK-NEXT:         Index:           1329; CHECK-NEXT:         Offset:          0x4D0330; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB331; CHECK-NEXT:         Index:           1332; CHECK-NEXT:         Offset:          0x4DC333; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB334; CHECK-NEXT:         Index:           1335; CHECK-NEXT:         Offset:          0x4E8336; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB337; CHECK-NEXT:         Index:           1338; CHECK-NEXT:         Offset:          0x4F4339; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB340; CHECK-NEXT:         Index:           1341; CHECK-NEXT:         Offset:          0x500342; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB343; CHECK-NEXT:         Index:           1344; CHECK-NEXT:         Offset:          0x50C345; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB346; CHECK-NEXT:         Index:           1347; CHECK-NEXT:         Offset:          0x518348; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB349; CHECK-NEXT:         Index:           1350; CHECK-NEXT:         Offset:          0x524351; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB352; CHECK-NEXT:         Index:           1353; CHECK-NEXT:         Offset:          0x530354; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB355; CHECK-NEXT:         Index:           1356; CHECK-NEXT:         Offset:          0x53C357; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB358; CHECK-NEXT:         Index:           1359; CHECK-NEXT:         Offset:          0x548360; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB361; CHECK-NEXT:         Index:           1362; CHECK-NEXT:         Offset:          0x554363; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB364; CHECK-NEXT:         Index:           1365; CHECK-NEXT:         Offset:          0x560366; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB367; CHECK-NEXT:         Index:           1368; CHECK-NEXT:         Offset:          0x56C369; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB370; CHECK-NEXT:         Index:           1371; CHECK-NEXT:         Offset:          0x578372; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB373; CHECK-NEXT:         Index:           1374; CHECK-NEXT:         Offset:          0x584375; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB376; CHECK-NEXT:         Index:           1377; CHECK-NEXT:         Offset:          0x590378; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB379; CHECK-NEXT:         Index:           1380; CHECK-NEXT:         Offset:          0x59C381; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB382; CHECK-NEXT:         Index:           1383; CHECK-NEXT:         Offset:          0x5A8384; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB385; CHECK-NEXT:         Index:           1386; CHECK-NEXT:         Offset:          0x5B4387; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB388; CHECK-NEXT:         Index:           1389; CHECK-NEXT:         Offset:          0x5C0390; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB391; CHECK-NEXT:         Index:           1392; CHECK-NEXT:         Offset:          0x5CC393; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB394; CHECK-NEXT:         Index:           1395; CHECK-NEXT:         Offset:          0x5D8396; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB397; CHECK-NEXT:         Index:           1398; CHECK-NEXT:         Offset:          0x5E4399; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB400; CHECK-NEXT:         Index:           1401; CHECK-NEXT:         Offset:          0x5F0402; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB403; CHECK-NEXT:         Index:           129404; CHECK-NEXT:         Offset:          0x5FC405; CHECK-NEXT:       - Type:            R_WASM_MEMORY_ADDR_LEB406; CHECK-NEXT:         Index:           129407; CHECK-NEXT:         Offset:          0x608408; CHECK-NEXT:       - Type:            R_WASM_FUNCTION_INDEX_LEB409; CHECK-NEXT:         Index:           131410; CHECK-NEXT:         Offset:          0x611411; CHECK-NEXT:     Functions:412; CHECK-NEXT:       - Index:           0413; CHECK-NEXT:         Locals:414; CHECK-NEXT:         Body:            4100280284808080000B415; CHECK-NEXT:       - Index:           1416; CHECK-NEXT:         Locals:417; CHECK-NEXT:         Body:            4100280284808080000B418; CHECK-NEXT:       - Index:           2419; CHECK-NEXT:         Locals:420; CHECK-NEXT:         Body:            4100280284808080000B421; CHECK-NEXT:       - Index:           3422; CHECK-NEXT:         Locals:423; CHECK-NEXT:         Body:            4100280284808080000B424; CHECK-NEXT:       - Index:           4425; CHECK-NEXT:         Locals:426; CHECK-NEXT:         Body:            4100280284808080000B427; CHECK-NEXT:       - Index:           5428; CHECK-NEXT:         Locals:429; CHECK-NEXT:         Body:            4100280284808080000B430; CHECK-NEXT:       - Index:           6431; CHECK-NEXT:         Locals:432; CHECK-NEXT:         Body:            4100280284808080000B433; CHECK-NEXT:       - Index:           7434; CHECK-NEXT:         Locals:435; CHECK-NEXT:         Body:            4100280284808080000B436; CHECK-NEXT:       - Index:           8437; CHECK-NEXT:         Locals:438; CHECK-NEXT:         Body:            4100280284808080000B439; CHECK-NEXT:       - Index:           9440; CHECK-NEXT:         Locals:441; CHECK-NEXT:         Body:            4100280284808080000B442; CHECK-NEXT:       - Index:           10443; CHECK-NEXT:         Locals:444; CHECK-NEXT:         Body:            4100280284808080000B445; CHECK-NEXT:       - Index:           11446; CHECK-NEXT:         Locals:447; CHECK-NEXT:         Body:            4100280284808080000B448; CHECK-NEXT:       - Index:           12449; CHECK-NEXT:         Locals:450; CHECK-NEXT:         Body:            4100280284808080000B451; CHECK-NEXT:       - Index:           13452; CHECK-NEXT:         Locals:453; CHECK-NEXT:         Body:            4100280284808080000B454; CHECK-NEXT:       - Index:           14455; CHECK-NEXT:         Locals:456; CHECK-NEXT:         Body:            4100280284808080000B457; CHECK-NEXT:       - Index:           15458; CHECK-NEXT:         Locals:459; CHECK-NEXT:         Body:            4100280284808080000B460; CHECK-NEXT:       - Index:           16461; CHECK-NEXT:         Locals:462; CHECK-NEXT:         Body:            4100280284808080000B463; CHECK-NEXT:       - Index:           17464; CHECK-NEXT:         Locals:465; CHECK-NEXT:         Body:            4100280284808080000B466; CHECK-NEXT:       - Index:           18467; CHECK-NEXT:         Locals:468; CHECK-NEXT:         Body:            4100280284808080000B469; CHECK-NEXT:       - Index:           19470; CHECK-NEXT:         Locals:471; CHECK-NEXT:         Body:            4100280284808080000B472; CHECK-NEXT:       - Index:           20473; CHECK-NEXT:         Locals:474; CHECK-NEXT:         Body:            4100280284808080000B475; CHECK-NEXT:       - Index:           21476; CHECK-NEXT:         Locals:477; CHECK-NEXT:         Body:            4100280284808080000B478; CHECK-NEXT:       - Index:           22479; CHECK-NEXT:         Locals:480; CHECK-NEXT:         Body:            4100280284808080000B481; CHECK-NEXT:       - Index:           23482; CHECK-NEXT:         Locals:483; CHECK-NEXT:         Body:            4100280284808080000B484; CHECK-NEXT:       - Index:           24485; CHECK-NEXT:         Locals:486; CHECK-NEXT:         Body:            4100280284808080000B487; CHECK-NEXT:       - Index:           25488; CHECK-NEXT:         Locals:489; CHECK-NEXT:         Body:            4100280284808080000B490; CHECK-NEXT:       - Index:           26491; CHECK-NEXT:         Locals:492; CHECK-NEXT:         Body:            4100280284808080000B493; CHECK-NEXT:       - Index:           27494; CHECK-NEXT:         Locals:495; CHECK-NEXT:         Body:            4100280284808080000B496; CHECK-NEXT:       - Index:           28497; CHECK-NEXT:         Locals:498; CHECK-NEXT:         Body:            4100280284808080000B499; CHECK-NEXT:       - Index:           29500; CHECK-NEXT:         Locals:501; CHECK-NEXT:         Body:            4100280284808080000B502; CHECK-NEXT:       - Index:           30503; CHECK-NEXT:         Locals:504; CHECK-NEXT:         Body:            4100280284808080000B505; CHECK-NEXT:       - Index:           31506; CHECK-NEXT:         Locals:507; CHECK-NEXT:         Body:            4100280284808080000B508; CHECK-NEXT:       - Index:           32509; CHECK-NEXT:         Locals:510; CHECK-NEXT:         Body:            4100280284808080000B511; CHECK-NEXT:       - Index:           33512; CHECK-NEXT:         Locals:513; CHECK-NEXT:         Body:            4100280284808080000B514; CHECK-NEXT:       - Index:           34515; CHECK-NEXT:         Locals:516; CHECK-NEXT:         Body:            4100280284808080000B517; CHECK-NEXT:       - Index:           35518; CHECK-NEXT:         Locals:519; CHECK-NEXT:         Body:            4100280284808080000B520; CHECK-NEXT:       - Index:           36521; CHECK-NEXT:         Locals:522; CHECK-NEXT:         Body:            4100280284808080000B523; CHECK-NEXT:       - Index:           37524; CHECK-NEXT:         Locals:525; CHECK-NEXT:         Body:            4100280284808080000B526; CHECK-NEXT:       - Index:           38527; CHECK-NEXT:         Locals:528; CHECK-NEXT:         Body:            4100280284808080000B529; CHECK-NEXT:       - Index:           39530; CHECK-NEXT:         Locals:531; CHECK-NEXT:         Body:            4100280284808080000B532; CHECK-NEXT:       - Index:           40533; CHECK-NEXT:         Locals:534; CHECK-NEXT:         Body:            4100280284808080000B535; CHECK-NEXT:       - Index:           41536; CHECK-NEXT:         Locals:537; CHECK-NEXT:         Body:            4100280284808080000B538; CHECK-NEXT:       - Index:           42539; CHECK-NEXT:         Locals:540; CHECK-NEXT:         Body:            4100280284808080000B541; CHECK-NEXT:       - Index:           43542; CHECK-NEXT:         Locals:543; CHECK-NEXT:         Body:            4100280284808080000B544; CHECK-NEXT:       - Index:           44545; CHECK-NEXT:         Locals:546; CHECK-NEXT:         Body:            4100280284808080000B547; CHECK-NEXT:       - Index:           45548; CHECK-NEXT:         Locals:549; CHECK-NEXT:         Body:            4100280284808080000B550; CHECK-NEXT:       - Index:           46551; CHECK-NEXT:         Locals:552; CHECK-NEXT:         Body:            4100280284808080000B553; CHECK-NEXT:       - Index:           47554; CHECK-NEXT:         Locals:555; CHECK-NEXT:         Body:            4100280284808080000B556; CHECK-NEXT:       - Index:           48557; CHECK-NEXT:         Locals:558; CHECK-NEXT:         Body:            4100280284808080000B559; CHECK-NEXT:       - Index:           49560; CHECK-NEXT:         Locals:561; CHECK-NEXT:         Body:            4100280284808080000B562; CHECK-NEXT:       - Index:           50563; CHECK-NEXT:         Locals:564; CHECK-NEXT:         Body:            4100280284808080000B565; CHECK-NEXT:       - Index:           51566; CHECK-NEXT:         Locals:567; CHECK-NEXT:         Body:            4100280284808080000B568; CHECK-NEXT:       - Index:           52569; CHECK-NEXT:         Locals:570; CHECK-NEXT:         Body:            4100280284808080000B571; CHECK-NEXT:       - Index:           53572; CHECK-NEXT:         Locals:573; CHECK-NEXT:         Body:            4100280284808080000B574; CHECK-NEXT:       - Index:           54575; CHECK-NEXT:         Locals:576; CHECK-NEXT:         Body:            4100280284808080000B577; CHECK-NEXT:       - Index:           55578; CHECK-NEXT:         Locals:579; CHECK-NEXT:         Body:            4100280284808080000B580; CHECK-NEXT:       - Index:           56581; CHECK-NEXT:         Locals:582; CHECK-NEXT:         Body:            4100280284808080000B583; CHECK-NEXT:       - Index:           57584; CHECK-NEXT:         Locals:585; CHECK-NEXT:         Body:            4100280284808080000B586; CHECK-NEXT:       - Index:           58587; CHECK-NEXT:         Locals:588; CHECK-NEXT:         Body:            4100280284808080000B589; CHECK-NEXT:       - Index:           59590; CHECK-NEXT:         Locals:591; CHECK-NEXT:         Body:            4100280284808080000B592; CHECK-NEXT:       - Index:           60593; CHECK-NEXT:         Locals:594; CHECK-NEXT:         Body:            4100280284808080000B595; CHECK-NEXT:       - Index:           61596; CHECK-NEXT:         Locals:597; CHECK-NEXT:         Body:            4100280284808080000B598; CHECK-NEXT:       - Index:           62599; CHECK-NEXT:         Locals:600; CHECK-NEXT:         Body:            4100280284808080000B601; CHECK-NEXT:       - Index:           63602; CHECK-NEXT:         Locals:603; CHECK-NEXT:         Body:            4100280284808080000B604; CHECK-NEXT:       - Index:           64605; CHECK-NEXT:         Locals:606; CHECK-NEXT:         Body:            4100280284808080000B607; CHECK-NEXT:       - Index:           65608; CHECK-NEXT:         Locals:609; CHECK-NEXT:         Body:            4100280284808080000B610; CHECK-NEXT:       - Index:           66611; CHECK-NEXT:         Locals:612; CHECK-NEXT:         Body:            4100280284808080000B613; CHECK-NEXT:       - Index:           67614; CHECK-NEXT:         Locals:615; CHECK-NEXT:         Body:            4100280284808080000B616; CHECK-NEXT:       - Index:           68617; CHECK-NEXT:         Locals:618; CHECK-NEXT:         Body:            4100280284808080000B619; CHECK-NEXT:       - Index:           69620; CHECK-NEXT:         Locals:621; CHECK-NEXT:         Body:            4100280284808080000B622; CHECK-NEXT:       - Index:           70623; CHECK-NEXT:         Locals:624; CHECK-NEXT:         Body:            4100280284808080000B625; CHECK-NEXT:       - Index:           71626; CHECK-NEXT:         Locals:627; CHECK-NEXT:         Body:            4100280284808080000B628; CHECK-NEXT:       - Index:           72629; CHECK-NEXT:         Locals:630; CHECK-NEXT:         Body:            4100280284808080000B631; CHECK-NEXT:       - Index:           73632; CHECK-NEXT:         Locals:633; CHECK-NEXT:         Body:            4100280284808080000B634; CHECK-NEXT:       - Index:           74635; CHECK-NEXT:         Locals:636; CHECK-NEXT:         Body:            4100280284808080000B637; CHECK-NEXT:       - Index:           75638; CHECK-NEXT:         Locals:639; CHECK-NEXT:         Body:            4100280284808080000B640; CHECK-NEXT:       - Index:           76641; CHECK-NEXT:         Locals:642; CHECK-NEXT:         Body:            4100280284808080000B643; CHECK-NEXT:       - Index:           77644; CHECK-NEXT:         Locals:645; CHECK-NEXT:         Body:            4100280284808080000B646; CHECK-NEXT:       - Index:           78647; CHECK-NEXT:         Locals:648; CHECK-NEXT:         Body:            4100280284808080000B649; CHECK-NEXT:       - Index:           79650; CHECK-NEXT:         Locals:651; CHECK-NEXT:         Body:            4100280284808080000B652; CHECK-NEXT:       - Index:           80653; CHECK-NEXT:         Locals:654; CHECK-NEXT:         Body:            4100280284808080000B655; CHECK-NEXT:       - Index:           81656; CHECK-NEXT:         Locals:657; CHECK-NEXT:         Body:            4100280284808080000B658; CHECK-NEXT:       - Index:           82659; CHECK-NEXT:         Locals:660; CHECK-NEXT:         Body:            4100280284808080000B661; CHECK-NEXT:       - Index:           83662; CHECK-NEXT:         Locals:663; CHECK-NEXT:         Body:            4100280284808080000B664; CHECK-NEXT:       - Index:           84665; CHECK-NEXT:         Locals:666; CHECK-NEXT:         Body:            4100280284808080000B667; CHECK-NEXT:       - Index:           85668; CHECK-NEXT:         Locals:669; CHECK-NEXT:         Body:            4100280284808080000B670; CHECK-NEXT:       - Index:           86671; CHECK-NEXT:         Locals:672; CHECK-NEXT:         Body:            4100280284808080000B673; CHECK-NEXT:       - Index:           87674; CHECK-NEXT:         Locals:675; CHECK-NEXT:         Body:            4100280284808080000B676; CHECK-NEXT:       - Index:           88677; CHECK-NEXT:         Locals:678; CHECK-NEXT:         Body:            4100280284808080000B679; CHECK-NEXT:       - Index:           89680; CHECK-NEXT:         Locals:681; CHECK-NEXT:         Body:            4100280284808080000B682; CHECK-NEXT:       - Index:           90683; CHECK-NEXT:         Locals:684; CHECK-NEXT:         Body:            4100280284808080000B685; CHECK-NEXT:       - Index:           91686; CHECK-NEXT:         Locals:687; CHECK-NEXT:         Body:            4100280284808080000B688; CHECK-NEXT:       - Index:           92689; CHECK-NEXT:         Locals:690; CHECK-NEXT:         Body:            4100280284808080000B691; CHECK-NEXT:       - Index:           93692; CHECK-NEXT:         Locals:693; CHECK-NEXT:         Body:            4100280284808080000B694; CHECK-NEXT:       - Index:           94695; CHECK-NEXT:         Locals:696; CHECK-NEXT:         Body:            4100280284808080000B697; CHECK-NEXT:       - Index:           95698; CHECK-NEXT:         Locals:699; CHECK-NEXT:         Body:            4100280284808080000B700; CHECK-NEXT:       - Index:           96701; CHECK-NEXT:         Locals:702; CHECK-NEXT:         Body:            4100280284808080000B703; CHECK-NEXT:       - Index:           97704; CHECK-NEXT:         Locals:705; CHECK-NEXT:         Body:            4100280284808080000B706; CHECK-NEXT:       - Index:           98707; CHECK-NEXT:         Locals:708; CHECK-NEXT:         Body:            4100280284808080000B709; CHECK-NEXT:       - Index:           99710; CHECK-NEXT:         Locals:711; CHECK-NEXT:         Body:            4100280284808080000B712; CHECK-NEXT:       - Index:           100713; CHECK-NEXT:         Locals:714; CHECK-NEXT:         Body:            4100280284808080000B715; CHECK-NEXT:       - Index:           101716; CHECK-NEXT:         Locals:717; CHECK-NEXT:         Body:            4100280284808080000B718; CHECK-NEXT:       - Index:           102719; CHECK-NEXT:         Locals:720; CHECK-NEXT:         Body:            4100280284808080000B721; CHECK-NEXT:       - Index:           103722; CHECK-NEXT:         Locals:723; CHECK-NEXT:         Body:            4100280284808080000B724; CHECK-NEXT:       - Index:           104725; CHECK-NEXT:         Locals:726; CHECK-NEXT:         Body:            4100280284808080000B727; CHECK-NEXT:       - Index:           105728; CHECK-NEXT:         Locals:729; CHECK-NEXT:         Body:            4100280284808080000B730; CHECK-NEXT:       - Index:           106731; CHECK-NEXT:         Locals:732; CHECK-NEXT:         Body:            4100280284808080000B733; CHECK-NEXT:       - Index:           107734; CHECK-NEXT:         Locals:735; CHECK-NEXT:         Body:            4100280284808080000B736; CHECK-NEXT:       - Index:           108737; CHECK-NEXT:         Locals:738; CHECK-NEXT:         Body:            4100280284808080000B739; CHECK-NEXT:       - Index:           109740; CHECK-NEXT:         Locals:741; CHECK-NEXT:         Body:            4100280284808080000B742; CHECK-NEXT:       - Index:           110743; CHECK-NEXT:         Locals:744; CHECK-NEXT:         Body:            4100280284808080000B745; CHECK-NEXT:       - Index:           111746; CHECK-NEXT:         Locals:747; CHECK-NEXT:         Body:            4100280284808080000B748; CHECK-NEXT:       - Index:           112749; CHECK-NEXT:         Locals:750; CHECK-NEXT:         Body:            4100280284808080000B751; CHECK-NEXT:       - Index:           113752; CHECK-NEXT:         Locals:753; CHECK-NEXT:         Body:            4100280284808080000B754; CHECK-NEXT:       - Index:           114755; CHECK-NEXT:         Locals:756; CHECK-NEXT:         Body:            4100280284808080000B757; CHECK-NEXT:       - Index:           115758; CHECK-NEXT:         Locals:759; CHECK-NEXT:         Body:            4100280284808080000B760; CHECK-NEXT:       - Index:           116761; CHECK-NEXT:         Locals:762; CHECK-NEXT:         Body:            4100280284808080000B763; CHECK-NEXT:       - Index:           117764; CHECK-NEXT:         Locals:765; CHECK-NEXT:         Body:            4100280284808080000B766; CHECK-NEXT:       - Index:           118767; CHECK-NEXT:         Locals:768; CHECK-NEXT:         Body:            4100280284808080000B769; CHECK-NEXT:       - Index:           119770; CHECK-NEXT:         Locals:771; CHECK-NEXT:         Body:            4100280284808080000B772; CHECK-NEXT:       - Index:           120773; CHECK-NEXT:         Locals:774; CHECK-NEXT:         Body:            4100280284808080000B775; CHECK-NEXT:       - Index:           121776; CHECK-NEXT:         Locals:777; CHECK-NEXT:         Body:            4100280284808080000B778; CHECK-NEXT:       - Index:           122779; CHECK-NEXT:         Locals:780; CHECK-NEXT:         Body:            4100280284808080000B781; CHECK-NEXT:       - Index:           123782; CHECK-NEXT:         Locals:783; CHECK-NEXT:         Body:            4100280284808080000B784; CHECK-NEXT:       - Index:           124785; CHECK-NEXT:         Locals:786; CHECK-NEXT:         Body:            4100280284808080000B787; CHECK-NEXT:       - Index:           125788; CHECK-NEXT:         Locals:789; CHECK-NEXT:         Body:            4100280284808080000B790; CHECK-NEXT:       - Index:           126791; CHECK-NEXT:         Locals:792; CHECK-NEXT:         Body:            4100280284808080000B793; CHECK-NEXT:       - Index:           127794; CHECK-NEXT:         Locals:795; CHECK-NEXT:         Body:            4100280280808080000B796; CHECK-NEXT:       - Index:           128797; CHECK-NEXT:         Locals:798; CHECK-NEXT:         Body:            4100280280808080000B799; CHECK-NEXT:       - Index:           129800; CHECK-NEXT:         Locals:801; CHECK-NEXT:         Body:            1081818080000B802; CHECK-NEXT:   - Type:            DATA803; CHECK-NEXT:     Segments:804; CHECK-NEXT:       - SectionOffset:   6805; CHECK-NEXT:         InitFlags:       0806; CHECK-NEXT:         Offset:807; CHECK-NEXT:           Opcode:          I32_CONST808; CHECK-NEXT:           Value:           0809; CHECK-NEXT:         Content:         '01000000'810; CHECK-NEXT:       - SectionOffset:   15811; CHECK-NEXT:         InitFlags:       0812; CHECK-NEXT:         Offset:813; CHECK-NEXT:           Opcode:          I32_CONST814; CHECK-NEXT:           Value:           4815; CHECK-NEXT:         Content:         '01000000'816; CHECK-NEXT:   - Type:            CUSTOM817; CHECK-NEXT:     Name:            linking818; CHECK-NEXT:     Version:         2819; CHECK-NEXT:     SymbolTable:820; CHECK-NEXT:       - Index:           0821; CHECK-NEXT:         Kind:            FUNCTION822; CHECK-NEXT:         Name:            f1823; CHECK-NEXT:         Flags:           [  ]824; CHECK-NEXT:         Function:        0825; CHECK-NEXT:       - Index:           1826; CHECK-NEXT:         Kind:            DATA827; CHECK-NEXT:         Name:            foo828; CHECK-NEXT:         Flags:           [  ]829; CHECK-NEXT:         Segment:         1830; CHECK-NEXT:         Size:            4831; CHECK-NEXT:       - Index:           2832; CHECK-NEXT:         Kind:            FUNCTION833; CHECK-NEXT:         Name:            f2834; CHECK-NEXT:         Flags:           [  ]835; CHECK-NEXT:         Function:        1836; CHECK-NEXT:       - Index:           3837; CHECK-NEXT:         Kind:            FUNCTION838; CHECK-NEXT:         Name:            f3839; CHECK-NEXT:         Flags:           [  ]840; CHECK-NEXT:         Function:        2841; CHECK-NEXT:       - Index:           4842; CHECK-NEXT:         Kind:            FUNCTION843; CHECK-NEXT:         Name:            f4844; CHECK-NEXT:         Flags:           [  ]845; CHECK-NEXT:         Function:        3846; CHECK-NEXT:       - Index:           5847; CHECK-NEXT:         Kind:            FUNCTION848; CHECK-NEXT:         Name:            f5849; CHECK-NEXT:         Flags:           [  ]850; CHECK-NEXT:         Function:        4851; CHECK-NEXT:       - Index:           6852; CHECK-NEXT:         Kind:            FUNCTION853; CHECK-NEXT:         Name:            f6854; CHECK-NEXT:         Flags:           [  ]855; CHECK-NEXT:         Function:        5856; CHECK-NEXT:       - Index:           7857; CHECK-NEXT:         Kind:            FUNCTION858; CHECK-NEXT:         Name:            f7859; CHECK-NEXT:         Flags:           [  ]860; CHECK-NEXT:         Function:        6861; CHECK-NEXT:       - Index:           8862; CHECK-NEXT:         Kind:            FUNCTION863; CHECK-NEXT:         Name:            f8864; CHECK-NEXT:         Flags:           [  ]865; CHECK-NEXT:         Function:        7866; CHECK-NEXT:       - Index:           9867; CHECK-NEXT:         Kind:            FUNCTION868; CHECK-NEXT:         Name:            f9869; CHECK-NEXT:         Flags:           [  ]870; CHECK-NEXT:         Function:        8871; CHECK-NEXT:       - Index:           10872; CHECK-NEXT:         Kind:            FUNCTION873; CHECK-NEXT:         Name:            f10874; CHECK-NEXT:         Flags:           [  ]875; CHECK-NEXT:         Function:        9876; CHECK-NEXT:       - Index:           11877; CHECK-NEXT:         Kind:            FUNCTION878; CHECK-NEXT:         Name:            f11879; CHECK-NEXT:         Flags:           [  ]880; CHECK-NEXT:         Function:        10881; CHECK-NEXT:       - Index:           12882; CHECK-NEXT:         Kind:            FUNCTION883; CHECK-NEXT:         Name:            f12884; CHECK-NEXT:         Flags:           [  ]885; CHECK-NEXT:         Function:        11886; CHECK-NEXT:       - Index:           13887; CHECK-NEXT:         Kind:            FUNCTION888; CHECK-NEXT:         Name:            f13889; CHECK-NEXT:         Flags:           [  ]890; CHECK-NEXT:         Function:        12891; CHECK-NEXT:       - Index:           14892; CHECK-NEXT:         Kind:            FUNCTION893; CHECK-NEXT:         Name:            f14894; CHECK-NEXT:         Flags:           [  ]895; CHECK-NEXT:         Function:        13896; CHECK-NEXT:       - Index:           15897; CHECK-NEXT:         Kind:            FUNCTION898; CHECK-NEXT:         Name:            f15899; CHECK-NEXT:         Flags:           [  ]900; CHECK-NEXT:         Function:        14901; CHECK-NEXT:       - Index:           16902; CHECK-NEXT:         Kind:            FUNCTION903; CHECK-NEXT:         Name:            f16904; CHECK-NEXT:         Flags:           [  ]905; CHECK-NEXT:         Function:        15906; CHECK-NEXT:       - Index:           17907; CHECK-NEXT:         Kind:            FUNCTION908; CHECK-NEXT:         Name:            f17909; CHECK-NEXT:         Flags:           [  ]910; CHECK-NEXT:         Function:        16911; CHECK-NEXT:       - Index:           18912; CHECK-NEXT:         Kind:            FUNCTION913; CHECK-NEXT:         Name:            f18914; CHECK-NEXT:         Flags:           [  ]915; CHECK-NEXT:         Function:        17916; CHECK-NEXT:       - Index:           19917; CHECK-NEXT:         Kind:            FUNCTION918; CHECK-NEXT:         Name:            f19919; CHECK-NEXT:         Flags:           [  ]920; CHECK-NEXT:         Function:        18921; CHECK-NEXT:       - Index:           20922; CHECK-NEXT:         Kind:            FUNCTION923; CHECK-NEXT:         Name:            f20924; CHECK-NEXT:         Flags:           [  ]925; CHECK-NEXT:         Function:        19926; CHECK-NEXT:       - Index:           21927; CHECK-NEXT:         Kind:            FUNCTION928; CHECK-NEXT:         Name:            f21929; CHECK-NEXT:         Flags:           [  ]930; CHECK-NEXT:         Function:        20931; CHECK-NEXT:       - Index:           22932; CHECK-NEXT:         Kind:            FUNCTION933; CHECK-NEXT:         Name:            f22934; CHECK-NEXT:         Flags:           [  ]935; CHECK-NEXT:         Function:        21936; CHECK-NEXT:       - Index:           23937; CHECK-NEXT:         Kind:            FUNCTION938; CHECK-NEXT:         Name:            f23939; CHECK-NEXT:         Flags:           [  ]940; CHECK-NEXT:         Function:        22941; CHECK-NEXT:       - Index:           24942; CHECK-NEXT:         Kind:            FUNCTION943; CHECK-NEXT:         Name:            f24944; CHECK-NEXT:         Flags:           [  ]945; CHECK-NEXT:         Function:        23946; CHECK-NEXT:       - Index:           25947; CHECK-NEXT:         Kind:            FUNCTION948; CHECK-NEXT:         Name:            f25949; CHECK-NEXT:         Flags:           [  ]950; CHECK-NEXT:         Function:        24951; CHECK-NEXT:       - Index:           26952; CHECK-NEXT:         Kind:            FUNCTION953; CHECK-NEXT:         Name:            f26954; CHECK-NEXT:         Flags:           [  ]955; CHECK-NEXT:         Function:        25956; CHECK-NEXT:       - Index:           27957; CHECK-NEXT:         Kind:            FUNCTION958; CHECK-NEXT:         Name:            f27959; CHECK-NEXT:         Flags:           [  ]960; CHECK-NEXT:         Function:        26961; CHECK-NEXT:       - Index:           28962; CHECK-NEXT:         Kind:            FUNCTION963; CHECK-NEXT:         Name:            f28964; CHECK-NEXT:         Flags:           [  ]965; CHECK-NEXT:         Function:        27966; CHECK-NEXT:       - Index:           29967; CHECK-NEXT:         Kind:            FUNCTION968; CHECK-NEXT:         Name:            f29969; CHECK-NEXT:         Flags:           [  ]970; CHECK-NEXT:         Function:        28971; CHECK-NEXT:       - Index:           30972; CHECK-NEXT:         Kind:            FUNCTION973; CHECK-NEXT:         Name:            f30974; CHECK-NEXT:         Flags:           [  ]975; CHECK-NEXT:         Function:        29976; CHECK-NEXT:       - Index:           31977; CHECK-NEXT:         Kind:            FUNCTION978; CHECK-NEXT:         Name:            f31979; CHECK-NEXT:         Flags:           [  ]980; CHECK-NEXT:         Function:        30981; CHECK-NEXT:       - Index:           32982; CHECK-NEXT:         Kind:            FUNCTION983; CHECK-NEXT:         Name:            f32984; CHECK-NEXT:         Flags:           [  ]985; CHECK-NEXT:         Function:        31986; CHECK-NEXT:       - Index:           33987; CHECK-NEXT:         Kind:            FUNCTION988; CHECK-NEXT:         Name:            f33989; CHECK-NEXT:         Flags:           [  ]990; CHECK-NEXT:         Function:        32991; CHECK-NEXT:       - Index:           34992; CHECK-NEXT:         Kind:            FUNCTION993; CHECK-NEXT:         Name:            f34994; CHECK-NEXT:         Flags:           [  ]995; CHECK-NEXT:         Function:        33996; CHECK-NEXT:       - Index:           35997; CHECK-NEXT:         Kind:            FUNCTION998; CHECK-NEXT:         Name:            f35999; CHECK-NEXT:         Flags:           [  ]1000; CHECK-NEXT:         Function:        341001; CHECK-NEXT:       - Index:           361002; CHECK-NEXT:         Kind:            FUNCTION1003; CHECK-NEXT:         Name:            f361004; CHECK-NEXT:         Flags:           [  ]1005; CHECK-NEXT:         Function:        351006; CHECK-NEXT:       - Index:           371007; CHECK-NEXT:         Kind:            FUNCTION1008; CHECK-NEXT:         Name:            f371009; CHECK-NEXT:         Flags:           [  ]1010; CHECK-NEXT:         Function:        361011; CHECK-NEXT:       - Index:           381012; CHECK-NEXT:         Kind:            FUNCTION1013; CHECK-NEXT:         Name:            f381014; CHECK-NEXT:         Flags:           [  ]1015; CHECK-NEXT:         Function:        371016; CHECK-NEXT:       - Index:           391017; CHECK-NEXT:         Kind:            FUNCTION1018; CHECK-NEXT:         Name:            f391019; CHECK-NEXT:         Flags:           [  ]1020; CHECK-NEXT:         Function:        381021; CHECK-NEXT:       - Index:           401022; CHECK-NEXT:         Kind:            FUNCTION1023; CHECK-NEXT:         Name:            f401024; CHECK-NEXT:         Flags:           [  ]1025; CHECK-NEXT:         Function:        391026; CHECK-NEXT:       - Index:           411027; CHECK-NEXT:         Kind:            FUNCTION1028; CHECK-NEXT:         Name:            f411029; CHECK-NEXT:         Flags:           [  ]1030; CHECK-NEXT:         Function:        401031; CHECK-NEXT:       - Index:           421032; CHECK-NEXT:         Kind:            FUNCTION1033; CHECK-NEXT:         Name:            f421034; CHECK-NEXT:         Flags:           [  ]1035; CHECK-NEXT:         Function:        411036; CHECK-NEXT:       - Index:           431037; CHECK-NEXT:         Kind:            FUNCTION1038; CHECK-NEXT:         Name:            f431039; CHECK-NEXT:         Flags:           [  ]1040; CHECK-NEXT:         Function:        421041; CHECK-NEXT:       - Index:           441042; CHECK-NEXT:         Kind:            FUNCTION1043; CHECK-NEXT:         Name:            f441044; CHECK-NEXT:         Flags:           [  ]1045; CHECK-NEXT:         Function:        431046; CHECK-NEXT:       - Index:           451047; CHECK-NEXT:         Kind:            FUNCTION1048; CHECK-NEXT:         Name:            f451049; CHECK-NEXT:         Flags:           [  ]1050; CHECK-NEXT:         Function:        441051; CHECK-NEXT:       - Index:           461052; CHECK-NEXT:         Kind:            FUNCTION1053; CHECK-NEXT:         Name:            f461054; CHECK-NEXT:         Flags:           [  ]1055; CHECK-NEXT:         Function:        451056; CHECK-NEXT:       - Index:           471057; CHECK-NEXT:         Kind:            FUNCTION1058; CHECK-NEXT:         Name:            f471059; CHECK-NEXT:         Flags:           [  ]1060; CHECK-NEXT:         Function:        461061; CHECK-NEXT:       - Index:           481062; CHECK-NEXT:         Kind:            FUNCTION1063; CHECK-NEXT:         Name:            f481064; CHECK-NEXT:         Flags:           [  ]1065; CHECK-NEXT:         Function:        471066; CHECK-NEXT:       - Index:           491067; CHECK-NEXT:         Kind:            FUNCTION1068; CHECK-NEXT:         Name:            f491069; CHECK-NEXT:         Flags:           [  ]1070; CHECK-NEXT:         Function:        481071; CHECK-NEXT:       - Index:           501072; CHECK-NEXT:         Kind:            FUNCTION1073; CHECK-NEXT:         Name:            f501074; CHECK-NEXT:         Flags:           [  ]1075; CHECK-NEXT:         Function:        491076; CHECK-NEXT:       - Index:           511077; CHECK-NEXT:         Kind:            FUNCTION1078; CHECK-NEXT:         Name:            f511079; CHECK-NEXT:         Flags:           [  ]1080; CHECK-NEXT:         Function:        501081; CHECK-NEXT:       - Index:           521082; CHECK-NEXT:         Kind:            FUNCTION1083; CHECK-NEXT:         Name:            f521084; CHECK-NEXT:         Flags:           [  ]1085; CHECK-NEXT:         Function:        511086; CHECK-NEXT:       - Index:           531087; CHECK-NEXT:         Kind:            FUNCTION1088; CHECK-NEXT:         Name:            f531089; CHECK-NEXT:         Flags:           [  ]1090; CHECK-NEXT:         Function:        521091; CHECK-NEXT:       - Index:           541092; CHECK-NEXT:         Kind:            FUNCTION1093; CHECK-NEXT:         Name:            f541094; CHECK-NEXT:         Flags:           [  ]1095; CHECK-NEXT:         Function:        531096; CHECK-NEXT:       - Index:           551097; CHECK-NEXT:         Kind:            FUNCTION1098; CHECK-NEXT:         Name:            f551099; CHECK-NEXT:         Flags:           [  ]1100; CHECK-NEXT:         Function:        541101; CHECK-NEXT:       - Index:           561102; CHECK-NEXT:         Kind:            FUNCTION1103; CHECK-NEXT:         Name:            f561104; CHECK-NEXT:         Flags:           [  ]1105; CHECK-NEXT:         Function:        551106; CHECK-NEXT:       - Index:           571107; CHECK-NEXT:         Kind:            FUNCTION1108; CHECK-NEXT:         Name:            f571109; CHECK-NEXT:         Flags:           [  ]1110; CHECK-NEXT:         Function:        561111; CHECK-NEXT:       - Index:           581112; CHECK-NEXT:         Kind:            FUNCTION1113; CHECK-NEXT:         Name:            f581114; CHECK-NEXT:         Flags:           [  ]1115; CHECK-NEXT:         Function:        571116; CHECK-NEXT:       - Index:           591117; CHECK-NEXT:         Kind:            FUNCTION1118; CHECK-NEXT:         Name:            f591119; CHECK-NEXT:         Flags:           [  ]1120; CHECK-NEXT:         Function:        581121; CHECK-NEXT:       - Index:           601122; CHECK-NEXT:         Kind:            FUNCTION1123; CHECK-NEXT:         Name:            f601124; CHECK-NEXT:         Flags:           [  ]1125; CHECK-NEXT:         Function:        591126; CHECK-NEXT:       - Index:           611127; CHECK-NEXT:         Kind:            FUNCTION1128; CHECK-NEXT:         Name:            f611129; CHECK-NEXT:         Flags:           [  ]1130; CHECK-NEXT:         Function:        601131; CHECK-NEXT:       - Index:           621132; CHECK-NEXT:         Kind:            FUNCTION1133; CHECK-NEXT:         Name:            f621134; CHECK-NEXT:         Flags:           [  ]1135; CHECK-NEXT:         Function:        611136; CHECK-NEXT:       - Index:           631137; CHECK-NEXT:         Kind:            FUNCTION1138; CHECK-NEXT:         Name:            f631139; CHECK-NEXT:         Flags:           [  ]1140; CHECK-NEXT:         Function:        621141; CHECK-NEXT:       - Index:           641142; CHECK-NEXT:         Kind:            FUNCTION1143; CHECK-NEXT:         Name:            f641144; CHECK-NEXT:         Flags:           [  ]1145; CHECK-NEXT:         Function:        631146; CHECK-NEXT:       - Index:           651147; CHECK-NEXT:         Kind:            FUNCTION1148; CHECK-NEXT:         Name:            f651149; CHECK-NEXT:         Flags:           [  ]1150; CHECK-NEXT:         Function:        641151; CHECK-NEXT:       - Index:           661152; CHECK-NEXT:         Kind:            FUNCTION1153; CHECK-NEXT:         Name:            f661154; CHECK-NEXT:         Flags:           [  ]1155; CHECK-NEXT:         Function:        651156; CHECK-NEXT:       - Index:           671157; CHECK-NEXT:         Kind:            FUNCTION1158; CHECK-NEXT:         Name:            f671159; CHECK-NEXT:         Flags:           [  ]1160; CHECK-NEXT:         Function:        661161; CHECK-NEXT:       - Index:           681162; CHECK-NEXT:         Kind:            FUNCTION1163; CHECK-NEXT:         Name:            f681164; CHECK-NEXT:         Flags:           [  ]1165; CHECK-NEXT:         Function:        671166; CHECK-NEXT:       - Index:           691167; CHECK-NEXT:         Kind:            FUNCTION1168; CHECK-NEXT:         Name:            f691169; CHECK-NEXT:         Flags:           [  ]1170; CHECK-NEXT:         Function:        681171; CHECK-NEXT:       - Index:           701172; CHECK-NEXT:         Kind:            FUNCTION1173; CHECK-NEXT:         Name:            f701174; CHECK-NEXT:         Flags:           [  ]1175; CHECK-NEXT:         Function:        691176; CHECK-NEXT:       - Index:           711177; CHECK-NEXT:         Kind:            FUNCTION1178; CHECK-NEXT:         Name:            f711179; CHECK-NEXT:         Flags:           [  ]1180; CHECK-NEXT:         Function:        701181; CHECK-NEXT:       - Index:           721182; CHECK-NEXT:         Kind:            FUNCTION1183; CHECK-NEXT:         Name:            f721184; CHECK-NEXT:         Flags:           [  ]1185; CHECK-NEXT:         Function:        711186; CHECK-NEXT:       - Index:           731187; CHECK-NEXT:         Kind:            FUNCTION1188; CHECK-NEXT:         Name:            f731189; CHECK-NEXT:         Flags:           [  ]1190; CHECK-NEXT:         Function:        721191; CHECK-NEXT:       - Index:           741192; CHECK-NEXT:         Kind:            FUNCTION1193; CHECK-NEXT:         Name:            f741194; CHECK-NEXT:         Flags:           [  ]1195; CHECK-NEXT:         Function:        731196; CHECK-NEXT:       - Index:           751197; CHECK-NEXT:         Kind:            FUNCTION1198; CHECK-NEXT:         Name:            f751199; CHECK-NEXT:         Flags:           [  ]1200; CHECK-NEXT:         Function:        741201; CHECK-NEXT:       - Index:           761202; CHECK-NEXT:         Kind:            FUNCTION1203; CHECK-NEXT:         Name:            f761204; CHECK-NEXT:         Flags:           [  ]1205; CHECK-NEXT:         Function:        751206; CHECK-NEXT:       - Index:           771207; CHECK-NEXT:         Kind:            FUNCTION1208; CHECK-NEXT:         Name:            f771209; CHECK-NEXT:         Flags:           [  ]1210; CHECK-NEXT:         Function:        761211; CHECK-NEXT:       - Index:           781212; CHECK-NEXT:         Kind:            FUNCTION1213; CHECK-NEXT:         Name:            f781214; CHECK-NEXT:         Flags:           [  ]1215; CHECK-NEXT:         Function:        771216; CHECK-NEXT:       - Index:           791217; CHECK-NEXT:         Kind:            FUNCTION1218; CHECK-NEXT:         Name:            f791219; CHECK-NEXT:         Flags:           [  ]1220; CHECK-NEXT:         Function:        781221; CHECK-NEXT:       - Index:           801222; CHECK-NEXT:         Kind:            FUNCTION1223; CHECK-NEXT:         Name:            f801224; CHECK-NEXT:         Flags:           [  ]1225; CHECK-NEXT:         Function:        791226; CHECK-NEXT:       - Index:           811227; CHECK-NEXT:         Kind:            FUNCTION1228; CHECK-NEXT:         Name:            f811229; CHECK-NEXT:         Flags:           [  ]1230; CHECK-NEXT:         Function:        801231; CHECK-NEXT:       - Index:           821232; CHECK-NEXT:         Kind:            FUNCTION1233; CHECK-NEXT:         Name:            f821234; CHECK-NEXT:         Flags:           [  ]1235; CHECK-NEXT:         Function:        811236; CHECK-NEXT:       - Index:           831237; CHECK-NEXT:         Kind:            FUNCTION1238; CHECK-NEXT:         Name:            f831239; CHECK-NEXT:         Flags:           [  ]1240; CHECK-NEXT:         Function:        821241; CHECK-NEXT:       - Index:           841242; CHECK-NEXT:         Kind:            FUNCTION1243; CHECK-NEXT:         Name:            f841244; CHECK-NEXT:         Flags:           [  ]1245; CHECK-NEXT:         Function:        831246; CHECK-NEXT:       - Index:           851247; CHECK-NEXT:         Kind:            FUNCTION1248; CHECK-NEXT:         Name:            f851249; CHECK-NEXT:         Flags:           [  ]1250; CHECK-NEXT:         Function:        841251; CHECK-NEXT:       - Index:           861252; CHECK-NEXT:         Kind:            FUNCTION1253; CHECK-NEXT:         Name:            f861254; CHECK-NEXT:         Flags:           [  ]1255; CHECK-NEXT:         Function:        851256; CHECK-NEXT:       - Index:           871257; CHECK-NEXT:         Kind:            FUNCTION1258; CHECK-NEXT:         Name:            f871259; CHECK-NEXT:         Flags:           [  ]1260; CHECK-NEXT:         Function:        861261; CHECK-NEXT:       - Index:           881262; CHECK-NEXT:         Kind:            FUNCTION1263; CHECK-NEXT:         Name:            f881264; CHECK-NEXT:         Flags:           [  ]1265; CHECK-NEXT:         Function:        871266; CHECK-NEXT:       - Index:           891267; CHECK-NEXT:         Kind:            FUNCTION1268; CHECK-NEXT:         Name:            f891269; CHECK-NEXT:         Flags:           [  ]1270; CHECK-NEXT:         Function:        881271; CHECK-NEXT:       - Index:           901272; CHECK-NEXT:         Kind:            FUNCTION1273; CHECK-NEXT:         Name:            f901274; CHECK-NEXT:         Flags:           [  ]1275; CHECK-NEXT:         Function:        891276; CHECK-NEXT:       - Index:           911277; CHECK-NEXT:         Kind:            FUNCTION1278; CHECK-NEXT:         Name:            f911279; CHECK-NEXT:         Flags:           [  ]1280; CHECK-NEXT:         Function:        901281; CHECK-NEXT:       - Index:           921282; CHECK-NEXT:         Kind:            FUNCTION1283; CHECK-NEXT:         Name:            f921284; CHECK-NEXT:         Flags:           [  ]1285; CHECK-NEXT:         Function:        911286; CHECK-NEXT:       - Index:           931287; CHECK-NEXT:         Kind:            FUNCTION1288; CHECK-NEXT:         Name:            f931289; CHECK-NEXT:         Flags:           [  ]1290; CHECK-NEXT:         Function:        921291; CHECK-NEXT:       - Index:           941292; CHECK-NEXT:         Kind:            FUNCTION1293; CHECK-NEXT:         Name:            f941294; CHECK-NEXT:         Flags:           [  ]1295; CHECK-NEXT:         Function:        931296; CHECK-NEXT:       - Index:           951297; CHECK-NEXT:         Kind:            FUNCTION1298; CHECK-NEXT:         Name:            f951299; CHECK-NEXT:         Flags:           [  ]1300; CHECK-NEXT:         Function:        941301; CHECK-NEXT:       - Index:           961302; CHECK-NEXT:         Kind:            FUNCTION1303; CHECK-NEXT:         Name:            f961304; CHECK-NEXT:         Flags:           [  ]1305; CHECK-NEXT:         Function:        951306; CHECK-NEXT:       - Index:           971307; CHECK-NEXT:         Kind:            FUNCTION1308; CHECK-NEXT:         Name:            f971309; CHECK-NEXT:         Flags:           [  ]1310; CHECK-NEXT:         Function:        961311; CHECK-NEXT:       - Index:           981312; CHECK-NEXT:         Kind:            FUNCTION1313; CHECK-NEXT:         Name:            f981314; CHECK-NEXT:         Flags:           [  ]1315; CHECK-NEXT:         Function:        971316; CHECK-NEXT:       - Index:           991317; CHECK-NEXT:         Kind:            FUNCTION1318; CHECK-NEXT:         Name:            f991319; CHECK-NEXT:         Flags:           [  ]1320; CHECK-NEXT:         Function:        981321; CHECK-NEXT:       - Index:           1001322; CHECK-NEXT:         Kind:            FUNCTION1323; CHECK-NEXT:         Name:            f1001324; CHECK-NEXT:         Flags:           [  ]1325; CHECK-NEXT:         Function:        991326; CHECK-NEXT:       - Index:           1011327; CHECK-NEXT:         Kind:            FUNCTION1328; CHECK-NEXT:         Name:            f1011329; CHECK-NEXT:         Flags:           [  ]1330; CHECK-NEXT:         Function:        1001331; CHECK-NEXT:       - Index:           1021332; CHECK-NEXT:         Kind:            FUNCTION1333; CHECK-NEXT:         Name:            f1021334; CHECK-NEXT:         Flags:           [  ]1335; CHECK-NEXT:         Function:        1011336; CHECK-NEXT:       - Index:           1031337; CHECK-NEXT:         Kind:            FUNCTION1338; CHECK-NEXT:         Name:            f1031339; CHECK-NEXT:         Flags:           [  ]1340; CHECK-NEXT:         Function:        1021341; CHECK-NEXT:       - Index:           1041342; CHECK-NEXT:         Kind:            FUNCTION1343; CHECK-NEXT:         Name:            f1041344; CHECK-NEXT:         Flags:           [  ]1345; CHECK-NEXT:         Function:        1031346; CHECK-NEXT:       - Index:           1051347; CHECK-NEXT:         Kind:            FUNCTION1348; CHECK-NEXT:         Name:            f1051349; CHECK-NEXT:         Flags:           [  ]1350; CHECK-NEXT:         Function:        1041351; CHECK-NEXT:       - Index:           1061352; CHECK-NEXT:         Kind:            FUNCTION1353; CHECK-NEXT:         Name:            f1061354; CHECK-NEXT:         Flags:           [  ]1355; CHECK-NEXT:         Function:        1051356; CHECK-NEXT:       - Index:           1071357; CHECK-NEXT:         Kind:            FUNCTION1358; CHECK-NEXT:         Name:            f1071359; CHECK-NEXT:         Flags:           [  ]1360; CHECK-NEXT:         Function:        1061361; CHECK-NEXT:       - Index:           1081362; CHECK-NEXT:         Kind:            FUNCTION1363; CHECK-NEXT:         Name:            f1081364; CHECK-NEXT:         Flags:           [  ]1365; CHECK-NEXT:         Function:        1071366; CHECK-NEXT:       - Index:           1091367; CHECK-NEXT:         Kind:            FUNCTION1368; CHECK-NEXT:         Name:            f1091369; CHECK-NEXT:         Flags:           [  ]1370; CHECK-NEXT:         Function:        1081371; CHECK-NEXT:       - Index:           1101372; CHECK-NEXT:         Kind:            FUNCTION1373; CHECK-NEXT:         Name:            f1101374; CHECK-NEXT:         Flags:           [  ]1375; CHECK-NEXT:         Function:        1091376; CHECK-NEXT:       - Index:           1111377; CHECK-NEXT:         Kind:            FUNCTION1378; CHECK-NEXT:         Name:            f1111379; CHECK-NEXT:         Flags:           [  ]1380; CHECK-NEXT:         Function:        1101381; CHECK-NEXT:       - Index:           1121382; CHECK-NEXT:         Kind:            FUNCTION1383; CHECK-NEXT:         Name:            f1121384; CHECK-NEXT:         Flags:           [  ]1385; CHECK-NEXT:         Function:        1111386; CHECK-NEXT:       - Index:           1131387; CHECK-NEXT:         Kind:            FUNCTION1388; CHECK-NEXT:         Name:            f1131389; CHECK-NEXT:         Flags:           [  ]1390; CHECK-NEXT:         Function:        1121391; CHECK-NEXT:       - Index:           1141392; CHECK-NEXT:         Kind:            FUNCTION1393; CHECK-NEXT:         Name:            f1141394; CHECK-NEXT:         Flags:           [  ]1395; CHECK-NEXT:         Function:        1131396; CHECK-NEXT:       - Index:           1151397; CHECK-NEXT:         Kind:            FUNCTION1398; CHECK-NEXT:         Name:            f1151399; CHECK-NEXT:         Flags:           [  ]1400; CHECK-NEXT:         Function:        1141401; CHECK-NEXT:       - Index:           1161402; CHECK-NEXT:         Kind:            FUNCTION1403; CHECK-NEXT:         Name:            f1161404; CHECK-NEXT:         Flags:           [  ]1405; CHECK-NEXT:         Function:        1151406; CHECK-NEXT:       - Index:           1171407; CHECK-NEXT:         Kind:            FUNCTION1408; CHECK-NEXT:         Name:            f1171409; CHECK-NEXT:         Flags:           [  ]1410; CHECK-NEXT:         Function:        1161411; CHECK-NEXT:       - Index:           1181412; CHECK-NEXT:         Kind:            FUNCTION1413; CHECK-NEXT:         Name:            f1181414; CHECK-NEXT:         Flags:           [  ]1415; CHECK-NEXT:         Function:        1171416; CHECK-NEXT:       - Index:           1191417; CHECK-NEXT:         Kind:            FUNCTION1418; CHECK-NEXT:         Name:            f1191419; CHECK-NEXT:         Flags:           [  ]1420; CHECK-NEXT:         Function:        1181421; CHECK-NEXT:       - Index:           1201422; CHECK-NEXT:         Kind:            FUNCTION1423; CHECK-NEXT:         Name:            f1201424; CHECK-NEXT:         Flags:           [  ]1425; CHECK-NEXT:         Function:        1191426; CHECK-NEXT:       - Index:           1211427; CHECK-NEXT:         Kind:            FUNCTION1428; CHECK-NEXT:         Name:            f1211429; CHECK-NEXT:         Flags:           [  ]1430; CHECK-NEXT:         Function:        1201431; CHECK-NEXT:       - Index:           1221432; CHECK-NEXT:         Kind:            FUNCTION1433; CHECK-NEXT:         Name:            f1221434; CHECK-NEXT:         Flags:           [  ]1435; CHECK-NEXT:         Function:        1211436; CHECK-NEXT:       - Index:           1231437; CHECK-NEXT:         Kind:            FUNCTION1438; CHECK-NEXT:         Name:            f1231439; CHECK-NEXT:         Flags:           [  ]1440; CHECK-NEXT:         Function:        1221441; CHECK-NEXT:       - Index:           1241442; CHECK-NEXT:         Kind:            FUNCTION1443; CHECK-NEXT:         Name:            f1241444; CHECK-NEXT:         Flags:           [  ]1445; CHECK-NEXT:         Function:        1231446; CHECK-NEXT:       - Index:           1251447; CHECK-NEXT:         Kind:            FUNCTION1448; CHECK-NEXT:         Name:            f1251449; CHECK-NEXT:         Flags:           [  ]1450; CHECK-NEXT:         Function:        1241451; CHECK-NEXT:       - Index:           1261452; CHECK-NEXT:         Kind:            FUNCTION1453; CHECK-NEXT:         Name:            f1261454; CHECK-NEXT:         Flags:           [  ]1455; CHECK-NEXT:         Function:        1251456; CHECK-NEXT:       - Index:           1271457; CHECK-NEXT:         Kind:            FUNCTION1458; CHECK-NEXT:         Name:            f1271459; CHECK-NEXT:         Flags:           [  ]1460; CHECK-NEXT:         Function:        1261461; CHECK-NEXT:       - Index:           1281462; CHECK-NEXT:         Kind:            FUNCTION1463; CHECK-NEXT:         Name:            f1281464; CHECK-NEXT:         Flags:           [  ]1465; CHECK-NEXT:         Function:        1271466; CHECK-NEXT:       - Index:           1291467; CHECK-NEXT:         Kind:            DATA1468; CHECK-NEXT:         Name:            g01469; CHECK-NEXT:         Flags:           [  ]1470; CHECK-NEXT:         Segment:         01471; CHECK-NEXT:         Size:            41472; CHECK-NEXT:       - Index:           1301473; CHECK-NEXT:         Kind:            FUNCTION1474; CHECK-NEXT:         Name:            f1291475; CHECK-NEXT:         Flags:           [  ]1476; CHECK-NEXT:         Function:        1281477; CHECK-NEXT:       - Index:           1311478; CHECK-NEXT:         Kind:            FUNCTION1479; CHECK-NEXT:         Name:            func1480; CHECK-NEXT:         Flags:           [  ]1481; CHECK-NEXT:         Function:        1291482; CHECK-NEXT:     SegmentInfo:1483; CHECK-NEXT:       - Index:           01484; CHECK-NEXT:         Name:            .data.g01485; CHECK-NEXT:         Alignment:       21486; CHECK-NEXT:         Flags:           [ ]1487; CHECK-NEXT:       - Index:           11488; CHECK-NEXT:         Name:            .data.foo1489; CHECK-NEXT:         Alignment:       21490; CHECK-NEXT:         Flags:           [ ]1491