mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-26 14:33:02 +02:00
0c1aee0b16
As a follow-up to r246098, require `DISubprogram` definitions (`isDefinition: true`) to be 'distinct'. Specifically, add an assembler check, a verifier check, and bitcode upgrading logic to combat testcase bitrot after the `DIBuilder` change. While working on the testcases, I realized that test/Linker/subprogram-linkonce-weak-odr.ll isn't relevant anymore. Its purpose was to check for a corner case in PR22792 where two subprogram definitions match exactly and share the same metadata node. The new verifier check, requiring that subprogram definitions are 'distinct', precludes that possibility. I updated almost all the IR with the following script: git grep -l -E -e '= !DISubprogram\(.* isDefinition: true' | grep -v test/Bitcode | xargs sed -i '' -e 's/= \(!DISubprogram(.*, isDefinition: true\)/= distinct \1/' Likely some variant of would work for out-of-tree testcases. llvm-svn: 246327
71 lines
2.8 KiB
LLVM
71 lines
2.8 KiB
LLVM
; RUN: llc -O0 -mtriple mips-unknown-linux-gnu -relocation-model=static < %s | FileCheck %s -check-prefix=STATIC
|
|
; RUN: llc -O0 -mtriple mips-unknown-linux-gnu -relocation-model=static -disable-fp-elim < %s | FileCheck %s -check-prefix=STATIC-FP
|
|
; RUN: llc -O0 -mtriple mips-unknown-linux-gnu -relocation-model=pic < %s | FileCheck %s -check-prefix=PIC
|
|
; RUN: llc -O0 -mtriple mips-unknown-linux-gnu -relocation-model=pic -disable-fp-elim < %s | FileCheck %s -check-prefix=PIC-FP
|
|
|
|
; Generated using clang -O0 -emit-llvm -S -target mipsel-unknown-linux -g test.c -o test.ll
|
|
; test.c:
|
|
;
|
|
; void hello_world(void) {
|
|
; printf("Hello, World!\n");
|
|
; }
|
|
|
|
@.str = private unnamed_addr constant [15 x i8] c"Hello, World!\0A\00", align 1
|
|
|
|
define void @hello_world() #0 {
|
|
entry:
|
|
; STATIC: addiu $sp, $sp, -{{[0-9]+}}
|
|
; STATIC: sw $ra, {{[0-9]+}}($sp)
|
|
; STATIC: .loc 1 2 3 prologue_end
|
|
; STATIC: lui $[[R0:[0-9]+]], %hi($.str)
|
|
|
|
; STATIC-FP: addiu $sp, $sp, -{{[0-9]+}}
|
|
; STATIC-FP: sw $ra, {{[0-9]+}}($sp)
|
|
; STATIC-FP: sw $fp, {{[0-9]+}}($sp)
|
|
; STATIC-FP: move $fp, $sp
|
|
; STATIC-FP: .loc 1 2 3 prologue_end
|
|
; STATIC-FP: lui $[[R0:[0-9]+]], %hi($.str)
|
|
|
|
; PIC: lui $[[R0:[0-9]+]], %hi(_gp_disp)
|
|
; PIC: addiu $[[R0]], $[[R0]], %lo(_gp_disp)
|
|
; PIC: addiu $sp, $sp, -{{[0-9]+}}
|
|
; PIC: sw $ra, {{[0-9]+}}($sp)
|
|
; PIC: addu $[[R1:[0-9]+]], $[[R0]], $25
|
|
; PIC: .loc 1 2 3 prologue_end
|
|
; PIC: lw $[[R2:[0-9]+]], %got($.str)($[[R1]])
|
|
|
|
; PIC-FP: lui $[[R0:[0-9]+]], %hi(_gp_disp)
|
|
; PIC-FP: addiu $[[R0]], $[[R0]], %lo(_gp_disp)
|
|
; PIC-FP: addiu $sp, $sp, -{{[0-9]+}}
|
|
; PIC-FP: sw $ra, {{[0-9]+}}($sp)
|
|
; PIC-FP: sw $fp, {{[0-9]+}}($sp)
|
|
; PIC-FP: move $fp, $sp
|
|
; PIC-FP: addu $[[R1:[0-9]+]], $[[R0]], $25
|
|
; PIC-FP: .loc 1 2 3 prologue_end
|
|
; PIC-FP: lw $[[R2:[0-9]+]], %got($.str)($[[R1]])
|
|
|
|
%call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i32 0, i32 0)), !dbg !10
|
|
ret void, !dbg !11
|
|
}
|
|
|
|
declare i32 @printf(i8*, ...)
|
|
|
|
attributes #0 = { nounwind }
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!7, !8}
|
|
!llvm.ident = !{!9}
|
|
|
|
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 3.8.0", isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2, subprograms: !3)
|
|
!1 = !DIFile(filename: "test.c", directory: "/tmp")
|
|
!2 = !{}
|
|
!3 = !{!4}
|
|
!4 = distinct !DISubprogram(name: "hello_world", scope: !1, file: !1, line: 1, type: !5, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, function: void ()* @hello_world, variables: !2)
|
|
!5 = !DISubroutineType(types: !6)
|
|
!6 = !{null}
|
|
!7 = !{i32 2, !"Dwarf Version", i32 4}
|
|
!8 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!9 = !{!"clang version 3.8.0"}
|
|
!10 = !DILocation(line: 2, column: 3, scope: !4)
|
|
!11 = !DILocation(line: 3, column: 1, scope: !4)
|