source: src/AST/LinkageSpec.hpp @ 7f3f63c

arm-ehcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 7f3f63c was 7f3f63c, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Unions now correctly use bitfields from previous commit

  • Property mode set to 100644
File size: 2.1 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.hpp --
8//
9// Author           : Aaron B. Moss
10// Created On       : Thu May 9 10:00:00 2019
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Thu May 9 10:00:00 2019
13// Update Count     : 1
14//
15
16#pragma once
17
18#include <string>
19
20#include "Bitfield.hpp"
21#include "Common/CodeLocation.h"
22
23namespace ast {
24
25namespace Linkage {
26
27        /// Bitflags for linkage specifiers
28        enum {
29                Mangle       = 1 << 0,
30                Generate     = 1 << 1,
31                Overrideable = 1 << 2,
32                Builtin      = 1 << 3,
33                GccBuiltin   = 1 << 4
34        };
35
36        /// Bitflag type for storage classes
37        struct spec_flags {
38                union {
39                        unsigned int val;
40                        struct {
41                                bool is_mangled      : 1;
42                                bool is_generatable  : 1;
43                                bool is_overrideable : 1;
44                                bool is_builtin      : 1;
45                                bool is_gcc_builtin  : 1;
46                        };
47                };
48
49                constexpr spec_flags( unsigned int val ) : val(val) {}
50        };
51
52        using Spec = bitfield<spec_flags>;
53
54        /// If `cmd` = "C" returns `spec` with `is_mangled = false`.
55        /// If `cmd` = "Cforall" returns `spec` with `is_mangled = true`.
56        Spec update( CodeLocation loc, Spec spec, const std::string * cmd );
57
58        /// A human-readable name for this spec
59        std::string name( Spec spec );
60
61        // Pre-defined flag combinations
62
63        /// C built-in defined in prelude
64        constexpr Spec Intrinsic  = { Mangle | Generate | Overrideable | Builtin };
65        /// Ordinary Cforall
66        constexpr Spec Cforall    = { Mangle | Generate };
67        /// C code: not overloadable, not mangled
68        constexpr Spec C          = { Generate };
69        /// Built by translator (e.g. struct assignment)
70        constexpr Spec AutoGen    = { Mangle | Generate | Overrideable };
71        /// GCC internal
72        constexpr Spec Compiler   = { Mangle | Builtin | GccBuiltin };
73        /// Mangled builtins
74        constexpr Spec BuiltinCFA = { Mangle | Generate | Builtin };
75        /// Non-mangled builtins
76        constexpr Spec BuiltinC   = { Generate | Builtin };
77}
78
79}
80
81// Local Variables: //
82// tab-width: 4 //
83// mode: c++ //
84// compile-command: "make install" //
85// End: //
Note: See TracBrowser for help on using the repository browser.