SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/flint/flint.sig
Parent Directory
| 
Revision Log
| 
Patch
| revision 530, Mon Jan 31 22:53:55 2000 UTC | revision 531, Sat Feb 5 21:29:18 2000 UTC | |
|---|---|---|
| # | Line 17 | Line 17 |
| 17 | ||
| 18 | (* what kind of inlining behavior is desired for the function *) | (* what kind of inlining behavior is desired for the function *) |
| 19 | datatype ilhint | datatype ilhint |
| 20 | = IH_SAFE (* only if trivially size-safe *) | = IH_SAFE (* only inline if trivially size-safe *) |
| 21 | | IH_ALWAYS (* inline whenever possible *) | | IH_ALWAYS (* inline whenever possible *) |
| 22 | | IH_UNROLL (* only inline once within itself *) | | IH_UNROLL (* only inline once within itself *) |
| 23 | (* call-site dependent inlining: | (* call-site dependent inlining: |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
