1; RUN: opt -S -scalarizer %s | FileCheck %s 2; RUN: opt -S -passes='function(scalarizer)' %s | FileCheck %s 3 4; Unary fp 5declare <2 x float> @llvm.sqrt.v2f32(<2 x float>) 6 7; Binary fp 8declare <2 x float> @llvm.minnum.v2f32(<2 x float>, <2 x float>) 9declare <2 x float> @llvm.minimum.v2f32(<2 x float>, <2 x float>) 10declare <2 x float> @llvm.maximum.v2f32(<2 x float>, <2 x float>) 11 12; Ternary fp 13declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>) 14 15; Unary int 16declare <2 x i32> @llvm.bswap.v2i32(<2 x i32>) 17 18; Unary int plus constant scalar operand 19declare <2 x i32> @llvm.ctlz.v2i32(<2 x i32>, i1) 20 21; Unary fp plus any scalar operand 22declare <2 x float> @llvm.powi.v2f32(<2 x float>, i32) 23 24; Binary int plus constant scalar operand 25declare <2 x i32> @llvm.smul.fix.sat.v2i32(<2 x i32>, <2 x i32>, i32) 26declare <2 x i32> @llvm.umul.fix.sat.v2i32(<2 x i32>, <2 x i32>, i32) 27 28 29; CHECK-LABEL: @scalarize_sqrt_v2f32( 30; CHECK: %sqrt.i0 = call float @llvm.sqrt.f32(float %x.i0) 31; CHECK: %sqrt.i1 = call float @llvm.sqrt.f32(float %x.i1) 32; CHECK: %sqrt.upto0 = insertelement <2 x float> undef, float %sqrt.i0, i32 0 33; CHECK: %sqrt = insertelement <2 x float> %sqrt.upto0, float %sqrt.i1, i32 1 34; CHECK: ret <2 x float> %sqrt 35define <2 x float> @scalarize_sqrt_v2f32(<2 x float> %x) #0 { 36 %sqrt = call <2 x float> @llvm.sqrt.v2f32(<2 x float> %x) 37 ret <2 x float> %sqrt 38} 39 40; CHECK-LABEL: @scalarize_minnum_v2f32( 41; CHECK: %minnum.i0 = call float @llvm.minnum.f32(float %x.i0, float %y.i0) 42; CHECK: %minnum.i1 = call float @llvm.minnum.f32(float %x.i1, float %y.i1) 43; CHECK: %minnum.upto0 = insertelement <2 x float> undef, float %minnum.i0, i32 0 44; CHECK: %minnum = insertelement <2 x float> %minnum.upto0, float %minnum.i1, i32 1 45; CHECK: ret <2 x float> %minnum 46define <2 x float> @scalarize_minnum_v2f32(<2 x float> %x, <2 x float> %y) #0 { 47 %minnum = call <2 x float> @llvm.minnum.v2f32(<2 x float> %x, <2 x float> %y) 48 ret <2 x float> %minnum 49} 50 51; CHECK-LABEL: @scalarize_minimum_v2f32( 52; CHECK: %minimum.i0 = call float @llvm.minimum.f32(float %x.i0, float %y.i0) 53; CHECK: %minimum.i1 = call float @llvm.minimum.f32(float %x.i1, float %y.i1) 54; CHECK: %minimum.upto0 = insertelement <2 x float> undef, float %minimum.i0, i32 0 55; CHECK: %minimum = insertelement <2 x float> %minimum.upto0, float %minimum.i1, i32 1 56; CHECK: ret <2 x float> %minimum 57define <2 x float> @scalarize_minimum_v2f32(<2 x float> %x, <2 x float> %y) #0 { 58 %minimum = call <2 x float> @llvm.minimum.v2f32(<2 x float> %x, <2 x float> %y) 59 ret <2 x float> %minimum 60} 61 62; CHECK-LABEL: @scalarize_maximum_v2f32( 63; CHECK: %maximum.i0 = call float @llvm.maximum.f32(float %x.i0, float %y.i0) 64; CHECK: %maximum.i1 = call float @llvm.maximum.f32(float %x.i1, float %y.i1) 65; CHECK: %maximum.upto0 = insertelement <2 x float> undef, float %maximum.i0, i32 0 66; CHECK: %maximum = insertelement <2 x float> %maximum.upto0, float %maximum.i1, i32 1 67; CHECK: ret <2 x float> %maximum 68define <2 x float> @scalarize_maximum_v2f32(<2 x float> %x, <2 x float> %y) #0 { 69 %maximum = call <2 x float> @llvm.maximum.v2f32(<2 x float> %x, <2 x float> %y) 70 ret <2 x float> %maximum 71} 72 73; CHECK-LABEL: @scalarize_fma_v2f32( 74; CHECK: %fma.i0 = call float @llvm.fma.f32(float %x.i0, float %y.i0, float %z.i0) 75; CHECK: %fma.i1 = call float @llvm.fma.f32(float %x.i1, float %y.i1, float %z.i1) 76; CHECK: %fma.upto0 = insertelement <2 x float> undef, float %fma.i0, i32 0 77; CHECK: %fma = insertelement <2 x float> %fma.upto0, float %fma.i1, i32 1 78; CHECK: ret <2 x float> %fma 79define <2 x float> @scalarize_fma_v2f32(<2 x float> %x, <2 x float> %y, <2 x float> %z) #0 { 80 %fma = call <2 x float> @llvm.fma.v2f32(<2 x float> %x, <2 x float> %y, <2 x float> %z) 81 ret <2 x float> %fma 82} 83 84; CHECK-LABEL: @scalarize_bswap_v2i32( 85; CHECK: %bswap.i0 = call i32 @llvm.bswap.i32(i32 %x.i0) 86; CHECK: %bswap.i1 = call i32 @llvm.bswap.i32(i32 %x.i1) 87; CHECK: %bswap.upto0 = insertelement <2 x i32> undef, i32 %bswap.i0, i32 0 88; CHECK: %bswap = insertelement <2 x i32> %bswap.upto0, i32 %bswap.i1, i32 1 89; CHECK: ret <2 x i32> %bswap 90define <2 x i32> @scalarize_bswap_v2i32(<2 x i32> %x) #0 { 91 %bswap = call <2 x i32> @llvm.bswap.v2i32(<2 x i32> %x) 92 ret <2 x i32> %bswap 93} 94 95; CHECK-LABEL: @scalarize_ctlz_v2i32( 96; CHECK: %ctlz.i0 = call i32 @llvm.ctlz.i32(i32 %x.i0, i1 true) 97; CHECK: %ctlz.i1 = call i32 @llvm.ctlz.i32(i32 %x.i1, i1 true) 98; CHECK: %ctlz.upto0 = insertelement <2 x i32> undef, i32 %ctlz.i0, i32 0 99; CHECK: %ctlz = insertelement <2 x i32> %ctlz.upto0, i32 %ctlz.i1, i32 1 100; CHECK: ret <2 x i32> %ctlz 101define <2 x i32> @scalarize_ctlz_v2i32(<2 x i32> %x) #0 { 102 %ctlz = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %x, i1 true) 103 ret <2 x i32> %ctlz 104} 105 106; CHECK-LABEL: @scalarize_powi_v2f32( 107; CHECK: %powi.i0 = call float @llvm.powi.f32(float %x.i0, i32 %y) 108; CHECK: %powi.i1 = call float @llvm.powi.f32(float %x.i1, i32 %y) 109; CHECK: %powi.upto0 = insertelement <2 x float> undef, float %powi.i0, i32 0 110; CHECK: %powi = insertelement <2 x float> %powi.upto0, float %powi.i1, i32 1 111; CHECK: ret <2 x float> %powi 112define <2 x float> @scalarize_powi_v2f32(<2 x float> %x, i32 %y) #0 { 113 %powi = call <2 x float> @llvm.powi.v2f32(<2 x float> %x, i32 %y) 114 ret <2 x float> %powi 115} 116 117; CHECK-LABEL: @scalarize_smul_fix_sat_v2i32( 118; CHECK: %smulfixsat.i0 = call i32 @llvm.smul.fix.sat.i32(i32 %x.i0, i32 5, i32 31) 119; CHECK: %smulfixsat.i1 = call i32 @llvm.smul.fix.sat.i32(i32 %x.i1, i32 19, i32 31) 120; CHECK: %smulfixsat.upto0 = insertelement <2 x i32> undef, i32 %smulfixsat.i0, i32 0 121; CHECK: %smulfixsat = insertelement <2 x i32> %smulfixsat.upto0, i32 %smulfixsat.i1, i32 1 122; CHECK: ret <2 x i32> %smulfixsat 123define <2 x i32> @scalarize_smul_fix_sat_v2i32(<2 x i32> %x) #0 { 124 %smulfixsat = call <2 x i32> @llvm.smul.fix.sat.v2i32(<2 x i32> %x, <2 x i32> <i32 5, i32 19>, i32 31) 125 ret <2 x i32> %smulfixsat 126} 127 128; CHECK-LABEL: @scalarize_umul_fix_sat_v2i32( 129; CHECK: %umulfixsat.i0 = call i32 @llvm.umul.fix.sat.i32(i32 %x.i0, i32 5, i32 31) 130; CHECK: %umulfixsat.i1 = call i32 @llvm.umul.fix.sat.i32(i32 %x.i1, i32 19, i32 31) 131; CHECK: %umulfixsat.upto0 = insertelement <2 x i32> undef, i32 %umulfixsat.i0, i32 0 132; CHECK: %umulfixsat = insertelement <2 x i32> %umulfixsat.upto0, i32 %umulfixsat.i1, i32 1 133; CHECK: ret <2 x i32> %umulfixsat 134define <2 x i32> @scalarize_umul_fix_sat_v2i32(<2 x i32> %x) #0 { 135 %umulfixsat = call <2 x i32> @llvm.umul.fix.sat.v2i32(<2 x i32> %x, <2 x i32> <i32 5, i32 19>, i32 31) 136 ret <2 x i32> %umulfixsat 137} 138