| # This test case has been reduced from one of the files from nullstone benchmark. |
| # It verifies that no stalls are being missed when compiling with '-g'. |
| |
| # REQUIRES: asserts |
| # RUN: llc -march=hexagon -mcpu=hexagonv73 -run-pass=global-sched -debug-only=global_sched %s -o /dev/null 2>&1 | FileCheck %s |
| |
| # CHECK: bb.3: |
| # CHECK: Could not move packetized instr. |
| # CHECK-NEXT: Not a single candidate fit. |
| # CHECK: Home iterator moved to new BB(2) |
| # CHECH-NOT: Want to move dependent op: S4_storeirif_io |
| |
| --- | |
| |
| %struct._Dnk_filet = type { i16, i8, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, [2 x i32], ptr, ptr, ptr, %struct._Mbstatet, ptr, [8 x i8], i8 } |
| %struct._Mbstatet = type { i32, i16, i16 } |
| |
| @datafileptr = external dso_local local_unnamed_addr global ptr, align 4 |
| @_Stderr = external dso_local global %struct._Dnk_filet, align 4 |
| @.str = private unnamed_addr constant [49 x i8] c"ERROR: File=%s, Line=%d, Data file is not open.\0A\00", align 1, !dbg !0 |
| @.str.1 = private unnamed_addr constant [6 x i8] c"fem.c\00", align 1, !dbg !7 |
| @.str.2 = private unnamed_addr constant [28 x i8] c"%s=\09\09File=%s, Line=%d, %s.\0A\00", align 1, !dbg !12 |
| @.str.3 = private unnamed_addr constant [6 x i8] c"error\00", align 1, !dbg !17 |
| @.str.4 = private unnamed_addr constant [56 x i8] c"ERROR: File=%s, Line=%d, Unable to write to data file.\0A\00", align 1, !dbg !19 |
| |
| ; Function Attrs: noreturn nounwind |
| define dso_local void @fatal_error_message(ptr noundef %filename, i32 noundef %line, ptr noundef %message) local_unnamed_addr #0 !dbg !31 { |
| entry: |
| call void @llvm.dbg.value(metadata ptr %filename, metadata !37, metadata !DIExpression()), !dbg !41 |
| call void @llvm.dbg.value(metadata i32 %line, metadata !38, metadata !DIExpression()), !dbg !41 |
| call void @llvm.dbg.value(metadata ptr %message, metadata !39, metadata !DIExpression()), !dbg !41 |
| call void @llvm.dbg.value(metadata i32 0, metadata !40, metadata !DIExpression()), !dbg !41 |
| %0 = load ptr, ptr @datafileptr, align 4, !dbg !42, !tbaa !44 |
| %cmp = icmp eq ptr %0, null, !dbg !48 |
| br i1 %cmp, label %if.end5.sink.split, label %if.end, !dbg !49 |
| |
| if.end: ; preds = %entry |
| %call1 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef nonnull %0, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, ptr noundef %filename, i32 noundef %line, ptr noundef %message) #4, !dbg !50 |
| call void @llvm.dbg.value(metadata i32 %call1, metadata !40, metadata !DIExpression()), !dbg !41 |
| %cmp2 = icmp eq i32 %call1, -1, !dbg !51 |
| br i1 %cmp2, label %if.end5.sink.split, label %if.end5, !dbg !53 |
| |
| if.end5.sink.split: ; preds = %if.end, %entry |
| %.sink = phi i32 [ 30, %entry ], [ 37, %if.end ] |
| %.str.sink = phi ptr [ @.str, %entry ], [ @.str.4, %if.end ] |
| %call = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef nonnull @_Stderr, ptr noundef nonnull %.str.sink, ptr noundef nonnull @.str.1, i32 noundef %.sink) #4, !dbg !41 |
| br label %if.end5, !dbg !54 |
| |
| if.end5: ; preds = %if.end5.sink.split, %if.end |
| tail call void @exit(i32 noundef 1) #5, !dbg !54 |
| unreachable, !dbg !54 |
| } |
| |
| ; Function Attrs: nofree nounwind |
| declare !dbg !55 dso_local noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #1 |
| |
| ; Function Attrs: noreturn |
| declare !dbg !104 dso_local void @exit(i32 noundef) local_unnamed_addr #2 |
| |
| ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none) |
| declare void @llvm.dbg.value(metadata, metadata, metadata) #3 |
| |
| attributes #0 = { noreturn nounwind "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="hexagonv73" "target-features"="+v73,-long-calls" } |
| attributes #1 = { nofree nounwind "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="hexagonv73" "target-features"="+v73,-long-calls" } |
| attributes #2 = { noreturn "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="hexagonv73" "target-features"="+v73,-long-calls" } |
| attributes #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } |
| attributes #4 = { nounwind } |
| attributes #5 = { noreturn nounwind } |
| |
| !llvm.dbg.cu = !{!24} |
| !llvm.module.flags = !{!26, !27, !28, !29} |
| |
| !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) |
| !1 = distinct !DIGlobalVariable(scope: null, file: !2, line: 29, type: !3, isLocal: true, isDefinition: true) |
| !2 = !DIFile(filename: "fem.c", directory: "/tmp/build/v66/benchmark/nullstone/nullstone") |
| !3 = !DICompositeType(tag: DW_TAG_array_type, baseType: !4, size: 392, elements: !5) |
| !4 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_unsigned_char) |
| !5 = !{!6} |
| !6 = !DISubrange(count: 49) |
| !7 = !DIGlobalVariableExpression(var: !8, expr: !DIExpression()) |
| !8 = distinct !DIGlobalVariable(scope: null, file: !2, line: 30, type: !9, isLocal: true, isDefinition: true) |
| !9 = !DICompositeType(tag: DW_TAG_array_type, baseType: !4, size: 48, elements: !10) |
| !10 = !{!11} |
| !11 = !DISubrange(count: 6) |
| !12 = !DIGlobalVariableExpression(var: !13, expr: !DIExpression()) |
| !13 = distinct !DIGlobalVariable(scope: null, file: !2, line: 33, type: !14, isLocal: true, isDefinition: true) |
| !14 = !DICompositeType(tag: DW_TAG_array_type, baseType: !4, size: 224, elements: !15) |
| !15 = !{!16} |
| !16 = !DISubrange(count: 28) |
| !17 = !DIGlobalVariableExpression(var: !18, expr: !DIExpression()) |
| !18 = distinct !DIGlobalVariable(scope: null, file: !2, line: 34, type: !9, isLocal: true, isDefinition: true) |
| !19 = !DIGlobalVariableExpression(var: !20, expr: !DIExpression()) |
| !20 = distinct !DIGlobalVariable(scope: null, file: !2, line: 36, type: !21, isLocal: true, isDefinition: true) |
| !21 = !DICompositeType(tag: DW_TAG_array_type, baseType: !4, size: 448, elements: !22) |
| !22 = !{!23} |
| !23 = !DISubrange(count: 56) |
| !24 = distinct !DICompileUnit(language: DW_LANG_C11, file: !2, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !25, splitDebugInlining: false, debugInfoForProfiling: true, nameTableKind: None) |
| !25 = !{!0, !7, !12, !17, !19} |
| !26 = !{i32 7, !"Dwarf Version", i32 4} |
| !27 = !{i32 2, !"Debug Info Version", i32 3} |
| !28 = !{i32 1, !"wchar_size", i32 4} |
| !29 = !{i32 7, !"frame-pointer", i32 2} |
| !31 = distinct !DISubprogram(name: "fatal_error_message", scope: !2, file: !2, line: 24, type: !32, scopeLine: 25, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !24, retainedNodes: !36) |
| !32 = !DISubroutineType(types: !33) |
| !33 = !{null, !34, !35, !34} |
| !34 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !4, size: 32) |
| !35 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) |
| !36 = !{!37, !38, !39, !40} |
| !37 = !DILocalVariable(name: "filename", arg: 1, scope: !31, file: !2, line: 24, type: !34) |
| !38 = !DILocalVariable(name: "line", arg: 2, scope: !31, file: !2, line: 24, type: !35) |
| !39 = !DILocalVariable(name: "message", arg: 3, scope: !31, file: !2, line: 24, type: !34) |
| !40 = !DILocalVariable(name: "status", scope: !31, file: !2, line: 26, type: !35) |
| !41 = !DILocation(line: 0, scope: !31) |
| !42 = !DILocation(line: 28, column: 7, scope: !43) |
| !43 = distinct !DILexicalBlock(scope: !31, file: !2, line: 28, column: 7) |
| !44 = !{!45, !45, i64 0} |
| !45 = !{!"any pointer", !46, i64 0} |
| !46 = !{!"omnipotent char", !47, i64 0} |
| !47 = !{!"Simple C/C++ TBAA"} |
| !48 = !DILocation(line: 28, column: 19, scope: !43) |
| !49 = !DILocation(line: 28, column: 7, scope: !31) |
| !50 = !DILocation(line: 32, column: 14, scope: !43) |
| !51 = !DILocation(line: 35, column: 14, scope: !52) |
| !52 = distinct !DILexicalBlock(scope: !31, file: !2, line: 35, column: 7) |
| !53 = !DILocation(line: 35, column: 7, scope: !31) |
| !54 = !DILocation(line: 38, column: 3, scope: !31) |
| !55 = !DISubprogram(name: "fprintf", scope: !56, file: !56, line: 129, type: !57, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !103) |
| !56 = !DIFile(filename: "stdio.h", directory: "/test") |
| !57 = !DISubroutineType(types: !58) |
| !58 = !{!35, !59, !101, null} |
| !59 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !60, size: 32) |
| !60 = !DIDerivedType(tag: DW_TAG_typedef, name: "FILE", file: !56, line: 107, baseType: !61) |
| !61 = !DIDerivedType(tag: DW_TAG_typedef, name: "_Filet", file: !56, line: 104, baseType: !62) |
| !62 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "_Dnk_filet", file: !56, line: 85, size: 640, elements: !63) |
| !63 = !{!64, !66, !68, !69, !71, !72, !73, !74, !75, !76, !80, !84, !85, !86, !87, !95, !96, !100} |
| !64 = !DIDerivedType(tag: DW_TAG_member, name: "_Mode", scope: !62, file: !56, line: 87, baseType: !65, size: 16) |
| !65 = !DIBasicType(name: "unsigned short", size: 16, encoding: DW_ATE_unsigned) |
| !66 = !DIDerivedType(tag: DW_TAG_member, name: "_Idx", scope: !62, file: !56, line: 88, baseType: !67, size: 8, offset: 16) |
| !67 = !DIBasicType(name: "unsigned char", size: 8, encoding: DW_ATE_unsigned_char) |
| !68 = !DIDerivedType(tag: DW_TAG_member, name: "_Handle", scope: !62, file: !56, line: 89, baseType: !35, size: 32, offset: 32) |
| !69 = !DIDerivedType(tag: DW_TAG_member, name: "_Buf", scope: !62, file: !56, line: 91, baseType: !70, size: 32, offset: 64) |
| !70 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !67, size: 32) |
| !71 = !DIDerivedType(tag: DW_TAG_member, name: "_Bend", scope: !62, file: !56, line: 91, baseType: !70, size: 32, offset: 96) |
| !72 = !DIDerivedType(tag: DW_TAG_member, name: "_Next", scope: !62, file: !56, line: 91, baseType: !70, size: 32, offset: 128) |
| !73 = !DIDerivedType(tag: DW_TAG_member, name: "_Rend", scope: !62, file: !56, line: 92, baseType: !70, size: 32, offset: 160) |
| !74 = !DIDerivedType(tag: DW_TAG_member, name: "_Wend", scope: !62, file: !56, line: 92, baseType: !70, size: 32, offset: 192) |
| !75 = !DIDerivedType(tag: DW_TAG_member, name: "_Rback", scope: !62, file: !56, line: 92, baseType: !70, size: 32, offset: 224) |
| !76 = !DIDerivedType(tag: DW_TAG_member, name: "_WRback", scope: !62, file: !56, line: 94, baseType: !77, size: 32, offset: 256) |
| !77 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !78, size: 32) |
| !78 = !DIDerivedType(tag: DW_TAG_typedef, name: "_Wchart", file: !79, line: 851, baseType: !35) |
| !79 = !DIFile(filename: "yvals.h", directory: "/test") |
| !80 = !DIDerivedType(tag: DW_TAG_member, name: "_WBack", scope: !62, file: !56, line: 94, baseType: !81, size: 64, offset: 288) |
| !81 = !DICompositeType(tag: DW_TAG_array_type, baseType: !78, size: 64, elements: !82) |
| !82 = !{!83} |
| !83 = !DISubrange(count: 2) |
| !84 = !DIDerivedType(tag: DW_TAG_member, name: "_Rsave", scope: !62, file: !56, line: 95, baseType: !70, size: 32, offset: 352) |
| !85 = !DIDerivedType(tag: DW_TAG_member, name: "_WRend", scope: !62, file: !56, line: 95, baseType: !70, size: 32, offset: 384) |
| !86 = !DIDerivedType(tag: DW_TAG_member, name: "_WWend", scope: !62, file: !56, line: 95, baseType: !70, size: 32, offset: 416) |
| !87 = !DIDerivedType(tag: DW_TAG_member, name: "_Wstate", scope: !62, file: !56, line: 97, baseType: !88, size: 64, offset: 448) |
| !88 = !DIDerivedType(tag: DW_TAG_typedef, name: "_Mbstatet", file: !56, line: 64, baseType: !89) |
| !89 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "_Mbstatet", file: !56, line: 60, size: 64, elements: !90) |
| !90 = !{!91, !93, !94} |
| !91 = !DIDerivedType(tag: DW_TAG_member, name: "_Wchar", scope: !89, file: !56, line: 62, baseType: !92, size: 32) |
| !92 = !DIBasicType(name: "unsigned long", size: 32, encoding: DW_ATE_unsigned) |
| !93 = !DIDerivedType(tag: DW_TAG_member, name: "_Byte", scope: !89, file: !56, line: 63, baseType: !65, size: 16, offset: 32) |
| !94 = !DIDerivedType(tag: DW_TAG_member, name: "_State", scope: !89, file: !56, line: 63, baseType: !65, size: 16, offset: 48) |
| !95 = !DIDerivedType(tag: DW_TAG_member, name: "_Tmpnam", scope: !62, file: !56, line: 98, baseType: !34, size: 32, offset: 512) |
| !96 = !DIDerivedType(tag: DW_TAG_member, name: "_Back", scope: !62, file: !56, line: 99, baseType: !97, size: 64, offset: 544) |
| !97 = !DICompositeType(tag: DW_TAG_array_type, baseType: !67, size: 64, elements: !98) |
| !98 = !{!99} |
| !99 = !DISubrange(count: 8) |
| !100 = !DIDerivedType(tag: DW_TAG_member, name: "_Cbuf", scope: !62, file: !56, line: 99, baseType: !67, size: 8, offset: 608) |
| !101 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !102, size: 32) |
| !102 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !4) |
| !103 = !{} |
| !104 = !DISubprogram(name: "exit", scope: !105, file: !105, line: 82, type: !106, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: DISPFlagOptimized, retainedNodes: !103) |
| !105 = !DIFile(filename: "stdlib.h", directory: "/test") |
| !106 = !DISubroutineType(types: !107) |
| !107 = !{null, !35} |
| |
| ... |
| --- |
| name: fatal_error_message |
| alignment: 16 |
| exposesReturnsTwice: false |
| legalized: false |
| regBankSelected: false |
| selected: false |
| failedISel: false |
| tracksRegLiveness: true |
| hasWinCFI: false |
| callsEHReturn: false |
| callsUnwindInit: false |
| hasEHContTarget: false |
| hasEHScopes: false |
| hasEHFunclets: false |
| isOutlined: false |
| debugInstrRef: false |
| failsVerification: true |
| tracksDebugUserValues: true |
| registers: [] |
| liveins: |
| - { reg: '$r0', virtual-reg: '' } |
| - { reg: '$r1', virtual-reg: '' } |
| - { reg: '$r2', virtual-reg: '' } |
| frameInfo: |
| isFrameAddressTaken: false |
| isReturnAddressTaken: false |
| hasStackMap: false |
| hasPatchPoint: false |
| stackSize: 16 |
| offsetAdjustment: 0 |
| maxAlignment: 4 |
| adjustsStack: true |
| hasCalls: true |
| stackProtector: '' |
| functionContext: '' |
| maxCallFrameSize: 16 |
| cvBytesOfCalleeSavedRegisters: 0 |
| hasOpaqueSPAdjustment: false |
| hasVAStart: false |
| hasMustTailInVarArgFunc: false |
| hasTailCall: false |
| localFrameSize: 0 |
| savePoint: [] |
| restorePoint: [] |
| fixedStack: [] |
| stack: [] |
| callSites: [] |
| debugValueSubstitutions: [] |
| constants: [] |
| machineFunctionInfo: {} |
| body: | |
| bb.0.entry: |
| successors: %bb.1(0x40000000), %bb.2(0x40000000) |
| liveins: $r0, $r1, $r2 |
| |
| DBG_VALUE $r0, $noreg, !37, !DIExpression(), debug-location !41 |
| DBG_VALUE $r1, $noreg, !38, !DIExpression(), debug-location !41 |
| DBG_VALUE $r2, $noreg, !39, !DIExpression(), debug-location !41 |
| BUNDLE implicit-def $r3, implicit-def $r29, implicit-def $r30, implicit killed $gp, implicit killed $r29, implicit killed $framekey, implicit killed $framelimit, implicit $r30, implicit killed $r31, debug-location !42 { |
| renamable $r3 = L2_loadrigp @datafileptr, implicit killed $gp, debug-location !42 :: (dereferenceable load (s32) from @datafileptr, !tbaa !44) |
| $r29 = frame-setup S2_allocframe killed $r29, 16, implicit-def $r30, implicit killed $framekey, implicit killed $framelimit, implicit $r30, implicit killed $r31, debug-location !42 :: (store (s32) into stack) |
| } |
| DBG_VALUE 0, $noreg, !40, !DIExpression(), debug-location !41 |
| DBG_VALUE $r0, $noreg, !37, !DIExpression(), debug-location !41 |
| BUNDLE implicit-def dead $p0, implicit-def $pc, implicit $r3, debug-location !48 { |
| renamable $p0 = C2_cmpeqi renamable $r3, 0, debug-location !48 |
| J2_jumpfnewpt internal killed renamable $p0, %bb.2, implicit-def $pc, debug-location !49 |
| } |
| |
| bb.1: |
| successors: %bb.4(0x80000000) |
| |
| BUNDLE implicit-def $r1, implicit-def $r2, implicit-def $pc { |
| renamable $r1 = A2_tfrsi @.str |
| renamable $r2 = A2_tfrsi 30 |
| J2_jump %bb.4, implicit-def $pc |
| } |
| |
| bb.2.if.end: |
| successors: %bb.3(0x40000000), %bb.5(0x40000000) |
| liveins: $r0, $r1, $r2, $r3 |
| |
| DBG_VALUE $r4, $noreg, !37, !DIExpression(), debug-location !41 |
| BUNDLE implicit-def $r4, implicit-def $d0, implicit-def $r0, implicit-def $r1, implicit killed $r0, implicit $r29, implicit killed $r1, implicit killed $r3, debug-location !41 { |
| $r4 = A2_tfr killed $r0 |
| S2_storeri_io $r29, 8, killed renamable $r1, debug-location !50 :: (store (s32) into stack + 8) |
| $d0 = A4_combineir @.str.2, killed $r3, debug-location !50 |
| } |
| BUNDLE implicit $r29, implicit killed $r2, implicit killed $r4, debug-location !50 { |
| S2_storeri_io $r29, 12, killed renamable $r2, debug-location !50 :: (store (s32) into stack + 12) |
| S2_storeri_io $r29, 4, killed renamable $r4, debug-location !50 :: (store (s32) into stack + 4) |
| } |
| DBG_VALUE $r0, $noreg, !40, !DIExpression(), debug-location !41 |
| BUNDLE implicit-def $pc, implicit-def $r31, implicit-def $r29, implicit-def $r0, implicit $r29, implicit $r0, implicit $r1, debug-location !50 { |
| S4_storeiri_io $r29, 0, @.str.3, debug-location !50 :: (store (s32) into stack) |
| J2_call @fprintf, hexagoncsr, implicit-def $pc, implicit-def $r31, implicit $r29, implicit $r0, implicit $r1, implicit-def $r29, implicit-def $r0, debug-location !50 |
| } |
| BUNDLE implicit-def dead $p0, implicit-def $pc, implicit killed $r0, debug-location !51 { |
| renamable $p0 = C2_cmpeqi killed renamable $r0, -1, debug-location !51 |
| J2_jumpfnewpt internal killed renamable $p0, %bb.5, implicit-def $pc, debug-location !53 |
| } |
| |
| bb.3: |
| successors: %bb.4(0x80000000) |
| |
| BUNDLE implicit-def $r1, implicit-def $r2 { |
| renamable $r1 = A2_tfrsi @.str.4 |
| renamable $r2 = A2_tfrsi 37 |
| } |
| |
| bb.4.if.end5.sink.split: |
| successors: %bb.5(0x80000000) |
| liveins: $r1, $r2 |
| |
| BUNDLE implicit-def $r0, implicit $r29, implicit killed $r2, debug-location !41 { |
| $r0 = A2_tfrsi @_Stderr, debug-location !41 |
| S2_storeri_io $r29, 4, killed renamable $r2, debug-location !41 :: (store (s32) into stack + 4) |
| } |
| BUNDLE implicit-def $pc, implicit-def $r31, implicit-def $r29, implicit-def $r0, implicit $r29, implicit $r0, implicit $r1, debug-location !41 { |
| S4_storeiri_io $r29, 0, @.str.1, debug-location !41 :: (store (s32) into stack) |
| J2_call @fprintf, hexagoncsr, implicit-def $pc, implicit-def $r31, implicit $r29, implicit $r0, implicit $r1, implicit-def $r29, implicit-def $r0, debug-location !41 |
| } |
| |
| bb.5.if.end5: |
| BUNDLE implicit-def $r0, implicit-def $r29, debug-location !54 { |
| $r0 = A2_tfrsi 1, debug-location !54 |
| PS_call_nr @exit, hexagoncsr, implicit internal $r0, implicit-def $r29, debug-location !54 |
| } |
| |
| ... |
