projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a6d3a6) | patch
Remove unnecessary optimization barrier.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Jan 2009 06:32:57 +0000 (22:32 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Jan 2009 06:32:57 +0000 (22:32 -0800)
commit783b906895c12fa66a51bafdfeb223daeb8beeff
treec1f2b7696b50f1ba3850d200297a4e145ac3a8f8tree | snapshot
parent1a6d3a6561026958c9d1150a4022907a0e3cde27commit | diff
Remove unnecessary optimization barrier.

The compiler can't optimize out the load of "ticks" here because
it can't look into intr_disable() and intr_set_level() and know that
they don't modify "ticks".

Thanks to Martin <mfleener@stanford.edu> for pointing this out.
src/devices/timer.c diff | blob | history
Pintos public repository