69 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: %if x86-registered-target %{ opt -mtriple=x86_64-- -passes=slp-vectorizer -S < %s | FileCheck %s %}3; RUN: %if aarch64-registered-target %{ opt -mtriple=aarch64-- -passes=slp-vectorizer -S < %s | FileCheck %s %}4 5; Crash Test case reported on D1346056 7define void @D134605() {8; CHECK-LABEL: @D134605(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[ARRAYIDX81:%.*]] = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 311; CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr [[ARRAYIDX81]], align 112; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i16>, ptr poison, align 113; CHECK-NEXT: [[REASS_ADD:%.*]] = add i16 poison, [[TMP0]]14; CHECK-NEXT: [[TMP2:%.*]] = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> [[TMP1]])15; CHECK-NEXT: [[TMP3:%.*]] = mul i16 [[TMP2]], 216; CHECK-NEXT: [[OP_RDX:%.*]] = add i16 poison, [[TMP3]]17; CHECK-NEXT: [[REASS_MUL24:%.*]] = shl i16 [[OP_RDX]], 218; CHECK-NEXT: [[CALL:%.*]] = call i16 @check_i16(i16 noundef 1, i16 noundef [[REASS_MUL24]], i16 noundef 5120)19; CHECK-NEXT: ret void20;21entry:22 %arrayidx81 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 323 %0 = load i16, ptr %arrayidx81, align 124 %1 = load i16, ptr poison, align 125 %arrayidx101 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 126 %2 = load i16, ptr %arrayidx101, align 127 %arrayidx107 = getelementptr inbounds [32 x i16], ptr poison, i16 0, i16 228 %3 = load i16, ptr %arrayidx107, align 129 %reass.add = add i16 poison, %030 %add116 = add i16 %1, %031 %add122 = add i16 %add116, %232 %add124 = add i16 %add122, %333 %add125 = add i16 %add124, poison34 %factor2531 = add i16 %3, %add12535 %add14332 = add i16 %factor2531, %236 %add14933 = add i16 %add14332, %137 %add15534 = add i16 %add14933, %038 %add15935 = add i16 %add15534, poison39 %reass.mul24 = shl i16 %add15935, 240 %call = call i16 @check_i16(i16 noundef 1, i16 noundef %reass.mul24, i16 noundef 5120)41 ret void42}43declare i16 @check_i16(i16, i16, i16)44 45 46define void @PR58054() {47; CHECK-LABEL: @PR58054(48; CHECK-NEXT: [[VAL:%.*]] = add i64 poison, poison49; CHECK-NEXT: [[VAL2:%.*]] = add i64 poison, poison50; CHECK-NEXT: [[VAL3:%.*]] = mul i64 [[VAL2]], [[VAL]]51; CHECK-NEXT: [[VAL4:%.*]] = mul i64 [[VAL3]], [[VAL2]]52; CHECK-NEXT: [[VAL5:%.*]] = mul i64 [[VAL4]], [[VAL2]]53; CHECK-NEXT: [[VAL7:%.*]] = add i64 [[VAL]], [[VAL5]]54; CHECK-NEXT: [[VAL8:%.*]] = sitofp i64 [[VAL7]] to double55; CHECK-NEXT: call void @wibble(i32 poison, double [[VAL8]], i64 poison)56; CHECK-NEXT: ret void57;58 %val = add i64 poison, poison59 %val2 = add i64 poison, poison60 %val3 = mul i64 %val2, %val61 %val4 = mul i64 %val3, %val262 %val5 = mul i64 %val4, %val263 %val7 = add i64 %val, %val564 %val8 = sitofp i64 %val7 to double65 call void @wibble(i32 poison, double %val8, i64 poison)66 ret void67}68declare void @wibble(i32, double, i64)69