Thanks Kevin,
After making my suggestion, I realized that indeed this was so much
simpler. The explicit label is going to be properly aligned anyway.
So just add 4 times the opcode byte and the following label should be
properly aligned too. No need to mess with .p2align or .align at
all.
This new version is checked in CVS. Please give it a try.
Cheers,
-- Dr. Denys Duchier Équipe Calligramme LORIA, Nancy, FRANCE - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.