94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt %s -passes='function(scalarizer<load-store>,dce)' -S | FileCheck %s3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"4 5define <1 x i32> @f1(<1 x ptr> %src, i32 %index) {6; CHECK-LABEL: @f1(7; CHECK-NEXT: [[INDEX_IS_0:%.*]] = icmp eq i32 [[INDEX:%.*]], 08; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 09; CHECK-NEXT: [[DOTUPTO0:%.*]] = select i1 [[INDEX_IS_0]], ptr [[SRC_I0]], ptr poison10; CHECK-NEXT: [[DOTI0:%.*]] = load i32, ptr [[DOTUPTO0]], align 411; CHECK-NEXT: [[TMP1:%.*]] = insertelement <1 x i32> poison, i32 [[DOTI0]], i64 012; CHECK-NEXT: ret <1 x i32> [[TMP1]]13;14 %1 = extractelement <1 x ptr> %src, i32 %index15 %2 = load <1 x i32>, ptr %1, align 416 ret <1 x i32> %217}18 19define <1 x i32> @f1b(<1 x ptr> %src) {20; CHECK-LABEL: @f1b(21; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 022; CHECK-NEXT: [[DOTI0:%.*]] = load i32, ptr [[SRC_I0]], align 423; CHECK-NEXT: [[TMP1:%.*]] = insertelement <1 x i32> poison, i32 [[DOTI0]], i64 024; CHECK-NEXT: ret <1 x i32> [[TMP1]]25;26 %1 = extractelement <1 x ptr> %src, i32 027 %2 = load <1 x i32>, ptr %1, align 428 ret <1 x i32> %229}30 31define <2 x i32> @f2(<1 x ptr> %src, i32 %index) {32; CHECK-LABEL: @f2(33; CHECK-NEXT: [[INDEX_IS_0:%.*]] = icmp eq i32 [[INDEX:%.*]], 034; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 035; CHECK-NEXT: [[DOTUPTO0:%.*]] = select i1 [[INDEX_IS_0]], ptr [[SRC_I0]], ptr poison36; CHECK-NEXT: [[DOTUPTO0_I1:%.*]] = getelementptr i32, ptr [[DOTUPTO0]], i32 137; CHECK-NEXT: [[DOTI0:%.*]] = load i32, ptr [[DOTUPTO0]], align 438; CHECK-NEXT: [[DOTI1:%.*]] = load i32, ptr [[DOTUPTO0_I1]], align 439; CHECK-NEXT: [[DOTUPTO01:%.*]] = insertelement <2 x i32> poison, i32 [[DOTI0]], i64 040; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i32> [[DOTUPTO01]], i32 [[DOTI1]], i64 141; CHECK-NEXT: ret <2 x i32> [[TMP1]]42;43 %1 = extractelement <1 x ptr> %src, i32 %index44 %2 = load <2 x i32>, ptr %1, align 445 ret <2 x i32> %246}47 48define <2 x i32> @f2b(<1 x ptr> %src) {49; CHECK-LABEL: @f2b(50; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 051; CHECK-NEXT: [[SRC_I0_I1:%.*]] = getelementptr i32, ptr [[SRC_I0]], i32 152; CHECK-NEXT: [[DOTI0:%.*]] = load i32, ptr [[SRC_I0]], align 453; CHECK-NEXT: [[DOTI1:%.*]] = load i32, ptr [[SRC_I0_I1]], align 454; CHECK-NEXT: [[DOTUPTO0:%.*]] = insertelement <2 x i32> poison, i32 [[DOTI0]], i64 055; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i32> [[DOTUPTO0]], i32 [[DOTI1]], i64 156; CHECK-NEXT: ret <2 x i32> [[TMP1]]57;58 %1 = extractelement <1 x ptr> %src, i32 059 %2 = load <2 x i32>, ptr %1, align 460 ret <2 x i32> %261}62 63define void @f3(<1 x ptr> %src, i32 %index, <2 x i32> %val) {64; CHECK-LABEL: @f3(65; CHECK-NEXT: [[VAL_I0:%.*]] = extractelement <2 x i32> [[VAL:%.*]], i64 066; CHECK-NEXT: [[VAL_I1:%.*]] = extractelement <2 x i32> [[VAL]], i64 167; CHECK-NEXT: [[INDEX_IS_0:%.*]] = icmp eq i32 [[INDEX:%.*]], 068; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 069; CHECK-NEXT: [[DOTUPTO0:%.*]] = select i1 [[INDEX_IS_0]], ptr [[SRC_I0]], ptr poison70; CHECK-NEXT: [[DOTUPTO0_I1:%.*]] = getelementptr i32, ptr [[DOTUPTO0]], i32 171; CHECK-NEXT: store i32 [[VAL_I0]], ptr [[DOTUPTO0]], align 472; CHECK-NEXT: store i32 [[VAL_I1]], ptr [[DOTUPTO0_I1]], align 473; CHECK-NEXT: ret void74;75 %1 = extractelement <1 x ptr> %src, i32 %index76 store <2 x i32> %val, ptr %1, align 477 ret void78}79 80define void @f3b(<1 x ptr> %src, <2 x i32> %val) {81; CHECK-LABEL: @f3b(82; CHECK-NEXT: [[VAL_I0:%.*]] = extractelement <2 x i32> [[VAL:%.*]], i64 083; CHECK-NEXT: [[VAL_I1:%.*]] = extractelement <2 x i32> [[VAL]], i64 184; CHECK-NEXT: [[SRC_I0:%.*]] = extractelement <1 x ptr> [[SRC:%.*]], i64 085; CHECK-NEXT: [[SRC_I0_I1:%.*]] = getelementptr i32, ptr [[SRC_I0]], i32 186; CHECK-NEXT: store i32 [[VAL_I0]], ptr [[SRC_I0]], align 487; CHECK-NEXT: store i32 [[VAL_I1]], ptr [[SRC_I0_I1]], align 488; CHECK-NEXT: ret void89;90 %1 = extractelement <1 x ptr> %src, i32 091 store <2 x i32> %val, ptr %1, align 492 ret void93}94