diff --git a/tests/syntax/asm_goto.i b/tests/syntax/asm_goto.i
index 42466a787d912f1a43fe824de85f4a4b462f153b..3f6ed9ea53f1664fad480109660dc214f64570d6 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 d54b25a180c938d97c226c0ea128585e9a4af754..5f2c4f964e5191486b9d0f3993370d798a8e802f 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;