On Wed, May 4, 2016 at 11:46 AM, Prasad Ghangal
<prasad.ghan...@gmail.com> wrote:
> On 4 May 2016 at 13:02, Richard Biener <richard.guent...@gmail.com> wrote:
>> On Wed, May 4, 2016 at 8:41 AM, Prasad Ghangal <prasad.ghan...@gmail.com>
>> wrote:
>>> Hi !
>>> Currently I am trying to introduce new command line option -fgimple,
>>> for that I am adding this to c.opt
>>>
>>> diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt
>>> index 4f86876..88e55c6 100644
>>> --- a/gcc/c-family/c.opt
>>> +++ b/gcc/c-family/c.opt
>>> @@ -66,6 +66,10 @@ C ObjC C++ ObjC++ Separate Alias(d)
>>> -dump=
>>> C ObjC C++ ObjC++ Joined Alias(d)
>>>
>>> +fgimple
>>> +C Var(flag_gimple) Init(0)
>>> +Enable parsing GIMPLE
>>> +
>>> -imacros
>>> C ObjC C++ ObjC++ Separate Alias(imacros) MissingArgError(missing
>>> filename after %qs)
>>>
>>>
>>> But I am getting error as - "gcc: error: unrecognized command line
>>> option ‘-fgimple ’; did you mean ‘-fgimple ’?"
>>>
>>> I am unable to find where to handle it.
>>
>> Did you properly re-build gcc after that change? It should work just fine.
>>
>> Richard.
>>
>
> Yes, I did stage 1 build on latest revision. Still it's giving this
> strange error - "gcc: error: unrecognized command line option
> ‘-fgimple’; did you mean ‘-fgimple’?"
The error is indeed strage. W/o the patch I get
> ./xgcc -B. -fgimple -S t.i
xgcc: error: unrecognized command line option '-fgimple'; did you mean
'--compile'?
and with it (re-building cc1 and xgcc inside gcc/ of my dev-tree)
> ./xgcc -B. -fgimple -S t.i
(no error)
so it works fine for me. Note that 'gcc' inside the build tree is called xgcc.
Richard.
>
>>>
>>>
>>> Till now I am able to JUST parse __GIMPLE keyword
>>>
>>> diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c
>>> index cae2faf..1ccb4d6 100644
>>> --- a/gcc/c-family/c-common.c
>>> +++ b/gcc/c-family/c-common.c
>>> @@ -468,6 +468,7 @@ const struct c_common_resword c_common_reswords[] =
>>> { "__extension__", RID_EXTENSION, 0 },
>>> { "__func__", RID_C99_FUNCTION_NAME, 0 },
>>> { "__has_nothrow_assign", RID_HAS_NOTHROW_ASSIGN, D_CXXONLY },
>>> + { "__GIMPLE", RID_GIMPLE, 0 },
>>> { "__has_nothrow_constructor", RID_HAS_NOTHROW_CONSTRUCTOR, D_CXXONLY },
>>> { "__has_nothrow_copy", RID_HAS_NOTHROW_COPY, D_CXXONLY },
>>> { "__has_trivial_assign", RID_HAS_TRIVIAL_ASSIGN, D_CXXONLY },
>>> @@ -12393,6 +12394,7 @@ keyword_is_function_specifier (enum rid keyword)
>>> case RID_NORETURN:
>>> case RID_VIRTUAL:
>>> case RID_EXPLICIT:
>>> + case RID_GIMPLE:
>>> return true;
>>> default:
>>> return false;
>>> diff --git a/gcc/c-family/c-common.h b/gcc/c-family/c-common.h
>>> index 663e457..a91665f 100644
>>> --- a/gcc/c-family/c-common.h
>>> +++ b/gcc/c-family/c-common.h
>>> @@ -64,10 +64,10 @@ enum rid
>>> /* Modifiers: */
>>> /* C, in empirical order of frequency. */
>>> RID_STATIC = 0,
>>> - RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
>>> - RID_REGISTER, RID_TYPEDEF, RID_SHORT, RID_INLINE,
>>> - RID_VOLATILE, RID_SIGNED, RID_AUTO, RID_RESTRICT,
>>> - RID_NORETURN, RID_ATOMIC,
>>> + RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
>>> + RID_GIMPLE, RID_REGISTER, RID_TYPEDEF, RID_SHORT,
>>> + RID_INLINE, RID_VOLATILE, RID_SIGNED, RID_AUTO,
>>> + RID_RESTRICT, RID_NORETURN, RID_ATOMIC,
>>>
>>> /* C extensions */
>>> RID_COMPLEX, RID_THREAD, RID_SAT,
>>> diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c
>>> index f0c677b..e690ca3 100644
>>> --- a/gcc/c/c-decl.c
>>> +++ b/gcc/c/c-decl.c
>>> @@ -10401,6 +10401,8 @@ declspecs_add_scspec (source_location loc,
>>> case RID_TYPEDEF:
>>> n = csc_typedef;
>>> break;
>>> + case RID_GIMPLE:
>>> + break;
>>> default:
>>> gcc_unreachable ();
>>> }
>>> diff --git a/gcc/c/c-parser.c b/gcc/c/c-parser.c
>>> index bdd669d..266b672 100644
>>> --- a/gcc/c/c-parser.c
>>> +++ b/gcc/c/c-parser.c
>>> @@ -732,6 +732,7 @@ c_token_starts_declspecs (c_token *token)
>>> case RID_ALIGNAS:
>>> case RID_ATOMIC:
>>> case RID_AUTO_TYPE:
>>> + case RID_GIMPLE:
>>> return true;
>>> default:
>>> if (token->keyword >= RID_FIRST_INT_N
>>> @@ -2461,6 +2462,7 @@ c_parser_declspecs (c_parser *parser, struct
>>> c_declspecs *specs,
>>> case RID_NORETURN:
>>> case RID_AUTO:
>>> case RID_THREAD:
>>> + case RID_GIMPLE:
>>> if (!scspec_ok)
>>> goto out;
>>> attrs_ok = true;
>>> @@ -3960,6 +3962,7 @@ c_parser_attribute_any_word (c_parser *parser)
>>> case RID_INT_N_1:
>>> case RID_INT_N_2:
>>> case RID_INT_N_3:
>>> + case RID_GIMPLE:
>>> ok = true;
>>> break;
>>> default:
>>>
>>>
>>>
>>> After recognizing __GIMPLE, I am planning to call gimple_fn_parser
>>> function which will parse gimple body.
>>> For pass manager, basic idea is to introduce new member to struct
>>> function as pass_list and modify function execute_pass_list to run
>>> only passes in pass list.
>>>
>>>
>>>
>>> Thanks,
>>> Prasad Ghangal
