test/exitrep: test for proper %if and %rep evaluation suppression

If a line is suppressed, the %if or %rep condition must never be
evaluated. Test for it, and add the exitrep test to travis.

Signed-off-by: H. Peter Anvin (Intel) <[email protected]>

Author: H. Peter Anvin

test/exitrep.asm

@@ -3,10 +3,16 @@
   %rep %1 4
     mov eax,i
     %if i==3
-      %exitrep
+	%exitrep
+       %if bull!shit		; Syntax error if evaluated
+	nop
+       %endif
+       %rep other::bullshit	; Same
+	nop
+       %endrep
     %endif
     mov ebx,i
-    %warning in %?%1 iteration i
+    %note in %?%1 iteration i
     %if i >= 3
 	%error iteration i should not be seen
     %endif
@@ -22,7 +28,7 @@
     %if i==3
       %exitrep
     %endif
-    %warning in %?%1 iteration i
+    %note in %?%1 iteration i
     mov ebx,i
     %if i >= 3
 	%error iteration i should not be seen

travis/test/exitrep.asm

@@ -0,0 +1,46 @@
+%macro testrep 0-1
+  %assign i 1
+  %rep %1 4
+    mov eax,i
+    %if i==3
+	%exitrep
+       %if bull!shit		; Syntax error if evaluated
+	nop
+       %endif
+       %rep other::bullshit	; Same
+	nop
+       %endrep
+    %endif
+    mov ebx,i
+    %note in %?%1 iteration i
+    %if i >= 3
+	%error iteration i should not be seen
+    %endif
+    %assign i i+1
+  %endrep
+  ret
+%endmacro
+
+%macro testrep_nl 0-1.nolist
+  %assign i 1
+  %rep %1 4
+    mov eax,i
+    %if i==3
+      %exitrep
+    %endif
+    %note in %?%1 iteration i
+    mov ebx,i
+    %if i >= 3
+	%error iteration i should not be seen
+    %endif
+    %assign i i+1
+  %endrep
+  ret
+%endmacro
+
+
+	testrep
+	testrep .nolist
+
+	testrep_nl
+	testrep_nl .nolist

travis/test/exitrep.bin.t

@@ -0,0 +1,12 @@
+[
+    {
+	"description": "Test %if and %rep suppression after %exitrep",
+	"id": "exitrep",
+	"format": "bin",
+	"source": "exitrep.asm",
+	"option": "-Ox",
+	"target": [
+	    { "output": "exitrep.bin" }
+	]
+    }
+]