source: src/Parser/LinkageSpec.h @ 909aebf

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 909aebf was b499c18, checked in by Andrew Beach <ajbeach@…>, 6 years ago

Removed some old LinkageSpec? code.

  • 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 : Thr Spt 13 15:59:00 2018
13// Update Count     : 17
14//
15
16#pragma once
17
18#include <string>
19
20#include "Common/CodeLocation.h"
21
22namespace LinkageSpec {
23        // All linkage specs are some combination of these flags:
24        enum { Mangle = 1 << 0, Generate = 1 << 1, Overrideable = 1 << 2, Builtin = 1 << 3, GccBuiltin = 1 << 4, NoOfSpecs = 1 << 5, };
25
26        union Spec {
27                unsigned int val;
28                struct {
29                        bool is_mangled : 1;
30                        bool is_generatable : 1;
31                        bool is_overridable : 1;
32                        bool is_builtin : 1;
33                        bool is_gcc_builtin : 1;
34                };
35                constexpr Spec( unsigned int val ) : val( val ) {}
36                constexpr Spec( Spec const & other ) : val( other.val ) {}
37                // Operators may go here.
38                // Supports == and !=
39                constexpr operator unsigned int() const { return val; }
40        };
41
42
43        Spec linkageUpdate( CodeLocation location, Spec old_spec, const std::string * cmd );
44        /* If cmd = "C" returns a Spec that is old_spec with is_mangled = false
45         * If cmd = "Cforall" returns old_spec Spec with is_mangled = true
46         */
47
48        std::string linkageName( Spec );
49
50        // To Update: LinkageSpec::isXyz( cur_spec ) -> cur_spec.is_xyz
51        inline bool isMangled( Spec spec ) { return spec.is_mangled; }
52        inline bool isGeneratable( Spec spec ) { return spec.is_generatable; }
53        inline bool isOverridable( Spec spec ) { return spec.is_overridable; }
54        inline bool isBuiltin( Spec spec ) { return spec.is_builtin; }
55        inline bool isGccBuiltin( Spec spec ) { return spec.is_gcc_builtin; }
56
57        // Pre-defined flag combinations:
58        // C built-in defined in prelude
59        constexpr Spec const Intrinsic = { Mangle | Generate | Overrideable | Builtin };
60        // ordinary
61        constexpr Spec const Cforall = { Mangle | Generate };
62        // not overloadable, not mangled
63        constexpr Spec const C = { Generate };
64        // built by translator (struct assignment)
65        constexpr Spec const AutoGen = { Mangle | Generate | Overrideable };
66        // gcc internal
67        constexpr Spec const Compiler = { Mangle | Builtin | GccBuiltin };
68        // mangled builtins
69        constexpr Spec const BuiltinCFA = { Mangle | Generate | Builtin };
70        // non-mangled builtins
71        constexpr Spec const BuiltinC = { Generate | Builtin };
72};
73
74// Local Variables: //
75// tab-width: 4 //
76// mode: c++ //
77// compile-command: "make install" //
78// End: //
Note: See TracBrowser for help on using the repository browser.