52 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: %if x86-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-99999 < %s | FileCheck %s %}3; RUN: %if x86-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-99999\4; RUN: -slp-skip-early-profitability-check < %s | FileCheck %s --check-prefixes=FORCED %}5; RUN: %if aarch64-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu -slp-threshold=-99999 < %s | FileCheck %s %}6; RUN: %if aarch64-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu -slp-threshold=-99999\7; RUN: -slp-skip-early-profitability-check < %s | FileCheck %s --check-prefixes=FORCED %}8 9define i64 @wombat() {10; FORCED-LABEL: define i64 @wombat() {11; FORCED-NEXT: bb:12; FORCED-NEXT: br label [[BB2:%.*]]13; FORCED: bb1:14; FORCED-NEXT: br label [[BB2]]15; FORCED: bb2:16; FORCED-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ 0, [[BB1:%.*]] ]17; FORCED-NEXT: [[TMP0:%.*]] = insertelement <2 x i32> poison, i32 [[PHI]], i32 018; FORCED-NEXT: [[TMP1:%.*]] = shufflevector <2 x i32> [[TMP0]], <2 x i32> poison, <2 x i32> zeroinitializer19; FORCED-NEXT: [[TMP2:%.*]] = trunc <2 x i32> [[TMP1]] to <2 x i1>20; FORCED-NEXT: [[TMP3:%.*]] = extractelement <2 x i1> [[TMP2]], i32 021; FORCED-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i6422; FORCED-NEXT: [[TMP5:%.*]] = extractelement <2 x i1> [[TMP2]], i32 123; FORCED-NEXT: [[TMP6:%.*]] = zext i1 [[TMP5]] to i6424; FORCED-NEXT: [[OR:%.*]] = or i64 [[TMP4]], [[TMP6]]25; FORCED-NEXT: ret i64 [[OR]]26;27; CHECK-LABEL: define i64 @wombat() {28; CHECK-NEXT: bb:29; CHECK-NEXT: br label [[BB2:%.*]]30; CHECK: bb1:31; CHECK-NEXT: br label [[BB2]]32; CHECK: bb2:33; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ 0, [[BB1:%.*]] ]34; CHECK-NEXT: [[TMP4:%.*]] = zext i32 [[PHI]] to i6435; CHECK-NEXT: [[TMP6:%.*]] = sext i32 [[PHI]] to i6436; CHECK-NEXT: [[OR:%.*]] = or i64 [[TMP4]], [[TMP6]]37; CHECK-NEXT: ret i64 [[OR]]38;39bb:40 br label %bb241 42bb1:43 br label %bb244 45bb2:46 %phi = phi i32 [ 0, %bb ], [ 0, %bb1 ]47 %zext = zext i32 %phi to i6448 %sext = sext i32 %phi to i6449 %or = or i64 %zext, %sext50 ret i64 %or51}52