From 5850c35093a1ab0d17a70ad16b2eb68ecd877864 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 27 May 2019 16:05:37 +0200
Subject: [PATCH] Add test for new feature
---
tests/syntax/asm_goto.i | 5 +++++
tests/syntax/oracle/asm_goto.res.oracle | 8 ++++++++
2 files changed, 13 insertions(+)
diff --git a/tests/syntax/asm_goto.i b/tests/syntax/asm_goto.i
index 42466a787d9..3f6ed9ea53f 100644
--- a/tests/syntax/asm_goto.i
+++ b/tests/syntax/asm_goto.i
@@ -7,6 +7,11 @@ void basic(void)
__asm__ ("xor %eax, %eax\n\t");
}
+void pretty(void)
+{
+__asm__ volatile ("pxor %%""mm7"", %%""mm7""\n\tpcmpeqd %%""mm6"", %%""mm6" : );
+}
+
int main(unsigned short bit)
{
asm goto ("1: jmp %l[t_no]\n"
diff --git a/tests/syntax/oracle/asm_goto.res.oracle b/tests/syntax/oracle/asm_goto.res.oracle
index d54b25a180c..5f2c4f964e5 100644
--- a/tests/syntax/oracle/asm_goto.res.oracle
+++ b/tests/syntax/oracle/asm_goto.res.oracle
@@ -6,6 +6,14 @@ void basic(void)
return;
}
+void pretty(void)
+{
+ /*@ assigns \nothing; */
+ __asm__ volatile ("pxor %%mm7, %%mm7\n\t"
+ "pcmpeqd %%mm6, %%mm6" : );
+ return;
+}
+
int main(unsigned short bit)
{
int __retres;
--
GitLab