Merge pull request #3614 from masatake/cxx-side-chain

Cxx: extract section information from __attribute__((section("SECTION")))

Author: masatake

Tmain/list-fields-with-prefix.d/stdout-expected.txt

@@ -8,17 +8,23 @@ r       UCTAGSroles          no      NONE             s--    no    r- Roles
 x       UCTAGSxpath          no      NONE             s--    no    -- xpath for the tag
 -       UCTAGSproperties     yes     Asm              s--    no    -- properties (req, vararg for parameters)
 -       UCTAGSproperties     no      AutoIt           s--    no    -- properties (static, volatile, ...)
+-       UCTAGSalias          no      C                s--    no    -- the name of the alias target specified in __attribute__((alias(...)))
 -       UCTAGSmacrodef       no      C                s--    no    -- macro definition
 -       UCTAGSproperties     no      C                s--    no    -- properties (static, inline, mutable,...)
+-       UCTAGSsection        no      C                s--    no    -- the place where the object is placed
+-       UCTAGSalias          no      C++              s--    no    -- the name of the alias target specified in __attribute__((alias(...)))
 -       UCTAGScaptures       no      C++              s--    no    -- lambda capture list
 -       UCTAGSmacrodef       no      C++              s--    no    -- macro definition
 -       UCTAGSname           yes     C++              s--    no    -- aliased names
 -       UCTAGSproperties     no      C++              s--    no    -- properties (static, inline, mutable,...)
+-       UCTAGSsection        no      C++              s--    no    -- the place where the object is placed
 -       UCTAGSspecialization no      C++              s--    no    -- template specialization parameters
 -       UCTAGStemplate       no      C++              s--    no    -- template parameters
 -       UCTAGSmacrodef       no      CPreProcessor    s--    no    -- macro definition
+-       UCTAGSalias          no      CUDA             s--    no    -- the name of the alias target specified in __attribute__((alias(...)))
 -       UCTAGSmacrodef       no      CUDA             s--    no    -- macro definition
 -       UCTAGSproperties     no      CUDA             s--    no    -- properties (static, inline, mutable,...)
+-       UCTAGSsection        no      CUDA             s--    no    -- the place where the object is placed
 -       UCTAGSmoduleName     yes     Elm              s--    no    -- actual name of renamed module
 -       UCTAGSannotations    yes     GDScript         s--    no    -- annotations on functions and variables
 -       UCTAGShowImported    no      Go               s--    no    -- how the package is imported ("inline" for `.' or "init" for `_')

Tmain/list-fields.d/stdout-expected.txt

@@ -26,17 +26,23 @@ x	xpath	no	NONE	s--	no	--	xpath for the tag
 z	kind	no	NONE	s--	no	r-	[tags output] prepend "kind:" to k/ (or K/) field output, [xref and json output] kind in long-name form
 -	properties	yes	Asm	s--	no	--	properties (req, vararg for parameters)
 -	properties	no	AutoIt	s--	no	--	properties (static, volatile, ...)
+-	alias	no	C	s--	no	--	the name of the alias target specified in __attribute__((alias(...)))
 -	macrodef	no	C	s--	no	--	macro definition
 -	properties	no	C	s--	no	--	properties (static, inline, mutable,...)
+-	section	no	C	s--	no	--	the place where the object is placed
+-	alias	no	C++	s--	no	--	the name of the alias target specified in __attribute__((alias(...)))
 -	captures	no	C++	s--	no	--	lambda capture list
 -	macrodef	no	C++	s--	no	--	macro definition
 -	name	yes	C++	s--	no	--	aliased names
 -	properties	no	C++	s--	no	--	properties (static, inline, mutable,...)
+-	section	no	C++	s--	no	--	the place where the object is placed
 -	specialization	no	C++	s--	no	--	template specialization parameters
 -	template	no	C++	s--	no	--	template parameters
 -	macrodef	no	CPreProcessor	s--	no	--	macro definition
+-	alias	no	CUDA	s--	no	--	the name of the alias target specified in __attribute__((alias(...)))
 -	macrodef	no	CUDA	s--	no	--	macro definition
 -	properties	no	CUDA	s--	no	--	properties (static, inline, mutable,...)
+-	section	no	CUDA	s--	no	--	the place where the object is placed
 -	moduleName	yes	Elm	s--	no	--	actual name of renamed module
 -	annotations	yes	GDScript	s--	no	--	annotations on functions and variables
 -	howImported	no	Go	s--	no	--	how the package is imported ("inline" for `.' or "init" for `_')

Tmain/list-roles.d/stdout-expected.txt

@@ -4,7 +4,6 @@
 #
 #LANGUAGE      KIND(L/N)         NAME               ENABLED DESCRIPTION
 Ada            p/package         subunit            on      package name referenced in separate()
-Asm            s/section         placement          on      placement where the assembled code goes
 AutoIt         S/script          local              on      local include
 AutoIt         S/script          system             on      system include
 Autoconf       e/optenable       cmdline            on      specified in a configure command line
@@ -72,8 +71,10 @@ Julia          n/module          imported           on      loaded by "import"
 Julia          n/module          namespace          on      only some symbols in it are imported
 Julia          n/module          used               on      loaded by "using"
 Kconfig        k/kconfig         source             on      kconfig file loaded with source directive
+LdScript       i/inputSection    destination        on      specified as the destination of code and data
 LdScript       i/inputSection    discarded          on      discarded when linking
 LdScript       i/inputSection    mapped             on      mapped to output section
+LdScript       s/symbol          aliased            on      aliased with __attribute__((alias(...))) in C/C++ code
 LdScript       s/symbol          entrypoint         on      entry points
 Lua            Y/unknown         referenced         off     referenced somehow
 M4             I/macrofile       included           on      included macro
@@ -136,7 +137,6 @@ Zsh            s/script          loaded             on      loaded
 #
 #LANGUAGE      KIND(L/N)         NAME               ENABLED DESCRIPTION
 Ada            p/package         subunit            on      package name referenced in separate()
-Asm            s/section         placement          on      placement where the assembled code goes
 AutoIt         S/script          local              on      local include
 AutoIt         S/script          system             on      system include
 Autoconf       e/optenable       cmdline            on      specified in a configure command line
@@ -204,8 +204,10 @@ Julia          n/module          imported           on      loaded by "import"
 Julia          n/module          namespace          on      only some symbols in it are imported
 Julia          n/module          used               on      loaded by "using"
 Kconfig        k/kconfig         source             on      kconfig file loaded with source directive
+LdScript       i/inputSection    destination        on      specified as the destination of code and data
 LdScript       i/inputSection    discarded          on      discarded when linking
 LdScript       i/inputSection    mapped             on      mapped to output section
+LdScript       s/symbol          aliased            on      aliased with __attribute__((alias(...))) in C/C++ code
 LdScript       s/symbol          entrypoint         on      entry points
 Lua            Y/unknown         referenced         off     referenced somehow
 M4             I/macrofile       included           on      included macro

Units/parser-asm.r/asm-cpp-macro-expansion-cmdline.d/expected.tags

@@ -1,4 +1,6 @@
+gfunc0	input.S	/^GENTRY(gfunc0)$/;"	s
 gfunc0	input.S	/^GENTRY(gfunc0)$/;"	l
 lfunc	input.S	/^LENTRY(lfunc)$/;"	l
 lfunc	input.S	/^LENTRY(lfunc)$/;"	l
+gfunc1	input.S	/^GENTRY(gfunc1)$/;"	s
 gfunc1	input.S	/^GENTRY(gfunc1)$/;"	l

Units/parser-asm.r/asm-cpp-macro-expansion.d/expected.tags

@@ -1,8 +1,12 @@
 ENTRY	input.S	/^#define ENTRY(/;"	d	file:	signature:(LABEL)	macrodef:.global LABEL ;LABEL
+main	input.S	/^ENTRY(main):$/;"	s
 main	input.S	/^ENTRY(main):$/;"	l
 ENTRY2	input.S	/^#define ENTRY2(/;"	d	file:	signature:(LABEL,UNUSED)	macrodef:.global LABEL ;LABEL
+loop0	input.S	/^ENTRY2(loop0, "STRING"):$/;"	s
 loop0	input.S	/^ENTRY2(loop0, "STRING"):$/;"	l
+loop1	input.S	/^ENTRY2(loop1, 'c'):$/;"	s
 loop1	input.S	/^ENTRY2(loop1, 'c'):$/;"	l
+loop2	input.S	/^ENTRY2(loop2, ('c')):$/;"	s
 loop2	input.S	/^ENTRY2(loop2, ('c')):$/;"	l
 ASM_NL	input.S	/^#define ASM_NL	/;"	d	file:	macrodef:;
 SYM_ENTRY	input.S	/^#define SYM_ENTRY(/;"	d	file:	signature:(name,linkage,align...)	macrodef:linkage(name) ASM_NL align ASM_NL name:
@@ -12,8 +16,10 @@ asm_exc_nmi	input.S	/^SYM_CODE_START(asm_exc_nmi)$/;"	l
 ENTRY0	input-0.S	/^#define ENTRY0(/;"	d	file:	signature:(LABEL)	macrodef:.global LABEL ;LABEL
 exit0	input-0.S	/^exit0:$/;"	l
 ENTRY1	input-1.S	/^#define ENTRY1(/;"	d	file:	signature:(LABEL)	macrodef:.global LABEL ;LABEL
+exit1	input-1.S	/^ENTRY1(exit1):$/;"	s
 exit1	input-1.S	/^ENTRY1(exit1):$/;"	l
 ENTRY2	input-2.S	/^#define ENTRY2(/;"	d	file:	signature:(LABEL)	macrodef:.global LABEL ;LABEL
+exit2	input-2.S	/^ENTRY2(exit2):$/;"	s
 exit2	input-2.S	/^ENTRY2(exit2):$/;"	l
 ENTRY3	input-3.S	/^#define ENTRY3 /;"	d	file:	macrodef:label3:; nop;.section .entry.text, 
 label3	input-3.S	/^	ENTRY3"a"$/;"	l

Units/parser-asm.r/cpp-parameter-false.d/expected.tags

@@ -1 +1,2 @@
+labelM	input.s	/^	.global labelM$/;"	s
 labelM	input.s	/^labelM:$/;"	l

Units/parser-asm.r/cpp-parameter-true.d/expected.tags

@@ -1,2 +1,3 @@
 labelM	input.S	/^#define labelM /;"	d	file:
+labelM	input.S	/^	.global labelM$/;"	s
 labelM	input.S	/^labelM:$/;"	l

Units/parser-asm.r/gas-section.d/args.ctags

@@ -1,3 +1,3 @@
 --sort=no
 --extras=+r
---fields=+r
+--fields=+rlK

Units/parser-asm.r/gas-section.d/expected.tags

@@ -1,4 +1,7 @@
-machine/asm.h	input.s	/^#include <machine\/asm.h>/;"	h	roles:system
-.rodata.cst8	input.s	/^	.section .rodata.cst8,"aM",@progbits,8$/;"	s	roles:placement
-one	input.s	/^one:	.double 1.0$/;"	l	roles:def
-limit	input.s	/^limit:	.double 0.29$/;"	l	roles:def
+machine/asm.h	input.s	/^#include <machine\/asm.h>/;"	header	language:CPreProcessor	roles:system
+.rodata.cst8	input.s	/^	.section .rodata.cst8,"aM",@progbits,8$/;"	inputSection	language:LdScript	roles:destination
+one	input.s	/^one:	.double 1.0$/;"	label	language:Asm	roles:def
+limit	input.s	/^limit:	.double 0.29$/;"	label	language:Asm	roles:def
+.inittext	input-0.s	/^	.section ".inittext","ax"$/;"	inputSection	language:LdScript	roles:destination
+intcall	input-0.s	/^	.globl	intcall$/;"	symbol	language:LdScript	inputSection:.inittext	roles:def
+intcall	input-0.s	/^intcall:$/;"	label	language:Asm	roles:def

Units/parser-asm.r/gas-section.d/input-0.s

@@ -0,0 +1,14 @@
+/* Taken from linux/arch/x86/boot/bioscall.S */
+
+/*
+ * "Glove box" for BIOS calls.  Avoids the constant problems with BIOSes
+ * touching registers they shouldn't be.
+ */
+
+	.code16
+	.section ".inittext","ax"
+	.globl	intcall
+	.type	intcall, @function
+intcall:
+	/* Self-modify the INT instruction.  Ugly, but works. */
+	cmpb	%al, 3f