xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/scalarization-overhead.ll (revision 91a0fecf194b09fb8a0d8bdfb92c50b2addd29de)
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