17773243dSElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 27773243dSElvina Yakubova; RUN: %if x86-registered-target %{ opt -mtriple=x86_64-- -passes=slp-vectorizer -S < %s | FileCheck %s %} 37773243dSElvina Yakubova; RUN: %if aarch64-registered-target %{ opt -mtriple=aarch64-- -passes=slp-vectorizer -S < %s | FileCheck %s %} 47773243dSElvina Yakubova 57773243dSElvina Yakubova; Crash Test case reported on D134605 67773243dSElvina Yakubova 7*91a0fecfSAlexey Bataevdefine void @D134605() { 87773243dSElvina Yakubova; CHECK-LABEL: @D134605( 97773243dSElvina Yakubova; CHECK-NEXT: entry: 107773243dSElvina Yakubova; CHECK-NEXT: [[ARRAYIDX81:%.*]] = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 3 117773243dSElvina Yakubova; CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr [[ARRAYIDX81]], align 1 127773243dSElvina Yakubova; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i16>, ptr poison, align 1 137773243dSElvina Yakubova; CHECK-NEXT: [[REASS_ADD:%.*]] = add i16 poison, [[TMP0]] 147773243dSElvina Yakubova; CHECK-NEXT: [[TMP2:%.*]] = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> [[TMP1]]) 157773243dSElvina Yakubova; CHECK-NEXT: [[TMP3:%.*]] = mul i16 [[TMP2]], 2 167773243dSElvina Yakubova; CHECK-NEXT: [[OP_RDX:%.*]] = add i16 [[TMP3]], poison 177773243dSElvina Yakubova; CHECK-NEXT: [[REASS_MUL24:%.*]] = shl i16 [[OP_RDX]], 2 187773243dSElvina Yakubova; CHECK-NEXT: [[CALL:%.*]] = call i16 @check_i16(i16 noundef 1, i16 noundef [[REASS_MUL24]], i16 noundef 5120) 19*91a0fecfSAlexey Bataev; CHECK-NEXT: ret void 207773243dSElvina Yakubova; 217773243dSElvina Yakubovaentry: 227773243dSElvina Yakubova %arrayidx81 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 3 237773243dSElvina Yakubova %0 = load i16, ptr %arrayidx81, align 1 247773243dSElvina Yakubova %1 = load i16, ptr poison, align 1 257773243dSElvina Yakubova %arrayidx101 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 1 267773243dSElvina Yakubova %2 = load i16, ptr %arrayidx101, align 1 277773243dSElvina Yakubova %arrayidx107 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 2 287773243dSElvina Yakubova %3 = load i16, ptr %arrayidx107, align 1 297773243dSElvina Yakubova %reass.add = add i16 poison, %0 307773243dSElvina Yakubova %add116 = add i16 %1, %0 317773243dSElvina Yakubova %add122 = add i16 %add116, %2 327773243dSElvina Yakubova %add124 = add i16 %add122, %3 337773243dSElvina Yakubova %add125 = add i16 %add124, poison 347773243dSElvina Yakubova %factor2531 = add i16 %3, %add125 357773243dSElvina Yakubova %add14332 = add i16 %factor2531, %2 367773243dSElvina Yakubova %add14933 = add i16 %add14332, %1 377773243dSElvina Yakubova %add15534 = add i16 %add14933, %0 387773243dSElvina Yakubova %add15935 = add i16 %add15534, poison 397773243dSElvina Yakubova %reass.mul24 = shl i16 %add15935, 2 407773243dSElvina Yakubova %call = call i16 @check_i16(i16 noundef 1, i16 noundef %reass.mul24, i16 noundef 5120) 41*91a0fecfSAlexey Bataev ret void 427773243dSElvina Yakubova} 437773243dSElvina Yakubovadeclare i16 @check_i16(i16, i16, i16) 447773243dSElvina Yakubova 457773243dSElvina Yakubova 467773243dSElvina Yakubovadefine void @PR58054() { 477773243dSElvina Yakubova; CHECK-LABEL: @PR58054( 487773243dSElvina Yakubova; CHECK-NEXT: [[VAL:%.*]] = add i64 poison, poison 497773243dSElvina Yakubova; CHECK-NEXT: [[VAL2:%.*]] = add i64 poison, poison 507773243dSElvina Yakubova; CHECK-NEXT: [[VAL3:%.*]] = mul i64 [[VAL2]], [[VAL]] 517773243dSElvina Yakubova; CHECK-NEXT: [[VAL4:%.*]] = mul i64 [[VAL3]], [[VAL2]] 527773243dSElvina Yakubova; CHECK-NEXT: [[VAL5:%.*]] = mul i64 [[VAL4]], [[VAL2]] 537773243dSElvina Yakubova; CHECK-NEXT: [[VAL7:%.*]] = add i64 [[VAL]], [[VAL5]] 547773243dSElvina Yakubova; CHECK-NEXT: [[VAL8:%.*]] = sitofp i64 [[VAL7]] to double 557773243dSElvina Yakubova; CHECK-NEXT: call void @wibble(i32 poison, double [[VAL8]], i64 poison) 56*91a0fecfSAlexey Bataev; CHECK-NEXT: ret void 577773243dSElvina Yakubova; 587773243dSElvina Yakubova %val = add i64 poison, poison 597773243dSElvina Yakubova %val2 = add i64 poison, poison 607773243dSElvina Yakubova %val3 = mul i64 %val2, %val 617773243dSElvina Yakubova %val4 = mul i64 %val3, %val2 627773243dSElvina Yakubova %val5 = mul i64 %val4, %val2 637773243dSElvina Yakubova %val7 = add i64 %val, %val5 647773243dSElvina Yakubova %val8 = sitofp i64 %val7 to double 657773243dSElvina Yakubova call void @wibble(i32 poison, double %val8, i64 poison) 66*91a0fecfSAlexey Bataev ret void 677773243dSElvina Yakubova} 687773243dSElvina Yakubovadeclare void @wibble(i32, double, i64) 69