On Tue, Jun 14, 2005 at 01:36:13PM +0200, Jan Hubicka wrote: > They exist: > {"code16gcc", set_16bit_gcc_code_flag, CODE_16BIT}, > {"code16", set_code_flag, CODE_16BIT}, > {"code32", set_code_flag, CODE_32BIT}, > {"code64", set_code_flag, CODE_64BIT}, > > but they only switch ASM encoding, not the output ELF file format as > they are intended for stuff where you really mix 32bit and 64bit code, > such as in the boot loader.
So, we would need different directives for this purpose. I like the idea, though it wouldn't help me in the short term. -- Daniel Jacobowitz CodeSourcery, LLC