From 2c8a69bde3ec0b5b4e941e58fa88ca5ed47db753 Mon Sep 17 00:00:00 2001
From: ndossche <niels.dossche@ugent.be>
Date: Wed, 23 Aug 2023 16:27:46 +0200
Subject: [PATCH] wip

---
 templates/main.c.mako | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/main.c.mako b/templates/main.c.mako
index db85767..18b2b91 100644
--- a/templates/main.c.mako
+++ b/templates/main.c.mako
@@ -49,7 +49,7 @@ int main(int argc, char *argv[]) {
                     (void) ${tested_function}(${format_arguments(test.arguments)});
                     OPTIMIZER_BARRIER();
                     long rbp_current;
-                    __asm__ __volatile__("movl %%rbp, %0" : "=r" (rbp_current));
+                    __asm__ __volatile__("movq %%rbp, %0" : "=r" (rbp_current));
                     long rbx_current = rbx;
                     long r12_current = r12;
                     long r13_current = r13;