跳过导航链接 | |
退出打印视图 | |
![]() |
Oracle Solaris Studio 12.3:Fortran 用户指南 Oracle Solaris Studio 12.3 Information Library (简体中文) |
3.4.1 -aligncommon[ ={1|2|4| 8|16}]
3.4.11 -dbl_align_all[ ={yes|no}]
3.4.16 -erroff[ ={%all|%none| taglist}]
3.4.18 -errwarn[ ={%all|%none| taglist}]
3.4.31 -fprecision={ single|double|extended}
3.4.33 -fround={ nearest|tozero|negative| positive}
3.4.43 -inline=[ %auto][[,][no%] f1,...[no%]fn]
3.4.44 -iorounding[ ={compatible|processor-defined}]
3.4.84 -stop_status[ ={yes|no}]
3.4.87 -traceback[ ={%none|common| signals_list}]
3.4.103 -xannotate[ ={yes|no}]
3.4.105 -xassume_control[ =keywords]
3.4.107 -xbinopt={prepare | off}
3.4.112 -xcommonchk[ ={yes|no}]
3.4.113 -xdebugformat={ dwarf|stabs}
3.4.116 -xfilebyteorder= options
3.4.119 -xhwcprof[={enable | disable}]
3.4.120 -xia[={ widestneed|strict}]
3.4.122 -xinstrument=[%no]datarace
3.4.123 -xinterval[ ={widestneed|strict| no}]
3.4.125 -xipo_archive[ ={none|readonly| writeback}]
3.4.128 -xkeepframe[ =[%all,%none,name, no%name]]
3.4.129 -xknown_lib=library_list
3.4.140 -xmodel=[ small | kernel | medium]
3.4.145 -xopenmp[={ parallel|noopt|none}]
3.4.149 -xpagesize_stack= size
3.4.154 -xprefetch_auto_type=indirect_array_access
3.4.155 -xprefetch_level={ 1|2|3}
3.4.157 -xprofile_ircache[ =path]
4. Solaris Studio Fortran 的功能与扩展
本节介绍所有 f95 编译器命令行选项标志,包括各种风险、限制、警告、交互、示例和其他详细信息。
除非另行指明,否则每个选项在 SPARC 和 x64/x86 平台上都有效。仅在 SPARC 平台上有效的选项标志标有 (SPARC)。仅在 x64/x86 平台上有效的选项标志标有 (x86)。
标有(已过时)的选项标志已过时,不应使用。在许多情况下,它们已经被其他应该使用的选项或标志取代。
此值表示通用块和标准数值序列类型中数据元素的最大对齐(以字节为单位)。
注 - 标准数字序列类型是一种派生类型,包含一个 SEQUENCE 语句和纯缺省组件数据类型(不带 KIND= 或 * size 的 INTEGER、REAL、DOUBLEPRECISION、COMPLEX)。任何其他类型(例如:REAL*8)都会使数字序列类型成为非标准类型。
例如,-aligncommon=4 会将自然对齐方式为 4 字节或大于 4 字节的数据元素与 4 字节边界对齐。
该选项不影响自然对齐方式小于指定大小的数据。
如果不使用 -aligncommon,则编译器会将通用块和数值序列类型中的元素与(最多)4 字节边界对齐。
如果指定不带值的 -aligncommon,则缺省值为 1-所有的通用块和数值序列类型元素都与字节边界对齐(元素之间无填充)。
在未启用 64 位的平台上,-aligncommon=16 恢复为 -aligncommon=8。
不要将 -aligncommon=1 与 -xmemalign 一起使用,因为这些声明会发生冲突,在某些平台和配置上可能会引发段故障。
如果在 SPARC 平台上使用 -aligncommon=1,可能会因未对齐而导致总线错误,需要使用适当的 -xmemalign 选项值。根据具体的应用程序,-xmemalign=1s、-xmemalign=4i 或 -xmemalign=8i 会在避免段故障的同时提供最佳性能。
另请参见 -xmemalign
如果在源代码中使用非标准 Fortran 扩展,则会发出警告消息。
在使用此选项编译具有替换入口点的子程序时,f95 将使用复制/恢复功能保留哑元参数和实际参数之间的关联。
提供此选项的目的是与传统的 Fortran 77 程序兼容。依赖此选项的代码是非标准的。
启用自动循环并行化。
查找相应的循环并使之并行化,以便在多个处理器上并行运行。分析循环以了解迭代间的数据依赖性并重构循环。如果未将优化级别指定为 -O3 或更高,则会将其自动提升到 -O3。
在使用任何并行化选项(包括 -autopar)时,也要指定 -stackvar 选项。当使用 -autopar 时,-stackvar 选项可提供更好的性能,因为它可允许优化器为并行检测其他机会。有关如何为主线程堆栈和从线程堆栈设置大小的信息,请参见 -stackvar 选项描述。
如果程序已经包含对 libthread 线程库的显式调用,请避免使用 -autopar。请参见3.4.56 -mt[={ yes|no}]中的说明。
-autopar 选项不适用于单处理器系统,而且已编译代码的运行速度通常会更慢。
当运行由 -xautopar 编译器选项自动并行化的程序时,请在指定要使用的线程数之前使用 OMP_NUM_THREADS 环境变量。如果未设置 OMP_NUM_THREADS,则使用的缺省线程数为 2。要使用更多线程,请将 OMP_NUM_THREADS 设置为更高的值。将 OMP_NUM_THREADS 设置为 1 将仅运行一个线程。通常,会将 OMP_NUM_THREADS 设置为运行系统上可用的虚拟处理器数,可使用 Oracle Solaris psrinfo(1) 命令确定该值。有关更多信息,请参见《OpenMP API 用户指南》。
如果使用 -autopar 并在同一步骤中进行编译和链接,则会自动链接多线程库和线程安全的 Fortran 运行时库。如果使用 -autopar 并在不同的步骤中进行编译和链接,则还必须使用 -autopar 进行链接以确保链接相应的库。
—reduction 选项与 —autopar 一起使用也可能会很有用。
有关并行化的更多信息,请参阅《Fortran 编程指南》。有关用户控制的显式并行化,则使用 OpenMP 指令和 —xopenmp 选项。
首选动态库链接或要求静态库链接。
在 -B 与 dynamic 或 static 之间不允许有空格。如果未指定 -B,则缺省值为 -Bdynamic。
另请注意:
如果指定 static,但是链接程序仅找到动态库,则不链接该库,同时发出警告“未找到库”。
如果指定 dynamic,但链接程序仅找到静态版本的库,则链接该库,并且不发出警告。
您可以在命令行上切换 -Bstatic 和 -Bdynamic。也就是说,通过在命令行上指定 -Bstatic 和 -Bdynamic 任意多次,可以静态链接一些库并动态链接一些库,如下所示:
f95 prog.f -Bdynamic -lwells -Bstatic -lsurface
这些是加载器和链接程序选项。在不同的步骤中使用编译命令的 -Bx 选项进行编译和链接时,将要求在链接步骤中也使用该选项。
不能在命令行上同时指定 -Bdynamic 和 -dn,因为 -dn 禁用动态库的链接。
在 64 位 Solaris 环境中,许多系统库仅作为共享动态库提供,其中包括 libm.so 和 libc.so(不提供 libm.a 和 libc.a)。这意味着,在 64 位 Solaris 环境中,-Bstatic 和 -dn 可能会导致链接错误。这些情况下应用程序必须与动态库链接。
不推荐同时使用静态 Fortran 运行时系统库和动态 Fortran 运行时系统库,因为这会导致链接程序错误或无提示的数据损坏。始终保持同最新的共享动态 Fortran 运行时系统库的链接。
有关静态库和动态库的更多信息,请参见《Fortran 编程指南》。
如果数组下标超过所声明的大小,可能会导致意外结果(包括段故障)。-C 选项检查源代码中和执行过程中可能的数组下标违规。-C 还添加了对数组语法表达式中数组符合性的运行时检查。
指定 -C 可能会使可执行文件更大。
如果使用 -C 选项,则会将数组下标违规视为错误。如果在编译过程中检测到源代码中存在数组下标范围违规,则会将它视为编译错误。
如果只能在运行时确定数组下标违规,则编译器会将范围检查代码生成到可执行程序中。这可能导致执行时间增加。因此,应该在开发和调试程序时启用完全数组下标检查,然后重新编译最后产生的可执行程序,而不必进行下标检查。
仅编译;生成目标 .o 文件,但禁止链接。
针对每个源文件编译 .o 文件。如果仅编译一个源文件,则可以使用 -o 选项来指定所写入的 .o 文件的名称。
允许为常量参数赋值。
允许子程序更改其为常量的哑元参数。提供此选项只是为了允许编译和执行传统代码而不出现运行时错误。
在不使用 -copyargs 的情况下,如果将常量参数传递给子例程,然后在子例程内尝试更改该常量,则运行将终止。
在使用 -copyargs 的情况下,如果将常量参数传递给子例程,然后在子例程内更改该常量,则运行不一定终止。
当然,除非使用 -copyargs 进行编译,否则终止的代码是不符合 Fortran 标准的。此外,这样的代码通常是不可预知的。
此选项仅适用于 .F、.F90、.F95 和 .F03 源文件。
–Dname=def 将 name 定义为具有值 def
–Dname 将 name 定义为 1
在命令行上,此选项将定义 name,就如同
#define name[= def]
已经出现在源文件中。如果未指定 =def,则名称 name 的值定义为 1。宏符号 name 会传递到预处理程序 fpp(或 cpp-请参见 -xpp 选项)进行扩展。
预定义的宏符号具有两个前导下划线。Fortran 语法可能不支持这些宏的实际值-它们只应出现在 fpp 或 cpp 预处理程序指令中。(请注意两个前导下划线。)
编译器版本是在 _ _SUNPRO_F90 和 _ _SUNPRO_F95 中预定义的(采用十六进制)。例如,对于 Oracle Solaris Studio 12.3 发行版中的 Fortran 编译器 8.6 版,_ _SUNPRO_F95 为 0x860。
以下宏是在相应系统上预定义的:
_ _sparc、_ _unix、_ _sun、_ _SVR4、__i386、_ _SunOS_5_10 和 _ _SunOS_5_11
符号 _ _sparc、_ _sparcv8 和 _ _sparcv9 是在其各自的 SPARC 系统上定义的。
以下预定义值不带下划线,但是在以后的发行版中可能会删除这些值: sparc、unix 和 sun。
在 64 位 x86 系统上,定义了宏 __amd64 和 __x86_64。
使用 -v 详细选项编译 .F、.F90、.F95 或 .F03 源文件可查看编译器采用的预处理程序定义。
您可以在类似如下的预处理程序条件中使用这些值:
#ifdef _ _sparc
缺省情况下,f95 使用 fpp(1) 预处理程序。与 C 预处理程序 cpp(1) 一样,fpp 会扩展源代码宏并允许对代码进行条件编译。与 cpp 不同的是,fpp 能够识别 Fortran 语法,并作为首选的 Fortran 预处理程序。使用 -xpp=cpp 标志可以强制编译器明确使用 cpp 而非 fpp。
对齐 COMMON 块和标准数值序列类型,并生成速度更快的多字装入/存储。
此标志可更改 COMMON 块、数值序列类型和 EQUIVALENCE 类中的数据布局,并使编译器能够为该数据生成速度更快的多字装入/存储。
数据布局效果与 -f 标志的效果相同: COMMON 块和 EQUIVALENCE 类中的双精度和四精度数据在内存中根据其“自然”对齐方式(即,与 8 字节边界对齐)进行布局;如果在 64 位环境中使用 -m64 进行编译,则四精度数据与 16 字节边界对齐。缺省情况下,按 4 字节边界对齐 COMMON 块中的数据。还允许编译器采用自然对齐方式并生成速度更快的多字装入/存储以引用数据。
在 SPARC 处理器上,如果结合使用 -dalign 和 -xtypemap=real:64,double:64,integer:64,还会导致 64 位整数变量进行双字对齐。
注 - -dalign 可能导致数据以非标准方式对齐,从而使 EQUIVALENCE 或 COMMON 中的变量出现问题,并可能在需要 -dalign 的情况下使程序变为不可移植。
-dalign 是一个宏,它等效于:
-xmemalign=8s -aligncommon=16(在 SPARC 平台上)
-aligncommon=8(在 32 位 x86 平台上)
-aligncommon=16(在 64 位 x86 平台上)。
如果使用 -dalign 编译某个子程序,请使用 -dalign 编译该程序的所有子程序。此选项包含在 -fast 选项中。
请注意,因为 -dalign 调用 -aligncommon,所以此选项还影响标准数值序列类型。请参见3.4.1 -aligncommon[ ={1|2|4| 8|16}]。
强制与 8 字节边界对齐数据。
值为 yes 或 no。如果是 yes,所有变量将与 8 字节边界对齐。缺省值为 -dbl_align_all=no。
在 64 位环境中使用 -m64 进行编译时,此标志会使四精度数据与 16 字节边界对齐。
此标志不改变 COMMON 块或用户定义结构中的数据的布局。
与 -dalign 一起使用可以提高多字装入/存储的效率。
如果使用了此标志,则所有例程都必须使用此标志进行编译。
分析循环以了解迭代间数据的依赖性并重构循环。 循环重构包括循环互换、循环熔合和标量替换。
如果不指定 -depend,则缺省值为 -depend= es。如果指定 -depend 但不指定参数,则编译器采用 -depend= es。
要关闭依赖性分析,应使用 -depend=no 进行编译。
-xdepend 与 -depend 等效。
显示由 f95 命令行驱动程序生成的命令,但不进行编译。
此选项在调试时非常有用,它显示编译器为执行编译将调用的命令和子选项。
如果未指定,则缺省值为 -dy。
与 -Bx 不同,此选项适用于整个可执行文件,并且只需在命令行上出现一次。
–dy|–dn 是加载器和链接程序选项。如果使用这些选项在不同的步骤中编译和链接,则在链接步骤中需要相同选项。
在 64 位 Solaris 环境中,许多系统库不只是作为共享动态库提供,其中包括 libm.so 和 libc.so(不提供 libm.a 和 libc.a)。这意味着,-dn 和 -Bstatic 可能会导致在 64 位 Solaris 环境、32 位 x86 Solaris 平台以及所有 32 位 Solaris 平台(从 Solaris 10 发行版开始)中出现链接错误。这些情况下应用程序必须与动态库链接。
接受扩展长度的输入源代码行。
扩展的源代码行中最多可以包含 132 个字符。编译器会在右侧用结尾空白一直填充到第 132 列。如果在使用 -e 进行编译时使用续行,则不跨行拆分字符常量;否则,可能会在常量中插入不必要的空白。
禁止由标记名称列出的警告消息。
禁止显示在标记名称的逗号分隔列表 taglist 中指定的警告消息。如果选项值为 %all,则禁止显示所有警告,这在效果上等同于 -w 选项。 如果选项值为 %none,则不禁止显示任何警告。不带参数的 —erroff 与 —erroff=%all 等效。
示例:
f95 -erroff=WDECL_LOCAL_NOTUSED ink.f
使用 -errtags 选项可查看与警告消息关联的标记名称。
与每个警告消息一起显示消息标记。
如果使用 -errtags=yes,编译器的内部错误标记名称将与警告消息一起显示。-errtags 本身与 -errtags=yes 等效。
缺省情况下不显示标记 (-errtags=no)。
demo% f95 -errtags ink.f ink.f: MAIN: "ink.f", line 11: Warning: local variable "i" never used (WDECL_LOCAL_NOTUSED)
taglist 指定应视为错误的警告消息对应的标记名称的逗号分隔列表。如果使用 %all,则将所有警告视为错误。如果使用 %none,则不将任何警告视为错误。
另请参见 -errtags。
创建带有或不带尾随下划线的外部名称。
e 必须是 plain、underscores 或 fsecond-underscore。缺省为 underscores。
–ext_names=plain: 不增加结尾下划线。
–ext_names=underscores: 增加结尾下划线。
–ext_names=fsecond-underscore:在包含一个下划线的外部名称上附加两个下划线,在不包含下划线的外部名称上附加一个下划线。
外部名称是子例程、函数、块数据子程序或标记通用块的名称。此选项既影响例程入口点的名称,又影响调用例程时使用的名称。使用此标志可允许 Fortran 例程调用其他编程语言例程(以及被后者调用)。
提供 fsecond-underscore 是为了与 gfortran 兼容。
将 fpp 预处理程序应用于命令行上列出的 .F、.F90、.F95 和 .F03 源文件,并将处理结果写入同名文件,但将该文件的扩展名更改为 .f(或者是 .f95 或 .f03),不进行编译。
示例:
f95 -F source.F
将已处理的源文件写入 source.f
fpp 是 Fortran 的缺省预处理程序。通过指定 -xpp=cpp,可以改为选择 C 预处理程序 cpp。
-f 是一个传统的选项标志,它与 -aligncommon=16 等效。首选使用 -aligncommon。
缺省情况下,按 4 字节边界对齐 COMMON 块中的数据。-f 将 COMMON 块和 EQUIVALENCE 类中双精度和四精度数据的数据布局更改为在内存中根据“自然”对齐方式(即,与 8 字节边界对齐)放置;如果在 64 位 环境中使用 -m64 进行编译,则四精度数据与 16 字节边界对齐。
注 - -f 可能导致数据以非标准方式对齐,从而使 EQUIVALENCE 或 COMMON 中的变量出现问题,并可能在需要 -f 的情况下使程序变为不可移植。
如果使用 -f 编译程序的任何部分,则要求使用 -f 编译该程序的所有子程序。
此选项本身并不允许编译器针对双精度和四精度数据生成速度更快的多字获取/存储指令。-dalign 选项执行此操作并调用 -f。相对于以前的 -f,请优先使用 -dalign。请参见3.4.10 -dalign。由于 -dalign 是 -fast 选项的一部分,因此 -f 也是它的一部分。
选择 FORTRAN 77 兼容性模式。
此选项标志用于将传统的 FORTRAN 77 源程序(包括包含 Sun WorkShop f77 编译器所接受的语言扩展的源程序)移植到 f95 Fortran 编译器。(不再存在单独的 FORTRAN 77 编译器。)
list 是从下面可能的关键字中选择的逗号分隔列表:
|
对于所有关键字,通过在前面加上 no% 可禁用相应功能,如下所示:
-f77=%all,no%backslash
如果未指定 -f77,则缺省为 -f77=%none。使用不带列表的 -f77 与指定 -f77=%all 是等效的。
异常捕获与 -f77:
指定 -f77 并不会更改 Fortran 捕获模式(即 -ftrap=common)。在运算异常捕获方面,f95 与 Fortran 77 编译器的行为不同。Fortran 77 编译器允许在出现运算异常之后继续执行。使用 -f77 进行编译还会使程序在退出时调用 ieee_retrospective,以报告可能出现的任何运算异常。在命令行上,在 -f77 选项标志之后指定 -ftrap=%none 可以模拟原来的 Fortran 77 行为。
有关f77 兼容性以及从 Fortran 77 迁移到 Fortran 95 的完整信息,请参见4.12 混合语言。
有关如何处理可能导致错误结果的非标准编程症状,另请参见 -xalias 标志。
选择优化执行性能的选项。
注 - 该选项定义为其他选项的特殊选择集,它会随版本和编译器的不同而变化。另外,-fast 选择的某些选项并非在所有平台上都可用。使用 -dryrun 标志进行编译可查看 -fast 的扩展。
-fast 可为某些基准测试应用程序提供高性能。但是,对于您的应用程序,选项的特定选择可能是合适的,也可能是不合适的。使用 -fast 是编译应用程序以获得最佳性能的良好起点。但是,仍然可能需要进行其他调整。如果用 -fast 编译时程序不能正常运行,请仔细查看组成 -fast 的各个选项,只调用那些适用于您程序的选项,使程序正常运行。
另请注意,用 -fast 编译的程序对于一些数据集可能会表现出良好的性能和精确的结果,而对于另一些数据集则不然。对于那些依赖浮点运算的特殊属性的程序,请避免用 -fast 进行编译。
由于 -fast 选择的某些选项具有链接含义,因此,如果在不同的步骤中进行编译和链接,还请务必用 -fast 进行链接。
–fast 会选用以下选项:
-xtarget=native 硬件目标。 如果打算在编译计算机之外的其他目标计算机上运行程序,请在 -fast 之后加上代码生成器选项。例如: f95 -fast -xtarget=ultraT2 ...
-depend ??选项分析循环的数据依赖性和可能的重构。(在优化级别 -xO3 和更高级别上进行编译时,此选项始终启用。)
-libmil 选项,用于系统提供的内联扩展模板。 对于依赖异常处理的 C 函数,请在 -fast 之后加上 -nolibmil(如 -fast -nolibmil)。如果使用了 -libmil,则使用 errno 或 matherr(3m) 无法检测到异常。
-fsimple=2 选项,用于主动浮点优化。如果要求严格遵循 IEEE 754 标准,则 –fsimple=2 是不合适的。请参见3.4.34 -fsimple[ ={1|2|0}]。
-dalign 选项可为通用块中的双精度和四精度数据生成双字装入和存储。使用此选项可以在通用块中生成非标准的 Fortran 数据对齐。
-xvector=lib 使用向量参数将 DO 循环内的某些数学库调用变换为对向量化库等效例程的单个调用。(SPARC)
–fns 选择非标准浮点运算异常处理和渐进下溢。请参见3.4.28 -fns[ ={yes| no}]。
选择 -fround=nearest,因为 —xvector 和 —xlibmopt 要求使用该选项。(Solaris)
-ftrap=common 用于捕获常见的浮点异常,在 f95 中处于启用状态。
-nofstore 对强制表达式具有结果精度这一行为加以取消。(x86)
在 x86 平台上,-xregs=frameptr 允许编译器将帧指针寄存器用作通用寄存器。有关详细信息,尤其是在编译混合 C、C++ 和 Fortran 源代码情况下的详细信息,请参见 -xregs=frameptr 的描述。在 -fast 之后指定 -xregs=no%frameptr,帧指针寄存器将不会作为通用寄存器使用。(x86)
可以对此列表进行增减,方法是在 -fast 选项之后加上其他选项,如下所示:
f95 -fast -fsimple=1 -xnolibmopt ...
它会覆盖 -fsimple=2 选项,并禁用由 -fast 选择的 -xlibmopt。
由于 -fast 会调用 -dalign、-fns 和 -fsimple=2,因此用 -fast 编译的程序会导致非标准浮点运算、非标准数据对齐以及非标准表达式求值顺序。对于大多数程序来说,这些选择可能是不合适的。
请注意,由 -fast 标志选择的一组选项会随各个编译器发行版而发生变化。使用 -dryrun 调用编译器可显示 -fast 扩展:
<sparc>%f95 -dryrun -fast |& grep ### ### command line files and options (expanded): ### -dryrun -xO5 -xarch=sparcvis2 -xcache=64/32/4:1024/64/4 -xchip=ultra3i -xdepend=yes -xpad=local -xvector=lib -dalign -fsimple=2 -fns=yes -ftrap=common -xlibmil -xlibmopt -fround=nearest
指定固定格式的 Fortran 95 源输入文件。
无论采用哪个文件扩展名,命令行上的所有源文件都将被解释为固定格式文件。通常,f95 仅将 .f 文件解释为固定格式文件,而将 .f95 解释为自由格式文件。
与 -help 等效。
(SPARC) 启用自动生成浮点乘加指令。-fma=none 禁用生成这些指令。-fma=fused 允许编译器通过使用浮点乘加指令尝试查找机会来提高代码性能。缺省值为 -fma=none。
编译器生成乘加指令的最低要求为 -xarch=sparcfmaf,优化级别至少为 -xO2。如果已生成乘加指令来避免在不支持它们的平台上执行程序,编译器将标记二进制程序。
乘加指令可以免除乘法和加法之间的中间舍入步骤。因此,如果使用 -fma=fused 编译,程序可能会生成不同的结果,但精度通常会增加而不是降低。
按非标准首选项初始化浮点硬件。
此选项是以下选项标志组合的宏:
–fns -ftrap=common
指定 -fnonstd 大致等效于 Fortran 主程序开始处的以下两个调用。
i=ieee_handler("set", "common", SIGFPE_ABORT) call nonstandard_arithmetic()
nonstandard_arithmetic() 例程替代了早期发行版中已过时的 abrupt_underflow() 例程。
主程序必须使用此选项进行编译才能有效。
使用此选项初始化浮点硬件,以达到下列目的:
在出现浮点异常时终止(捕获)该异常。
如果下溢结果将提高速度,而不是生成 IEEE 标准所要求的次正规数,则将该结果刷新为零。
有关渐进下溢和次正规数的更多信息,请参见 -fns。
通过 -fnonstd 选项,可以针对浮点溢出、被零除和无效运算异常启用硬件陷阱。这些情况将转换为 SIGFPE 信号,而且如果程序没有 SIGFPE 处理程序,它将以转储内存而终止。
有关更多信息,请参见 ieee_handler(3m) 和 ieee_functions(3m) 手册页,以及《数值计算指南》和《Fortran 编程指南》。
缺省值为标准浮点模式 (–fns=no)。(请参见《Fortran 编程指南》的“浮点运算”一章。)
可以选择使用 =yes 或 =no,提供了一种在包括 -fns 的其他宏标志(如 -fast)之后切换该标志的方式。-fns 不带值等同于 -fns=yes。
此选项标志在程序开始执行时启用非标准浮点模式。在 SPARC 平台上,指定非标准浮点模式会禁用“渐进下溢”,从而导致将微小的结果刷新为零,而不是生成次正规数。此外,还会导致次正规操作数在无提示的情况下替换为零。在那些不支持硬件中的渐进下溢和次正规数的 SPARC 系统上,使用此选项将显著提高某些程序的性能。
下表中的 x 不会导致总下溢,当且仅当 |x| 处于所示范围之一时,x 才是一个次正规数:
表 3-8 低于正常的 REAL 和 DOUBLE
|
有关次正规数的详细信息,请参见《数值计算指南》;有关此选项和类似选项的更多信息,请参见《Fortran 编程指南》的“浮点运算”一章。(一些算术家使用术语非正规数来代替次正规数。)
缺省情况下,对浮点首选项进行标准初始化:
在 x86 平台上,此选项仅对 Pentium III 和 Pentium 4 处理器(SSE 或 SSE2 指令集)启用。
在 x86 上,-fns 选择 SSE 刷新为零模式以及非正规数为零模式(如果可用的话)。此标志导致将次正规结果刷新为零。如果可用的话,此标志还导致将次正规操作数视为零。此标志对使用 SSE 或 SSE2 指令集的传统 x87 浮点运算没有影响。
主程序必须使用此选项进行编译才能有效。
检测格式化输入中的浮点溢出。
如果指定了 -fpover=yes ,则 I/O 库将检测格式化输入中的运行时浮点溢出并返回错误条件 (1031)。缺省情况下不进行此类溢出检测 (–fpover=no)。不带值的 -fpover 与 -fpover=yes 等效。同 —ftrap 组合使用可获得完整的诊断信息。
通过 fpp 预处理程序传递在 f95 命令行上列出的所有输入源文件,而不管文件扩展名为何。(通常,fpp 仅自动预处理扩展名为 .F、.F90 或 .F95 的文件。)另请参见 3.4.152 -xpp={ fpp|cpp}。
在 x86 平台上,将浮点精度模式设置为 single、double 或 extended。
如果值为 single 或 double,此标志会在程序启动时将舍入精度模式相应地设置为单精度或双精度。如果值为 extended,,或在缺省情况下且未指定 -fprecision 标志,则舍入精度模式将初始化为扩展精度。
该选项仅在 x86 系统上且仅在编译主程序时才有效,但如果编译 64 位 (-m64) 或 SSE2 启动的 (-xarch=sse2) 处理器,忽略此选项。在 SPARC 系统上也忽略此选项。
命令行上的所有源文件都将被解释为 f95 自由格式源文件,而不管文件扩展名为何。通常,f95 将 .f 文件解释为固定格式文件,而将 .f95 解释为自由格式文件。
设置启动时有效的 IEEE 舍入模式。
主程序必须使用此选项进行编译才能有效。
该选项将 IEEE 754 舍入模式设置为:
可以由编译器在对常量表达式求值时使用。
是在程序初始化过程中在运行时建立的。
如果值为 tozero、negative 或 positive,该选项在程序开始执行时将舍入方向相应地设置为舍入为零、舍入为负无穷大或舍入为正无穷大。如果未指定 -fround,则将 -fround=nearest 用作缺省值,舍入方向是舍入为最接近的值。其含义与 ieee_flags 函数相同。(请参见《Fortran 编程指南》的“浮点运算”一章。)
选择浮点优化首选项。
允许优化器作出有关浮点运算的简化假定。(请参见《Fortran 编程指南》的“浮点运算”一章。)
为了获得一致的结果,请使用同一 -fsimple 选项编译程序的所有单元。
缺省值为:
如果不使用 -fsimple 标志,则编译器缺省为 -fsimple=0
如果使用不带值的 -fsimple,则编译器使用 -fsimple=1
各种浮点简化级别如下:
不允许简化假定。保持严格的 IEEE 754 符合性。
允许适度的简化。产生的代码与 IEEE 754 不完全一致,但多数程序所产生的数值结果没有更改。
在 -fsimple=1 的情况下,优化器可假定:
在进程初始化之后,IEEE 754 缺省舍入/捕获模式不发生改变。
可以删除不生成可见结果(潜在的浮点异常除外)的计算。
以无穷大或 NaN(“不是数”)为操作数的计算不需要将 NaN 传播到其结果;例如,x*0 可以由 0 替换。
如果使用 -fsimple=1,则不允许优化器进行完全优化,而不考虑舍入或异常。特别是,在运行时舍入模式包含常量的情况下,浮点计算不能由产生不同结果的计算替换。
除 —fsimple=1 外,还允许主动浮点优化。这会导致某些程序因表达式求值方式的变化而生成不同的数值结果。尤其是,使用 -fsimple=2 可能会违反如下 Fortran 标准规则:要求编译器用显式圆括号将子表达式括起来以控制表达式求值顺序。对于依赖此规则的程序,这会导致数值舍入差异。
例如,如果使用 -fsimple=2,编译器可能将 C-(A-B) 计算为 (C-A)+B,从而违反了有关显式圆括号的标准规则(如果生成的代码已更好地进行了优化)。编译器还可能将 x/y 的重复计算替换为 x*z,其中的 z=1/y 计算一次并暂时保存,以消除成本较高的除法运算。
对于依赖浮点运算的特定属性的程序,不得使用 -fsimple=2 进行编译。
即使使用 -fsimple=2,也仍然不允许优化器在程序中引入浮点异常,如果不在这样的程序中引入浮点异常,该程序将不生成任何异常。
–fast 会选择 -fsimple=2。
对于赋值语句,此选项将所有浮点表达式强制为目标变量的精度。这是缺省值。但是,-fast 选项包括可用来禁用此选项的 -nofstore。-fast 后跟 -fstore 可以重新打开此选项。
t 是一个逗号分隔列表,它包含以下项中的一个或多个:
%all, %none, common , [no%]invalid , [no%]overflow , [no%]underflow , [no%]division , [no%]inexact 。
-ftrap=common 是 -ftrap=invalid,overflow,division 的宏。
f95 的缺省值为 -ftrap=common。这与 C 和 C++ 编译器的缺省值 (-ftrap=none) 不同。
设置在启动时有效的 IEEE 754 捕获模式,但不安装 SIGFPE 处理程序。可以使用 ieee_handler(3M) 或 fex_set_handling(3M) 启用陷阱并同时安装 SIGFPE 处理程序。如果指定多个值,则按从左到右顺序处理列表。按照定义,常见异常包括无效、被零除和溢出。
示例: -ftrap=%all,no%inexact 表示设置除 inexact 以外的所有陷阱。
-ftrap=t 的含义与 ieee_flags() 基本相同,不同之处是:
%all 打开所有捕获模式,并会导致捕获伪异常和预期异常。请改用 common。
%none 关闭所有捕获模式。
no% 前缀关闭该特定捕获模式。
主程序必须使用此选项进行编译才能有效。
有关详细信息,请参见《Fortran 编程指南》的“浮点运算”一章。
指示链接程序生成共享动态库。如果不使用 -G,则链接程序生成可执行文件。如果使用 -G,它将生成动态库。将 -o 与 -G 一起使用可以指定要写入的文件的名称。有关详细信息,请参见《Fortran 编程指南》的“库”一章。
生成其他符号表信息,以便使用 dbx(1) 调试实用程序进行调试,并使用性能分析器进行性能分析。
虽然在不指定 -g 的情况下也可以进行一些调试,但是 dbx 和 debugger 的完整功能只供那些使用 -g 编译的编译单元使用。
与 -g 一起指定的其他选项的某些功能可能是有限的。有关详细信息,请参见 dbx 文档。
要使用性能分析器的完整功能,请使用 -g 进行编译。虽然某些性能分析功能不需要使用 -g,但必须使用 -g 进行编译,以便查看注释的源代码、部分函数级别信息以及编译器注释消息。(请参见 analyzer(1) 手册页和Solaris Studio 性能分析器手册。)
使用 -g 生成的注释性消息说明编译器在编译程序时进行的优化和变换。通过 er_src(1) 命令,可以显示与源代码交错的消息。
请注意,仅当编译器实际执行了优化时,才会出现注释性消息。如果请求高优化级别(如使用 -xO4 或 -fast),则更有可能看到注释性消息。
此选项将被传递给链接程序。有关详细信息,请参见 Oracle Solaris《链接程序和库指南》以及《Fortran 编程指南》的“库”一章。
-hname 选项将名称 name 记录到共享动态库中,作为库的内部名称创建。-h 和 name 之间的空格是可选的(除非库名称是 elp,此时要求使用空格)。通常,name 必须与跟在 -o 后面的内容相同。如果不同时指定 -G,则使用此选项是无意义的。
如果不使用 -hname 选项,则在库文件中不记录内部名称。
如果库具有内部名称,则每当运行引用该库的可执行程序时,运行时链接程序将在其搜索的任何路径中搜索具有相同内部名称的库。在指定了内部名称的情况下,在运行时链接过程中搜索库更为灵活。此选项还可用于指定共享库的版本。
如果没有共享库的内部名称,则链接程序将改用共享库文件的特定路径。
显示编译器选项的摘要列表。
另请参见3.4.118 -xhelp=flags。
在 INCLUDE 文件搜索路径的开始处插入目录路径 path。在 -I 和 path 之间允许有空格。无效目录将被忽略,并且不显示警告消息。
include 文件搜索路径是在其中搜索 INCLUDE 文件(出现在预处理程序 #include 指令或 Fortran INCLUDE 语句中的文件名)的目录的列表。
搜索路径还用于查找 MODULE 文件。
示例: 在 /usr/app/include 中搜索 INCLUDE 文件:
demo% f95 -I/usr/app/include growth.F
在命令行上可以出现多个 -Ipath 选项。每个选项都添加到搜索路径列表的顶部(搜索的第一个路径)。
INCLUDE 或 #include 的相对路径的搜索顺序如下:
要调用预处理程序,您必须使用 .F、.F90、.F95 或 .F03 后缀来编译源文件。
使用 —xtypemap=integer:64 指定该编译器的 8 字节 INTEGER。
启用或禁用指定例程的内联。
请求优化器对出现在函数和子例程名称列表(用逗号分隔)中的用户编写例程进行内联。在例程名之前加上 no% 可禁用对该例程的内联。
内联是一种优化方法,编译器可以通过该方法有效地将子程序引用(如 CALL 或函数调用)替换为实际的子程序代码本身。内联通常为优化器提供更多生成高效代码的机会。
指定 %auto 可以在优化级别 -O4 或 -O5 上启用自动内联。如果使用 -inline 指定了显式内联,则这些优化级别的自动内联会正常关闭。
如果在未指定任何函数或 %auto 的情况下指定了 -xinline=,则表示不内联源文件中的任何例程。
示例:对 xbar、zbar 和 vpoint 例程进行内联:
demo% f95 -O3 -inline=xbar,zbar,vpoint *.f
下面是一些限制;不发出任何警告:
必须在 -O3 或更高级别进行优化。
例程的源代码必须位于所编译的文件中,除非还指定了 -xipo 或 –xcrossfile。
编译器确定实际内联是否有利和安全。
-inline 与 -O4 一起使用可禁用编译器通常执行的自动内联,除非还指定了 %auto。如果使用 -O4,则编译器通常会尝试对用户编写的所有适当的子例程和函数进行内联。-inline 与 -O4 一起使用可能会降低性能,因为优化器只能对列表中的那些例程进行内联。在这种情况下,请使用 %auto 子选项启用 -O4 和 -O5 级别的自动内联。
demo% f95 -O4 -inline=%auto,no%zpoint *.f
在上例中,用户在禁止对编译器可能尝试的例程 zpoint() 进行任何可能的内联的同时,还启用了 -O4 级别的自动内联。
以全局方式为所有的格式化输入/输出运算设置 ROUND= 说明符。
如果使用 -iorounding=compatible,数据转换后的值是与两个最接近表示更接近的值,如果值正好在两者中间,则是离 0 远的值。
如果使用 -iorounding=processor-defined,则舍入模式是处理器的缺省模式。在未指定 -iorounding 时,这是缺省值。
保留在编译期间所创建的临时文件。
(已过时)与 -pic 等效。
(已过时)与 -PIC 等效。
将 path 添加到要在其中搜索库的目录路径的列表中。
将 path 添加到目标库搜索目录列表的前面。-L 和 path 之间的空格是可选的。此选项将传递给链接程序。另请参见3.4.49 -lx。
在生成可执行文件时,ld(1) 在 path 中搜索归档库(.a 文件)和共享库(.so 文件)。ld 在搜索缺省目录之前搜索 path。(有关库搜索顺序的信息,请参见《Fortran 编程指南》的“库”一章。)有关 LD_LIBRARY_PATH 和 -Lpath 之间的相对顺序,请参见 ld(1)。
示例: 使用 -Lpath 指定库搜索目录:
demo% f95 -L./dir1 -L./dir2 any.f
将 -lx 传递给链接程序,以指定供 ld 在其中搜索未解析引用的其他库。ld 与对象库 libx 链接。如果共享库 libx.so 可用(且未指定 -Bstatic 或 -dn),则 ld 使用它,否则,ld 使用静态库 libx.a。如果它使用共享库,则将该名称生成到 a.out 中。在 -l 和 x 字符串之间不允许有空格。
示例: 与库 libVZY 进行链接:
demo% f95 any.f -lVZY
再次使用 -lx 以便与更多的库链接。
示例: 与库 liby 和 libz 进行链接:
demo% f95 any.f -ly -lz
有关库搜索路径和搜索顺序的信息,另请参见《Fortran 编程指南》的“库”一章。
某些 libm 库例程有内联模板。此选项会选择那些为当前使用的浮点选项和平台生成速度最快的可执行文件的内联模板。
有关更多信息,请参见 libm_single(3F) 和 libm_double(3F) 手册页。
与 Oracle Solaris Studio 提供的性能库进行链接。(请参见《Sun Performance Library User's Guide》。)
显示哪些循环通过 –autopar 选项实现了并行化,而哪些未实现并行化。
–loopinfo 显示有关标准错误的消息的列表:
demo% f95 -c -fast -autopar -loopinfo shalow.f ... "shalow.f", line 172: PARALLELIZED, and serial version generated "shalow.f", line 173: not parallelized, not profitable "shalow.f", line 181: PARALLELIZED, fused "shalow.f", line 182: not parallelized, not profitable ... ...etc
指定 MODULE 目录、归档或文件。
在路径中查找当前编译中引用的 Fortran 模块。在当前目录之外的目录中搜索此路径。
path 可以指定目录、预编译模块文件的 .a 归档文件,或 .mod 预编译模块文件。编译器通过检查文件的内容来确定其类型。
要在其中搜索模块的 .a 归档文件必须在 -M 选项标志上显式指定。缺省情况下,编译器不搜索归档文件。
只搜索与出现在 USE 语句中的 MODULE 名称同名的 .mod 文件。例如,语句 USE ME 使编译器仅查找模块文件 me.mod。
搜索模块时,编译器为在其中写入模块文件的目录指定更高的优先级。这是由 -moddir 编译器选项或 MODDIR 环境变量控制的。如果上述两者都未指定,则缺省写入目录为当前目录。如果两者均已指定,则写入目录是 -moddir 标志指定的路径。
这意味着,如果只出现了 -M 标志,则先在当前目录中搜索模块,然后再在 -M 标志上列出的任何对象中进行搜索。要模拟以前发行版的行为,请使用:
-moddir=empty-dir -Mdir -M
其中 empty-dir 是空目录的路径。
如果在所搜索的任何其他位置均未找到模块文件,则将在 -I path 所指定的目录中搜索这些文件。
-M 和路径之间可以有空格例如,-M /home/siri/PK15/Modules
在 Solaris 上,如果路径标识一个非归档文件或模块文件的常规文件,则编译器会将该选项传递给链接程序 ld,链接程序会将该选项作为链接程序映射文件。与 C 和 C++ 编译器类似,此功能作为公用选项提供。
有关 Fortran 中模块的更多信息,请参见4.9 模块文件。
使用 -m32 创建 32 位可执行文件和共享库。使用 -m64 创建 64 位可执行文件和共享库。
在所有 Solaris 平台和不支持 64 位的 Linux 平台上,ILP32 内存模型(32 位 int、long、pointer 数据类型)是缺省值。在启用了 64 位的 Linux 平台上缺省为 LP64 内存模型(64 位 long 和指针数据类型)。-m64 仅允许在启用了 LP64 模型的平台上使用。
使用 -m32 编译的目标文件或库不能同使用 -m64 编译的目标文件或库链接。
在 x64 平台上编译具有大量静态数据的应用程序时,可能还需要使用 -m64, -xmodel=medium。
请注意,部分 Linux 平台不支持中等模型。
注意,在以前的编译器发行版中,通过选择带有 -xarch 的指令集来实现内存模型 ILP32 或 LP64 。从 Solaris Studio 12 编译器开始,就不再是这样了。在大多数平台上,仅需向命令行添加 -m64 即可创建 64 位对象。
在 Solaris 上,缺省为 -m32。在支持 64 位程序的 Linux 系统上,缺省为 -m64 -xarch=sse2。
指定编译器将编译的 .mod MODULE 文件写入的位置。
编译器会将它编译的 .mod MODULE 信息文件写入由 path 指定的目录。也可以使用 MODDIR 环境变量指定目录路径。如果同时使用这两种方法指定了目录路径,则此选项标志优先。
有关 Fortran 中模块的更多信息,请参见4.9 模块文件。
使用此选项,可以通过 Oracle Solaris 线程或 POSIX 线程 API 编译和链接多线程代码。-mt=yes 选项确保按正确的顺序链接库。
此选项将 -D_REENTRANT 传递给预处理程序。
在 Linux 平台上,只有 POSIX 线程 API 可用。(Linux 平台上没有 libthread)。因此,Linux 平台上的 -mt=yes 添加 -lpthread 而不是 -lthread。要在 Linux 平台上使用 POSIX 线程,请使用 -mt 进行编译。
请注意,当使用 -G 进行编译时,-mt=yes 不会自动包括 -lthread 和 -lpthread。生成共享库时,您需要显式列出这些库。
-xopenmp 选项(用于使用 OpenMP 共享内存并行化 API)自动包括 -mt=yes。
如果使用 -mt=yes 进行编译并在单独的步骤中进行链接,则除了在编译步骤中外,还必须在链接步骤中使用 -mt=yes 选项。如果使用 -mt=yes 编译和链接一个转换单元,则必须使用 -mt=yes 编译和链接该程序的所有单元。
-mt=yes 是编译器的缺省行为。如果不需要此行为,请使用 -mt=no 进行编译。
选项 -mt 等效于 -mt=yes。
(已过时)优化主机系统的性能。
此选项与首选设置 -xtarget=native 等效。-fast 选项设置 -xtarget=native。
禁用由先前出现在命令行上的 -autopar 调用的自动并行化。
取消先前出现在命令行上的任何 -depend。-depend=no 的使用优先级高于 nodepend。
编译器的缺省值为 -fstore。-fast 包括 -nofstore。
不自动与任何系统库或语言库链接;也就是说,不将任何缺省的 -lx 选项传递给 ld。正常行为是将系统库自动链接到可执行文件,而无需用户在命令行上指定它们。
使用 -nolib 选项,可以更轻松地静态链接其中的一个库。最终执行需要系统库和语言库。手动链接它们是您的责任。通过此选项,您可以完全控制与库的链接。
将 libm(静态)和 libc(动态)与 f95 链接:
demo% f95 -nolib any.f95 -Bstatic -lm -Bdynamic -lc
-lx 选项的顺序是很重要的。请遵循示例所示的顺序。
取消命令行上的 -libmil。
在 -fast 选项之后使用此选项,可禁用 libm 数学例程的内联:
demo% f95 -fast -nolibmil …
禁用命令行上的 -reduction。
此选项禁用 -reduction。
不会将运行时共享库搜索路径生成到可执行文件中。
编译器通常将一个路径生成到可执行文件中,从而告知运行时链接程序查找所需共享库的位置。该路径取决于具体的安装。-norunpath 选项阻止将该路径生成到可执行文件中。
如果已将库安装在一些非标准位置,而且您不希望在另一位置运行可执行文件时让加载器搜索这些路径,则此选项是很有用的。请与 -Rpaths 进行比较。
有关更多信息,请参见《Fortran 编程指南》的“库”一章。
n 可以是 1、2、3、4 或 5。在 -O 和 n 之间不允许有空格。
如果未指定 -O[n],则仅执行非常基本级别的优化,即限于局部公共子表达式消除和无用代码分析。与不使用优化相比,使用优化级别进行优化可以大大提高程序的性能。对于大多数程序,建议使用 -O(它设置 -O3)或 -fast(它设置 -O5)。
每个 -On 级别的优化都包括在低于它的级别上执行的优化。通常,编译程序时使用的优化级别越高,获得的运行时性能也越高。但是,优化级别越高,编译时间会越长,可执行文件也越大。
使用 -g 进行调试不会抑制 -On,但是 -On 在某些方面会限制 -g;请参见 dbx 文档。
-O3 和 -O4 选项降低调试的效用,这样您无法从 dbx 显示变量,但仍可以使用 dbx where 命令获取符号回扫。
如果优化器内存不足,则它尝试在较低优化级别上再次进行,即继续在原始级别上对后续例程进行编译。
有关优化的详细信息,请参见《Fortran 编程指南》的“性能分析”和“性能与优化”这两章。
此选项与 -O3 等效。
提供最少的语句级优化。
如果更高的级别会导致编译时间过长,或者超过了可用交换空间,请使用此选项。
启用基本块级别的优化。
通常,此级别产生的代码大小是最小的。(另请参见 -xspace。)
–O3 的使用应优先于 -O2,除非 -O3 导致编译时间过长、超过交换空间或生成过大的可执行文件。
在函数级别上增加循环解开和全局优化。自动添加 -depend。
通常,-O3 生成的可执行文件较大。
通常,-O4 生成的可执行文件较大(因为进行了内联)。
-g 选项会禁止上述的 -O4 自动内联。–xcrossfile 可增加使用 -O4 情况下的内联范围。
尝试主动优化。
仅适用于程序中占用计算时间最多的小段代码。-O5 的优化算法要花费更多的编译时间,而且在用于过大的源程序代码段时会降低性能。
如果使用分析反馈进行优化,则此级别上的优化更有可能提高性能。请参见 -xprofile=p。
指定要写入的可执行文件的名称。
在 -o 和 filename 之间必须有一个空格。 如果不设置此选项,则缺省设置是将可执行文件写入 a.out。在与 -c 一起使用时,-o 指定目标 .o 目标文件;在与 -G 一起使用时,它指定目标 .so 库文件。
编译 DO 循环以便至少执行它们一次。如果上限小于下限,则在标准 Fortran 中根本不执行 DO 循环;这一点与 Fortran 的某些传统实现是不同的。
(已过时)为使用 prof 分析器进行分析而编译。
准备目标文件以进行分析,请参见 prof (1)。如果在不同的步骤中编译和链接,并且使用 -p 选项编译,请确保使用 -p 选项链接。将 -p 与 prof 结合使用主要是为了与老系统兼容。使用 gprof 进行 -pg 分析可能是更好的方式。有关详细信息,请参见《Fortran 编程指南》的“性能分析”一章。
插入填充以便提高高速缓存的使用效率。
如果数组或字符变量是静态的局部数组或变量且未初始化,或者位于通用块中,则此选项在数组之间或字符变量之间插入填充。额外填充将数据定位以便更好地利用高速缓存。在任意一种情况下,数组或字符变量都不能是等效的。
如果 p 存在,则 p 必须为 %none,或者为 local 或 common 之一(或两者):
|
如果同时指定了 local 和 common,则它们可以以任意顺序显示。
-pad 的缺省值:
缺省情况下编译器不进行填充。
如果指定了 -pad 但不带值,则它与 -pad=local,common 等效。
-pad[=p] 选项适用于满足以下条件的项:
项是数组或字符变量
项是静态本地的或处于通用块中
有关本地或静态变量的定义,请参见3.4.83 -stackvar。
程序必须符合以下限制:
数组或字符串都不是等效的
如果为了对引用通用块的某个文件进行编译而指定了 -pad=common,则在对引用该通用块的所有文件进行编译时也必须指定它。此选项更改通用块内变量的间距。如果一个程序单元是使用该选项编译的,而另一个程序单元不是用该选项编译的,则在应该引用通用块中的同一位置时,可能会引用不同的位置。
如果指定了 -pad=common,不同程序单元中的通用块变量的声明除变量名称之外必须相同。通用块变量之间插入的填充量取决于这些变量的声明。如果变量在不同程序单元中的大小或等级不同,即使是在同一文件内,变量的位置也可能不同。
如果指定了 -pad=common,则用警告消息标记那些涉及通用块变量的 EQUIVALENCE 声明,而且不填充该块。
如果指定了 -pad=common,请避免通用块中出现索引超出数组边界的情况。如果更改已填充通用块中邻近数据的位置,将导致过度索引 (overindexing) 以不可预知的方式失败。
使用 -pad 时,程序员应确保以一致的方式编译通用块。如果不同程序单元中的通用块没有一致地使用 -pad=common 进行编译,则会导致错误。如果同名的通用块在不同的程序单元中具有不同的长度,则将报告正在使用 -Xlist 进行编译。
为使用 gprof 分析器进行分析而编译。(-xpg 与 -pg 等效)
以 -p 的方式编译自分析代码,但调用一种运行时记录机制,该机制可保存更广泛的统计信息并在程序正常终止时生成 gmon.out 文件。通过运行 gprof 生成执行概要。有关详细信息,请参见 gprof(1) 手册页和《Fortran 编程指南》。
库选项必须跟在源文件和 .o 文件后面(–pg 库是静态的)。
注 - 如果指定了 -pg,则使用 -xprofile 进行编译并无优势。这两个功能中的任一功能不会准备或使用由另一个功能提供的数据。
使用 prof(1) 或 gprof(1)(在 64 位 Solaris 平台上)或者仅使用 gprof(在 32 位 Solaris 平台上)生成的分析中包括大致的用户 CPU 时间。这些时间来自主可执行文件中的例程以及共享库中例程(链接可执行文件时将共享库指定为链接程序参数)的 PC 示例数据(请参见 pcsample(2))。其他共享库(在进程启动后使用 dlopen(3DL) 打开的库)不进行分析。
在 32 位 Solaris 系统中,使用 prof(1) 生成的分析仅限于可执行文件中的例程。通过将可执行文件与 -pg 链接并使用 gprof(1),可以对 32 位共享库进行分析。
Solaris 10 软件不包括使用 -p 编译的系统库。因此,在 Solaris 10 平台上收集的分析不包含系统库例程的调用计数。
不应当使用编译器选项 -p、-pg 或 -xpg 来编译多线程程序,因为这些选项的运行时支持不是线程安全的。如果利用这些选项来编译使用多个线程的程序,则可能会在运行时产生无效结果或段故障。
为执行 gprof 分析而使用 -xpg 编译的二进制代码不应与 binopt(1) 一起使用,因为这两者不能兼容,结合使用会导致内部错误。
如果在不同的步骤中进行编译和链接,并使用 -pg 进行编译,请确保使用 -pg 进行链接。
在 x86 系统上,-pg 与 -xregs=frameptr 不兼容,这两个选项不应一起使用。还请注意,-fast 中包括 -xregs=frameptr。
为共享库编译与位置无关的代码。
在 SPARC 上,–pic 与 -xcode=pic13 等效。有关与位置无关的代码的更多信息,请参见3.4.111 -xcode= keyword。
在 x86 上,生成与位置无关的代码。生成共享库时使用该选项编译源文件。对全局数据的每个引用都生成为全局偏移表中指针的非关联化。每个函数调用都通过过程链接表在 pc 相对地址模式中生成。
使用 32 位地址编译与位置无关的代码。
在 SPARC 上,–PIC 与 -xcode=pic32 等效。有关与位置无关的代码的更多信息,请参见3.4.111 -xcode= keyword。
在 x86 上,—PIC 与 —pic 等效。
将子选项列表 ls 传递到编译阶段 pr。
必须使用空格来分隔 Qoption、pr 和 ls。Q 可以是大写的,也可以是小写的。该列表是一个逗号分隔的子选项列表,其中不包含空格。每个子选项都必须适合于该程序阶段,而且可以以负号开头。
提供此选项主要是为了供支持人员调试编译器的内部。使用 LD_OPTIONS 环境变量可以将选项传递给链接程序。请参见《Fortran 编程指南》中有关链接和库的章节。
与 -p 等效。
将动态库搜索路径生成到可执行文件中。
如果使用此选项,则链接程序 ld(1) 将动态库搜索路径列表存储到可执行文件中。
ls 是一个用冒号分隔的库搜索路径目录列表。-R 和 ls 之间的空格是可选的。
此选项的多个实例并置在一起,各个列表由冒号分隔。
该列表由运行时链接程序 ld.so 在运行时使用。在运行时,将扫描所列出路径中的动态库以满足任何未解析的引用。
使用此选项,用户可以在不使用特殊路径选项查找所需动态库的情况下运行现有的可执行文件。
使用 -Rpaths 生成可执行文件,可将目录路径添加到缺省路径(始终最后搜索它)。
有关更多信息,请参见《Fortran 编程指南》的“库”一章以及 Oracle Solaris《链接程序和库指南》。
所有单精度 REAL 常量都将提升为 REAL*8 常量。双精度 (REAL*8) 常量保持不变。此选项仅适用于常数。要同时提升常量和变量,请参见3.4.167 -xtypemap= spec。
请小心使用此选项标志。当使用已提升为 REAL*8 常量的 REAL*4 常量调用需要 REAL*4 参数的子例程或函数时,此选项标志可能会导致接口问题。此选项标志还可能导致那些读取无格式数据文件的程序出现问题,这些文件是由无格式写入功能使用 I/O 列表上的 REAL*4 常量写入的。
设置缺省输出记录长度。
为预连接单元输出(标准输出)和/或错误(标准错误)设置缺省记录长度(单位为字符)。此选项必须按下面的格式之一来指定:
–recl=out:N
–recl=error:N
–recl=out:N1 ,error:N2
–recl=error:N1 ,out:N2
–recl=all:N
其中,N、N1、N2 为 72 到 2147483646 之间的正整数值。out 指标准输出,error 指标准错误,all 为这两者设置缺省记录长度。缺省值为 -recl=all:80。仅在当前编译的程序有 Fortran 主程序时,此选项才有效。
识别循环中的约简操作。
在自动并行化期间分析循环以了解约简操作。约简操作可能存在舍入误差。
约简操作将数组元素累加为单个标量值。例如,对向量元素求和是典型的约简操作。虽然这些操作违反了可并行化标准,但是编译器可以识别它们,并在指定了 -reduction 时作为特殊情况对它们进行并行化。有关编译器可识别的约简操作的信息,请参见《Fortran 编程指南》的“并行化”一章。
此选项只能与自动并行化选项 —autopar 一起使用。否则,它将被忽略。对于约简操作,不分析显式并行化的循环。
编译并仅生成汇编代码。
编译指定的程序,并在后缀为 .s 的相应文件中保留汇编语言输出,而不创建 .o 文件。
此选项使可执行文件变得更小,并使逆向工程的实施更困难。但是,此选项禁止使用 dbx 或其他工具进行调试,而且覆盖 -g。
(已过时)禁止显示编译器消息。
通常,f95 编译器在编译过程中不发出除错误诊断之外的消息。提供此选项标志是为了与传统的 f77 编译器兼容;除非与 -f77 兼容性标志一起使用,否则使用它是多余的。
尽可能在堆栈上分配局部变量。
此选项使编写递归代码和可重入代码更容易,并在并行化循环时为优化器提供更多自由。
建议将 -stackvar 与任何并行化选项一起使用。
局部变量是除哑元参数、COMMON 变量、从外部作用域继承的变量或可通过 USE 语句访问的模块变量之外的变量。
在 -stackvar 有效的情况下,局部变量是在堆栈上分配的,除非它们具有属性 SAVE 或 STATIC。请注意,显式初始化的变量是使用 SAVE 属性隐式声明的。缺省情况下,未显式初始化但其某些组件已初始化的结构变量,没有使用 SAVE 隐式声明。此外,与具有 SAVE 或 STATIC 属性的变量等效的变量,也隐式具有 SAVE 或 STATIC。
以静态方式分配的变量隐式初始化为零,除非程序为其显式指定了初始值。在堆栈上分配的变量并未隐式初始化(缺省情况下可进行初始化的结构变量的组件除外)。
使用 -stackvar 将大数组放在堆栈上可以使堆栈溢出,从而导致段故障。此时可能需要增加堆栈大小。
执行程序的初始线程有一个主堆栈,而多线程程序的每个辅助线程都有自己的线程堆栈。
主堆栈的缺省大小约为 8 兆字节。在 32 位系统上线程堆栈的缺省大小为 4 兆字节,在 64 位系统上的缺省大小为 8 兆字节。limit 命令(不带参数)可显示当前的主堆栈大小。如果使用 -stackvar 时出现段故障,请尝试增加主堆栈和线程堆栈的大小。
示例: 显示当前的主堆栈大小:
demo% limit cputime unlimited filesize unlimited datasize 523256 kbytes stacksize 8192 kbytes <––– coredumpsize unlimited descriptors 64 memorysize unlimited demo%
demo% limit stacksize 65536
示例: 将每个线程堆栈大小设置为 8 兆字节:
demo% setenv STACKSIZE 8192
通过为 STACKSIZE 环境变量指定值(单位为千字节),可以设置每个从线程使用的堆栈大小:
% setenv STACKSIZE 8192
将每个从线程的堆栈大小设置为 8 MB。
STACKSIZE 环境变量还接受带有 B(字节)、K(千字节)、M(兆字节)或 G(千兆字节)后缀的数值。缺省单位为千字节。
请注意,STACKSIZE 环境变量仅影响使用 —xopenmp 或 —xautopar 选项编译的程序,而不会影响 Solaris 系统上使用 pthreads 接口的程序。
有关与并行化一起使用 -stackvar 的详细信息,请参见《Fortran 编程指南》的“并行化”一章。有关 limit 命令的详细信息,请参见 csh(1)。
使用 -xcheck=stkovf 进行编译,可启用堆栈溢出情况的运行时检查。请参见3.4.109 -xcheck= keyword。
缺省值为 -stop_status=no。
如果使用 -stop_status=yes,则 STOP 语句可以包含整型常量。在程序终止时,该值将传递到环境:
STOP 123
该值的范围必须介于 0 到 255 之间。大于这个范围的值将被截断,并且会发出运行时消息。请注意,尽管将发出编译器警告消息,但是仍将接受
STOP ”stop string’
并将状态值 0 返回到环境。
环境状态变量是 $status(对于 C shell csh)和 $?(对于 Bourne shell sh 和 Korn shell ksh)。
为临时文件定义目录。
将编译器所用临时文件的目录设置为 dir。在此选项字符串中不允许有空格。如果不使用此选项,则将这些文件放在 /tmp 目录中。
此选项优先于 TMPDIR 环境变量的值。
每个编译阶段所用时间。
如果执行中出现严重错误,将发出堆栈跟踪。
当程序生成某些信号时,-traceback 选项会导致可执行文件向 stderr 发出堆栈跟踪、信息转储并退出。如果多个线程都生成一个信号,则只为第一个生成堆栈跟踪。
要使用回溯,请在链接时将 -traceback 选项添加到编译器命令行中。编译时也接受该选项,除非生成可执行二进制文件,否则将忽略此选项。使用 -traceback 和 -G 创建共享库是个错误。
表 3-9 -traceback 选项
|
如果不指定该选项,则缺省值为 -traceback=%none
单独的 -traceback(无值)表示 -traceback=common
注意:如果不需要信息转储,用户可以使用以下方法将 coredumpsize 限制设置为零:
% limit coredumpsize 0
-traceback 选项不影响运行时性能。
识别源文件中的大写字母和小写字母。
不将大写字母视为与小写字母等效。缺省情况下,将大写字母视为小写字母(字符串常量中的字母除外)。如果使用此选项,编译器会将 Delta、DELTA 和 delta 视为不同的符号。此选项不会影响对内部函数的调用。
可移植性以及将 Fortran 与其他语言混合使用可能要求使用 -U。请参见《Fortran 编程指南》中有关将程序移植到 Solaris Studio Fortran 的章节。
取消预处理程序宏 name 的定义。
此选项仅适用于那些调用 fpp 或 cpp 预处理程序的源文件。它会删除同一命令行上由 -Dname 创建的预处理程序宏 name 的任何初始定义(包括由命令行驱动程序隐式放在此处的那些内容)而不管选项出现的顺序如何。它对源文件中的任何宏定义都没有影响。在命令行上可以出现多个 -Uname 标志。-U 和宏 name 之间不得有空格。
报告未声明的变量。
使所有变量的缺省类型都成为未声明的,而不是使用 Fortran 隐式确定类型,就好像 IMPLICIT NONE 出现在每个编译单元中一样。此选项警告存在未声明的变量,并且不覆盖任何 IMPLICIT 语句或显式 type 语句。
启用 DO 循环的解开(如果可能)。
n 是正整数。选项有:
n=1 禁止解开所有循环。
n>1 建议优化器尝试解开循环 n 次。
通常,解开循环可提高性能,但会增加可执行文件的大小。有关此编译器及其他编译器优化的更多信息,请参见《Fortran 编程指南》的“性能与优化”一章。另请参见2.3.1.3 UNROLL 指令。
指定隐式 USE 模块。
list 是模块名称或模块文件名称的逗号分隔列表。
使用 -use=module_name 进行编译,可将 USE module_name 语句添加到正在编译的每个子程序或模块中。使用 -use=module_file_name 进行编译,可为包含在指定文件中的每个模块添加 USE module_name。
有关 Fortran 中模块的更多信息,请参见4.9 模块文件。
详细模式-显示每次编译过程的详细信息。
与 -V 一样,此选项在编译器执行时显示每个工作循环的名称,以及驱动程序使用的选项、宏标志扩展和环境变量的详细信息。
指定对启用的传统 VAX VMS Fortran 扩展的选择。
keywords 说明符必须是以下子选项之一或从中选择的子选项的逗号分隔列表。
|
通过在子选项前面加上 no%,可以单独选择或关闭该子选项。
示例:
-vax=debug,rsize,no%blank_zero
缺省值为 -vax=%none。指定不带任何子选项的 -vax 等效于 -vax=%all。
在编译器对那些用指令显式标记为并行化的循环进行分析时,它发出有关所检测到的某些数据依赖性的警告消息;但是仍将对循环进行并行化。
与 -xopenmp 和 OpenMP API 指令结合使用。
由编译器发出的警告检测到下列情形:
OpenMP 数据共享属性子句使用不当。例如,将变量声明为共享,而在 OpenMP 并行区域中访问该变量会导致数据争用;或者将变量声明为私有,但在并行区域后面使用其在并行区域中的值。
如果在处理所有并行化指令时没有出现任何问题,则不显示警告。
注 - Solaris Studio 编译器支持 OpenMP API 并行化模型。因此,传统的 C$MIC 并行化指令已过时,将被忽略。有关迁移到 OpenMP API 的信息,请参见《OpenMP API 用户指南》。
每个参数与前一个参数之间必须仅以逗号分隔。所有 -W 参数均在其余参数之后进行传递。要将逗号包括为参数的一部分,可以紧挨在逗号之前使用转义符 \(反斜杠)。所有 -W 参数均在常规命令行参数之后进行传递。
例如,-Wa,-o,objfile 按顺序将 -o 和 objfile 传递给汇编程序。此外,-Wl,-I,name 将导致链接阶段覆盖动态链接程序的缺省名称 /usr/lib/ld.so.1。
将参数传递给工具时采用的顺序(相对于所指定的其他命令行选项)在以后的编译器发行版中可能会更改。
下表列出了 c 的可能值。
表 3-10 -W 标志
|
注意:无法使用 -Wd 将 f95 选项传递给 Fortran 编译器。
显示或禁止警告消息。
此选项显示或禁止大多数警告消息。但是,如果一个选项覆盖命令行上先前选项的全部或部分,您确实会收到一条警告消息。
-w0 仅显示错误消息。它等效于 -w。-w1 显示错误和警告。这是不带 -w 情况下的缺省设置。-w2 显示错误、警告和注意。-w3 显示错误、警告、注意和说明。-w4 显示错误、警告、注意、说明和注释。
将 arg 传递给链接程序 ld(1)。等效于 —z arg。
(仅限 Solaris)生成列表并进行全局程序检查 (global program checking, GPC)。
使用此选项可查找潜在的编程错误。它调用额外的编译过程,以便在全局程序中检查子程序调用参数、通用块和参数的一致性。此选项还生成带行号的源代码列表,包括交叉引用表。由 -Xlist 选项发出的错误消息是建议性警告,不会阻止程序的编译和链接。
注 - 请确保在使用 -Xlist 进行编译之前,更正源代码中的所有语法错误。如果运行有语法错误的源代码,可能会产生不可预知的报告。
示例: 检查例程之间的一致性:
demo% f95 -Xlist fil.f
上述示例将以下内容写入输出文件 fil.lst:
带行号的源代码列表(缺省)
有关例程间不一致性的错误消息(嵌入在列表中)
标识符的交叉引用表(缺省)
缺省情况下,将列表写入文件 name.lst,其中 name 采用命令行上列出的第一个源文件。
许多子选项为操作选择提供了更多灵活性。它们是由 -Xlist 主选项的后缀指定的,如下表所示:
表 3-11 –Xlist 子选项
|
有关详细信息,请参见《Fortran 编程指南》的“程序分析和调试”一章。
此选项在 Linux 系统上不可用。
(仅限 x86/x64)-xaddr32=yes 编译标志将生成的可执行文件或共享目标文件限制在 32 位地址空间。
以这种方式编译的可执行文件会导致创建限定为 32 位地址空间的进程。当指定了 -xaddr32=no 时,会产生通常的 64 位二进制文件。如果未指定 -xaddr32 选项,则假定 -xaddr32=no。如果仅指定了 -xaddr32,则使用 -xaddr32=yes。
此选项仅适用于 -m64 编译,并且仅仅在支持 SF1_SUNW_ADDR32 软件功能的 Solaris 平台上适用。由于 Linux 内核不支持地址空间限制,此选项在 Linux 上不可用。在 Linux 上将忽略 -xaddr32 选项。
链接时,如果单个目标文件是使用 -xaddr32=yes 编译的,则假定整个输出文件是使用 -xaddr32=yes 编译的。限定为 32 位地址空间的共享目标文件必须由在受限的 32 位模式地址空间内执行的进程装入。有关详细信息,请参阅《链接程序和库指南》中的 SF1_SUNW_ADDR32 软件功能定义。
指定要由编译器假定的别名程度。
一些非标准编程方法会产生干扰编译器优化策略的情况。使用过度索引、指针以及将全局或非唯一变量作为子程序参数进行传递,会产生歧义别名情况,从而使代码无法按预期方式运行。
使用 -xalias 标志可将程序偏离 Fortran 标准的别名要求的程度通知给编译器。
此标志可能带有关键字列表,也可能不带关键字列表。keywords 列表由逗号分隔,各个关键字指示程序中存在的别名情况。
可以在每个关键字前面加上 no%,以指示不存在的别名类型。
别名关键字如下:
表 3-12 -xalias 选项关键字
|
指定不带列表的 -xalias 将为不违反 Fortran 别名规则的大多数程序提供最佳性能,不带列表的 -xalias 等效于:
no%dummy,no%craypointer,no%actual,no%overindex,no%ftnpointer
为了提高效率,在使用优化级别 -xO3 及更高级别进行编译时,应该使用 -xalias。
如果未指定 -xalias 标志,则编译器在缺省情况下假定程序符合 Fortran 标准(Cray 指针除外):
no%dummy,craypointer,no%actual,no%overindex,no%ftnpointer
有关各种别名情况的示例以及如何使用 -xalias 指定它们,请参见《Fortran 编程指南》的“移植”一章。
(仅限 Solaris)创建随后可由优化和监测工具 binopt(1)、code-analyzer(1)、discover(1)、collect(1) 和 uncover(1) 使用的二进制文件。
缺省值为 -xannotate=yes。指定不带值的 -xannotate 等效于 -xannotate=yes。
要最好地利用优化和监测工具,在编译和链接时都必须采用 -xannotate=yes。在不使用优化和监测工具时,可采用 -xannotate=no 进行编译和链接以生成略小一点的二进制文件和库。
此选项在 Linux 系统上不可用。
指定指令集体系结构 (instruction set architecture, ISA)。
下表列出了对 SPARC 和 x86 平台通用的 -xarch 关键字。
表 3-13 对 SPARC 和 x86 平台通用的 -xarch 关键字
|
请注意,尽管 -xarch 可以单独使用,但它是 –xtarget 选项扩展的一部分,并且可用于覆盖由特定 -xtarget 选项设置的 -xarch 值。例如:
% f95 -xtarget=ultra2 -xarch=sparcfmaf ...
会覆盖由 -xtarget=ultra2 设置的 -xarch。
通过只允许指定的指令集,此选项可将编译器生成的代码限定于指定指令集体系结构的指令。此选项不保证使用任何特定于目标的指令。
如果此选项与优化一起使用,则在指定的体系结构上,适当的选择可以为可执行文件提供良好性能。如果选择不当,则会导致二进制程序在预定的目标平台上无法执行。
请注意以下事项:
用 generic,sparc, sparcvis2, sparcvis3, sparcfmaf, sparcima 编译的目标二进制文件 (.o) 可以链接起来并一起执行,但只能在支持链接的所有指令集的处理器上运行。
对于任何特定选择,生成的可执行文件在传统体系结构中可能不运行或运行缓慢。此外,由于在任何这些指令集体系结构中都不会实现四精度(REAL*16 和 long double)浮点指令,因此编译器不会在其生成的代码中使用这些指令。
未指定 -xarch 选项时的缺省值为 generic。
表 3-14 提供了有关 SPARC 平台上每个 -xarch 关键字的详细信息。
表 3-14 SPARC 平台的 -xarch 值
|
表 3-15 详细介绍了 x86 平台上的每个 -xarch 关键字。如果未指定 -xarch,x86 上的缺省值为 generic(或者如果指定了 —m64 则为 generic64)。
表 3-15 x86 平台的 -xarch 值
|
当针对 x86 Solaris 平台进行编译时,有几项重要的注意事项。
如果在 x86 平台上使用 —m64 编译或链接了某个程序的任意部分,则该程序的所有部分也都必须使用这些选项之一进行编译。有关各种 Intel 指令集体系结构(SSE、SSE2、SSE3、SSSE3 等)的详细信息,请参阅 Intel-64 和 IA-32《Intel Architecture Software Developer's Manual》。
使用设置为 sse、sse2、sse2a 或 sse3 等的 -xarch 编译的程序必须在支持这些功能和扩展的平台上运行。
如果在不同的步骤中进行编译和链接,请始终使用编译器和相同的 -xarch 设置进行链接,以确保链接正确的启动例程。
x86 上的运算结果可能与 SPARC 上的结果不同,这是由 x86 80 字节浮点寄存器造成的。为了最大限度减少这些差异,请使用 -fstore 选项或使用 -xarch=sse2 进行编译(如果硬件支持 SSE2)。
如果在没有相应功能或指令集扩展的平台上运行使用这些 -xarch 选项编译的程序,则可能会导致段故障或不正确的结果,并且不显示任何显式警告消息。
如果程序中采用的 .il 内联汇编语言函数或 __asm() 汇编程序代码使用了 SSE、SSE2、SSE2a、SSE3 以及更高版本的指令和扩展,则此警告也适用于这类程序。
设置参数以控制 ASSUME pragma。
使用此标志可控制编译器对源代码中 ASSUME pragma 的处理方式。
ASSUME pragma 为程序员提供了一种断言特殊信息(编译器使用这些特殊信息实现较佳的优化)的方法。可以使用可能值限定这些断言。可能值为 0 或 1 的断言将被标记为“确定”,否则视为不确定。
也可以使用可能性或确定性来断言将要执行的 DO 循环的行程计数,或断言将要采取的分支。
有关 f95 编译器可识别的 ASSUME pragma 的说明,请参见2.3.1.8 ASSUME 指令。
-xassume_control 选项上的 keywords 可以是一个子选项关键字,也可以是关键字的逗号分隔列表。可以识别的关键字子选项如下:
|
编译器的缺省值是
-xassume_control=optimize
这意味着,编译器可识别 ASSUME pragma,而且后者将影响优化,但不进行检查。
如果指定不带参数的 -xassume_control,则隐含
-xassume_control=check,fatal
在这种情况下,编译器接受并检查所有确定的 ASSUME pragma,但是后者不影响优化。无效的断言将导致程序终止。
与 -autopar 等效。
(SPARC) 此选项已过时,在编译器的将来发行版中会被删除。请参见3.4.103 -xannotate[ ={yes|no}]。
准备二进制文件以进行编译后优化。
binopt(1) 将启用已编译的二进制文件,供以后进行优化、变换和分析使用。在生成可执行文件或共享目标文件时可以使用此选项,但是它必须与 -O1 或更高优化级别一起使用才有效。
在使用此选项生成时,二进制文件的大小会有所增加,大约增加 5%。
如果在不同的步骤中进行编译和链接,则 -xbinopt 必须既出现在编译步骤中,也出现在链接步骤中。
如果应用程序的源代码并不都是使用 -xbinopt 编译的,则 -xbinopt 标志仍应当出现在用于生成程序二进制文件的最终链接步骤中,如下所示:
example% f95 -0 program -xbinopt=prepare a.o b.o c.f95
只有使用 -xbinopt 编译的代码才能用 binopt(1) 优化。
为执行 gprof 分析而使用 -xpg 编译的二进制代码不应与 binopt 一起使用,因为这两者不能兼容,结合使用会导致内部错误。
缺省值为 -xbinopt=off。
该选项指定了优化器可以使用的缓存属性,不保证使用每个特定的缓存属性。
尽管此选项可以单独使用,但它是 –xtarget 选项扩展的一部分;提供它是为了允许覆盖特定 -xtarget 选项所隐含的 -xcache 值。
表 3-16 –xcache 值
|
si/li /ai/ti 字段的定义如下所示:
级别为 i 的数据高速缓存的大小,以千字节为单位
级别为 i 的数据高速缓存的行大小,以字节为单位
级别为 i 的数据高速缓存的关联性
在级别 i 共享缓存的硬件线程数(可选)
示例: -xcache=16/32/4:1024/32/1 指定以下内容:
一个 1 级高速缓存具有以下属性:16K 字节、32 字节行大小、4 路关联性。
一个 2 级高速缓存具有以下属性: 1024K 字节、32 字节行大小、直接映射关联性。
生成特殊的运行时检查和初始化。
keyword 必须是以下项之一:
|
堆栈溢出(尤其是在堆栈上分配大数组的多线程应用程序中)可能会在邻近线程堆栈中导致无提示的数据损坏。如果怀疑存在堆栈溢出,请使用 -xcheck=stkovf 编译所有例程。但请注意,使用此标志进行编译不保证将检测到所有堆栈溢出情况,因为它们可能出现在不是使用此标志编译的例程中。
尽管此选项可以单独使用,但它是 –xtarget 选项扩展的一部分;提供它是为了允许覆盖特定 -xtarget 选项所隐含的 -xchip 值。
下面是 -xchip=c 的一些作用:
指令调度
编译分支的方式
在语义等效的两个选择项之间进行选择
下面的两个表列出了有效的 -xchip 处理器名称值:
表 3-17 常用的 –xchip SPARC 处理器的名称
|
在 x86 平台上:-xchip 的值为 pentium、pentium_pro、pentium3、pentium4、generic、opteron、core2、penryn、nehalem、amdfam10、sandybridge、westmere 和 native。
keyword 的值包括:
|
如果不显式指定 -xcode=keyword,则缺省值是:
–xcode=abs32(32 位平台);–xcode=abs44(64 位平台)。
在创建动态共享库以提高运行时性能时,可使用 -xcode=pic13 或 -xcode=pic32。
虽然动态可执行文件内的代码通常绑定到内存中的固定地址,但是可以将与位置无关的代码装入进程地址空间中的任意位置。
在使用与位置无关的代码时,将生成可重定位引用,作为通过全局偏移表的间接引用。在使用 -xcode=pic13 或 -xcode=pic32 进行编译时,由于不要求大量的重定位(这些重定位是与位置有关的代码所强制的),因此会使共享目标文件中的频繁访问项获益。
全局偏移表的大小不应超过 8Kb。
-xcode={pic13|pic32} 有两个名义性能成本:
使用 -xcode=pic13 或 -xcode=pic32 编译的例程在入口处执行几个额外的指令,以便将寄存器设置为指向用于访问共享库的全局变量或静态变量的全局偏移表。
每次访问全局变量或静态变量时,都会涉及到通过全局偏移表进行额外的间接内存引用。如果编译是使用 pic32 进行的,则每个全局和静态内存引用都有两个额外指令。
在考虑上述成本时,请记住:由于受到库代码共享的影响,使用 -xcode=pic13 或 -xcode=pic32 会大大减少系统内存需求。共享库中已使用 -xcode=pic13 或 -xcode=pic32 编译的每个代码页,都可以由使用该库的每个进程共享。如果共享库中的代码页包含非 pic(即绝对)内存引用,即使仅包含单个非 pic 内存引用,该页也将变为不可共享,而且每次执行使用该库的程序时都必须创建该页的副本。
确定是否已使用 -xcode=pic13 或 -xcode=pic32 编译 .o 文件的最简单方法是使用 nm 命令:
nm file.o | grep _GLOBAL_OFFSET_TABLE_
包含与位置无关的代码的 .o 文件将包含对 _GLOBAL_OFFSET_TABLE_ 的未解析外部引用(用字母 U 标记)。
要确定是使用 -xcode=pic13 还是 -xcode=pic32,请通过使用 elfdump -c(有关更多信息,请参见 elfdump(1) 手册页)来查看全局偏移表 (Global Offset Table, GOT) 的大小以及节标题 sh_name: .got。sh_size 值是 GOT 的大小。如果 GOT 小于 8,192 字节,请指定 -xcode=pic13,否则指定 -xcode=pic32。
通常,应根据以下准则来确定如何使用 -xcode:
如果要生成可执行文件,则不应该使用 -xcode=pic13 或 -xcode=pic32。
如果是生成仅用于链接到可执行文件的归档库,则不应该使用 -xcode=pic13 或 -xcode=pic32。
如果要生成共享库,请先使用 -xcode=pic13,一旦 GOT 大小超过 8,192 字节,则使用 -xcode=pic32。
如果要生成用于链接到共享库的归档库,则应该使用 -xcode=pic32。
在生成动态库时,建议使用 -xcode=pic13 或 pic32(或者 -pic 或 -PIC)选项进行编译。请参见 Oracle Solaris《链接程序和库指南》。
此选项提供了检测使用 TASK COMMON 及并行化的程序中的通用块不一致性的调试检查。(请参见《Fortran 编程指南》的“并行化”一章中有关 TASK COMMON 指令的讨论。)
缺省值为 -xcommonchk=no;即,用于检测通用块不一致性的运行时检查处于禁用状态,因为它会导致性能降低。请仅在程序开发和调试过程中使用 -xcommonchk=yes,而不应将其用于符合最终产品质量的程序。
使用 -xcommonchk=yes 进行编译会启用运行时检查。如果在一个源程序单元中声明为正规通用块的通用块出现在 TASK COMMON 指令上的某个其他位置,则程序将停止并显示一条错误消息,指出第一个此类不一致。不带值的 -xcommonchk 与 -xcommonchk=yes 等效。
Solaris Studio 编译器正在将调试器信息的格式从 "stabs" 格式迁移到 "dwarf" 格式。此发行版的缺省设置为 -xdebugformat=dwarf。
如果要维护读取调试信息的软件,您现在可以选择将工具从 stabs 格式转换为 dwarf 格式。
出于移植工具的目的,可以通过此选项来使用新的格式。除非您要维护读取调试器信息的软件,或者特定工具要求使用这些格式之一的调试器信息,否则不需要使用此选项。
-xdebugformat=stabs 生成使用 stabs 标准格式的调试信息。
-xdebugformat=dwarf 生成的调试信息采用 dwarf 标准格式。
如果未指定 -xdebugformat,编译器将假定 -xdebugformat=dwarf。指定此选项而不带参数是不正确的。
此选项影响使用 -g 选项记录的数据的格式。该信息的某些格式也可以使用此选项进行控制。因此,即使不使用 -g,-xdebugformat 仍会产生影响。
dbx 和性能分析软件可识别 stabs 和 dwarf 格式,因此使用此选项对其中任一工具的功能并无影响。
这是过渡性接口,因此会在发行版之间发生更改而不兼容,即使在发行版更新较少时也是如此。stabs 或 dwarf 格式的任何特定字段或值的详细资料也在不断改进。
使用 dwarfdump(1) 命令确定已编译目标文件或可执行文件中调试信息的格式。
与 -depend 等效。
允许使用编译器、性能分析器和链接程序重组核心映像中的函数(子程序)。如果使用 -xF 选项编译,然后运行分析器,则可以生成映射文件,该文件可用于优化函数在内存中的排序(具体取决于一起使用这些函数的方式)。可以通过使用链接程序的 -Mmapfile 选项,来指示此后用于生成可执行文件的链接使用该映射。它将可执行文件中的每个函数都放置到单独的部分中。(f95 —M path 选项还将正规文件传递给链接程序,请参见 f95 —Mpath 选项的说明)。
仅当应用程序文本缺页时间占用了应用程序的大部分时间时,对内存中的子程序进行重组才有用。否则,重组不能提高应用程序的总体性能。有关分析器的详细信息,请参见 Program Performance Analysis Tools 手册。
支持 little-endian 和 big-endian 平台之间的文件共享。
该标志标识无格式 I/O 文件数据的字节顺序和字节对齐。options 必须指定下面的任一组合,但必须至少有一个规范:
littlemax_align:spec
bigmax_align:spec
native:spec
max_align 为目标平台声明最大字节对齐。允许的值为 1、2、4、8 和 16。对齐适用于 Fortran VAX 结构和 Fortran 派生类型,它们使用依赖于平台的对齐来获得与 C 语言结构的兼容性。
little 指定平台上的 "little-endian" 文件,其中最大字节对齐为 max_align。例如,little4 指定 32 位 x86 文件;而 little16 描述 64 位 x86 文件。
big 指定最大对齐为 max_align 的 "big-endian" 文件。例如,big8 描述 32 位 SPARC 文件,而 big16 描述 64 位 SPARC 文件。
native 指定字节顺序和对齐与编译处理器平台所用的字节顺序和对齐相同的“本机”文件。假定以下内容为“本机”:
|
spec 必须是包含以下内容的逗号分隔列表:
%all
unit
filename
%all 指所有文件和逻辑单元,但用 "SCRATCH" 打开的或在 -xfilebyteorder 标志中的其他位置显式命名的文件和逻辑单元除外。%all 只能出现一次。
unit 指程序打开的特定 Fortran 单元号。
filename 指程序打开的特定 Fortran 文件名。
-xfilebyteorder=little4:1,2,afile.in,big8:9,bfile.out,12 -xfilebyteorder=little8:%all,big16:20
此选项不适用于使用 STATUS="SCRATCH" 打开的文件。对这些文件执行的 I/O 操作始终依照本机处理器的字节顺序和字节对齐。
如果命令行中没有出现 -xfilebyteorder,则第一个缺省设置为 -xfilebyteorder=native:%all。
在此选项中只能声明一次文件名或单元号。
如果在命令行中出现了 -xfilebyteorder,则它必须至少带有 little、big 或 native 规范之一。
将此标志没有显式声明的文件假定为本机文件。例如,如果使用 -xfilebyteorder=little4:zork.out 进行编译,就会将 zork.out 声明为最大数据对齐为 4 字节的 little-endian 32 位 x86 文件。程序中的所有其他文件均是本机文件。
如果为文件指定的字节顺序与本机处理器相同,但指定了不同的对齐,即使没有进行字节交换,也会使用相应的填充。例如,如果针对 64 位 x86 平台使用 -m64 进行编译,并指定了 -xfilebyteorder=little4:filename,就会出现这种情况。
大端字节序和小端字节序平台之间共享的数据记录中的声明类型必须具有相同的大小。例如,使用 -xtypemap=integer:64,real:64,double:64 编译的 x86 可执行文件不能读取使用 -xtypemap=integer:64,real:64,double:128 编译的 SPARC 可执行文件生成的文件,因为二者的缺省双精度数据类型具有不同的大小。(但请注意,从 Solaris Studio 12 Update 1 发行版开始,x64 处理器上接受 double::128。)
如果在一个平台上使用了更改 VAX 结构内的组件对齐方式的选项(如 —vax=struct_align)或更改派生类型内的组件对齐方式的选项(如 —aligncommon 或 —dalign),则在共享同一无格式数据文件(其内容受对齐选项影响)的其他平台上也要使用同一对齐选项。
如果使用整个 UNION/MAP 数据对象对指定为非本机的文件执行 I/O 操作,则会导致运行时 I/O 错误。只能使用 MAP 的个别成员(而不能使用包含 UNION/MAP 的整个 VAX 记录)对非本机文件执行 I/O 操作。
将霍尔瑞斯常量视为实际参数列表中的字符串。
如果使用 -xhasc=yes,则当霍尔瑞斯常量在子例程或函数调用中作为实际参数出现时,编译器将霍尔瑞斯常量视为字符串。这是缺省值,并且符合 Fortran 标准。(编译器生成的实际调用列表包含每个字符串的隐藏字符串长度。)
如果使用 -xhasc=no,则霍尔瑞斯常量将被视为子程序调用中的无类型值,并且只将它们的地址放在实际参数列表中。(传递到子程序的实际调用列表中不会生成字符串长度。)
如果例程调用带有霍尔瑞斯常量的子程序,并且调用的子程序要求参数为 INTEGER(或除 CHARACTER 以外的任意类型),请使用 -xhasc=no 编译例程。
示例:
demo% cat hasc.f call z(4habcd, ’abcdefg’) end subroutine z(i, s) integer i character *(*) s print *, "string length = ", len(s) return end demo% f95 -o has0 hasc.f demo% has0 string length = 4 <-- should be 7 demo% f95 -o has1 -xhasc=no hasc.f demo% has1 string length = 7 <-- now correct length for s
将 4habcd 传递到 z 是通过使用 -xhasc=no 进行编译来正确处理的。
提供此标记是为了帮助移植传统的 Fortran 77 程序。
列出编译器选项标志。与 -help 等效。
启用 -xhwcprof 后,编译器将生成信息,该信息可帮助工具将已进行分析的装入指令和存储指令与它们所引用的数据类型和结构成员(结合使用 -g 生成的符号信息)相关联。 它将分析数据同目标文件的数据空间(而不是指令空间)相关联,并对行为进行洞察,而这仅从指令分析中是无法轻易获得的。
当可以使用 -xhwcprof 编译指定的目标文件集时,如果对应用程序中的所有目标文件应用该选项,则该选项最为有用。它能全面识别并关联分布在应用程序目标文件中的所有内存引用。
如果分别在单独的步骤中进行编译和链接,最好在链接时使用 -xhwcprof。
-xhwcprof=enable 或 -xhwcprof=disable 的实例将会覆盖同一命令行中 -xhwcprof 的所有以前的实例。
在缺省情况下,禁用 -xhwcprof。指定不带任何参数的 -xhwcprof 与 -xhwcprof=enable 等效。
-xhwcprof 要求启用优化,并将调试数据格式设置为 dwarf (-xdebugformat=dwarf),这是此发行版 Solaris Studio 的缺省设置。
组合使用 -xhwcprof 和 -g 会增加编译器临时文件的存储需求,而且比单独指定 -xhwcprof 和 -g 所引起的增加总量还多。
下列命令可编译 example.f,并可为硬件计数器分析以及针对使用 DWARF 符号的数据类型和结构成员的符号分析指定支持:
f95 -c -O -xhwcprof -g example.f
有关基于硬件计数器的分析的更多信息,请参见 Oracle Solaris Studio 性能分析器手册。
(Solaris) 启用区间运算扩展并设置合适的浮点环境。
如果未指定此选项,则缺省值为 -xia=widestneed。
《Interval Arithmetic Programming Reference》中详细介绍了区间运算计算的 Fortran 扩展。另请参见3.4.123 -xinterval[ ={widestneed|strict| no}]。
-xia 标志是一个宏,其扩展如下:
|
与 -inline 等效。
(有关线程分析器的详细信息,请参见 tha(1)。)
通过使用此选项进行编译,您可以随后使用性能分析器通过 collect -r races 运行已检测的程序,来创建数据争用检测试验。可以单独运行已检测的代码,但其运行速度将非常缓慢。
指定 -xinstrument=no%datarace 关闭该功能。这是缺省值。
必须为 -xinstrument 指定一个参数。
如果分步进行编译和链接,则必须在编译和链接步骤中都指定 -xinstrument=datarace。
此选项定义了预处理程序令牌 __THA_NOTIFY。可指定 #ifdef __THA_NOTIFY 来保护对 libtha (3) 例程的调用。
此选项还设置 -g。
(Solaris) 启用区间运算扩展。
可选值可以是 no、widestneed 或 strict。如果未指定,则缺省值为 widestneed。
|
《Fortran 95 Interval Arithmetic Programming Reference》中详细介绍了区间运算计算的 Fortran 扩展。另请参见3.4.120 -xia[={ widestneed|strict}]。
执行过程间的优化。
通过调用一次过程间分析传递来执行整个程序的优化。-xipo 可以在链接步骤中的所有目标文件间执行优化,而不是仅限于在编译命令中的源文件。
在编译和链接大型多文件应用程序时,-xipo 特别有用。用该标志编译的目标文件具有在这些文件内编译的分析信息,这些信息实现了在源码和预编译的程序文件中的过程间分析。不过,分析和优化仅限于用 -xipo 编译的目标文件,而不扩展到库的目标文件。
-xipo=0 可禁用过程间分析,-xipo=1 可启用过程间分析。-xipo=2 可添加过程间别名分析以及内存分配和布局优化,以便改善高速缓存性能。缺省值为 -xipo=0,如果指定了不带值的 -xipo,则使用 -xipo=1。
如果使用 -xipo=2 进行编译,未使用 -xipo=2 编译的函数或子例程(例如,库)不能调用使用 -xipo=2 编译的函数或子例程。
例如,如果您干预 malloc() 函数并使用 -xipo=2 编译您自己的 malloc(),则引用与您的代码链接的任何库中的 malloc() 的所有函数也必须使用 -xipo=2 进行编译。由于这对于系统库不大可能,因此您自己的 malloc 不应该使用 -xipo=2 进行编译。
在不同的步骤中进行编译和链接时,必须在这两个步骤中都指定 -xipo 才有效。
在一个编译/链接步骤中使用 -xipo 的示例:
demo% f95 -xipo -xO4 -o prog part1.f part2.f part3.f
优化器在三个源文件之间执行交叉文件内联。该操作是在最终的链接步骤中完成的,因此源文件的编译工作不必全在一个编译过程中完成,可以跨多个不同的编译过程,但每个编译过程都需要指定 -xipo。
在不同的编译/链接步骤中使用 -xipo 的示例:
demo% f95 -xipo -xO4 -c part1.f part2.f demo% f95 -xipo -xO4 -c part3.f demo% f95 -xipo -xO4 -o prog part1.o part2.o part3.o
在编译步骤中创建的目标文件具有在文件内部编译的附加分析信息,这样就可以在链接步骤中执行跨文件优化。
即使使用 -xipo 进行编译,也存在库不参与跨文件过程间分析的限制,如下例所示:
demo% f95 -xipo -xO4 one.f two.f three.f demo% ar -r mylib.a one.o two.o three.o ... demo% f95 -xipo -xO4 -o myprog main.f four.f mylib.a
在此例中,过程间优化将在 one.f、two.f 和 three.f 之间以及 main.f 和 four.f 之间执行,但不在 main.f 或 four.f 与 mylib.a 上的例程之间执行。(第一个编译可能生成有关未定义符号的警告,但仍可执行过程间优化,因为过程间优化是编译和链接的一个步骤。)
关于 -xipo 的其他重要信息:
至少需要优化级别 -xO4
如果在构造中使用的目标文件对于并行运行的链接步骤通用,则使用并行生成工具构建采用 -xipo 编译的可执行文件会产生问题。每个链接步骤都应有自己的目标文件副本,并且该副本应在链接前进行优化。
未使用 -xipo 编译的对象可以与使用 -xipo 编译的对象自由链接。
由于执行跨文件优化时需要附加信息,因此 -xipo 选项会生成更大的目标文件。不过,该附加信息不会成为最终的二进制可执行文件的一部分。可执行程序大小的增加是由于执行额外的优化导致的。
在此发行版中,跨文件子程序内联是由 -xipo 执行的唯一过程间优化。
.s 汇编语言文件不参与过程间分析。
如果使用 -S 进行编译,则忽略 -xipo 标志。
何时不使用 -xipo 进行编译:
在链接步骤中使用目标文件集合时,编译器试图执行整个程序的分析和优化。对于该目标文件集合中定义的任何函数或子例程 foo(),编译器作出以下两个假定:
(1) 运行时,在该目标文件集合外部定义的其他例程将不显式调用 foo()
(2) 从该目标文件集合中的任何例程调用 foo() 时,将不会受到在该目标文件集合外部定义的不同版本的 foo() 的干预。
如果假定 (1) 对给定应用程序不成立,请勿使用 -xipo=2 进行编译。如果假定 (2) 不成立,请勿使用 -xipo=1 或 -xipo=2 进行编译。
例如,考虑使用您自己的源版本干预 malloc() 函数并使用 -xipo=2 进行编译。然后,任何库中引用与您的代码链接的 malloc() 的所有函数也必须使用 -xipo=2 进行编译,并且它们的目标文件将不需要参与链接步骤。由于这对于系统库不大可能,因此您自己的 malloc 不应该使用 -xipo=2 进行编译。
另举一例,假定您使用以下两个外部调用来生成共享库:两个不同的源文件中的 foo() 和 bar(),并且 bar() 调用其主体内的 foo()。如果有可能在运行时干预函数调用 foo(),则不要使用 -xipo=1 或 -xipo=2 编译 foo() 或 bar() 的任何一个源文件。否则,foo() 可以内联到 bar(),这会导致在使用 -xipo 编译时出现不正确的结果。
值必须是以下项之一:
|
如果未指定 -xipo_archive 的设置,编译器将假定 -xipo_archive=none。
禁用或设置 !DIR$ IVDEP 指令的解释。
IVDEP 指令指示编译器忽略其在循环中找到的部分或全部对数组引用的循环附带依赖性,使编译器能够在其他循环之间执行各种循环优化,例如微向量化、分布、软件流水化,否则这些优化将无法实现。当用户知道这些依赖性无关紧要或者实际上永远不会发生时,可以使用该指令。
!DIR$ IVDEP 指令的解释取决于 -xivdep 选项的值。p 的以下值解释如下:
|
提供这些解释是为了与另一个供应商对 IVDEP 指令的解释兼容。
不指定 -xivdep 以及指定不带参数的 -xivdep 时,缺省值都是 -xivdep=loop,意味着按缺省启用 !DIR$ IVDEP 指令。
有关更多信息,请参见2.3.3 IVDEP 指令。
使用多个处理器进行编译。
指定 -xjobs 选项可设置编译器完成其任务需创建的进程数。在多 CPU 计算机上,该选项可以缩短生成时间。在此发行版的 f95 编译器中,-xjobs 只能与 -xipo 选项一起使用。如果指定 -xjobs=n,过程间优化器就将 n 作为其在编译不同文件时可调用的最大代码生成器实例数。
通常,n 的安全值等于 1.5 乘以可用虚拟处理器数。由于上下文在产生的作业间切换的开销,使用等于可用虚拟处理器数量整数倍的值会降低性能。此外,如果使用很大的数值会耗尽系统资源(如交换空间)。
指定 -xjobs 时务必要指定值。否则会发出错误诊断并使编译终止。
在出现最合适的实例之前,-xjobs 的多个实例在命令行上会互相覆盖。
以下示例在有两个处理器的系统上进行的编译,速度比使用相同命令但没有 -xjobs 选项时进行的编译快。
example% f95 -xipo -xO4 -xjobs=3 t1.f t2.f t3.f
禁止对命名函数 ( name) 进行与堆栈相关的优化。
%all-禁止对所有代码进行与堆栈相关的优化。
%none-允许对所有代码进行与堆栈相关的优化。
此选项是累积的,并且可以在命令行中出现多次。例如,—xkeepframe=%all —xkeepframe=no%func1 指示应当为除 func1 以外的所有函数保留堆栈帧。此外,—xkeepframe 会覆盖 —xregs=frameptr。例如,—xkeepframe=%all —xregs=frameptr 指示应当为所有函数保留堆栈,但忽略对 —xregs=frameptr 的优化。
如果命令行中未指定,编译器将采用 -xkeepframe=%none 作为缺省值。如果指定了但没有值,编译器将采用 -xkeepframe=%all
识别对已知库的调用。
如果指定此选项,编译器会将对某些已知库的调用视为内部函数,从而忽略用户提供的任何版本。这样,编译器就可以根据它具备的有关该库的专业知识来对库例程调用进行优化。
library_list 是当前应用于 blas、blas1、blas2、blas3 和内部函数的关键字列表(用逗号分隔)。编译器能够识别对以下 BLAS1、BLAS2 和 BLAS3 库例程的调用,并且能够针对 Sun 性能库实现自由地进行正确优化。编译器将忽略这些库例程的用户提供版本,并使用 Sun 性能库中的 BLAS 例程或对例程进行内联。
要与 Sun 性能库进行链接,需要使用 —library=sunperf 选项。
|
(已过时)不再支持此旧版 f77 选项。要获得当前 Fortran 编译器中的等效选项,请使用:-f77=%all,no%backslash -vax=$all,no%debug
(SPARC) 为链接与早期版本的 f77 编译器所创建的对象兼容的运行时库做准备。
f95 -xlang=f77 表示与 f77compat 库进行链接,这是将 f95 目标文件与更早的 Fortran 77 目标文件相链接的简便方法。使用此标志进行编译,可确保正确的运行时环境。
如果将 f95 和 f77 已编译对象一起链接到一个可执行文件,请使用 f95 -xlang=f77。
使用 -xlang 进行编译时,请注意以下事项:
不要同时使用 -xnolib 和 -xlang 编译。
将 Fortran 目标文件和 C++ 混合使用时,请使用 C++ 编译器进行链接,并在 CC 命令行上指定 -xlang=f95。
将 C++ 对象与使用任何并行化选项编译的 Fortran 目标文件混合使用时,链接 CC 命令行还必须指定 -mt。
(已过时)不再支持此 (f77) 选项。要获得当前 Fortran 编译器中的等效选项,请使用:-f77=%all,no%backslash -vax=$all,no%debug
与 -libmil 等效。
使用为速度进行了优化的选定数学例程。此选项通常生成更快的代码。它可能生成稍有不同的结果;如果是这样,通常是最后一位不同。该库选项在命令行上的顺序并不重要。
已过时。使用 —library=sunperf 可与 Sun 性能库进行链接。
后优化器在链接时对二进制目标代码执行一些高级性能优化。可以使用可选值来设置执行的优化级别,可选值必须为 0、1 或 2。
|
指定不带值的 -xlinkopt 标志即表示 -xlinkopt=1。
这些优化在链接时通过分析二进制目标代码来执行。虽然未重写目标文件,但生成的可执行代码可能与初始目标代码不同。
当与分析反馈一起用于编译整个程序时,此选项最有效。
如果在不同的步骤中进行编译,则 -xlinkopt 必须既出现在编译步骤中,也出现在链接步骤中。
demo% f95 -c -xlinkopt a.f95 b.f95 demo% f95 -o myprog -xlinkopt=2 a.o b.o
请注意,仅当编译器链接时才使用级别参数。在以上示例中,即使二进制目标文件是用缺省级别 1 编译的,使用的后优化级别也是 2。
不能将链接时后优化器与增量链接程序 ild 一起使用。-xlinkopt 标志会将缺省链接程序设置为 ld。如果使用 -xildon 标志显式启用增量链接程序,将禁用 -xlinkopt 选项(如果同时指定了二者)。
要使 -xlinkopt 选项有用,至少程序中的一些例程(但未必是全部例程)必须使用此选项编译。优化器仍可以对未使用 -xlinkopt 进行编译的二进制目标文件执行部分受限的优化。
-xlinkopt 选项将优化位于编译器命令行上的静态库中的代码,但会跳过位于命令行上的共享(动态)库中的代码且不对其进行优化。生成共享库(用 -G 编译)时,您也可以使用 -xlinkopt。
与运行时分析反馈一起使用时,链接时后优化器最有效。分析功能会展示代码中最常用和最不常用的部分,并指示优化器相应地进行处理。这对大型应用程序尤为重要,因为在链接时执行代码优化放置可降低指令高速缓存未命中数。通常,会按照以下方式进行编译:
demo% f95 -o progt -xO5 -xprofile=collect:prog file.f95 demo% progt demo% f95 -o prog -xO5 -xprofile=use:prog -xlinkopt file.95
有关使用分析反馈的详细信息,请参见 -xprofile 选项。
请注意,使用此选项编译会略微延长链接时间。目标文件的大小也会增加,但可执行文件的大小保持不变。如果使用 -xlinkopt 和 -g 标志进行编译,则会因包括调试信息而增加了可执行文件的大小。
与 -loopinfo 等效。
n 具有值 1 至 5,分别对应于优化级别 -O1 至 -O5。如果未指定,编译器将使用 5。
此选项启用 !$PRAGMA SUN OPT=n 指令(当此指令出现在源输入中时)。不使用此选项时,编译器将这些行视为注释。请参见2.3.1.5 OPT 指令。
如果此 pragma 与某个优化级别一起出现,而该优化级别高于 -xmaxopt 标志上的最高级别,则编译器将使用由 -xmaxopt 设置的级别。
(SPARC) 指定未对齐数据访问的最大假定内存对齐和行为。
对于可在编译时确定对齐的内存访问,编译器会为数据对齐生成相应的装入/存储指令序列。
对于不能在编译时确定对齐的内存访问,编译器必须假定一个对齐以生成所需的装入/存储序列。
使用 -xmemalign 标志,用户可以指定因上述未确定情况编译器要假定的数据最大内存对齐。它还指定了在运行时发生未对齐内存访问时的错误行为。
指定的值包含两个部分: 数值对齐值 <a>,以及字母行为标志 <b>。
对齐 <a> 的允许值有:
假定最多 1 字节对齐。
假定最多 2 字节对齐。
假定最多 4 字节对齐。
假定最多 8 字节对齐。
假定最多 16 字节对齐。
访问未对齐数据时错误行为 <b> 的允许值有:
解释访问并继续执行。
产生信号 SIGBUS。
在 64 位平台上,产生信号 SIGBUS 仅对齐少于或等于 4,否则将解释访问并继续执行。在其他平台上,f 与 i 等效。
如果在不指定 -xmemalign 的情况下进行编译,缺省值为:
针对 32 位平台的 8i
针对采用 C 和 C++ 的 64 位平台的 8s
针对采用 Fortran 的 64 位平台的 8f
对于所有平台,-xmemalign 不带值显示时的缺省值为 1i。
请注意,-xmemalign 本身并不强制进行任何特殊的数据对齐。使用 -dalign 或 -aligncommon 可强制进行数据对齐。
此外,只要链接到使用 b 值 i 或 f 编译的目标文件,就必须指定 -xmemalign。
-dalign 选项是一个宏:
-dalign 是 -xmemalign=8s -aligncommon=16 的宏
不要将 -aligncommon=1 与 -xmemalign 一起使用,因为这些声明会发生冲突,在某些平台和配置上可能会引发段故障。
有关详细信息,请参见3.4.1 -aligncommon[ ={1|2|4| 8|16}]。
(x86) 在 Solaris x64 平台上为共享目标文件指定数据地址模型。
使用 -xmodel 选项,编译器可以为 Oracle Solaris x64 平台创建 64 位共享目标文件,并且只应对此类目标文件的编译指定该选项。
仅当在启用了 64 位的 x86 平台 ("x64") 上指定了 -m64 时,此选项才有效。
此选项按小型模型生成代码,在该模型中,所执行代码的虚拟地址在链接时已知,且确定所有符号都位于 0 到 231 – 224 - 1 范围内的虚拟地址中。
为内核模型生成代码,在该模型中,所有符号都定义在 264 - 231 到 264 - 224 范围内。
按中等模型生成代码,在该模型中,不对数据段的符号引用范围进行假定。文本段的大小和地址的限制与小型代码模型的限制相同。使用 —m64 编译含有大量静态数据的应用程序时,可能需要使用 —xmodel=medium。
如果未指定 -xmodel,编译器将假定 -xmodel=small。如果指定没有参数的 -xmodel,将出现错误。
只要您确保所访问的对象位于相应的范围内,就没有必要使用该选项编译所有的例程。
与 -nolib 等效。
与 -nolibmil 等效。
不使用快速数学库。
与 -fast 一起使用可以覆盖对优化数学库的链接:
f95 -fast -xnolibmopt …
与 -On 等效。
启用通过 Fortran OpenMP 版本 3.1 指令进行的显式并行化。
此标志接受以下可选关键字子选项:
启用对 OpenMP Pragma 的识别,并相应地并行化程序。
-xopenmp=parallel 的最低优化级别是 -xO3。如有必要,编译器将优化级别从较低级别更改为 -xO3,并发出警告。
定义预处理程序标记 _OPENMP。
自动调用 -stackvar。
启用对 OpenMP Pragma 的识别,并相应地并行化程序。
如果优化级别低于 -xO3,则编译器不提升它。如果将优化显式设置为低于 -xO3 的级别(如 -xO2 -xopenmp=noopt),则编译器将发出错误。如果没有使用 -xopenmp=noopt 指定优化级别,则会识别 OpenMP Pragma,并相应地对程序进行并行处理,但不进行优化。
定义预处理程序标记 _OPENMP。
自动调用 -stackvar。
禁用对 OpenMP pragma 的识别,并且不更改优化级别。(这是编译器的缺省值。)
指定的无子选项关键字的 -xopenmp 与 -xopenmp=parallel 等效。请注意,此缺省值在以后的发行版中可能会有所变化。
要使用 dbx 调试 OpenMP 程序,请使用 -g -xopenmp=noopt 进行编译,以便能够在并行区域内设置断点并显示变量的内容。
《OpenMP API 用户指南》中对 OpenMP 指令进行了概述。
在运行使用 —xopenmp 编译的程序时,请使用 OMP_NUM_THREADS 环境变量指定要使用的线程数。如果未设置 OMP_NUM_THREADS,则使用的缺省线程数为 2。要使用更多线程,请将 OMP_NUM_THREADS 设置为更高的值。将 OMP_NUM_THREADS 设置为 1 将仅运行一个线程。通常,会将 OMP_NUM_THREADS 设置为运行系统上可用的虚拟处理器数,可使用 Oracle Solaris psrinfo(1) 命令确定该值。有关更多信息,请参见《OpenMP API 用户指南》。
要启用嵌套并行操作,必须将 OMP_NESTED 环境变量设置为 TRUE。缺省情况下,禁用嵌套并行操作。有关嵌套并行操作的详细信息,请参见 Oracle Solaris Studio《OpenMP API 用户指南》。
OpenMP 要求预处理程序符号 _OPENMP 的定义中包含十进制值 YYYYMM,其中 YYYY 和 MM 是实现所支持的 OpenMP Fortran API 版本的年份和月份名称。对于当前 Solaris Studio 发行版,该值是 201131(表示 OpenMP 3.1 版)。
如果是在不同的步骤中进行编译和链接,还要在链接步骤中指定 -xopenmp。在编译包含 OpenMP 指令的库时,这一点尤为重要。
与 -pad 等效。
在 SPARC 平台上,size 值必须是以下值之一:
8K、64K、512K、4M、32M、256M、2G、16G 或 default
在 x86 平台上,size 值必须是以下值之一:
4K、2M、4M 或 default
例如: -xpagesize=4M
并非所有这些页面大小在所有平台上都受支持,具体取决于体系结构和 Solaris 环境。指定的页面大小对于目标平台上的 Oracle Solaris 操作环境必须是有效的页面大小,其值由 getpagesizes(3C) 返回。如果不是,此请求在运行时将被忽略。Oracle Solaris 环境不保证能够支持页面大小请求。
您可以使用 pmap(1) 或 meminfo(2) 来确定运行的程序是否收到所请求的页面大小。
如果指定了 -xpagesize=default,该标志将被忽略;如果指定了不带 size 值的 -xpagesize,则与 -xpagesize=default 等效。
此选项是组合使用 -xpagesize_heap=size -xpagesize_stack=size 的宏。这两个选项与 -xpagesize 接受相同的参数。可以通过指定 -xpagesize=size 来为二者设置相同的值,或分别为它们指定不同的值。
使用该标志进行编译,与使用等效选项将 LD_PRELOAD 环境变量设置为 mpss.so.1 或在启动程序之前使用等效选项运行 Oracle Solaris 命令 ppgsz(1) 具有相同的效果。有关详细信息,请参见 Oracle Solaris 手册页。
size 值与所述的 -xpagesize 值相同。
有关详细信息,请参见 -xpagesize。
size 值与所述的 -xpagesize 值相同。
有关详细信息,请参见 -xpagesize。
生成 PEC(Portable Executable Code,可移植执行代码)二进制文件。
此选项将程序中间表示形式放置在目标文件和二进制文件中。此二进制文件以后可以用于调优和故障排除。
使用 -xpec 生成的二进制文件通常要比不使用该选项生成的文件大 5 到 10 倍。缺省值为 -xpec=no。
不带参数的 -xpec 与 -xpec=yes 等效。
与 -pg 等效。
缺省值为 -xpp=fpp。
编译器使用 fpp(1) 来预处理 .F、.F95 或 .F03 源文件。此预处理程序适用于 Fortran。以前的版本使用标准 C 预处理程序 cpp。要选择 cpp,请指定 -xpp=cpp。
在支持预取的体系结构上启用预取指令。
有关 Fortran PREFETCH 指令的说明,请参见2.3.1.7 PREFETCH 指令。
a 必须是以下值之一:
启用预取指令的自动生成
禁用预取指令的自动生成
启用显式预取宏
禁用显式预取宏
(SPARC) 按指定的因子调整编译器的假定预取到装入的延迟和预取到存储的延迟。该因子必须是正浮点数或整数。
如果要在较大的 SPARC 多处理器上运行计算密集的代码,您会发现使用 -xprefetch=latx:factor 有很多优点。该选项指示代码生成器按照指定的因子调节在预取及其相关的装入或存储之间的缺省延迟时间。
预取延迟是从执行预取指令到所预取的数据在高速缓存中可用那一刻之间的硬件延迟。在确定发出预取指令到发出使用所预取数据的装入或存储指令之间的间隔时,编译器就采用预取延迟值。
注 - 在预取和装入之间采用的延迟可能与在预取和存储之间采用的延迟不同。
编译器可以在众多计算机与应用程序间调整预取机制,以获得最佳性能。这种调整并非总能达到最优。对于占用大量内存的应用程序,尤其是要在大型多处理器上运行的应用程序,可以通过增加预取延迟值来提高性能。要增加值,请使用大于 1 的因子。介于 .5 和 2.0 之间的值最有可能提供最佳性能。
对于数据集完全位于外部高速缓存中的应用程序,可以通过减小预取延迟值来提高性能。要减小此值,请使用小于 1 的因子。
要使用 -xprefetch=latx:factor 选项,请首先使用接近 1.0 的因子值并对应用程序运行性能测试。然后适当增加或减小该因子,并再次运行性能测试。继续调整因子并运行性能测试,直到获得最佳性能。以很小的增量逐渐增加或减小因子时,前几步中不会看到性能差异,之后会突然出现差异,然后再趋于稳定。
-xprefetch=yes 与 -xprefetch=auto,explicit 相同
-xprefetch=no 与 -xprefetch=no%auto,no%explicit 相同
使用 -xprefetch、-xprefetch=auto 和 -xprefetch=yes 时,编译器就可以将预取指令插入到其生成的代码中。该操作会提高支持预取的体系结构的性能。
如果未指定 -xprefetch,则采用 -xprefetch=auto,explicit。
如果仅指定了 -xprefetch,则假定为 -xprefetch=auto,explicit。
如果使用 -xprefetch 或 -xprefetch=yes 等启用了自动预取,但未指定延迟因子,则假定 -xprefetch=latx:1.0。
如果使用 -xprefetch=explicit,编译器将能够识别以下指令:
|
-xchip 设置影响假定延迟的决定以及 latx:factor 设置的结果。
仅当在 SPARC 处理器上启用了自动预取 (auto) 时,latx:factor 子选项才有效。
显式预取只应在度量支持的特殊环境下使用。
因为编译器可以在众多计算机与应用程序间调整预取机制以获得最佳性能,所以当性能测试指示性能明显提高时,应当只使用 -xprefetch=latx:factor。假定的预取延迟在不同发行版本中是不同的。因此,无论何时切换到不同的发行版本,强烈建议重新测试延迟因子对性能的影响。
以生成直接内存访问预取的相同方式来生成由选项 -xprefetch_level={1|2|3} 指定的循环的间接预取。可添加前缀 no% 否定声明。
缺省值为 -xprefetch_auto_type=no%indirect_array_access。
要求 -xprefetch=auto 以及优化级别 -xO3 或更高级别。
诸如 -xdepend 之类的选项可以影响计算间接预取候选项的主动性,进而影响由于更好的内存别名歧义消除信息而发生的自动间接预取插入的主动性。
控制预取指令的自动生成。
在以下情况下编译时,此选项才有效:
-xprefetch=auto,
使用优化级别 3 或更高。
在支持预取的平台上。
如果未指定 -xprefetch_level,则 -xprefetch=auto 的缺省值为级别 2。
预取级别 2 比级别 1 产生更多的预取指令机会。预取级别 3 比级别 2 生成更多的预取指令。
在早期的 SPARC 或 x86 平台上,预取级别 2 和 3 可能不会生效。
p 必须是 collect[ :profdir]、use[ :profdir] 或 tcov[ :profdir]。
此选项可在执行期间收集并保存执行频率数据,然后在后续运行中可以使用该数据来改进性能。对多线程应用程序来讲,分析收集 (Profile collection) 是一种安全的方法。也就是说,对执行自身多任务 (-mt) 的程序进行分析会产生准确的结果。只有指定 -xO2 或更高的优化级别时,此选项才有效。如果分别执行编译和链接,则链接步骤和编译步骤中必须都出现同一 -xprofile 选项。
在 -xprofile=use 时优化器收集并保存执行频率,以供将来使用。编译器生成可测量语句执行频率的代码。
-xMerge, -ztext, 和 -xprofile=collect 不应同时使用。-xMerge 会强制将静态初始化的数据存储到只读存储器中,-ztext 禁止在只读存储器中进行依赖于位置的符号重定位,而 -xprofile=collect 会在可写存储器中生成静态初始化的、依赖于位置的符号重定位。
分析目录名 profdir(如果指定)是包含已进行分析的目标代码的程序或共享库在执行时用来存储分析数据的目录的路径名。如果 profdir 路径名不是绝对路径,在使用选项 -xprofile=use:profdir 编译程序时将相对于当前工作目录来解释该路径。
如果未使用 —xprofile=collect: prof_dir 或 —xprofile=tcov: prof_dir 指定任何分析目录名,则分析数据在运行时将存储在名为 program.profile 的目录中,其中 program 是已分析进程的主程序的根基名称。在此情况下,环境变量 SUN_PROFDATA 和 SUN_PROFDATA_DIR 可用于控制在运行时将分析数据存储在何处。如果已设置,分析数据将被写入由 $SUN_PROFDATA_DIR/$SUN_PROFDATA 指定的目录中。如果在编译时指定了分析目录名,则 SUN_PROFDATA_DIR 和 SUN_PROFDATA 在运行时不起任何作用。这些环境变量同样控制由 tcov 写入的分析数据文件的路径和名称,如 tcov(1) 手册页中所述。
如果未设置这些环境变量,分析数据就写入当前目录中的目录 profdir.profile,其中 profdir 是可执行文件的名称或在 -xprofile=collect: profdir 标志中指定的名称。如果 profdir 已在 .profile 中结束,-xprofile 不会将 .profile 附加到 profdir 中。如果多次运行程序,那么执行频率数据会累积在 profdir.profile 目录中;也就是说,以前执行的输出不会丢失。
如果在不同的步骤中进行编译和链接,应确保使用 -xprofile=collect 编译的任何目标文件也使用 -xprofile=collect 进行链接。
通过从使用 —xprofile=collect[: profdir] 或 —xprofile=tcov[: profdir] 编译的代码中收集的执行频率数据针对在执行已分析代码时执行的工作进行优化。profdir 是某个目录的路径名,该目录包含通过运行使用 —xprofile=collect[: profdir] 或 —xprofile=tcov[: profdir] 编译的程序收集的分析数据。
要生成 tcov 和 —xprofile=use[:profdir] 都能使用的数据,必须在编译时使用 —xprofile=tcov[:profdir] 选项指定一个分析目录。必须在 —xprofile=tcov: profdir 和 —xprofile=use: profdir 中指定相同的分析目录。为最大限度地减少混淆,请将 profdir 指定为绝对路径名。
profdir 路径名是可选的。如果未指定 profdir,将使用可执行二进制文件的名称。如果未指定 -o,将使用 a.out。如果未指定 profdir,编译器将查找 profdir.profile/feedback 或 a.out.profile/feedback。例如:
demo: f95 -xprofile=collect -o myexe prog.f95 demo: f95 -xprofile=use:myexe -xO5 -o myexe prog.f95
程序是使用以前生成并保存在 feedback 文件中的执行频率数据优化的,此数据是先前执行用 -xprofile=collect 编译的程序时写入的。
除了 -xprofile 选项之外,源文件和其他编译器选项必须与用于编译(该编译过程创建了生成 feedback 文件的编译程序)的相应选项完全相同。编译器的相同版本必须同时用于 collect 生成和 use 生成。
如果用 -xprofile=collect:profdir 编译,则必须将相同的分析目录名 profdir 用在优化编译中:-xprofile=use: profdir。
另请参见 -xprofile_ircache,以了解有关加速 collect 阶段和 use 阶段之间的编译的说明。
如果指定可选的 profdir 参数,编译器将在指定位置创建分析目录。该分析目录中存储的数据可通过 tcov(1) 或由编译器通过 -xprofile=use:profdir 来使用。如果省略可选的 profdir 路径名,执行已进行分析的程序时将创建分析目录。只能通过 tcov(1) 使用该分析目录中存储的数据。使用环境变量 SUN_PROFDATA 和 SUN_PROFDATA_DIR 可以控制分析目录的位置。
如果 profdir 指定的位置不是绝对路径名,则在编译时会相对于当前工作目录来解释该位置。如果为任何目标文件指定了 profdir,则必须为同一程序中的所有目标文件指定同一位置。由 profdir 指定位置的目录必须在要执行已进行分析的程序的所有计算机中都可以访问。除非不再需要分析目录中的内容,否则不应删除该目录,因为除非重新编译,否则编译器存储在其中的数据将无法恢复。
示例 [1]:如果用 -xprofile=tcov:/test/profdata 编译一个或多个程序的目标文件,编译器会创建一个名为 /test/profdata.profile 的目录并将其用来存储描述已进行分析的目标文件的数据。该同一目录还可在执行时用来存储与已进行分析的目标文件关联的执行数据。
示例 [2]:如果名为 myprog 的程序用 -xprofile=tcov 编译并在目录 /home/joe 中执行,将在运行时创建目录 /home/joe/myprog.profile 并将其用来存储运行时分析数据。
(SPARC) 保存并重用收集阶段和使用分析阶段之间的编译数据。
在使用阶段,与 -xprofile=collect|use 一起使用会重用收集阶段保存的编译数据,从而可以减少编译时间。
如果指定,path 将覆盖高速缓存文件的保存位置。缺省情况下,这些文件会与目标文件保存在同一目录下。当收集阶段和使用阶段出现在两个不同的位置时,指定路径便十分有用。
典型的命令序列可能是:
demo% f95 -xO5 -xprofile=collect -xprofile_ircache t1.c t2.c demo% a.out collects feedback data demo% f95 -xO5 -xprofile=use -xprofile_ircache t1.c t2.c
对于大程序,通过用这种方式保存中间数据,可以显著缩短使用阶段的编译时间。但这将以显著增加所用的磁盘空间为代价。
请将 -xprofile_pathmap 选项与 -xprofile=use 选项一起使用。
如果编译器找不到用-xprofile=use 编译的目标文件的分析数据,请使用 -xprofile_pathmap,并且:
当前使用 -xprofile=use 进行编译所用的目录,不是先前使用 -xprofile=collect 编译时使用的目录。
目标文件会共享分析中的公共根基名称,但可以根据它们在不同目录中的位置互相区分。
collect-prefix 是目录树的 UNIX 路径名的前缀,该目录树中的目标文件是使用 -xprofile=collect 编译的。
use-prefix 是目录树的 UNIX 路径名的前缀,该目录树中的目标文件是使用 -xprofile=use 编译的。
如果指定了 -xprofile_pathmap 的多个实例,编译器将按照这些实例的出现顺序对其进行处理。将 -xprofile_pathmap 实例指定的每个 use-prefix 与目标文件路径名进行比较,直至找到匹配的 use-prefix 或发现最后一个指定的 use-prefix 与目标文件路径名也不匹配。
允许不带 RECURSIVE 属性的例程以递归方式调用它们自己。
通常,只有使用 RECURSIVE 属性定义的子程序才能以递归方式调用它们自己。
使用 -xrecursive 进行编译时,子程序将可以调用自身,即使它们没有使用 RECURSIVE 属性进行定义也是如此。但是,与定义了 RECURSIVE 的子例程不同,缺省情况下,使用此标志不会导致在堆栈上分配局部变量。要使局部变量在子程序的每个递归调用中具有不同的值,还应该使用 -stackvar 进行编译以便将局部变量放在堆栈上。
间接递归(例程 A 调用例程 B,而例程 B 又调用例程 A)可在高于 -xO2 的优化级别上生成不一致的结果。使用 -xrecursive 标志进行编译,可以保证使用间接递归的正确性,即使优化级别更高也是如此。
使用 -xrecursive 进行编译会导致性能下降。
与 -reduction 等效。
为生成的代码指定寄存器用法。
r 是一个逗号分隔列表,它包含下面的一个或多个子选项:appl、float、frameptr。
用 no% 作为子选项的前缀会禁用该子选项。
请注意,-xregs 子选项仅限于特定的硬件平台。
示例:-xregs=appl,no%float
表 3-18 -xregs 子选项
|
SPARC 缺省值为 -xregs=appl,float。
x86 缺省值为 -xregs=no%frameptr。-xregs=frameptr 包含在 -fast 的扩展中。
强烈推荐您用 -xregs=no%appl,float 编译那些用于与应用程序链接的共享库的代码。至少共享库应该显式说明它如何使用应用程序寄存器,以便与这些库链接的应用程序知道这些寄存器分配。
例如,在某种全局意义上使用寄存器(例如,使用寄存器指向一些关键数据结构)的应用程序,需要确切地知道其代码未使用 -xregs=no%appl 编译的某个库如何使用应用程序寄存器,以便安全地与该库链接。
在 x86 系统上,-pg 与 -xregs=frameptr 不兼容,这两个选项不应一起使用。还请注意,-fast 中包括 -xregs=frameptr。
允许 dbx 在没有目标 (.o) 文件的情况下进行调试。
如果使用 -xs,则所有调试信息将复制到可执行文件中。如果将可执行文件移至另一个目录,则可以使用 dbx 并忽略目标 (.o) 文件。如果不能保留 .o 文件,请使用该选项。
如果不使用 -xs,在移动可执行文件的情况下,您必须同时移动源文件和目标 (.o) 文件,或者使用 dbx pathmap 或 use 命令设置路径。
(SPARC) 允许编译器假定未发生违反内存保护的情况。
使用此选项可允许编译器假定未发生基于内存的陷阱。此选项允许在 SPARC V9 平台上使用推测装入指令。
仅当与优化级别 -xO5 及以下 -xarch 值中的一个一起使用时,此选项才能有效:sparc、sparcvis、sparcvis2 或 sparcvis3(用于 -m32 和 -m64)。
![]() | 注意 - 由于在发生诸如地址未对齐或段违规的故障时,无故障装入不会导致陷阱,因此您应该只对不会发生此类故障的程序使用该选项。因为只有很少的程序会导致基于内存的陷阱,所以您可以安全地将该选项用于大多数程序。对于显式依赖基于内存的陷阱来处理异常情况的程序,请勿使用该选项。 |
示例: 如果增加代码大小,则不会解开循环或并行化循环。
为指令集和优化指定目标平台。
t 必须是以下值之一: native、native64、generic、generic64 和 platform–name。
-xtarget 选项允许简便快捷地指定发生在实际平台上的 -xarch、-xchip 和 -xcache 组合。-xtarget 的唯一含义在其扩展中。
通过为编译器提供目标计算机硬件的精确描述,某些程序的性能可得到提高。当程序性能很重要时,目标硬件的正确指定是非常重要的。在较新的 SPARC 处理器上运行时,尤其是这样。不过,对大多数程序和较旧的 SPARC 处理器来讲,性能的提高微不足道,因此指定 generic 就足够了。
-xtarget 值的实际扩展可能会因发行版的不同而异。通过使用 -dryrun 标志,您始终可以确定编译器将使用的扩展:
demo% f95 -dryrun -xtarget=ultra4plus ### command line files and options (expanded): ### -dryrun -xarch=sparcvis -xcache=64/32/4/1:2048/64/4/2:32768/64/4/2 -xchip=ultra4plus
请注意,针对特定名称平台的 —xtarget 扩展不得与同一平台上的 —xtarget=native 相同。
优化主机平台(32 位)的性能。
扩展至 —m32 —xarch=native —xchip=native —xcache=native
已过时。改用 —xtarget=native —m64。
为大多数 32 位平台获得最佳性能。
这是缺省值并可扩展至: -m32 -xarch=generic -xchip=generic -xcache=generic
已过时。改用 -xtarget=generic -m64。
获取以下列出的指定平台的最佳性能。
下表列出了编译器接受的常用系统平台的名称。
表 3-19 常用的 -xtarget 系统平台的扩展
|
-m64 标志表示针对启用了 64 位的平台上的 64 位 Solaris OS 进行编译。如果指定了 -xtarget,则 -m64 必须出现在 -xtarget 标志之后,如下所示:
-xtarget=ultra2 ... -m64
否则,将使用缺省的 32 位内存模型。
下表显示了针对 x86 系统的有效 -xtarget 平台名称及其扩展。
表 3-20 -xtarget 值(x86 平台)
|
-m64 标志表示针对启用了 64 位的 x86 平台上的 64 位 Solaris OS 进行编译。例如,使用 -xtarget=opteron 进行编译是不必要的或不够的。如果指定了 -xtarget,则 -m64 选项必须出现在 -xtarget 标志之后,如下所示:
-xtarget=opteron -m64
否则,编译将为 32 位 x86。
与 -time 等效。
指定缺省数据映射。
此选项提供了一种为缺省数据类型指定字节大小的灵活方法。此选项适用于缺省大小的变量和常量。
规范字符串 spec 可以包含以下任何或全部项(采用逗号分隔列表形式):
real:size,double: size,integer: size
每个平台上允许的组合包括:
real:32
real:64
double:64
double:128
integer:16
integer:32
integer:64
例如:
–xtypemap=real:64,double:64,integer:64
可同时将缺省的 REAL 和 DOUBLE 映射到 8 字节。
此选项适用于使用缺省规范(不带显式字节大小)声明的所有变量,例如 REAL XYZ(生成 64 位 XYZ)。此外,所有的单精度 REAL 常量将被提升为 REAL*8 常量。
请注意,INTEGER 和 LOGICAL 被视为相同类型,COMPLEX 映射为两个 REAL。此外,对待 DOUBLE COMPLEX 的方式与映射 DOUBLE 的方式相同。
与 -unroll=n 等效。
在支持 SIMD 的 x86 处理器上启用对向量库函数调用的自动生成或 SIMD(Single Instruction Multiple Data,单指令多数据)指令生成。使用此选项时,必须通过指定 -fround=nearest 来使用缺省的舍入模式。
-xvector 选项需要 -xO3 或更高的优化级别。如果优化级别未指定或低于 -xO3,编译将不会继续,同时会发出消息。
下表列出了 a 的可能值。no% 前缀禁用关联的子选项。
表 3-21 -xvector 子选项
|
在 x86 平台上的缺省值为 -xvector=simd,在 SPARC 平台上的缺省值为 -xvector=%none。如果指定不带子选项的 -xvector,在 x86 Solaris、SPARC Solaris 和 Linux 平台上,编译器将分别采用 -xvector=simd,lib、-xvector=lib 和 -xvector=simd。
在装入步骤中,编译器包含 libmvec 库。
如果使用单独的命令进行编译和链接,应确保也在链接 CC 命令中使用 -xvector。
在不重定位的情况下仅生成纯库。
-ztext 的一般用途是验证所生成的库是否为纯文本;指令都是与位置无关的代码。因此,它通常与 -G 和 -pic 一起使用。
使用 -ztext 时,如果 ld 在 text 段中找到了不完整的重定位,则不会生成库。如果它在 data 段中找到了不完整的重定位,则通常会生成库;数据段是可写入的。
不使用 -ztext 时,ld 会生成库,与有无重定位无关。
如果您不知道目标文件是否是使用 -pic 生成的,则一种典型用法是利用源文件和目标文件生成库。
示例: 利用源文件和目标文件生成库:
demo% f95 -G -pic -ztext -o MyLib -hMyLib a.f b.f x.o y.o
另一种用法是确认代码是否与位置无关: 不带 -pic 进行编译,但确认是否为纯文本。
示例:确认是否为纯文本-即使不带 -pic 进行编辑:
demo% f95 -G -ztext -o MyLib -hMyLib a.f b.f x.o y.o
选项 -ztext 和 -xprofile=collect 不应同时使用。-ztext 会阻止只读存储中与位置有关的符号重定位,而 -xprofile=collect 会在可写存储中生成静态初始化且与位置有关的符号重定位。
如果使用 -ztext 进行编译时 ld 不生成库,则可以在不使用 -ztext 的情况下重新编译,此时 ld 将生成库。使用 -ztext 生成失败意味着无法对库的一个或多个组件共享,不过,也许能共享某些其他组件。此时就产生了性能问题,这最好由您-程序员来解决。