comparison test/Transforms/LoopVectorize/control-flow.ll @ 95:afa8332a0e37 LLVM3.8

LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents 60c9769439b8
children 7d135dc70f03
comparison
equal deleted inserted replaced
84:f3e34b893a5f 95:afa8332a0e37
1 ; RUN: opt < %s -loop-vectorize -force-vector-width=4 -S -pass-remarks-missed='loop-vectorize' -pass-remarks-analysis='loop-vectorize' 2>&1 | FileCheck %s 1 ; RUN: opt < %s -loop-vectorize -force-vector-width=4 -S -pass-remarks-missed='loop-vectorize' 2>&1 | FileCheck %s
2 2
3 ; C/C++ code for control flow test 3 ; C/C++ code for control flow test
4 ; int test(int *A, int Length) { 4 ; int test(int *A, int Length) {
5 ; for (int i = 0; i < Length; i++) { 5 ; for (int i = 0; i < Length; i++) {
6 ; if (A[i] > 10.0) goto end; 6 ; if (A[i] > 10.0) goto end;
28 for.body.preheader: ; preds = %entry 28 for.body.preheader: ; preds = %entry
29 br label %for.body, !dbg !12 29 br label %for.body, !dbg !12
30 30
31 for.body: ; preds = %for.body.preheader, %if.else 31 for.body: ; preds = %for.body.preheader, %if.else
32 %indvars.iv = phi i64 [ %indvars.iv.next, %if.else ], [ 0, %for.body.preheader ] 32 %indvars.iv = phi i64 [ %indvars.iv.next, %if.else ], [ 0, %for.body.preheader ]
33 %arrayidx = getelementptr inbounds i32* %A, i64 %indvars.iv, !dbg !12 33 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv, !dbg !12
34 %0 = load i32* %arrayidx, align 4, !dbg !12, !tbaa !15 34 %0 = load i32, i32* %arrayidx, align 4, !dbg !12, !tbaa !15
35 %cmp1 = icmp sgt i32 %0, 10, !dbg !12 35 %cmp1 = icmp sgt i32 %0, 10, !dbg !12
36 br i1 %cmp1, label %end.loopexit, label %if.else, !dbg !12 36 br i1 %cmp1, label %end.loopexit, label %if.else, !dbg !12
37 37
38 if.else: ; preds = %for.body 38 if.else: ; preds = %for.body
39 store i32 0, i32* %arrayidx, align 4, !dbg !19, !tbaa !15 39 store i32 0, i32* %arrayidx, align 4, !dbg !19, !tbaa !15
53 53
54 !llvm.dbg.cu = !{!0} 54 !llvm.dbg.cu = !{!0}
55 !llvm.module.flags = !{!7, !8} 55 !llvm.module.flags = !{!7, !8}
56 !llvm.ident = !{!9} 56 !llvm.ident = !{!9}
57 57
58 !0 = !{!"0x11\004\00clang version 3.5.0\001\00\006\00\002", !1, !2, !2, !3, !2, !2} ; [ DW_TAG_compile_unit ] [./source.cpp] [DW_LANG_C_plus_plus] 58 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0", isOptimized: true, runtimeVersion: 6, emissionKind: 2, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
59 !1 = !{!"source.cpp", !"."} 59 !1 = !DIFile(filename: "source.cpp", directory: ".")
60 !2 = !{} 60 !2 = !{}
61 !3 = !{!4} 61 !3 = !{!4}
62 !4 = !{!"0x2e\00test\00test\00\001\000\001\000\006\00256\001\002", !1, !5, !6, null, i32 (i32*, i32)* @_Z4testPii, null, null, !2} ; [ DW_TAG_subprogram ] [line 1] [def] [scope 2] [test] 62 !4 = distinct !DISubprogram(name: "test", line: 1, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 2, file: !1, scope: !5, type: !6, function: i32 (i32*, i32)* @_Z4testPii, variables: !2)
63 !5 = !{!"0x29", !1} ; [ DW_TAG_file_type ] [./source.cpp] 63 !5 = !DIFile(filename: "source.cpp", directory: ".")
64 !6 = !{!"0x15\00\000\000\000\000\000\000", i32 0, null, null, !2, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] 64 !6 = !DISubroutineType(types: !2)
65 !7 = !{i32 2, !"Dwarf Version", i32 2} 65 !7 = !{i32 2, !"Dwarf Version", i32 2}
66 !8 = !{i32 2, !"Debug Info Version", i32 2} 66 !8 = !{i32 2, !"Debug Info Version", i32 3}
67 !9 = !{!"clang version 3.5.0"} 67 !9 = !{!"clang version 3.5.0"}
68 !10 = !MDLocation(line: 3, column: 8, scope: !11) 68 !10 = !DILocation(line: 3, column: 8, scope: !11)
69 !11 = !{!"0xb\003\003\000", !1, !4} ; [ DW_TAG_lexical_block ] 69 !11 = distinct !DILexicalBlock(line: 3, column: 3, file: !1, scope: !4)
70 !12 = !MDLocation(line: 5, column: 9, scope: !13) 70 !12 = !DILocation(line: 5, column: 9, scope: !13)
71 !13 = !{!"0xb\005\009\000", !1, !14} ; [ DW_TAG_lexical_block ] 71 !13 = distinct !DILexicalBlock(line: 5, column: 9, file: !1, scope: !14)
72 !14 = !{!"0xb\004\003\000", !1, !11} ; [ DW_TAG_lexical_block ] 72 !14 = distinct !DILexicalBlock(line: 4, column: 3, file: !1, scope: !11)
73 !15 = !{!16, !16, i64 0} 73 !15 = !{!16, !16, i64 0}
74 !16 = !{!"int", !17, i64 0} 74 !16 = !{!"int", !17, i64 0}
75 !17 = !{!"omnipotent char", !18, i64 0} 75 !17 = !{!"omnipotent char", !18, i64 0}
76 !18 = !{!"Simple C/C++ TBAA"} 76 !18 = !{!"Simple C/C++ TBAA"}
77 !19 = !MDLocation(line: 8, column: 7, scope: !13) 77 !19 = !DILocation(line: 8, column: 7, scope: !13)
78 !20 = !MDLocation(line: 12, column: 3, scope: !4) 78 !20 = !DILocation(line: 12, column: 3, scope: !4)