void test_vcgts8 (void)
{
uint8x8_t out_uint8x8_t;
int8x8_t arg0_int8x8_t;
int8x8_t arg1_int8x8_t;
out_uint8x8_t = vcgt_s8 (arg0_int8x8_t, arg1_int8x8_t);
}
void
foo ()
{
int8x8_t val14;
int8x8_t val15;
uint8x8_t val16;
uint32x4_t val40;
val14 = vcreate_s8 (0xff0080f6807f807fUL);
val15 = vcreate_s8 (0x10807fff7f808080UL);
val16 = vcgt_s8 (val14, val15);
val40 = vreinterpretq_u32_u64 (
vdupq_n_u64 (
vget_lane_s64_1 (
vreinterpret_s64_u8 (val16), 0)
));
}
inline uint8x8_t vcgt(const int8x8_t & v0, const int8x8_t & v1) { return vcgt_s8 (v0, v1); }