Searched refs:r4_high (Results 1 – 1 of 1) sorted by relevance
699 int32x4_t r4_low, r4_high, r34_low, r34_high, r234_low, r234_high; in boxsum1() local726 r4_high = vmull_s16(vget_high_s16(s4), vget_high_s16(s4)); in boxsum1()728 r234_high = vaddq_s32(r23, r4_high); in boxsum1()729 r34_high = vaddq_s32(r3, r4_high); in boxsum1()775 r456 = vaddq_s32(r4_high, r56); in boxsum1()782 r4_high = r8; in boxsum1()