Index: include/clang/Basic/arm_neon.td =================================================================== --- include/clang/Basic/arm_neon.td +++ include/clang/Basic/arm_neon.td @@ -1333,7 +1333,7 @@ //////////////////////////////////////////////////////////////////////////////// // Scalar Signed Saturating Accumulated of Unsigned Value -def SCALAR_SUQADD : SInst<"vuqadd", "sss", "ScSsSiSl">; +def SCALAR_SUQADD : SInst<"vuqadd", "ssb", "ScSsSiSl">; //////////////////////////////////////////////////////////////////////////////// // Scalar Unsigned Saturating Accumulated of Signed Value Index: test/CodeGen/aarch64-neon-vuqadd-float-conversion-warning.c =================================================================== --- /dev/null +++ test/CodeGen/aarch64-neon-vuqadd-float-conversion-warning.c @@ -0,0 +1,27 @@ +// RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +neon \ +// RUN: -fallow-half-arguments-and-returns -S -disable-O0-optnone -emit-llvm -o - %s 2>&1 \ +// RUN: | FileCheck %s + +#include + +// Check float conversion is not accepted for unsigned int argument +int8_t test_vuqaddb_s8(){ + return vuqaddb_s8(1, -1.0f); +} + +int16_t test_vuqaddh_s16() { + return vuqaddh_s16(1, -1.0f); +} + +int32_t test_vuqadds_s32() { + return vuqadds_s32(1, -1.0f); +} + +int64_t test_vuqaddd_s64() { + return vuqaddd_s64(1, -1.0f); +} +// CHECK: warning: implicit conversion of out of range value from 'float' to 'uint8_t' (aka 'unsigned char') is undefined +// CHECK: warning: implicit conversion of out of range value from 'float' to 'uint16_t' (aka 'unsigned short') is undefined +// CHECK: warning: implicit conversion of out of range value from 'float' to 'uint32_t' (aka 'unsigned int') is undefined +// CHECK: warning: implicit conversion of out of range value from 'float' to 'uint64_t' (aka 'unsigned long') is undefined +