[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GlobalOpt / localize-constexpr-debuginfo.ll
blobe5f0eea8013428cd55af7c72819cccade2492c30
1 ; RUN: opt -S < %s -globalopt | FileCheck %s
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-unknown-linux-gnu"
6 @_ZL1x = internal global [200 x i8]* null, align 8, !dbg !0
8 define i32 @main(i32 %argc, i8** %argv) norecurse !dbg !18 {
9 ; CHECK: define i32 @main
10 ; Make sure we localized the global.
11 ; CHECK: alloca [200 x i8]*
12 ; Make sure the metadata is sane. Currently, we just drop the metadata,
13 ; so it points to nothing.
14 ; CHECK: call void @llvm.dbg.value(metadata !2,
15 ; CHECK: !2 = !{}
16 entry:
17   call void @llvm.dbg.value(metadata i32 %argc, metadata !22, metadata !23), !dbg !24
18   call void @llvm.dbg.value(metadata i8** %argv, metadata !25, metadata !23), !dbg !26
19   %arrayidx = getelementptr inbounds i8*, i8** %argv, i64 0, !dbg !27
20   %0 = load i8*, i8** %arrayidx, align 8, !dbg !27
21   %1 = bitcast i8* %0 to [200 x i8]*, !dbg !28
22   store [200 x i8]* %1, [200 x i8]** @_ZL1x, align 8, !dbg !29
23   call void @llvm.dbg.value(metadata i8** bitcast ([200 x i8]** @_ZL1x to i8**), metadata !30, metadata !23), !dbg !31
24   %2 = load i8*, i8** bitcast ([200 x i8]** @_ZL1x to i8**), align 8, !dbg !32
25   %3 = load i8, i8* %2, align 1, !dbg !33
26   %conv = sext i8 %3 to i32, !dbg !33
27   ret i32 %conv, !dbg !34
30 declare void @llvm.dbg.value(metadata, metadata, metadata)
32 !llvm.dbg.cu = !{!2}
33 !llvm.module.flags = !{!15, !16}
34 !llvm.ident = !{!17}
36 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
37 !1 = distinct !DIGlobalVariable(name: "x", linkageName: "_ZL1x", scope: !2, file: !14, line: 1, type: !6, isLocal: true, isDefinition: true)
38 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !5, globals: !13)
39 !3 = !DIFile(filename: "-", directory: "/")
40 !4 = !{}
41 !5 = !{!6, !11}
42 !6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64)
43 !7 = !DICompositeType(tag: DW_TAG_array_type, baseType: !8, size: 1600, elements: !9)
44 !8 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
45 !9 = !{!10}
46 !10 = !DISubrange(count: 200)
47 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64)
48 !12 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)
49 !13 = !{!0}
50 !14 = !DIFile(filename: "<stdin>", directory: "/")
51 !15 = !{i32 2, !"Dwarf Version", i32 4}
52 !16 = !{i32 2, !"Debug Info Version", i32 3}
53 !17 = !{!"clang"}
54 !18 = distinct !DISubprogram(name: "main", scope: !14, file: !14, line: 2, type: !19, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: false, unit: !2, retainedNodes: !4)
55 !19 = !DISubroutineType(types: !20)
56 !20 = !{!21, !21, !11}
57 !21 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
58 !22 = !DILocalVariable(name: "argc", arg: 1, scope: !18, file: !14, line: 2, type: !21)
59 !23 = !DIExpression()
60 !24 = !DILocation(line: 2, column: 14, scope: !18)
61 !25 = !DILocalVariable(name: "argv", arg: 2, scope: !18, file: !14, line: 2, type: !11)
62 !26 = !DILocation(line: 2, column: 26, scope: !18)
63 !27 = !DILocation(line: 2, column: 52, scope: !18)
64 !28 = !DILocation(line: 2, column: 38, scope: !18)
65 !29 = !DILocation(line: 2, column: 36, scope: !18)
66 !30 = !DILocalVariable(name: "y", scope: !18, file: !14, line: 2, type: !11)
67 !31 = !DILocation(line: 2, column: 68, scope: !18)
68 !32 = !DILocation(line: 2, column: 92, scope: !18)
69 !33 = !DILocation(line: 2, column: 91, scope: !18)
70 !34 = !DILocation(line: 2, column: 84, scope: !18)