noinline attr

PRONTOLab · Oct 6, 2024 · 7a49094 · 7a49094
1 parent 0717147
commit 7a49094
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/experiments/example.c b/experiments/example.c
@@ -6,7 +6,7 @@
 // ## PRE c: 1, 9
 // ## PRE a: 1, 9
 // ## PRE b: 1, 9
-[[clang::noinline]]
+__attribute__((noinline))
 double example(double a, double b, double c) {
   double tmp;
   if (a < b) {

diff --git a/experiments/run-all.py b/experiments/run-all.py
@@ -94,7 +94,9 @@ def main():
 
             print(f"Processing function: {func_name}")
             func_body_lines = func["func_body"].split("\n")
-            func_signature_line = f"{return_type} example({params}) {{"
+
+            func_signature_line = f"__attribute__((noinline))\n{return_type} example({params}) {{"
+
             func_body_lines[0] = func_signature_line
             func_code = comments + "\n" + "\n".join(func_body_lines)
             includes = "#include <math.h>\n#include <stdint.h>\n#define TRUE 1\n#define FALSE 0\n"