From 706b6384a0d1b9a3206049dadadee7f4a8dd5f9d Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 29 Mar 2021 08:42:36 +0200
Subject: adding test for load replacement on a64

---
 test/gourdinl/clause.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 test/gourdinl/clause.h

(limited to 'test/gourdinl/clause.h')

diff --git a/test/gourdinl/clause.h b/test/gourdinl/clause.h
new file mode 100644
index 00000000..3eb44402
--- /dev/null
+++ b/test/gourdinl/clause.h
@@ -0,0 +1,12 @@
+typedef struct {
+  int b;
+  int a;
+} * CLAUSE;
+__inline__ int g(CLAUSE c) { return c->b; }
+__inline__ int d(CLAUSE c) { return c->a; }
+__inline__ void clause_SetNumOfConsLits(CLAUSE c, int e) {
+  c->b = e;
+  c->a = e;
+}
+__inline__ int f(CLAUSE c) { return g(c) + d(c); }
+__inline__ int clause_LastLitIndex(c) { return f(c); }
-- 
cgit