source: src/Parser/LinkageSpec.h @ 54d714e

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 54d714e was 54d714e, checked in by Andrew Beach <ajbeach@…>, 5 years ago

Re-worked LinkageSpec?. It has almost exactly the same interface but now uses flags instead of a list of specs.

  • Property mode set to 100644
File size: 2.5 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// LinkageSpec.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 13:24:28 2015
11// Last Modified By : Andrew Beach
12// Last Modified On : Fri Jul  7 11:03:00 2017
13// Update Count     : 13
14//
15
16#ifndef LINKAGESPEC_H
17#define LINKAGESPEC_H
18
19#include <string>
20
21namespace LinkageSpec {
22        // All linkage specs are some combination of these flags:
23        enum {
24                Mangle = 1 << 0,
25                Generate = 1 << 1,
26                Overrideable = 1 << 2,
27                Builtin = 1 << 3,
28
29                NoOfSpecs = 1 << 4,
30        };
31
32        union Spec {
33                unsigned int val;
34                struct {
35                        bool is_mangled : 1;
36                        bool is_generatable : 1;
37                        bool is_overridable : 1;
38                        bool is_builtin : 1;
39                };
40                constexpr Spec( unsigned int val ) : val( val ) {}
41                constexpr Spec( Spec const &other ) : val( other.val ) {}
42                // Operators may go here.
43                // Supports == and !=
44                constexpr operator unsigned int () const { return val; }
45        };
46
47
48        Spec linkageCheck( const std::string * );
49        // Returns the Spec with the given name (limited to C, Cforall & BuiltinC)
50        Spec linkageUpdate( Spec old_spec, const std::string * cmd );
51        /* If cmd = "C" returns a Spec that is old_spec with is_mangled = false
52         * If cmd = "Cforall" returns old_spec Spec with is_mangled = true
53         */
54
55        std::string linkageName( Spec );
56
57        // To Update: LinkageSpec::isXyz( cur_spec ) -> cur_spec.is_xyz
58        inline bool isMangled( Spec spec ) { return spec.is_mangled; }
59        inline bool isGeneratable( Spec spec ) { return spec.is_generatable; }
60        inline bool isOverridable( Spec spec ) { return spec.is_overridable; }
61        inline bool isBuiltin( Spec spec ) { return spec.is_builtin; }
62
63        // Pre-defined flag combinations:
64        // C built-in defined in prelude
65        constexpr Spec const Intrinsic = { Mangle | Generate | Overrideable | Builtin };
66        // ordinary
67        constexpr Spec const Cforall = { Mangle | Generate };
68        // not overloadable, not mangled
69        constexpr Spec const C = { Generate };
70        // built by translator (struct assignment)
71        constexpr Spec const AutoGen = { Mangle | Generate | Overrideable };
72        // gcc internal
73        constexpr Spec const Compiler = { Builtin };
74        // mangled builtins
75        constexpr Spec const BuiltinCFA = { Mangle | Generate | Builtin };
76        // non-mangled builtins
77        constexpr Spec const BuiltinC = { Generate | Builtin };
78};
79
80#endif // LINKAGESPEC_H
81
82// Local Variables: //
83// tab-width: 4 //
84// mode: c++ //
85// compile-command: "make install" //
86// End: //
Note: See TracBrowser for help on using the repository browser.