Hi Ian,
Could you give me more informations? I didn't understand what you said....
In the frontend the right place would be the parser file?
And when you say "when GIMPLE is converted to RTL in the expand pass"
is about _expand_function()? Well, i'm confused... i'm a beginner in
GCC...:(
Thanks for any help
greicy
Ian Lance Taylor <iant@xxxxxxxxxx> a écrit :
Greicy.Costa-Marques@xxxxxxx writes:
The problem is to detect the errors/faults in digital architectures
(different processors).Then, one of such modifications would be data
duplication, ie, the basic idea is to duplicate all the variables of
the program checking the consistency of the values. For each read
operation on a variable, the operation is repeated for the duplicate
variable and consistency control is done. If there is a difference
between the original value variable and duplicate value variable, then
an error is signal.
So when the program is presented to the compiler, for example in C
language, the idea is to make such alterations (as described above)
in the compiler so that it automatically makes the harden of the
program.
So, I would like to know how or where I could modify the compiler to
modify this statement as for example:
var = var/5 (high-level statement) how/where i could change, ie
reverse 1 bit of instruction, in this case would turn into another
statement and thus it is characterized as an error basculement bit.
I thought of beginning to work on the front end would be a
good/correct way, simply because the code in this stage is near the
source code.... i don't know if that makes sense .
I guess it sort of depends on whether you want to check every memory
access or just accesses that correspond to program variables. If you
want to check program variables then the frontend is the right place
to do it. If you want to check memory accesses, then it might be more
appropriate to do it when GIMPLE is converted to RTL in the expand
pass.
I think this change would be doable but I don't think it would be very
simple or easy to implement. Good luck.
Ian
