Lines Matching refs:range_dec

116     range_dec: Range_Decoder;  variable
129       if range_dec.width < width_threshold then
130         range_dec.width := Shift_Left(range_dec.width, 8);
131         range_dec.code  := Shift_Left(range_dec.code, 8) or UInt32(Read_Byte);
138 …  bound: constant UInt32:= Shift_Right(range_dec.width, Probability_model_bits) * UInt32(cur_prob);
141       if range_dec.code < bound then
143         range_dec.width := bound;
148         range_dec.code  := range_dec.code - bound;
149         range_dec.width := range_dec.width - bound;
256       return range_dec.code = 0;
353             range_dec.width := Shift_Right(range_dec.width, 1);
354             range_dec.code := range_dec.code - range_dec.width;
355             t := - Shift_Right(range_dec.code, 31);
356             range_dec.code := range_dec.code + (range_dec.width and t);
357             if range_dec.code = range_dec.width then
358               range_dec.corrupted := True;
536       o.range_dec_corrupted:= range_dec.corrupted;
541     Init(range_dec);