@@ -650,28 +650,28 @@ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_mul(v128_t __a,
650650 return (v128_t )((__u8x16 )__a * (__u8x16 )__b );
651651}
652652
653- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_min_s (v128_t __a ,
654- v128_t __b ) {
653+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_min (v128_t __a ,
654+ v128_t __b ) {
655655 return (v128_t )__builtin_wasm_min_s_i8x16 ((__i8x16 )__a , (__i8x16 )__b );
656656}
657657
658- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_min_u (v128_t __a ,
659- v128_t __b ) {
658+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u8x16_min (v128_t __a ,
659+ v128_t __b ) {
660660 return (v128_t )__builtin_wasm_min_u_i8x16 ((__i8x16 )__a , (__i8x16 )__b );
661661}
662662
663- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_max_s (v128_t __a ,
664- v128_t __b ) {
663+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_max (v128_t __a ,
664+ v128_t __b ) {
665665 return (v128_t )__builtin_wasm_max_s_i8x16 ((__i8x16 )__a , (__i8x16 )__b );
666666}
667667
668- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_max_u (v128_t __a ,
669- v128_t __b ) {
668+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u8x16_max (v128_t __a ,
669+ v128_t __b ) {
670670 return (v128_t )__builtin_wasm_max_u_i8x16 ((__i8x16 )__a , (__i8x16 )__b );
671671}
672672
673- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i8x16_avgr_u (v128_t __a ,
674- v128_t __b ) {
673+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u8x16_avgr (v128_t __a ,
674+ v128_t __b ) {
675675 return (v128_t )__builtin_wasm_avgr_u_i8x16 ((__i8x16 )__a , (__i8x16 )__b );
676676}
677677
@@ -745,28 +745,28 @@ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_mul(v128_t __a,
745745 return (v128_t )((__u16x8 )__a * (__u16x8 )__b );
746746}
747747
748- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_min_s (v128_t __a ,
749- v128_t __b ) {
748+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_min (v128_t __a ,
749+ v128_t __b ) {
750750 return (v128_t )__builtin_wasm_min_s_i16x8 ((__i16x8 )__a , (__i16x8 )__b );
751751}
752752
753- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_min_u (v128_t __a ,
754- v128_t __b ) {
753+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u16x8_min (v128_t __a ,
754+ v128_t __b ) {
755755 return (v128_t )__builtin_wasm_min_u_i16x8 ((__i16x8 )__a , (__i16x8 )__b );
756756}
757757
758- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_max_s (v128_t __a ,
759- v128_t __b ) {
758+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_max (v128_t __a ,
759+ v128_t __b ) {
760760 return (v128_t )__builtin_wasm_max_s_i16x8 ((__i16x8 )__a , (__i16x8 )__b );
761761}
762762
763- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_max_u (v128_t __a ,
764- v128_t __b ) {
763+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u16x8_max (v128_t __a ,
764+ v128_t __b ) {
765765 return (v128_t )__builtin_wasm_max_u_i16x8 ((__i16x8 )__a , (__i16x8 )__b );
766766}
767767
768- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i16x8_avgr_u (v128_t __a ,
769- v128_t __b ) {
768+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u16x8_avgr (v128_t __a ,
769+ v128_t __b ) {
770770 return (v128_t )__builtin_wasm_avgr_u_i16x8 ((__i16x8 )__a , (__i16x8 )__b );
771771}
772772
@@ -816,23 +816,23 @@ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_mul(v128_t __a,
816816 return (v128_t )((__u32x4 )__a * (__u32x4 )__b );
817817}
818818
819- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_min_s (v128_t __a ,
820- v128_t __b ) {
819+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_min (v128_t __a ,
820+ v128_t __b ) {
821821 return (v128_t )__builtin_wasm_min_s_i32x4 ((__i32x4 )__a , (__i32x4 )__b );
822822}
823823
824- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_min_u (v128_t __a ,
825- v128_t __b ) {
824+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u32x4_min (v128_t __a ,
825+ v128_t __b ) {
826826 return (v128_t )__builtin_wasm_min_u_i32x4 ((__i32x4 )__a , (__i32x4 )__b );
827827}
828828
829- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_max_s (v128_t __a ,
830- v128_t __b ) {
829+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_max (v128_t __a ,
830+ v128_t __b ) {
831831 return (v128_t )__builtin_wasm_max_s_i32x4 ((__i32x4 )__a , (__i32x4 )__b );
832832}
833833
834- static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_i32x4_max_u (v128_t __a ,
835- v128_t __b ) {
834+ static __inline__ v128_t __DEFAULT_FN_ATTRS wasm_u32x4_max (v128_t __a ,
835+ v128_t __b ) {
836836 return (v128_t )__builtin_wasm_max_u_i32x4 ((__i32x4 )__a , (__i32x4 )__b );
837837}
838838
0 commit comments