46 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals none --version 52; RUN: opt -p loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -S < %s | FileCheck %s3 4define void @neg_cond(ptr noalias %p, ptr noalias %q) {5; CHECK-LABEL: define void @neg_cond(6; CHECK-SAME: ptr noalias [[P:%.*]], ptr noalias [[Q:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: br label %[[VECTOR_PH:.*]]9; CHECK: [[VECTOR_PH]]:10; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]11; CHECK: [[VECTOR_BODY]]:12; CHECK-NEXT: [[INDEX:%.*]] = phi i32 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]13; CHECK-NEXT: [[TMP0:%.*]] = getelementptr i32, ptr [[P]], i32 [[INDEX]]14; CHECK-NEXT: [[WIDE_LOAD:%.*]] = load <4 x i32>, ptr [[TMP0]], align 415; CHECK-NEXT: [[TMP3:%.*]] = icmp ne <4 x i32> [[WIDE_LOAD]], splat (i32 42)16; CHECK-NEXT: [[TMP4:%.*]] = select <4 x i1> [[TMP3]], <4 x i32> splat (i32 42), <4 x i32> splat (i32 43)17; CHECK-NEXT: store <4 x i32> [[TMP4]], ptr [[TMP0]], align 418; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i32 [[INDEX]], 419; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i32 [[INDEX_NEXT]], 102420; CHECK-NEXT: br i1 [[TMP5]], label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]21; CHECK: [[MIDDLE_BLOCK]]:22; CHECK-NEXT: br label %[[EXIT:.*]]23; CHECK: [[EXIT]]:24; CHECK-NEXT: ret void25;26entry:27 br label %loop28 29loop:30 %iv = phi i32 [0, %entry], [%iv.next, %loop]31 %p.gep = getelementptr i32, ptr %p, i32 %iv32 %x = load i32, ptr %p.gep33 %q.gep = getelementptr i32, ptr %q, i32 %iv34 %y = load i32, ptr %q.gep35 %cmp = icmp eq i32 %x, 4236 %not = xor i1 %cmp, 137 %sel = select i1 %not, i32 42, i32 4338 store i32 %sel, ptr %p.gep39 %iv.next = add i32 %iv, 140 %done = icmp eq i32 %iv.next, 102441 br i1 %done, label %exit, label %loop42 43exit:44 ret void45}46