diff options
Diffstat (limited to 'backend/PrintXTL.ml')
-rw-r--r-- | backend/PrintXTL.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml index 756fc58c..258babaf 100644 --- a/backend/PrintXTL.ml +++ b/backend/PrintXTL.ml @@ -29,7 +29,11 @@ let mreg pp r = | Some s -> fprintf pp "%s" s | None -> fprintf pp "<unknown machreg>" -let short_name_of_type = function Tint -> 'i' | Tfloat -> 'f' | Tlong -> 'l' +let short_name_of_type = function + | Tint -> 'i' + | Tfloat -> 'f' + | Tlong -> 'l' + | Tsingle -> 's' let loc pp = function | R r -> mreg pp r |