}
}
-const char *gnu_label_prefix(void) {
+/**
+ * Return the label prefix for labeled blocks.
+ */
+const char *be_gas_label_prefix(void) {
return ".LG";
}
* Dump a label.
*/
static void dump_label(obstack_t *obst, ir_label_t label) {
- obstack_printf(obst, "%s%ld", gnu_label_prefix(), label);
+ obstack_printf(obst, "%s%ld", be_gas_label_prefix(), label);
}
/**
*/
void be_gas_emit_switch_section(be_emit_env_t *env, be_gas_section_t section);
+/**
+ * Return the label prefix for labeled blocks.
+ */
+const char *be_gas_label_prefix(void);
+
#endif /* FIRM_BE_BEGNUAS_H */