From 99f47c7a99b11c9cc3429fc0e5d0e21ae3707518 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 1 Sep 2010 08:36:03 +0000 Subject: Adding __builtin_annotation git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1497 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- powerpc/eabi/CPragmas.ml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'powerpc/eabi/CPragmas.ml') diff --git a/powerpc/eabi/CPragmas.ml b/powerpc/eabi/CPragmas.ml index 7dbc2157..817584ae 100644 --- a/powerpc/eabi/CPragmas.ml +++ b/powerpc/eabi/CPragmas.ml @@ -35,20 +35,20 @@ let process_section_pragma classname istring ustring addrmode accmode = let process_use_section_pragma classname id = if not (Sections.use_section_for (intern_string id) classname) - then C2Clight.error (sprintf "unknown section name `%s'" classname) + then C2C.error (sprintf "unknown section name `%s'" classname) (* #pragma reserve_register *) let process_reserve_register_pragma name = match Machregsaux.register_by_name name with | None -> - C2Clight.error "unknown register in `reserve_register' pragma" + C2C.error "unknown register in `reserve_register' pragma" | Some r -> if Machregsaux.can_reserve_register r then Coloringaux.reserved_registers := r :: !Coloringaux.reserved_registers else - C2Clight.error "cannot reserve this register (not a callee-save)" + C2C.error "cannot reserve this register (not a callee-save)" (* Parsing of pragmas using regexps *) @@ -87,22 +87,22 @@ let process_pragma name = (Str.matched_group 5 name); (* accmode *) true end else if Str.string_match re_start_pragma_section name 0 then - (C2Clight.error "ill-formed `section' pragma"; true) + (C2C.error "ill-formed `section' pragma"; true) else if Str.string_match re_pragma_use_section name 0 then begin let classname = Str.matched_group 1 name and idents = Str.matched_group 2 name in let identlist = Str.split re_split_idents idents in - if identlist = [] then C2Clight.warning "vacuous `use_section' pragma"; + if identlist = [] then C2C.warning "vacuous `use_section' pragma"; List.iter (process_use_section_pragma classname) identlist; true end else if Str.string_match re_start_pragma_use_section name 0 then begin - C2Clight.error "ill-formed `use_section' pragma"; true + C2C.error "ill-formed `use_section' pragma"; true end else if Str.string_match re_pragma_reserve_register name 0 then begin process_reserve_register_pragma (Str.matched_group 1 name); true end else if Str.string_match re_start_pragma_reserve_register name 0 then begin - C2Clight.error "ill-formed `reserve_register' pragma"; true + C2C.error "ill-formed `reserve_register' pragma"; true end else false let initialize () = - C2Clight.process_pragma_hook := process_pragma + C2C.process_pragma_hook := process_pragma -- cgit