• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -S -scalarizer %s | FileCheck %s
2
3; Unary fp
4declare <2 x float> @llvm.sqrt.v2f32(<2 x float>)
5
6; Binary fp
7declare <2 x float> @llvm.minnum.v2f32(<2 x float>, <2 x float>)
8
9; Ternary fp
10declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>)
11
12; Binary int
13declare <2 x i32> @llvm.bswap.v2i32(<2 x i32>)
14
15; Unary int plus constant scalar operand
16declare <2 x i32> @llvm.ctlz.v2i32(<2 x i32>, i1)
17
18; Unary fp plus any scalar operand
19declare <2 x float> @llvm.powi.v2f32(<2 x float>, i32)
20
21; CHECK-LABEL: @scalarize_sqrt_v2f32(
22; CHECK: %sqrt.i0 = call float @llvm.sqrt.f32(float %x.i0)
23; CHECK: %sqrt.i1 = call float @llvm.sqrt.f32(float %x.i1)
24; CHECK: %sqrt.upto0 = insertelement <2 x float> undef, float %sqrt.i0, i32 0
25; CHECK: %sqrt = insertelement <2 x float> %sqrt.upto0, float %sqrt.i1, i32 1
26; CHECK: ret <2 x float> %sqrt
27define <2 x float> @scalarize_sqrt_v2f32(<2 x float> %x) #0 {
28  %sqrt = call <2 x float> @llvm.sqrt.v2f32(<2 x float> %x)
29  ret <2 x float> %sqrt
30}
31
32; CHECK-LABEL: @scalarize_minnum_v2f32(
33; CHECK: %minnum.i0 = call float @llvm.minnum.f32(float %x.i0, float %y.i0)
34; CHECK: %minnum.i1 = call float @llvm.minnum.f32(float %x.i1, float %y.i1)
35; CHECK: %minnum.upto0 = insertelement <2 x float> undef, float %minnum.i0, i32 0
36; CHECK: %minnum = insertelement <2 x float> %minnum.upto0, float %minnum.i1, i32 1
37; CHECK: ret <2 x float> %minnum
38define <2 x float> @scalarize_minnum_v2f32(<2 x float> %x, <2 x float> %y) #0 {
39  %minnum = call <2 x float> @llvm.minnum.v2f32(<2 x float> %x, <2 x float> %y)
40  ret <2 x float> %minnum
41}
42
43; CHECK-LABEL: @scalarize_fma_v2f32(
44; CHECK: %fma.i0 = call float @llvm.fma.f32(float %x.i0, float %y.i0, float %z.i0)
45; CHECK: %fma.i1 = call float @llvm.fma.f32(float %x.i1, float %y.i1, float %z.i1)
46; CHECK: %fma.upto0 = insertelement <2 x float> undef, float %fma.i0, i32 0
47; CHECK: %fma = insertelement <2 x float> %fma.upto0, float %fma.i1, i32 1
48; CHECK: ret <2 x float> %fma
49define <2 x float> @scalarize_fma_v2f32(<2 x float> %x, <2 x float> %y, <2 x float> %z) #0 {
50  %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %x, <2 x float> %y, <2 x float> %z)
51  ret <2 x float> %fma
52}
53
54; CHECK-LABEL: @scalarize_bswap_v2i32(
55; CHECK: %bswap.i0 = call i32 @llvm.bswap.i32(i32 %x.i0)
56; CHECK: %bswap.i1 = call i32 @llvm.bswap.i32(i32 %x.i1)
57; CHECK: %bswap.upto0 = insertelement <2 x i32> undef, i32 %bswap.i0, i32 0
58; CHECK: %bswap = insertelement <2 x i32> %bswap.upto0, i32 %bswap.i1, i32 1
59; CHECK: ret <2 x i32> %bswap
60define <2 x i32> @scalarize_bswap_v2i32(<2 x i32> %x) #0 {
61  %bswap = call <2 x i32> @llvm.bswap.v2i32(<2 x i32> %x)
62  ret <2 x i32> %bswap
63}
64
65; CHECK-LABEL: @scalarize_ctlz_v2i32(
66; CHECK: %ctlz.i0 = call i32 @llvm.ctlz.i32(i32 %x.i0, i1 true)
67; CHECK: %ctlz.i1 = call i32 @llvm.ctlz.i32(i32 %x.i1, i1 true)
68; CHECK: %ctlz.upto0 = insertelement <2 x i32> undef, i32 %ctlz.i0, i32 0
69; CHECK: %ctlz = insertelement <2 x i32> %ctlz.upto0, i32 %ctlz.i1, i32 1
70; CHECK: ret <2 x i32> %ctlz
71define <2 x i32> @scalarize_ctlz_v2i32(<2 x i32> %x) #0 {
72  %ctlz = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %x, i1 true)
73  ret <2 x i32> %ctlz
74}
75
76; CHECK-LABEL: @scalarize_powi_v2f32(
77; CHECK: %powi.i0 = call float @llvm.powi.f32(float %x.i0, i32 %y)
78; CHECK: %powi.i1 = call float @llvm.powi.f32(float %x.i1, i32 %y)
79; CHECK: %powi.upto0 = insertelement <2 x float> undef, float %powi.i0, i32 0
80; CHECK: %powi = insertelement <2 x float> %powi.upto0, float %powi.i1, i32 1
81; CHECK: ret <2 x float> %powi
82define <2 x float> @scalarize_powi_v2f32(<2 x float> %x, i32 %y) #0 {
83  %powi = call <2 x float> @llvm.powi.v2f32(<2 x float> %x, i32 %y)
84  ret <2 x float> %powi
85}
86