1; REQUIRES: object-emission 2 3; RUN: %llc_dwarf -O0 -filetype=obj %s -o - | llvm-dwarfdump -debug-dump=info - | FileCheck %s 4; Use correct signedness when emitting constants of derived (sugared) types. 5 6; Test compiled to IR from clang with -O1 and the following source: 7 8; void func(int); 9; void func(unsigned); 10; void func(char16_t); 11; int main() { 12; const int i = 42; 13; func(i); 14; const unsigned j = 117; 15; func(j); 16; char16_t c = 7; 17; func(c); 18; } 19 20; CHECK: DW_AT_const_value [DW_FORM_sdata] (42) 21; CHECK: DW_AT_const_value [DW_FORM_udata] (117) 22; CHECK: DW_AT_const_value [DW_FORM_udata] (7) 23 24; Function Attrs: uwtable 25define i32 @main() #0 !dbg !4 { 26entry: 27 tail call void @llvm.dbg.value(metadata i32 42, i64 0, metadata !10, metadata !DIExpression()), !dbg !21 28 tail call void @_Z4funci(i32 42), !dbg !22 29 tail call void @llvm.dbg.value(metadata i32 117, i64 0, metadata !12, metadata !DIExpression()), !dbg !24 30 tail call void @_Z4funcj(i32 117), !dbg !25 31 tail call void @llvm.dbg.value(metadata i16 7, i64 0, metadata !15, metadata !DIExpression()), !dbg !27 32 tail call void @_Z4funcDs(i16 zeroext 7), !dbg !28 33 ret i32 0, !dbg !29 34} 35 36declare void @_Z4funci(i32) #1 37 38declare void @_Z4funcj(i32) #1 39 40declare void @_Z4funcDs(i16 zeroext) #1 41 42; Function Attrs: nounwind readnone 43declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 44 45attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 46attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 47attributes #2 = { nounwind readnone } 48 49!llvm.dbg.cu = !{!0} 50!llvm.module.flags = !{!17, !18} 51!llvm.ident = !{!19} 52 53!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 ", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2) 54!1 = !DIFile(filename: "const.cpp", directory: "/tmp/dbginfo") 55!2 = !{} 56!4 = distinct !DISubprogram(name: "main", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 4, file: !1, scope: !5, type: !6, variables: !9) 57!5 = !DIFile(filename: "const.cpp", directory: "/tmp/dbginfo") 58!6 = !DISubroutineType(types: !7) 59!7 = !{!8} 60!8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 61!9 = !{!10, !12, !15} 62!10 = !DILocalVariable(name: "i", line: 5, scope: !4, file: !5, type: !11) 63!11 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !8) 64!12 = !DILocalVariable(name: "j", line: 7, scope: !4, file: !5, type: !13) 65!13 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !14) 66!14 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned) 67!15 = !DILocalVariable(name: "c", line: 9, scope: !4, file: !5, type: !16) 68!16 = !DIBasicType(tag: DW_TAG_base_type, name: "char16_t", size: 16, align: 16, encoding: 16) 69!17 = !{i32 2, !"Dwarf Version", i32 4} 70!18 = !{i32 1, !"Debug Info Version", i32 3} 71!19 = !{!"clang version 3.5.0 "} 72!20 = !{i32 42} 73!21 = !DILocation(line: 5, scope: !4) 74!22 = !DILocation(line: 6, scope: !4) 75!23 = !{i32 117} 76!24 = !DILocation(line: 7, scope: !4) 77!25 = !DILocation(line: 8, scope: !4) 78!26 = !{i16 7} 79!27 = !DILocation(line: 9, scope: !4) 80!28 = !DILocation(line: 10, scope: !4) 81!29 = !DILocation(line: 11, scope: !4) 82