summaryrefslogtreecommitdiffstats
path: root/spec/compiler/if
diff options
context:
space:
mode:
Diffstat (limited to 'spec/compiler/if')
-rw-r--r--spec/compiler/if/asm.yml11
-rw-r--r--spec/compiler/if/builtin-choose-expr.yml11
-rw-r--r--spec/compiler/if/builtin-expect.yml11
-rw-r--r--spec/compiler/if/builtin-return-address.yml11
-rw-r--r--spec/compiler/if/builtin-types-compatible-p.yml11
-rw-r--r--spec/compiler/if/builtin-unreachable.yml11
-rw-r--r--spec/compiler/if/container.yml9
-rw-r--r--spec/compiler/if/cplusplus.yml11
-rw-r--r--spec/compiler/if/domain.yml10
-rw-r--r--spec/compiler/if/gnuc.yml11
-rw-r--r--spec/compiler/if/stdc-version.yml11
-rw-r--r--spec/compiler/if/typeof.yml11
-rw-r--r--spec/compiler/if/user-label-prefix.yml11
13 files changed, 140 insertions, 0 deletions
diff --git a/spec/compiler/if/asm.yml b/spec/compiler/if/asm.yml
new file mode 100644
index 00000000..3817a8f9
--- /dev/null
+++ b/spec/compiler/if/asm.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __asm__
+reference: null
+type: interface
diff --git a/spec/compiler/if/builtin-choose-expr.yml b/spec/compiler/if/builtin-choose-expr.yml
new file mode 100644
index 00000000..b9a9ac8f
--- /dev/null
+++ b/spec/compiler/if/builtin-choose-expr.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __builtin_choose_expr
+reference: null
+type: interface
diff --git a/spec/compiler/if/builtin-expect.yml b/spec/compiler/if/builtin-expect.yml
new file mode 100644
index 00000000..9e3e9fc4
--- /dev/null
+++ b/spec/compiler/if/builtin-expect.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __builtin_expect
+reference: null
+type: interface
diff --git a/spec/compiler/if/builtin-return-address.yml b/spec/compiler/if/builtin-return-address.yml
new file mode 100644
index 00000000..9fedfb3d
--- /dev/null
+++ b/spec/compiler/if/builtin-return-address.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __builtin_return_address
+reference: null
+type: interface
diff --git a/spec/compiler/if/builtin-types-compatible-p.yml b/spec/compiler/if/builtin-types-compatible-p.yml
new file mode 100644
index 00000000..7b12272c
--- /dev/null
+++ b/spec/compiler/if/builtin-types-compatible-p.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __builtin_types_compatible_p
+reference: null
+type: interface
diff --git a/spec/compiler/if/builtin-unreachable.yml b/spec/compiler/if/builtin-unreachable.yml
new file mode 100644
index 00000000..fe47d3cf
--- /dev/null
+++ b/spec/compiler/if/builtin-unreachable.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __builtin_unreachable
+reference: null
+type: interface
diff --git a/spec/compiler/if/container.yml b/spec/compiler/if/container.yml
new file mode 100644
index 00000000..a5d0e96f
--- /dev/null
+++ b/spec/compiler/if/container.yml
@@ -0,0 +1,9 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: container
+links:
+- role: interface-placement
+ uid: domain
+type: interface
diff --git a/spec/compiler/if/cplusplus.yml b/spec/compiler/if/cplusplus.yml
new file mode 100644
index 00000000..9c0e8213
--- /dev/null
+++ b/spec/compiler/if/cplusplus.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __cplusplus
+reference: null
+type: interface
diff --git a/spec/compiler/if/domain.yml b/spec/compiler/if/domain.yml
new file mode 100644
index 00000000..fb6e4835
--- /dev/null
+++ b/spec/compiler/if/domain.yml
@@ -0,0 +1,10 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+description: |
+ This interface domain contains interfaces provided by the compiler.
+enabled-by: true
+interface-type: domain
+links: []
+name: Compiler
+type: interface
diff --git a/spec/compiler/if/gnuc.yml b/spec/compiler/if/gnuc.yml
new file mode 100644
index 00000000..f498c3ab
--- /dev/null
+++ b/spec/compiler/if/gnuc.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __GNUC__
+reference: null
+type: interface
diff --git a/spec/compiler/if/stdc-version.yml b/spec/compiler/if/stdc-version.yml
new file mode 100644
index 00000000..ef79dcfb
--- /dev/null
+++ b/spec/compiler/if/stdc-version.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified-define
+links:
+- role: interface-placement
+ uid: container
+name: __STDC_VERSION__
+reference: https://en.cppreference.com/w/c/preprocessor/replace
+type: interface
diff --git a/spec/compiler/if/typeof.yml b/spec/compiler/if/typeof.yml
new file mode 100644
index 00000000..b38846dd
--- /dev/null
+++ b/spec/compiler/if/typeof.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __typeof__
+reference: null
+type: interface
diff --git a/spec/compiler/if/user-label-prefix.yml b/spec/compiler/if/user-label-prefix.yml
new file mode 100644
index 00000000..b84a47b5
--- /dev/null
+++ b/spec/compiler/if/user-label-prefix.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+interface-type: unspecified
+links:
+- role: interface-placement
+ uid: container
+name: __USER_LABEL_PREFIX__
+reference: null
+type: interface