192 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py2// RUN: %clang_cc1 -triple thumbv8.1m.main-none-none-eabi -target-feature +mve.fp -mfloat-abi hard -O0 -disable-O0-optnone -emit-llvm -o - %s | opt -S -passes=mem2reg | FileCheck %s3// RUN: %clang_cc1 -triple thumbv8.1m.main-none-none-eabi -target-feature +mve.fp -mfloat-abi hard -O0 -disable-O0-optnone -DPOLYMORPHIC -emit-llvm -o - %s | opt -S -passes=mem2reg | FileCheck %s4 5// REQUIRES: aarch64-registered-target || arm-registered-target6 7#include <arm_mve.h>8 9// CHECK-LABEL: @test_vmulltq_int_u8(10// CHECK-NEXT: entry:11// CHECK-NEXT: [[TMP0:%.*]] = call <8 x i16> @llvm.arm.mve.vmull.v8i16.v16i8(<16 x i8> [[A:%.*]], <16 x i8> [[B:%.*]], i32 1, i32 1)12// CHECK-NEXT: ret <8 x i16> [[TMP0]]13//14int16x8_t test_vmulltq_int_u8(uint8x16_t a, uint8x16_t b)15{16#ifdef POLYMORPHIC17 return vmulltq_int(a, b);18#else /* POLYMORPHIC */19 return vmulltq_int_u8(a, b);20#endif /* POLYMORPHIC */21}22 23// CHECK-LABEL: @test_vmulltq_int_s16(24// CHECK-NEXT: entry:25// CHECK-NEXT: [[TMP0:%.*]] = call <4 x i32> @llvm.arm.mve.vmull.v4i32.v8i16(<8 x i16> [[A:%.*]], <8 x i16> [[B:%.*]], i32 0, i32 1)26// CHECK-NEXT: ret <4 x i32> [[TMP0]]27//28int32x4_t test_vmulltq_int_s16(int16x8_t a, int16x8_t b)29{30#ifdef POLYMORPHIC31 return vmulltq_int(a, b);32#else /* POLYMORPHIC */33 return vmulltq_int_s16(a, b);34#endif /* POLYMORPHIC */35}36 37// CHECK-LABEL: @test_vmulltq_int_u32(38// CHECK-NEXT: entry:39// CHECK-NEXT: [[TMP0:%.*]] = call <2 x i64> @llvm.arm.mve.vmull.v2i64.v4i32(<4 x i32> [[A:%.*]], <4 x i32> [[B:%.*]], i32 1, i32 1)40// CHECK-NEXT: ret <2 x i64> [[TMP0]]41//42uint64x2_t test_vmulltq_int_u32(uint32x4_t a, uint32x4_t b)43{44#ifdef POLYMORPHIC45 return vmulltq_int(a, b);46#else /* POLYMORPHIC */47 return vmulltq_int_u32(a, b);48#endif /* POLYMORPHIC */49}50 51// CHECK-LABEL: @test_vmulltq_poly_p16(52// CHECK-NEXT: entry:53// CHECK-NEXT: [[TMP0:%.*]] = call <4 x i32> @llvm.arm.mve.vmull.poly.v4i32.v8i16(<8 x i16> [[A:%.*]], <8 x i16> [[B:%.*]], i32 1)54// CHECK-NEXT: ret <4 x i32> [[TMP0]]55//56uint32x4_t test_vmulltq_poly_p16(uint16x8_t a, uint16x8_t b)57{58#ifdef POLYMORPHIC59 return vmulltq_poly(a, b);60#else /* POLYMORPHIC */61 return vmulltq_poly_p16(a, b);62#endif /* POLYMORPHIC */63}64 65// CHECK-LABEL: @test_vmulltq_int_m_s8(66// CHECK-NEXT: entry:67// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i3268// CHECK-NEXT: [[TMP1:%.*]] = call <8 x i1> @llvm.arm.mve.pred.i2v.v8i1(i32 [[TMP0]])69// CHECK-NEXT: [[TMP2:%.*]] = call <8 x i16> @llvm.arm.mve.mull.int.predicated.v8i16.v16i8.v8i1(<16 x i8> [[A:%.*]], <16 x i8> [[B:%.*]], i32 0, i32 1, <8 x i1> [[TMP1]], <8 x i16> [[INACTIVE:%.*]])70// CHECK-NEXT: ret <8 x i16> [[TMP2]]71//72int16x8_t test_vmulltq_int_m_s8(int16x8_t inactive, int8x16_t a, int8x16_t b, mve_pred16_t p)73{74#ifdef POLYMORPHIC75 return vmulltq_int_m(inactive, a, b, p);76#else /* POLYMORPHIC */77 return vmulltq_int_m_s8(inactive, a, b, p);78#endif /* POLYMORPHIC */79}80 81// CHECK-LABEL: @test_vmulltq_int_m_u16(82// CHECK-NEXT: entry:83// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i3284// CHECK-NEXT: [[TMP1:%.*]] = call <4 x i1> @llvm.arm.mve.pred.i2v.v4i1(i32 [[TMP0]])85// CHECK-NEXT: [[TMP2:%.*]] = call <4 x i32> @llvm.arm.mve.mull.int.predicated.v4i32.v8i16.v4i1(<8 x i16> [[A:%.*]], <8 x i16> [[B:%.*]], i32 1, i32 1, <4 x i1> [[TMP1]], <4 x i32> [[INACTIVE:%.*]])86// CHECK-NEXT: ret <4 x i32> [[TMP2]]87//88uint32x4_t test_vmulltq_int_m_u16(uint32x4_t inactive, uint16x8_t a, uint16x8_t b, mve_pred16_t p)89{90#ifdef POLYMORPHIC91 return vmulltq_int_m(inactive, a, b, p);92#else /* POLYMORPHIC */93 return vmulltq_int_m_u16(inactive, a, b, p);94#endif /* POLYMORPHIC */95}96 97// CHECK-LABEL: @test_vmulltq_int_m_s32(98// CHECK-NEXT: entry:99// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32100// CHECK-NEXT: [[TMP1:%.*]] = call <2 x i1> @llvm.arm.mve.pred.i2v.v2i1(i32 [[TMP0]])101// CHECK-NEXT: [[TMP2:%.*]] = call <2 x i64> @llvm.arm.mve.mull.int.predicated.v2i64.v4i32.v2i1(<4 x i32> [[A:%.*]], <4 x i32> [[B:%.*]], i32 0, i32 1, <2 x i1> [[TMP1]], <2 x i64> [[INACTIVE:%.*]])102// CHECK-NEXT: ret <2 x i64> [[TMP2]]103//104int64x2_t test_vmulltq_int_m_s32(int64x2_t inactive, int32x4_t a, int32x4_t b, mve_pred16_t p)105{106#ifdef POLYMORPHIC107 return vmulltq_int_m(inactive, a, b, p);108#else /* POLYMORPHIC */109 return vmulltq_int_m_s32(inactive, a, b, p);110#endif /* POLYMORPHIC */111}112 113// CHECK-LABEL: @test_vmulltq_poly_m_p8(114// CHECK-NEXT: entry:115// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32116// CHECK-NEXT: [[TMP1:%.*]] = call <8 x i1> @llvm.arm.mve.pred.i2v.v8i1(i32 [[TMP0]])117// CHECK-NEXT: [[TMP2:%.*]] = call <8 x i16> @llvm.arm.mve.mull.poly.predicated.v8i16.v16i8.v8i1(<16 x i8> [[A:%.*]], <16 x i8> [[B:%.*]], i32 1, <8 x i1> [[TMP1]], <8 x i16> [[INACTIVE:%.*]])118// CHECK-NEXT: ret <8 x i16> [[TMP2]]119//120uint16x8_t test_vmulltq_poly_m_p8(uint16x8_t inactive, uint8x16_t a, uint8x16_t b, mve_pred16_t p)121{122#ifdef POLYMORPHIC123 return vmulltq_poly_m(inactive, a, b, p);124#else /* POLYMORPHIC */125 return vmulltq_poly_m_p8(inactive, a, b, p);126#endif /* POLYMORPHIC */127}128 129// CHECK-LABEL: @test_vmulltq_int_x_u8(130// CHECK-NEXT: entry:131// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32132// CHECK-NEXT: [[TMP1:%.*]] = call <8 x i1> @llvm.arm.mve.pred.i2v.v8i1(i32 [[TMP0]])133// CHECK-NEXT: [[TMP2:%.*]] = call <8 x i16> @llvm.arm.mve.mull.int.predicated.v8i16.v16i8.v8i1(<16 x i8> [[A:%.*]], <16 x i8> [[B:%.*]], i32 1, i32 1, <8 x i1> [[TMP1]], <8 x i16> undef)134// CHECK-NEXT: ret <8 x i16> [[TMP2]]135//136uint16x8_t test_vmulltq_int_x_u8(uint8x16_t a, uint8x16_t b, mve_pred16_t p)137{138#ifdef POLYMORPHIC139 return vmulltq_int_x(a, b, p);140#else /* POLYMORPHIC */141 return vmulltq_int_x_u8(a, b, p);142#endif /* POLYMORPHIC */143}144 145// CHECK-LABEL: @test_vmulltq_int_x_s16(146// CHECK-NEXT: entry:147// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32148// CHECK-NEXT: [[TMP1:%.*]] = call <4 x i1> @llvm.arm.mve.pred.i2v.v4i1(i32 [[TMP0]])149// CHECK-NEXT: [[TMP2:%.*]] = call <4 x i32> @llvm.arm.mve.mull.int.predicated.v4i32.v8i16.v4i1(<8 x i16> [[A:%.*]], <8 x i16> [[B:%.*]], i32 0, i32 1, <4 x i1> [[TMP1]], <4 x i32> undef)150// CHECK-NEXT: ret <4 x i32> [[TMP2]]151//152int32x4_t test_vmulltq_int_x_s16(int16x8_t a, int16x8_t b, mve_pred16_t p)153{154#ifdef POLYMORPHIC155 return vmulltq_int_x(a, b, p);156#else /* POLYMORPHIC */157 return vmulltq_int_x_s16(a, b, p);158#endif /* POLYMORPHIC */159}160 161// CHECK-LABEL: @test_vmulltq_int_x_u32(162// CHECK-NEXT: entry:163// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32164// CHECK-NEXT: [[TMP1:%.*]] = call <2 x i1> @llvm.arm.mve.pred.i2v.v2i1(i32 [[TMP0]])165// CHECK-NEXT: [[TMP2:%.*]] = call <2 x i64> @llvm.arm.mve.mull.int.predicated.v2i64.v4i32.v2i1(<4 x i32> [[A:%.*]], <4 x i32> [[B:%.*]], i32 1, i32 1, <2 x i1> [[TMP1]], <2 x i64> undef)166// CHECK-NEXT: ret <2 x i64> [[TMP2]]167//168uint64x2_t test_vmulltq_int_x_u32(uint32x4_t a, uint32x4_t b, mve_pred16_t p)169{170#ifdef POLYMORPHIC171 return vmulltq_int_x(a, b, p);172#else /* POLYMORPHIC */173 return vmulltq_int_x_u32(a, b, p);174#endif /* POLYMORPHIC */175}176 177// CHECK-LABEL: @test_vmulltq_poly_x_p8(178// CHECK-NEXT: entry:179// CHECK-NEXT: [[TMP0:%.*]] = zext i16 [[P:%.*]] to i32180// CHECK-NEXT: [[TMP1:%.*]] = call <8 x i1> @llvm.arm.mve.pred.i2v.v8i1(i32 [[TMP0]])181// CHECK-NEXT: [[TMP2:%.*]] = call <8 x i16> @llvm.arm.mve.mull.poly.predicated.v8i16.v16i8.v8i1(<16 x i8> [[A:%.*]], <16 x i8> [[B:%.*]], i32 1, <8 x i1> [[TMP1]], <8 x i16> undef)182// CHECK-NEXT: ret <8 x i16> [[TMP2]]183//184uint16x8_t test_vmulltq_poly_x_p8(uint8x16_t a, uint8x16_t b, mve_pred16_t p)185{186#ifdef POLYMORPHIC187 return vmulltq_poly_x(a, b, p);188#else /* POLYMORPHIC */189 return vmulltq_poly_x_p8(a, b, p);190#endif /* POLYMORPHIC */191}192