blob: 9294107c150d261bbb6c90c8c78b6590ba4b97a4 [file] [log] [blame]
William Juulc051bbe2007-11-15 11:13:05 +01001/*
2 * YAFFS: Yet Another Flash File System. A NAND-flash specific file system.
3 *
Charles Manning3796e1f2012-05-09 16:55:17 +00004 * Copyright (C) 2002-2011 Aleph One Ltd.
William Juulc051bbe2007-11-15 11:13:05 +01005 * for Toby Churchill Ltd and Brightstar Engineering
6 *
7 * Created by Charles Manning <charles@aleph1.co.uk>
8 *
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License version 2 as
11 * published by the Free Software Foundation.
12 */
13
14/*
15 * This code implements the ECC algorithm used in SmartMedia.
16 *
Wolfgang Denk74e0dde2008-08-14 14:41:06 +020017 * The ECC comprises 22 bits of parity information and is stuffed into 3 bytes.
William Juulc051bbe2007-11-15 11:13:05 +010018 * The two unused bit are set to 1.
Charles Manning3796e1f2012-05-09 16:55:17 +000019 * The ECC can correct single bit errors in a 256-byte page of data. Thus, two
20 * such ECC blocks are used on a 512-byte NAND page.
William Juulc051bbe2007-11-15 11:13:05 +010021 *
22 */
23
Charles Manning3796e1f2012-05-09 16:55:17 +000024#include "yportenv.h"
25
26#include "yaffs_ecc.h"
27
William Juulc051bbe2007-11-15 11:13:05 +010028/* Table generated by gen-ecc.c
29 * Using a table means we do not have to calculate p1..p4 and p1'..p4'
30 * for each byte of data. These are instead provided in a table in bits7..2.
Charles Manning3796e1f2012-05-09 16:55:17 +000031 * Bit 0 of each entry indicates whether the entry has an odd or even parity,
32 * and therefore this bytes influence on the line parity.
William Juulc051bbe2007-11-15 11:13:05 +010033 */
34
William Juulc051bbe2007-11-15 11:13:05 +010035static const unsigned char column_parity_table[] = {
36 0x00, 0x55, 0x59, 0x0c, 0x65, 0x30, 0x3c, 0x69,
37 0x69, 0x3c, 0x30, 0x65, 0x0c, 0x59, 0x55, 0x00,
38 0x95, 0xc0, 0xcc, 0x99, 0xf0, 0xa5, 0xa9, 0xfc,
39 0xfc, 0xa9, 0xa5, 0xf0, 0x99, 0xcc, 0xc0, 0x95,
40 0x99, 0xcc, 0xc0, 0x95, 0xfc, 0xa9, 0xa5, 0xf0,
41 0xf0, 0xa5, 0xa9, 0xfc, 0x95, 0xc0, 0xcc, 0x99,
42 0x0c, 0x59, 0x55, 0x00, 0x69, 0x3c, 0x30, 0x65,
43 0x65, 0x30, 0x3c, 0x69, 0x00, 0x55, 0x59, 0x0c,
44 0xa5, 0xf0, 0xfc, 0xa9, 0xc0, 0x95, 0x99, 0xcc,
45 0xcc, 0x99, 0x95, 0xc0, 0xa9, 0xfc, 0xf0, 0xa5,
46 0x30, 0x65, 0x69, 0x3c, 0x55, 0x00, 0x0c, 0x59,
47 0x59, 0x0c, 0x00, 0x55, 0x3c, 0x69, 0x65, 0x30,
48 0x3c, 0x69, 0x65, 0x30, 0x59, 0x0c, 0x00, 0x55,
49 0x55, 0x00, 0x0c, 0x59, 0x30, 0x65, 0x69, 0x3c,
50 0xa9, 0xfc, 0xf0, 0xa5, 0xcc, 0x99, 0x95, 0xc0,
51 0xc0, 0x95, 0x99, 0xcc, 0xa5, 0xf0, 0xfc, 0xa9,
52 0xa9, 0xfc, 0xf0, 0xa5, 0xcc, 0x99, 0x95, 0xc0,
53 0xc0, 0x95, 0x99, 0xcc, 0xa5, 0xf0, 0xfc, 0xa9,
54 0x3c, 0x69, 0x65, 0x30, 0x59, 0x0c, 0x00, 0x55,
55 0x55, 0x00, 0x0c, 0x59, 0x30, 0x65, 0x69, 0x3c,
56 0x30, 0x65, 0x69, 0x3c, 0x55, 0x00, 0x0c, 0x59,
57 0x59, 0x0c, 0x00, 0x55, 0x3c, 0x69, 0x65, 0x30,
58 0xa5, 0xf0, 0xfc, 0xa9, 0xc0, 0x95, 0x99, 0xcc,
59 0xcc, 0x99, 0x95, 0xc0, 0xa9, 0xfc, 0xf0, 0xa5,
60 0x0c, 0x59, 0x55, 0x00, 0x69, 0x3c, 0x30, 0x65,
61 0x65, 0x30, 0x3c, 0x69, 0x00, 0x55, 0x59, 0x0c,
62 0x99, 0xcc, 0xc0, 0x95, 0xfc, 0xa9, 0xa5, 0xf0,
63 0xf0, 0xa5, 0xa9, 0xfc, 0x95, 0xc0, 0xcc, 0x99,
64 0x95, 0xc0, 0xcc, 0x99, 0xf0, 0xa5, 0xa9, 0xfc,
65 0xfc, 0xa9, 0xa5, 0xf0, 0x99, 0xcc, 0xc0, 0x95,
66 0x00, 0x55, 0x59, 0x0c, 0x65, 0x30, 0x3c, 0x69,
67 0x69, 0x3c, 0x30, 0x65, 0x0c, 0x59, 0x55, 0x00,
68};
69
William Juulc051bbe2007-11-15 11:13:05 +010070
71/* Calculate the ECC for a 256-byte block of data */
Charles Manning3796e1f2012-05-09 16:55:17 +000072void yaffs_ecc_calc(const unsigned char *data, unsigned char *ecc)
William Juulc051bbe2007-11-15 11:13:05 +010073{
74 unsigned int i;
William Juulc051bbe2007-11-15 11:13:05 +010075 unsigned char col_parity = 0;
76 unsigned char line_parity = 0;
77 unsigned char line_parity_prime = 0;
78 unsigned char t;
79 unsigned char b;
80
81 for (i = 0; i < 256; i++) {
82 b = column_parity_table[*data++];
83 col_parity ^= b;
84
Charles Manning3796e1f2012-05-09 16:55:17 +000085 if (b & 0x01) { /* odd number of bits in the byte */
William Juulc051bbe2007-11-15 11:13:05 +010086 line_parity ^= i;
87 line_parity_prime ^= ~i;
88 }
William Juulc051bbe2007-11-15 11:13:05 +010089 }
90
91 ecc[2] = (~col_parity) | 0x03;
92
93 t = 0;
94 if (line_parity & 0x80)
95 t |= 0x80;
96 if (line_parity_prime & 0x80)
97 t |= 0x40;
98 if (line_parity & 0x40)
99 t |= 0x20;
100 if (line_parity_prime & 0x40)
101 t |= 0x10;
102 if (line_parity & 0x20)
103 t |= 0x08;
104 if (line_parity_prime & 0x20)
105 t |= 0x04;
106 if (line_parity & 0x10)
107 t |= 0x02;
108 if (line_parity_prime & 0x10)
109 t |= 0x01;
110 ecc[1] = ~t;
111
112 t = 0;
113 if (line_parity & 0x08)
114 t |= 0x80;
115 if (line_parity_prime & 0x08)
116 t |= 0x40;
117 if (line_parity & 0x04)
118 t |= 0x20;
119 if (line_parity_prime & 0x04)
120 t |= 0x10;
121 if (line_parity & 0x02)
122 t |= 0x08;
123 if (line_parity_prime & 0x02)
124 t |= 0x04;
125 if (line_parity & 0x01)
126 t |= 0x02;
127 if (line_parity_prime & 0x01)
128 t |= 0x01;
129 ecc[0] = ~t;
130
William Juulc051bbe2007-11-15 11:13:05 +0100131}
132
William Juulc051bbe2007-11-15 11:13:05 +0100133/* Correct the ECC on a 256 byte block of data */
134
Charles Manning3796e1f2012-05-09 16:55:17 +0000135int yaffs_ecc_correct(unsigned char *data, unsigned char *read_ecc,
136 const unsigned char *test_ecc)
William Juulc051bbe2007-11-15 11:13:05 +0100137{
138 unsigned char d0, d1, d2; /* deltas */
139
140 d0 = read_ecc[0] ^ test_ecc[0];
141 d1 = read_ecc[1] ^ test_ecc[1];
142 d2 = read_ecc[2] ^ test_ecc[2];
143
144 if ((d0 | d1 | d2) == 0)
Charles Manning3796e1f2012-05-09 16:55:17 +0000145 return 0; /* no error */
William Juulc051bbe2007-11-15 11:13:05 +0100146
147 if (((d0 ^ (d0 >> 1)) & 0x55) == 0x55 &&
148 ((d1 ^ (d1 >> 1)) & 0x55) == 0x55 &&
149 ((d2 ^ (d2 >> 1)) & 0x54) == 0x54) {
150 /* Single bit (recoverable) error in data */
151
152 unsigned byte;
153 unsigned bit;
154
William Juulc051bbe2007-11-15 11:13:05 +0100155 bit = byte = 0;
156
157 if (d1 & 0x80)
158 byte |= 0x80;
159 if (d1 & 0x20)
160 byte |= 0x40;
161 if (d1 & 0x08)
162 byte |= 0x20;
163 if (d1 & 0x02)
164 byte |= 0x10;
165 if (d0 & 0x80)
166 byte |= 0x08;
167 if (d0 & 0x20)
168 byte |= 0x04;
169 if (d0 & 0x08)
170 byte |= 0x02;
171 if (d0 & 0x02)
172 byte |= 0x01;
173
174 if (d2 & 0x80)
175 bit |= 0x04;
176 if (d2 & 0x20)
177 bit |= 0x02;
178 if (d2 & 0x08)
179 bit |= 0x01;
180
181 data[byte] ^= (1 << bit);
182
Charles Manning3796e1f2012-05-09 16:55:17 +0000183 return 1; /* Corrected the error */
William Juulc051bbe2007-11-15 11:13:05 +0100184 }
185
Charles Manning3796e1f2012-05-09 16:55:17 +0000186 if ((hweight8(d0) + hweight8(d1) + hweight8(d2)) == 1) {
William Juulc051bbe2007-11-15 11:13:05 +0100187 /* Reccoverable error in ecc */
188
189 read_ecc[0] = test_ecc[0];
190 read_ecc[1] = test_ecc[1];
191 read_ecc[2] = test_ecc[2];
192
Charles Manning3796e1f2012-05-09 16:55:17 +0000193 return 1; /* Corrected the error */
William Juulc051bbe2007-11-15 11:13:05 +0100194 }
Wolfgang Denk74e0dde2008-08-14 14:41:06 +0200195
William Juulc051bbe2007-11-15 11:13:05 +0100196 /* Unrecoverable error */
197
198 return -1;
199
200}
201
William Juulc051bbe2007-11-15 11:13:05 +0100202/*
203 * ECCxxxOther does ECC calcs on arbitrary n bytes of data
204 */
Charles Manning3796e1f2012-05-09 16:55:17 +0000205void yaffs_ecc_calc_other(const unsigned char *data, unsigned n_bytes,
206 struct yaffs_ecc_other *ecc_other)
William Juulc051bbe2007-11-15 11:13:05 +0100207{
208 unsigned int i;
William Juulc051bbe2007-11-15 11:13:05 +0100209 unsigned char col_parity = 0;
210 unsigned line_parity = 0;
211 unsigned line_parity_prime = 0;
212 unsigned char b;
213
Charles Manning3796e1f2012-05-09 16:55:17 +0000214 for (i = 0; i < n_bytes; i++) {
William Juulc051bbe2007-11-15 11:13:05 +0100215 b = column_parity_table[*data++];
216 col_parity ^= b;
217
Charles Manning3796e1f2012-05-09 16:55:17 +0000218 if (b & 0x01) {
William Juulc051bbe2007-11-15 11:13:05 +0100219 /* odd number of bits in the byte */
220 line_parity ^= i;
221 line_parity_prime ^= ~i;
222 }
223
224 }
225
Charles Manning3796e1f2012-05-09 16:55:17 +0000226 ecc_other->col_parity = (col_parity >> 2) & 0x3f;
227 ecc_other->line_parity = line_parity;
228 ecc_other->line_parity_prime = line_parity_prime;
William Juulc051bbe2007-11-15 11:13:05 +0100229}
230
Charles Manning3796e1f2012-05-09 16:55:17 +0000231int yaffs_ecc_correct_other(unsigned char *data, unsigned n_bytes,
232 struct yaffs_ecc_other *read_ecc,
233 const struct yaffs_ecc_other *test_ecc)
William Juulc051bbe2007-11-15 11:13:05 +0100234{
Charles Manning3796e1f2012-05-09 16:55:17 +0000235 unsigned char delta_col; /* column parity delta */
236 unsigned delta_line; /* line parity delta */
237 unsigned delta_line_prime; /* line parity delta */
William Juulc051bbe2007-11-15 11:13:05 +0100238 unsigned bit;
239
Charles Manning3796e1f2012-05-09 16:55:17 +0000240 delta_col = read_ecc->col_parity ^ test_ecc->col_parity;
241 delta_line = read_ecc->line_parity ^ test_ecc->line_parity;
242 delta_line_prime =
243 read_ecc->line_parity_prime ^ test_ecc->line_parity_prime;
William Juulc051bbe2007-11-15 11:13:05 +0100244
Charles Manning3796e1f2012-05-09 16:55:17 +0000245 if ((delta_col | delta_line | delta_line_prime) == 0)
246 return 0; /* no error */
William Juulc051bbe2007-11-15 11:13:05 +0100247
Charles Manning3796e1f2012-05-09 16:55:17 +0000248 if (delta_line == ~delta_line_prime &&
249 (((delta_col ^ (delta_col >> 1)) & 0x15) == 0x15)) {
William Juulc051bbe2007-11-15 11:13:05 +0100250 /* Single bit (recoverable) error in data */
251
252 bit = 0;
253
Charles Manning3796e1f2012-05-09 16:55:17 +0000254 if (delta_col & 0x20)
William Juulc051bbe2007-11-15 11:13:05 +0100255 bit |= 0x04;
Charles Manning3796e1f2012-05-09 16:55:17 +0000256 if (delta_col & 0x08)
William Juulc051bbe2007-11-15 11:13:05 +0100257 bit |= 0x02;
Charles Manning3796e1f2012-05-09 16:55:17 +0000258 if (delta_col & 0x02)
William Juulc051bbe2007-11-15 11:13:05 +0100259 bit |= 0x01;
260
Charles Manning3796e1f2012-05-09 16:55:17 +0000261 if (delta_line >= n_bytes)
William Juulc051bbe2007-11-15 11:13:05 +0100262 return -1;
Wolfgang Denk74e0dde2008-08-14 14:41:06 +0200263
Charles Manning3796e1f2012-05-09 16:55:17 +0000264 data[delta_line] ^= (1 << bit);
William Juulc051bbe2007-11-15 11:13:05 +0100265
Charles Manning3796e1f2012-05-09 16:55:17 +0000266 return 1; /* corrected */
William Juulc051bbe2007-11-15 11:13:05 +0100267 }
268
Charles Manning3796e1f2012-05-09 16:55:17 +0000269 if ((hweight32(delta_line) +
270 hweight32(delta_line_prime) +
271 hweight8(delta_col)) == 1) {
William Juulc051bbe2007-11-15 11:13:05 +0100272 /* Reccoverable error in ecc */
273
274 *read_ecc = *test_ecc;
Charles Manning3796e1f2012-05-09 16:55:17 +0000275 return 1; /* corrected */
William Juulc051bbe2007-11-15 11:13:05 +0100276 }
277
278 /* Unrecoverable error */
279
280 return -1;
William Juulc051bbe2007-11-15 11:13:05 +0100281}