35 typedef double __f64x2 __attribute__((__vector_size__(16), __aligned__(16)));  typedef
202   return (v128_t)(__f64x2){__c0, __c1};  in wasm_f64x2_make()
270     (v128_t)(__f64x2){__c0, __c1};                                             \
331   return (v128_t)(__f64x2){__a, __a};  in wasm_f64x2_splat()
335   (__builtin_wasm_extract_lane_f64x2((__f64x2)(__a), __i))
338   ((v128_t)__builtin_wasm_replace_lane_f64x2((__f64x2)(__a), __i, __b))
522   return (v128_t)((__f64x2)__a == (__f64x2)__b);  in wasm_f64x2_eq()
527   return (v128_t)((__f64x2)__a != (__f64x2)__b);  in wasm_f64x2_ne()
532   return (v128_t)((__f64x2)__a < (__f64x2)__b);  in wasm_f64x2_lt()
537   return (v128_t)((__f64x2)__a > (__f64x2)__b);  in wasm_f64x2_gt()
542   return (v128_t)((__f64x2)__a <= (__f64x2)__b);  in wasm_f64x2_le()
547   return (v128_t)((__f64x2)__a >= (__f64x2)__b);  in wasm_f64x2_ge()
949   return (v128_t)__builtin_wasm_abs_f64x2((__f64x2)__a);  in wasm_f64x2_abs()
953   return (v128_t)(-(__f64x2)__a);  in wasm_f64x2_neg()
957   return (v128_t)__builtin_wasm_sqrt_f64x2((__f64x2)__a);  in wasm_f64x2_sqrt()
965   return (v128_t)__builtin_wasm_qfma_f64x2((__f64x2)__a, (__f64x2)__b,  in wasm_f64x2_qfma()
966                                            (__f64x2)__c);  in wasm_f64x2_qfma()
972   return (v128_t)__builtin_wasm_qfms_f64x2((__f64x2)__a, (__f64x2)__b,  in wasm_f64x2_qfms()
973                                            (__f64x2)__c);  in wasm_f64x2_qfms()
980   return (v128_t)((__f64x2)__a + (__f64x2)__b);  in wasm_f64x2_add()
985   return (v128_t)((__f64x2)__a - (__f64x2)__b);  in wasm_f64x2_sub()
990   return (v128_t)((__f64x2)__a * (__f64x2)__b);  in wasm_f64x2_mul()
995   return (v128_t)((__f64x2)__a / (__f64x2)__b);  in wasm_f64x2_div()
1000   return (v128_t)__builtin_wasm_min_f64x2((__f64x2)__a, (__f64x2)__b);  in wasm_f64x2_min()
1005   return (v128_t)__builtin_wasm_max_f64x2((__f64x2)__a, (__f64x2)__b);  in wasm_f64x2_max()
1010   return (v128_t)__builtin_wasm_pmin_f64x2((__f64x2)__a, (__f64x2)__b);  in wasm_f64x2_pmin()
1015   return (v128_t)__builtin_wasm_pmax_f64x2((__f64x2)__a, (__f64x2)__b);  in wasm_f64x2_pmax()