Manman Ren | 620e978 | 2013-07-29 20:18:19 +0000 | [diff] [blame] | 1 | ; RUN: opt -loop-idiom < %s -S | FileCheck %s |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 2 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| 3 | target triple = "x86_64-apple-darwin10.0.0" |
| 4 | |
| 5 | |
| 6 | define void @foo(double* nocapture %a) nounwind ssp { |
| 7 | entry: |
Duncan P. N. Exon Smith | 166121a | 2015-03-15 01:21:30 +0000 | [diff] [blame] | 8 | tail call void @llvm.dbg.value(metadata double* %a, i64 0, metadata !5, metadata !MDExpression()), !dbg !8 |
| 9 | tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !10, metadata !MDExpression()), !dbg !14 |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 10 | br label %for.body |
| 11 | |
| 12 | for.body: ; preds = %entry, %for.body |
| 13 | %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %for.body ] |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 14 | %arrayidx = getelementptr double, double* %a, i64 %indvar |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 15 | ; CHECK: call void @llvm.memset{{.+}} !dbg |
| 16 | store double 0.000000e+00, double* %arrayidx, align 8, !dbg !15 |
| 17 | %indvar.next = add i64 %indvar, 1 |
| 18 | %exitcond = icmp ne i64 %indvar.next, 1000 |
| 19 | br i1 %exitcond, label %for.body, label %for.end, !dbg !14 |
| 20 | |
| 21 | for.end: ; preds = %for.body |
Duncan P. N. Exon Smith | 166121a | 2015-03-15 01:21:30 +0000 | [diff] [blame] | 22 | tail call void @llvm.dbg.value(metadata !{null}, i64 0, metadata !10, metadata !MDExpression()), !dbg !16 |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 23 | ret void, !dbg !17 |
| 24 | } |
| 25 | |
Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 26 | declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 27 | |
Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 28 | declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 29 | |
Manman Ren | d664bd7 | 2013-11-23 01:16:29 +0000 | [diff] [blame] | 30 | !llvm.module.flags = !{!19} |
Devang Patel | d00c628 | 2011-03-07 22:43:45 +0000 | [diff] [blame] | 31 | !llvm.dbg.sp = !{!0} |
| 32 | |
Duncan P. N. Exon Smith | e274180 | 2015-03-03 17:24:31 +0000 | [diff] [blame] | 33 | !0 = !MDSubprogram(name: "foo", line: 2, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !18, scope: !1, type: !3, function: void (double*)* @foo) |
| 34 | !1 = !MDFile(filename: "li.c", directory: "/private/tmp") |
| 35 | !2 = !MDCompileUnit(language: DW_LANG_C99, producer: "clang version 2.9 (trunk 127165:127174)", isOptimized: true, emissionKind: 0, file: !18, enums: !9, retainedTypes: !9) |
| 36 | !3 = !MDSubroutineType(types: !4) |
Duncan P. N. Exon Smith | be7ea19 | 2014-12-15 19:07:53 +0000 | [diff] [blame] | 37 | !4 = !{null} |
Duncan P. N. Exon Smith | e274180 | 2015-03-03 17:24:31 +0000 | [diff] [blame] | 38 | !5 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "a", line: 2, arg: 1, scope: !0, file: !1, type: !6) |
| 39 | !6 = !MDDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, scope: !2, baseType: !7) |
| 40 | !7 = !MDBasicType(tag: DW_TAG_base_type, name: "double", size: 64, align: 64, encoding: DW_ATE_float) |
Duncan P. N. Exon Smith | 9885469 | 2015-01-14 22:27:36 +0000 | [diff] [blame] | 41 | !8 = !MDLocation(line: 2, column: 18, scope: !0) |
Duncan P. N. Exon Smith | 988a7f8 | 2015-03-27 20:46:33 +0000 | [diff] [blame^] | 42 | !9 = !{} |
Duncan P. N. Exon Smith | e274180 | 2015-03-03 17:24:31 +0000 | [diff] [blame] | 43 | !10 = !MDLocalVariable(tag: DW_TAG_auto_variable, name: "i", line: 3, scope: !11, file: !1, type: !13) |
| 44 | !11 = distinct !MDLexicalBlock(line: 3, column: 3, file: !18, scope: !12) |
| 45 | !12 = distinct !MDLexicalBlock(line: 2, column: 21, file: !18, scope: !0) |
| 46 | !13 = !MDBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) |
Duncan P. N. Exon Smith | 9885469 | 2015-01-14 22:27:36 +0000 | [diff] [blame] | 47 | !14 = !MDLocation(line: 3, column: 3, scope: !12) |
| 48 | !15 = !MDLocation(line: 4, column: 5, scope: !11) |
| 49 | !16 = !MDLocation(line: 3, column: 29, scope: !11) |
| 50 | !17 = !MDLocation(line: 5, column: 1, scope: !12) |
Duncan P. N. Exon Smith | e274180 | 2015-03-03 17:24:31 +0000 | [diff] [blame] | 51 | !18 = !MDFile(filename: "li.c", directory: "/private/tmp") |
| 52 | !19 = !{i32 1, !"Debug Info Version", i32 3} |