FFmpeg
Loading...
Searching...
No Matches
vdpau_av1.c
Go to the documentation of this file.
1/*
2 * AV1 HW decode acceleration through VDPAU
3 *
4 * Copyright (c) 2022 Manoj Gupta Bonda
5 *
6 * This file is part of FFmpeg.
7 *
8 * FFmpeg is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
12 *
13 * FFmpeg is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
17 *
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with FFmpeg; if not, write to the Free Software Foundation,
20 * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
21 */
22
23#include <vdpau/vdpau.h>
24#include "libavutil/pixdesc.h"
25#include "avcodec.h"
26#include "internal.h"
27#include "av1dec.h"
28#include "hwaccel_internal.h"
29#include "vdpau.h"
30#include "vdpau_internal.h"
31
33{
34 if (seq->seq_profile == 2 && seq->color_config.high_bitdepth) {
35 return seq->color_config.twelve_bit ? 12 : 10;
36 } else if (seq->seq_profile <= 2 && seq->color_config.high_bitdepth) {
37 return 10;
38 } else {
39 return 8;
40 }
41}
42
44 const AVBufferRef *buffer_ref,
45 const uint8_t *buffer, uint32_t size)
46{
47 AV1DecContext *s = avctx->priv_data;
48 const AV1RawSequenceHeader *seq = s->raw_seq;
49 const AV1RawFrameHeader *frame_header = s->raw_frame_header;
50 const AV1RawFilmGrainParams *film_grain = &s->cur_frame.film_grain;
51
52 struct vdpau_picture_context *pic_ctx = s->cur_frame.hwaccel_picture_private;
53 int i,j;
54
56
57
58 VdpPictureInfoAV1 *info = &pic_ctx->info.av1;
59 const AVPixFmtDescriptor *pixdesc = av_pix_fmt_desc_get(avctx->sw_pix_fmt);
60 if (!pixdesc) {
61 return AV_PIX_FMT_NONE;
62 }
63
64 info->width = avctx->width;
65 info->height = avctx->height;
66
67
68 info->frame_offset = frame_header->order_hint;
69
70 /* Sequence Header */
71 info->profile = seq->seq_profile;
72 info->use_128x128_superblock = seq->use_128x128_superblock;
73 info->subsampling_x = seq->color_config.subsampling_x;
74 info->subsampling_y = seq->color_config.subsampling_y;
75 info->mono_chrome = seq->color_config.mono_chrome;
76 info->bit_depth_minus8 = get_bit_depth_from_seq(seq) - 8;
77 info->enable_filter_intra = seq->enable_filter_intra;
78 info->enable_intra_edge_filter = seq->enable_intra_edge_filter;
79 info->enable_interintra_compound = seq->enable_interintra_compound;
80 info->enable_masked_compound = seq->enable_masked_compound;
81 info->enable_dual_filter = seq->enable_dual_filter;
82 info->enable_order_hint = seq->enable_order_hint;
83 info->order_hint_bits_minus1 = seq->order_hint_bits_minus_1;
84 info->enable_jnt_comp = seq->enable_jnt_comp;
85 info->enable_superres = seq->enable_superres;
86 info->enable_cdef = seq->enable_cdef;
87 info->enable_restoration = seq->enable_restoration;
88 info->enable_fgs = seq->film_grain_params_present;
89
90 /* Frame Header */
91 info->frame_type = frame_header->frame_type;
92 info->show_frame = frame_header->show_frame;
93 info->disable_cdf_update = frame_header->disable_cdf_update;
94 info->allow_screen_content_tools = frame_header->allow_screen_content_tools;
95 info->force_integer_mv = s->cur_frame.force_integer_mv;
96 info->coded_denom = frame_header->coded_denom;
97 info->allow_intrabc = frame_header->allow_intrabc;
98 info->allow_high_precision_mv = frame_header->allow_high_precision_mv;
99 info->interp_filter = frame_header->interpolation_filter;
100 info->switchable_motion_mode = frame_header->is_motion_mode_switchable;
101 info->use_ref_frame_mvs = frame_header->use_ref_frame_mvs;
102 info->disable_frame_end_update_cdf = frame_header->disable_frame_end_update_cdf;
103 info->delta_q_present = frame_header->delta_q_present;
104 info->delta_q_res = frame_header->delta_q_res;
105 info->using_qmatrix = frame_header->using_qmatrix;
106 info->coded_lossless = s->cur_frame.coded_lossless;
107 info->use_superres = frame_header->use_superres;
108 info->tx_mode = frame_header->tx_mode;
109 info->reference_mode = frame_header->reference_select;
110 info->allow_warped_motion = frame_header->allow_warped_motion;
111 info->reduced_tx_set = frame_header->reduced_tx_set;
112 info->skip_mode = frame_header->skip_mode_present;
113
114 /* Tiling Info */
115 info->num_tile_cols = frame_header->tile_cols;
116 info->num_tile_rows = frame_header->tile_rows;
117 info->context_update_tile_id = frame_header->context_update_tile_id;
118
119 /* CDEF */
120 info->cdef_damping_minus_3 = frame_header->cdef_damping_minus_3;
121 info->cdef_bits = frame_header->cdef_bits;
122
123 /* SkipModeFrames */
124 info->SkipModeFrame0 = frame_header->skip_mode_present ?
125 s->cur_frame.skip_mode_frame_idx[0] : 0;
126 info->SkipModeFrame1 = frame_header->skip_mode_present ?
127 s->cur_frame.skip_mode_frame_idx[1] : 0;
128
129 /* QP Information */
130 info->base_qindex = frame_header->base_q_idx;
131 info->qp_y_dc_delta_q = frame_header->delta_q_y_dc;
132 info->qp_u_dc_delta_q = frame_header->delta_q_u_dc;
133 info->qp_v_dc_delta_q = frame_header->delta_q_v_dc;
134 info->qp_u_ac_delta_q = frame_header->delta_q_u_ac;
135 info->qp_v_ac_delta_q = frame_header->delta_q_v_ac;
136 info->qm_y = frame_header->qm_y;
137 info->qm_u = frame_header->qm_u;
138 info->qm_v = frame_header->qm_v;
139
140 /* Segmentation */
141 info->segmentation_enabled = frame_header->segmentation_enabled;
142 info->segmentation_update_map = frame_header->segmentation_update_map;
143 info->segmentation_update_data = frame_header->segmentation_update_data;
144 info->segmentation_temporal_update = frame_header->segmentation_temporal_update;
145
146 /* Loopfilter */
147 info->loop_filter_level[0] = frame_header->loop_filter_level[0];
148 info->loop_filter_level[1] = frame_header->loop_filter_level[1];
149 info->loop_filter_level_u = frame_header->loop_filter_level[2];
150 info->loop_filter_level_v = frame_header->loop_filter_level[3];
151 info->loop_filter_sharpness = frame_header->loop_filter_sharpness;
152 info->loop_filter_delta_enabled = frame_header->loop_filter_delta_enabled;
153 info->loop_filter_delta_update = frame_header->loop_filter_delta_update;
154 info->loop_filter_mode_deltas[0] = frame_header->loop_filter_mode_deltas[0];
155 info->loop_filter_mode_deltas[1] = frame_header->loop_filter_mode_deltas[1];
156 info->delta_lf_present = frame_header->delta_lf_present;
157 info->delta_lf_res = frame_header->delta_lf_res;
158 info->delta_lf_multi = frame_header->delta_lf_multi;
159
160 /* Restoration */
161 info->lr_type[0] = remap_lr_type[frame_header->lr_type[0]];
162 info->lr_type[1] = remap_lr_type[frame_header->lr_type[1]];
163 info->lr_type[2] = remap_lr_type[frame_header->lr_type[2]];
164 info->lr_unit_size[0] = 1 + frame_header->lr_unit_shift;
165 info->lr_unit_size[1] = 1 + frame_header->lr_unit_shift - frame_header->lr_uv_shift;
166 info->lr_unit_size[2] = 1 + frame_header->lr_unit_shift - frame_header->lr_uv_shift;
167
168 /* Reference Frames */
169 info->temporal_layer_id = s->cur_frame.temporal_id;
170 info->spatial_layer_id = s->cur_frame.spatial_id;
171
172 /* Film Grain Params */
173 info->apply_grain = film_grain->apply_grain;
174 info->overlap_flag = film_grain->overlap_flag;
175 info->scaling_shift_minus8 = film_grain->grain_scaling_minus_8;
176 info->chroma_scaling_from_luma = film_grain->chroma_scaling_from_luma;
177 info->ar_coeff_lag = film_grain->ar_coeff_lag;
178 info->ar_coeff_shift_minus6 = film_grain->ar_coeff_shift_minus_6;
179 info->grain_scale_shift = film_grain->grain_scale_shift;
180 info->clip_to_restricted_range = film_grain->clip_to_restricted_range;
181 info->num_y_points = film_grain->num_y_points;
182 info->num_cb_points = film_grain->num_cb_points;
183 info->num_cr_points = film_grain->num_cr_points;
184 info->random_seed = film_grain->grain_seed;
185 info->cb_mult = film_grain->cb_mult;
186 info->cb_luma_mult = film_grain->cb_luma_mult;
187 info->cb_offset = film_grain->cb_offset;
188 info->cr_mult = film_grain->cr_mult;
189 info->cr_luma_mult = film_grain->cr_luma_mult;
190 info->cr_offset = film_grain->cr_offset;
191
192 /* Tiling Info */
193 for (i = 0; i < frame_header->tile_cols; ++i) {
194 info->tile_widths[i] = frame_header->width_in_sbs_minus_1[i] + 1;
195 }
196 for (i = 0; i < frame_header->tile_rows; ++i) {
197 info->tile_heights[i] = frame_header->height_in_sbs_minus_1[i] + 1;
198 }
199
200 /* CDEF */
201 for (i = 0; i < (1 << frame_header->cdef_bits); ++i) {
202 info->cdef_y_strength[i] = (frame_header->cdef_y_pri_strength[i] & 0x0F) | (frame_header->cdef_y_sec_strength[i] << 4);
203 info->cdef_uv_strength[i] = (frame_header->cdef_uv_pri_strength[i] & 0x0F) | (frame_header->cdef_uv_sec_strength[i] << 4);
204 }
205
206
207 /* Segmentation */
208 for (i = 0; i < AV1_MAX_SEGMENTS; ++i) {
209 info->segmentation_feature_mask[i] = 0;
210 for (j = 0; j < AV1_SEG_LVL_MAX; ++j) {
211 info->segmentation_feature_mask[i] |= frame_header->feature_enabled[i][j] << j;
212 info->segmentation_feature_data[i][j] = frame_header->feature_value[i][j];
213 }
214 }
215
216 for (i = 0; i < AV1_NUM_REF_FRAMES; ++i) {
217 /* Loopfilter */
218 info->loop_filter_ref_deltas[i] = frame_header->loop_filter_ref_deltas[i];
219
220 /* Reference Frames */
221 info->ref_frame_map[i] = s->ref[i].f && ff_vdpau_get_surface_id(s->ref[i].f) ?
222 ff_vdpau_get_surface_id(s->ref[i].f) : VDP_INVALID_HANDLE;
223 }
224
225 if (frame_header->primary_ref_frame == AV1_PRIMARY_REF_NONE) {
226 info->primary_ref_frame = -1;
227 } else {
228 int8_t pri_ref_idx = frame_header->ref_frame_idx[frame_header->primary_ref_frame];
229 info->primary_ref_frame = info->ref_frame_map[pri_ref_idx];
230 }
231
232 for (i = 0; i < AV1_REFS_PER_FRAME; ++i) {
233 /* Ref Frame List */
234 int8_t ref_idx = frame_header->ref_frame_idx[i];
235 AVFrame *ref_frame = s->ref[ref_idx].f;
236
237 info->ref_frame[i].index = info->ref_frame_map[ref_idx];
238 info->ref_frame[i].width = ref_frame ? ref_frame->width : 0;
239 info->ref_frame[i].height = ref_frame ? ref_frame->height : 0;
240
241 /* Global Motion */
242 info->global_motion[i].invalid = !frame_header->is_global[AV1_REF_FRAME_LAST + i];
243 info->global_motion[i].wmtype = s->cur_frame.gm_type[AV1_REF_FRAME_LAST + i];
244 for (j = 0; j < 6; ++j) {
245 info->global_motion[i].wmmat[j] = s->cur_frame.gm_params[AV1_REF_FRAME_LAST + i][j];
246 }
247 }
248
249 /* Film Grain Params */
250 if (film_grain->apply_grain) {
251 for (i = 0; i < 14; ++i) {
252 info->scaling_points_y[i][0] = film_grain->point_y_value[i];
253 info->scaling_points_y[i][1] = film_grain->point_y_scaling[i];
254 }
255 for (i = 0; i < 10; ++i) {
256 info->scaling_points_cb[i][0] = film_grain->point_cb_value[i];
257 info->scaling_points_cb[i][1] = film_grain->point_cb_scaling[i];
258 info->scaling_points_cr[i][0] = film_grain->point_cr_value[i];
259 info->scaling_points_cr[i][1] = film_grain->point_cr_scaling[i];
260 }
261 for (i = 0; i < 24; ++i) {
262 info->ar_coeffs_y[i] = (short)film_grain->ar_coeffs_y_plus_128[i] - 128;
263 }
264 for (i = 0; i < 25; ++i) {
265 info->ar_coeffs_cb[i] = (short)film_grain->ar_coeffs_cb_plus_128[i] - 128;
266 info->ar_coeffs_cr[i] = (short)film_grain->ar_coeffs_cr_plus_128[i] - 128;
267 }
268 }
269
270
271 return ff_vdpau_common_start_frame(pic_ctx, buffer, size);
272
273}
274
276 const uint8_t *buffer, uint32_t size)
277{
278 const AV1DecContext *s = avctx->priv_data;
279 const AV1RawFrameHeader *frame_header = s->raw_frame_header;
280 struct vdpau_picture_context *pic_ctx = s->cur_frame.hwaccel_picture_private;
281 VdpPictureInfoAV1 *info = &pic_ctx->info.av1;
282 int val;
283 int nb_slices;
284 VdpBitstreamBuffer *buffers = pic_ctx->bitstream_buffers;
285 int bitstream_len = 0;
286
287 nb_slices = frame_header->tile_cols * frame_header->tile_rows;
288 /* Shortcut if all tiles are in the same buffer*/
289 if (nb_slices == s->tg_end - s->tg_start + 1) {
290 for (int i = 0; i < nb_slices; ++i) {
291 info->tile_info[i*2 ] = s->tile_group_info[i].tile_offset;
292 info->tile_info[i*2 + 1] = info->tile_info[i*2] + s->tile_group_info[i].tile_size;
293 }
294 val = ff_vdpau_add_buffer(pic_ctx, buffer, size);
295 if (val) {
296 return val;
297 }
298
299 return 0;
300 }
301
302 for(int i = 0; i < pic_ctx->bitstream_buffers_used; i++) {
303 bitstream_len += buffers->bitstream_bytes;
304 buffers++;
305 }
306
307 for (uint32_t tile_num = s->tg_start; tile_num <= s->tg_end; ++tile_num) {
308 info->tile_info[tile_num*2 ] = bitstream_len + s->tile_group_info[tile_num].tile_offset;
309 info->tile_info[tile_num*2 + 1] = info->tile_info[tile_num*2] + s->tile_group_info[tile_num].tile_size;
310 }
311
312 val = ff_vdpau_add_buffer(pic_ctx, buffer, size);
313 if (val) {
314 return val;
315 }
316
317 return 0;
318}
319
321{
322 const AV1DecContext *s = avctx->priv_data;
323 struct vdpau_picture_context *pic_ctx = s->cur_frame.hwaccel_picture_private;
324
325 int val;
326
327 val = ff_vdpau_common_end_frame(avctx, s->cur_frame.f, pic_ctx);
328 if (val < 0)
329 return val;
330
331 return 0;
332}
333
335{
336 VdpDecoderProfile profile;
337 uint32_t level = avctx->level;
338
339 switch (avctx->profile) {
341 profile = VDP_DECODER_PROFILE_AV1_MAIN;
342 break;
344 profile = VDP_DECODER_PROFILE_AV1_HIGH;
345 break;
347 profile = VDP_DECODER_PROFILE_AV1_PROFESSIONAL;
348 break;
349 default:
350 return AVERROR(ENOTSUP);
351 }
352
353 return ff_vdpau_common_init(avctx, profile, level);
354}
355
357 .p.name = "av1_vdpau",
358 .p.type = AVMEDIA_TYPE_VIDEO,
359 .p.id = AV_CODEC_ID_AV1,
360 .p.pix_fmt = AV_PIX_FMT_VDPAU,
361 .start_frame = vdpau_av1_start_frame,
362 .end_frame = vdpau_av1_end_frame,
363 .decode_slice = vdpau_av1_decode_slice,
364 .frame_priv_data_size = sizeof(struct vdpau_picture_context),
366 .uninit = ff_vdpau_common_uninit,
367 .frame_params = ff_vdpau_common_frame_params,
368 .priv_data_size = sizeof(VDPAUContext),
369 .caps_internal = HWACCEL_CAP_ASYNC_SAFE,
370};
static double val(void *priv, double ch)
Definition aeval.c:77
Libavcodec external API header.
#define i(width, name, range_min, range_max)
Definition cbs_h264.c:63
#define s(width, name)
Definition cbs_vp9.c:198
#define AV_PROFILE_AV1_HIGH
Definition defs.h:170
#define AV_PROFILE_AV1_MAIN
Definition defs.h:169
#define AV_PROFILE_AV1_PROFESSIONAL
Definition defs.h:171
int(* init)(AVBSFContext *ctx)
Definition dts2pts.c:608
av_cold int ff_vdpau_common_uninit(AVCodecContext *avctx)
Definition vdpau.c:278
int ff_vdpau_common_start_frame(struct vdpau_picture_context *pic_ctx, av_unused const uint8_t *buffer, av_unused uint32_t size)
Definition vdpau.c:316
av_cold int ff_vdpau_common_init(AVCodecContext *avctx, VdpDecoderProfile profile, int level)
Definition vdpau.c:127
int ff_vdpau_add_buffer(struct vdpau_picture_context *pic_ctx, const uint8_t *buf, uint32_t size)
Definition vdpau.c:373
int ff_vdpau_common_end_frame(AVCodecContext *avctx, AVFrame *frame, struct vdpau_picture_context *pic_ctx)
Definition vdpau.c:326
int ff_vdpau_common_frame_params(AVCodecContext *avctx, AVBufferRef *hw_frames_ctx)
Definition vdpau.c:108
@ AV_CODEC_ID_AV1
Definition codec_id.h:275
#define AVERROR(e)
Definition error.h:45
@ AVMEDIA_TYPE_VIDEO
Definition avutil.h:200
#define HWACCEL_CAP_ASYNC_SAFE
Header providing the internals of AVHWAccel.
const struct FFHWAccel ff_av1_vdpau_hwaccel
Definition vdpau_av1.c:356
@ AV1_REF_FRAME_LAST
Definition av1.h:63
@ AV1_RESTORE_WIENER
Definition av1.h:174
@ AV1_RESTORE_SWITCHABLE
Definition av1.h:176
@ AV1_RESTORE_NONE
Definition av1.h:173
@ AV1_RESTORE_SGRPROJ
Definition av1.h:175
@ AV1_SEG_LVL_MAX
Definition av1.h:90
@ AV1_PRIMARY_REF_NONE
Definition av1.h:87
@ AV1_NUM_REF_FRAMES
Definition av1.h:84
@ AV1_MAX_SEGMENTS
Definition av1.h:89
@ AV1_REFS_PER_FRAME
Definition av1.h:85
common internal api header.
#define av_cold
Definition attributes.h:117
int profile
Definition mxfenc.c:2299
const AVPixFmtDescriptor * av_pix_fmt_desc_get(enum AVPixelFormat pix_fmt)
Definition pixdesc.c:3460
@ AV_PIX_FMT_NONE
Definition pixfmt.h:72
@ AV_PIX_FMT_VDPAU
HW acceleration through VDPAU, Picture.data[3] contains a VdpVideoSurface.
Definition pixfmt.h:194
uint8_t twelve_bit
Definition cbs_av1.h:52
uint8_t subsampling_x
Definition cbs_av1.h:61
uint8_t high_bitdepth
Definition cbs_av1.h:51
uint8_t mono_chrome
Definition cbs_av1.h:53
uint8_t subsampling_y
Definition cbs_av1.h:62
uint8_t ar_coeffs_y_plus_128[24]
Definition cbs_av1.h:159
uint8_t ar_coeff_shift_minus_6
Definition cbs_av1.h:162
uint8_t point_y_value[14]
Definition cbs_av1.h:148
uint8_t grain_scale_shift
Definition cbs_av1.h:163
uint8_t point_cb_scaling[10]
Definition cbs_av1.h:153
uint8_t point_cr_scaling[10]
Definition cbs_av1.h:156
uint8_t ar_coeffs_cr_plus_128[25]
Definition cbs_av1.h:161
uint8_t clip_to_restricted_range
Definition cbs_av1.h:171
uint8_t point_cr_value[10]
Definition cbs_av1.h:155
uint8_t point_cb_value[10]
Definition cbs_av1.h:152
uint8_t chroma_scaling_from_luma
Definition cbs_av1.h:150
uint8_t grain_scaling_minus_8
Definition cbs_av1.h:157
uint8_t point_y_scaling[14]
Definition cbs_av1.h:149
uint8_t ar_coeffs_cb_plus_128[25]
Definition cbs_av1.h:160
uint8_t use_128x128_superblock
Definition cbs_av1.h:114
uint8_t enable_dual_filter
Definition cbs_av1.h:120
uint8_t enable_restoration
Definition cbs_av1.h:135
uint8_t enable_intra_edge_filter
Definition cbs_av1.h:116
uint8_t enable_filter_intra
Definition cbs_av1.h:115
uint8_t seq_profile
Definition cbs_av1.h:83
uint8_t film_grain_params_present
Definition cbs_av1.h:139
uint8_t enable_jnt_comp
Definition cbs_av1.h:123
uint8_t enable_interintra_compound
Definition cbs_av1.h:117
AV1RawColorConfig color_config
Definition cbs_av1.h:137
uint8_t enable_masked_compound
Definition cbs_av1.h:118
uint8_t enable_superres
Definition cbs_av1.h:133
uint8_t order_hint_bits_minus_1
Definition cbs_av1.h:131
uint8_t enable_order_hint
Definition cbs_av1.h:122
A reference to a data buffer.
Definition buffer.h:82
main external API structure.
Definition avcodec.h:443
int width
picture width / height.
Definition avcodec.h:604
enum AVPixelFormat sw_pix_fmt
Nominal unaccelerated pixel format, see AV_PIX_FMT_xxx.
Definition avcodec.h:650
int level
Encoding level descriptor.
Definition avcodec.h:1646
int profile
profile
Definition avcodec.h:1636
void * priv_data
Definition avcodec.h:470
This structure describes decoded (raw) audio or video data.
Definition frame.h:472
Descriptor that unambiguously describes how the bits of a pixel are stored in the up to 4 data planes...
Definition pixdesc.h:69
union VDPAUPictureInfo info
VDPAU picture information.
VdpBitstreamBuffer * bitstream_buffers
Table of bitstream buffers.
int bitstream_buffers_used
Useful bitstream buffers in the bitstream buffers table.
uint8_t level
Definition svq3.c:208
static char buffer[20]
Definition seek.c:32
int size
Public libavcodec VDPAU header.
static int vdpau_av1_end_frame(AVCodecContext *avctx)
Definition vdpau_av1.c:320
static int vdpau_av1_start_frame(AVCodecContext *avctx, const AVBufferRef *buffer_ref, const uint8_t *buffer, uint32_t size)
Definition vdpau_av1.c:43
static av_cold int vdpau_av1_init(AVCodecContext *avctx)
Definition vdpau_av1.c:334
static int get_bit_depth_from_seq(const AV1RawSequenceHeader *seq)
Definition vdpau_av1.c:32
static int vdpau_av1_decode_slice(AVCodecContext *avctx, const uint8_t *buffer, uint32_t size)
Definition vdpau_av1.c:275
static uintptr_t ff_vdpau_get_surface_id(AVFrame *pic)
Extract VdpVideoSurface from an AVFrame.
static int ref_frame(VVCFrame *dst, const VVCFrame *src)
Definition dec.c:616