#ifndef VPX_VPX_DSP_X86_HIGHBD_INV_TXFM_SSE4_H_
#define VPX_VPX_DSP_X86_HIGHBD_INV_TXFM_SSE4_H_
#include <smmintrin.h>
#include "./vpx_config.h"
#include "vpx_dsp/x86/highbd_inv_txfm_sse2.h"
static INLINE __m128i multiplication_round_shift_sse4_1(
const __m128i *const in , const int c) { … }
static INLINE void highbd_butterfly_sse4_1(const __m128i in0, const __m128i in1,
const int c0, const int c1,
__m128i *const out0,
__m128i *const out1) { … }
static INLINE void highbd_butterfly_cospi16_sse4_1(const __m128i in0,
const __m128i in1,
__m128i *const out0,
__m128i *const out1) { … }
static INLINE void highbd_partial_butterfly_sse4_1(const __m128i in,
const int c0, const int c1,
__m128i *const out0,
__m128i *const out1) { … }
static INLINE void highbd_idct4_sse4_1(__m128i *const io) { … }
void vpx_highbd_idct8x8_half1d_sse4_1(__m128i *const io);
void vpx_highbd_idct16_4col_sse4_1(__m128i *const io );
#endif