xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/rdar128092379.ll (revision d3a76b03d8f35903bc17cb85c14c9816c963cff6)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2; RUN: opt -passes=slp-vectorizer < %s -o - -S | FileCheck %s
3
4target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-apple-macosx15.4.0"
6
7define fastcc i32 @rdar128092379(i8 %index) {
8; CHECK-LABEL: define fastcc i32 @rdar128092379(
9; CHECK-SAME: i8 [[INDEX:%.*]]) {
10; CHECK-NEXT:  [[BLOCK:.*]]:
11; CHECK-NEXT:    [[ZEXT:%.*]] = zext i8 [[INDEX]] to i64
12; CHECK-NEXT:    [[ZEXT1:%.*]] = zext i8 [[INDEX]] to i64
13; CHECK-NEXT:    br label %[[BLOCK3:.*]]
14; CHECK:       [[BLOCK2:.*]]:
15; CHECK-NEXT:    br label %[[BLOCK3]]
16; CHECK:       [[BLOCK3]]:
17; CHECK-NEXT:    [[PHI:%.*]] = phi i64 [ 0, %[[BLOCK2]] ], [ [[ZEXT1]], %[[BLOCK]] ]
18; CHECK-NEXT:    [[PHI4:%.*]] = phi i64 [ 0, %[[BLOCK2]] ], [ [[ZEXT]], %[[BLOCK]] ]
19; CHECK-NEXT:    [[EXTRACTELEMENT:%.*]] = extractelement <16 x i32> zeroinitializer, i64 [[PHI4]]
20; CHECK-NEXT:    [[EXTRACTELEMENT5:%.*]] = extractelement <16 x i32> zeroinitializer, i64 [[PHI]]
21; CHECK-NEXT:    [[SUM:%.*]] = add i32 [[EXTRACTELEMENT]], [[EXTRACTELEMENT5]]
22; CHECK-NEXT:    ret i32 [[SUM]]
23;
24block:
25  %zext = zext i8 %index to i64
26  %zext1 = zext i8 %index to i64
27  br label %block3
28
29block2:
30  br label %block3
31
32block3:
33  %phi = phi i64 [ 0, %block2 ], [ %zext1, %block ]
34  %phi4 = phi i64 [ 0, %block2 ], [ %zext, %block ]
35  %extractelement = extractelement <16 x i32> zeroinitializer, i64 %phi4
36  %extractelement5 = extractelement <16 x i32> zeroinitializer, i64 %phi
37  %sum = add i32 %extractelement, %extractelement5
38  ret i32 %sum
39}
40