123 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S < %s -p loop-vectorize | FileCheck %s3 4declare void @init_mem(ptr, i64);5 6define i64 @one_uncountable_two_countable_same_exit_phi_of_consts() {7; CHECK-LABEL: define i64 @one_uncountable_two_countable_same_exit_phi_of_consts() {8; CHECK-NEXT: entry:9; CHECK-NEXT: [[P1:%.*]] = alloca [1024 x i8], align 110; CHECK-NEXT: [[P2:%.*]] = alloca [1024 x i8], align 111; CHECK-NEXT: call void @init_mem(ptr [[P1]], i64 1024)12; CHECK-NEXT: call void @init_mem(ptr [[P2]], i64 1024)13; CHECK-NEXT: br label [[LOOP:%.*]]14; CHECK: loop:15; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ [[INDEX_NEXT:%.*]], [[LOOP_INC:%.*]] ], [ 3, [[ENTRY:%.*]] ]16; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i64 [[INDEX]], 6417; CHECK-NEXT: br i1 [[CMP1]], label [[SEARCH:%.*]], label [[LOOP_END:%.*]]18; CHECK: search:19; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i8, ptr [[P1]], i64 [[INDEX]]20; CHECK-NEXT: [[LD1:%.*]] = load i8, ptr [[ARRAYIDX]], align 121; CHECK-NEXT: [[ARRAYIDX1:%.*]] = getelementptr inbounds i8, ptr [[P2]], i64 [[INDEX]]22; CHECK-NEXT: [[LD2:%.*]] = load i8, ptr [[ARRAYIDX1]], align 123; CHECK-NEXT: [[CMP3:%.*]] = icmp eq i8 [[LD1]], [[LD2]]24; CHECK-NEXT: br i1 [[CMP3]], label [[LOOP_END]], label [[LOOP_INC]]25; CHECK: loop.inc:26; CHECK-NEXT: [[INDEX_NEXT]] = add i64 [[INDEX]], 127; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDEX_NEXT]], 12828; CHECK-NEXT: br i1 [[EXITCOND]], label [[LOOP]], label [[LOOP_END]]29; CHECK: loop.end:30; CHECK-NEXT: [[RETVAL:%.*]] = phi i64 [ 0, [[LOOP]] ], [ 1, [[SEARCH]] ], [ 0, [[LOOP_INC]] ]31; CHECK-NEXT: ret i64 [[RETVAL]]32;33entry:34 %p1 = alloca [1024 x i8]35 %p2 = alloca [1024 x i8]36 call void @init_mem(ptr %p1, i64 1024)37 call void @init_mem(ptr %p2, i64 1024)38 br label %loop39 40loop:41 %index = phi i64 [ %index.next, %loop.inc ], [ 3, %entry ]42 %cmp1 = icmp ne i64 %index, 6443 br i1 %cmp1, label %search, label %loop.end44 45search:46 %arrayidx = getelementptr inbounds i8, ptr %p1, i64 %index47 %ld1 = load i8, ptr %arrayidx, align 148 %arrayidx1 = getelementptr inbounds i8, ptr %p2, i64 %index49 %ld2 = load i8, ptr %arrayidx1, align 150 %cmp3 = icmp eq i8 %ld1, %ld251 br i1 %cmp3, label %loop.end, label %loop.inc52 53loop.inc:54 %index.next = add i64 %index, 155 %exitcond = icmp ne i64 %index.next, 12856 br i1 %exitcond, label %loop, label %loop.end57 58loop.end:59 %retval = phi i64 [ 0, %loop ], [ 1, %search ], [ 0, %loop.inc ]60 ret i64 %retval61}62 63 64define i64 @one_uncountable_two_countable_diff_exit_no_phis() {65; CHECK-LABEL: define i64 @one_uncountable_two_countable_diff_exit_no_phis() {66; CHECK-NEXT: entry:67; CHECK-NEXT: [[P1:%.*]] = alloca [1024 x i8], align 168; CHECK-NEXT: [[P2:%.*]] = alloca [1024 x i8], align 169; CHECK-NEXT: call void @init_mem(ptr [[P1]], i64 1024)70; CHECK-NEXT: call void @init_mem(ptr [[P2]], i64 1024)71; CHECK-NEXT: br label [[LOOP:%.*]]72; CHECK: loop:73; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ [[INDEX_NEXT:%.*]], [[LOOP_INC:%.*]] ], [ 3, [[ENTRY:%.*]] ]74; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i64 [[INDEX]], 6475; CHECK-NEXT: br i1 [[CMP1]], label [[SEARCH:%.*]], label [[LOOP_END:%.*]]76; CHECK: search:77; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i8, ptr [[P1]], i64 [[INDEX]]78; CHECK-NEXT: [[LD1:%.*]] = load i8, ptr [[ARRAYIDX]], align 179; CHECK-NEXT: [[ARRAYIDX1:%.*]] = getelementptr inbounds i8, ptr [[P2]], i64 [[INDEX]]80; CHECK-NEXT: [[LD2:%.*]] = load i8, ptr [[ARRAYIDX1]], align 181; CHECK-NEXT: [[CMP3:%.*]] = icmp eq i8 [[LD1]], [[LD2]]82; CHECK-NEXT: br i1 [[CMP3]], label [[LOOP_END_EARLY:%.*]], label [[LOOP_INC]]83; CHECK: loop.inc:84; CHECK-NEXT: [[INDEX_NEXT]] = add i64 [[INDEX]], 185; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDEX_NEXT]], 12886; CHECK-NEXT: br i1 [[EXITCOND]], label [[LOOP]], label [[LOOP_END]]87; CHECK: loop.end.early:88; CHECK-NEXT: ret i64 189; CHECK: loop.end:90; CHECK-NEXT: ret i64 091;92entry:93 %p1 = alloca [1024 x i8]94 %p2 = alloca [1024 x i8]95 call void @init_mem(ptr %p1, i64 1024)96 call void @init_mem(ptr %p2, i64 1024)97 br label %loop98 99loop:100 %index = phi i64 [ %index.next, %loop.inc ], [ 3, %entry ]101 %cmp1 = icmp ne i64 %index, 64102 br i1 %cmp1, label %search, label %loop.end103 104search:105 %arrayidx = getelementptr inbounds i8, ptr %p1, i64 %index106 %ld1 = load i8, ptr %arrayidx, align 1107 %arrayidx1 = getelementptr inbounds i8, ptr %p2, i64 %index108 %ld2 = load i8, ptr %arrayidx1, align 1109 %cmp3 = icmp eq i8 %ld1, %ld2110 br i1 %cmp3, label %loop.end.early, label %loop.inc111 112loop.inc:113 %index.next = add i64 %index, 1114 %exitcond = icmp ne i64 %index.next, 128115 br i1 %exitcond, label %loop, label %loop.end116 117loop.end.early:118 ret i64 1119 120loop.end:121 ret i64 0122}123