source: src/Parser/LinkageSpec.h @ a332d432

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since a332d432 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
RevLine 
[b87a5ed]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//
[54d714e]7// LinkageSpec.h --
[b87a5ed]8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 13:24:28 2015
[b499c18]11// Last Modified By : Andrew Beach
12// Last Modified On : Thr Spt 13 15:59:00 2018
13// Update Count     : 17
[b87a5ed]14//
15
[6b0b624]16#pragma once
[51b7345]17
18#include <string>
19
[d55d7a6]20#include "Common/CodeLocation.h"
21
[54d714e]22namespace LinkageSpec {
23        // All linkage specs are some combination of these flags:
[41e8217]24        enum { Mangle = 1 << 0, Generate = 1 << 1, Overrideable = 1 << 2, Builtin = 1 << 3, GccBuiltin = 1 << 4, NoOfSpecs = 1 << 5, };
[54d714e]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;
[13073be]33                        bool is_gcc_builtin : 1;
[54d714e]34                };
35                constexpr Spec( unsigned int val ) : val( val ) {}
[41e8217]36                constexpr Spec( Spec const & other ) : val( other.val ) {}
[54d714e]37                // Operators may go here.
38                // Supports == and !=
[41e8217]39                constexpr operator unsigned int() const { return val; }
[b87a5ed]40        };
[54d714e]41
42
[d55d7a6]43        Spec linkageUpdate( CodeLocation location, Spec old_spec, const std::string * cmd );
[54d714e]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; }
[13073be]55        inline bool isGccBuiltin( Spec spec ) { return spec.is_gcc_builtin; }
[54d714e]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
[13073be]67        constexpr Spec const Compiler = { Mangle | Builtin | GccBuiltin };
[54d714e]68        // mangled builtins
69        constexpr Spec const BuiltinCFA = { Mangle | Generate | Builtin };
70        // non-mangled builtins
71        constexpr Spec const BuiltinC = { Generate | Builtin };
[51b7345]72};
73
[b87a5ed]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.