test/Transforms/LoopVectorize/control-flow.ll

   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
   2
   3 ; C/C++ code for control flow test
   4 ; int test(int *A, int Length) {
   5 ;   for (int i = 0; i < Length; i++) {
   6 ;     if (A[i] > 10.0) goto end;
   7 ;     A[i] = 0;
   8 ;   }
   9 ; end:
  10 ;   return 0;
  11 ; }
  12
  13 ; CHECK: remark: source.cpp:5:9: loop not vectorized: loop control flow is not understood by vectorizer
  14 ; CHECK: remark: source.cpp:5:9: loop not vectorized: use -Rpass-analysis=loop-vectorize for more info
  15
  16 ; CHECK: _Z4testPii
  17 ; CHECK-NOT: x i32>
  18 ; CHECK: ret
  19
  20 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
  21
  22 ; Function Attrs: nounwind optsize ssp uwtable
  23 define i32 @_Z4testPii(i32* nocapture %A, i32 %Length) #0 {
  24 entry:
  25   %cmp8 = icmp sgt i32 %Length, 0, !dbg !10
  26   br i1 %cmp8, label %for.body.preheader, label %end, !dbg !10
  27
  28 for.body.preheader:                               ; preds = %entry
  29   br label %for.body, !dbg !12
  30
  31 for.body:                                         ; preds = %for.body.preheader, %if.else
  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
  34   %0 = load i32* %arrayidx, align 4, !dbg !12, !tbaa !15
  35   %cmp1 = icmp sgt i32 %0, 10, !dbg !12
  36   br i1 %cmp1, label %end.loopexit, label %if.else, !dbg !12
  37
  38 if.else:                                          ; preds = %for.body
  39   store i32 0, i32* %arrayidx, align 4, !dbg !19, !tbaa !15
  40   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1, !dbg !10
  41   %1 = trunc i64 %indvars.iv.next to i32, !dbg !10
  42   %cmp = icmp slt i32 %1, %Length, !dbg !10
  43   br i1 %cmp, label %for.body, label %end.loopexit, !dbg !10
  44
  45 end.loopexit:                                     ; preds = %if.else, %for.body
  46   br label %end
  47
  48 end:                                              ; preds = %end.loopexit, %entry
  49   ret i32 0, !dbg !20
  50 }
  51
  52 attributes #0 = { nounwind }
  53
  54 !llvm.dbg.cu = !{!0}
  55 !llvm.module.flags = !{!7, !8}
  56 !llvm.ident = !{!9}
  57
  58 !0 = metadata !{metadata !"0x11\004\00clang version 3.5.0\001\00\006\00\002", metadata !1, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2} ; [ DW_TAG_compile_unit ] [./source.cpp] [DW_LANG_C_plus_plus]
  59 !1 = metadata !{metadata !"source.cpp", metadata !"."}
  60 !2 = metadata !{}
  61 !3 = metadata !{metadata !4}
  62 !4 = metadata !{metadata !"0x2e\00test\00test\00\001\000\001\000\006\00256\001\002", metadata !1, metadata !5, metadata !6, null, i32 (i32*, i32)* @_Z4testPii, null, null, metadata !2} ; [ DW_TAG_subprogram ] [line 1] [def] [scope 2] [test]
  63 !5 = metadata !{metadata !"0x29", metadata !1}          ; [ DW_TAG_file_type ] [./source.cpp]
  64 !6 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !2, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  65 !7 = metadata !{i32 2, metadata !"Dwarf Version", i32 2}
  66 !8 = metadata !{i32 2, metadata !"Debug Info Version", i32 2}
  67 !9 = metadata !{metadata !"clang version 3.5.0"}
  68 !10 = metadata !{i32 3, i32 8, metadata !11, null}
  69 !11 = metadata !{metadata !"0xb\003\003\000", metadata !1, metadata !4} ; [ DW_TAG_lexical_block ]
  70 !12 = metadata !{i32 5, i32 9, metadata !13, null}
  71 !13 = metadata !{metadata !"0xb\005\009\000", metadata !1, metadata !14} ; [ DW_TAG_lexical_block ]
  72 !14 = metadata !{metadata !"0xb\004\003\000", metadata !1, metadata !11} ; [ DW_TAG_lexical_block ]
  73 !15 = metadata !{metadata !16, metadata !16, i64 0}
  74 !16 = metadata !{metadata !"int", metadata !17, i64 0}
  75 !17 = metadata !{metadata !"omnipotent char", metadata !18, i64 0}
  76 !18 = metadata !{metadata !"Simple C/C++ TBAA"}
  77 !19 = metadata !{i32 8, i32 7, metadata !13, null}
  78 !20 = metadata !{i32 12, i32 3, metadata !4, null}