projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffdf5a5) | 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)
commit3b458804e1d0a460fb1c90f06f495b9f7a972424
tree1d31e5e70c3531aa7e6a6ab9c91c38b4bdae330etree | snapshot
parentffdf5a5f292d3ae73f62422ad66297eb84da26c4commit | 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