1 #as: -madd-bnd-prefix
2 #warning_output: x86-64-mpx-add-bnd-prefix.e
3 #objdump: -drw
4 #name: Check -madd-bnd-prefix (x86-64)
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section .text:
10 
11 0+ <.*>:
12 [ 	]*[a-f0-9]+:	f2 e8 0e 00 00 00    	bnd call 14 <foo>
13 [ 	]*[a-f0-9]+:	f2 ff 10             	bnd call \*\(%rax\)
14 [ 	]*[a-f0-9]+:	f2 74 08             	bnd je 14 <foo>
15 [ 	]*[a-f0-9]+:	f2 eb 05             	bnd jmp 14 <foo>
16 [ 	]*[a-f0-9]+:	f2 ff 23             	bnd jmp \*\(%rbx\)
17 [ 	]*[a-f0-9]+:	f2 c3                	bnd ret *
18 
19 0+14 <foo>:
20 [ 	]*[a-f0-9]+:	f2 c3                	bnd ret *
21 [ 	]*[a-f0-9]+:	f2 c3                	bnd ret *
22 [ 	]*[a-f0-9]+:	f2 c3                	bnd ret *
23 [ 	]*[a-f0-9]+:	f2 c3                	bnd ret *
24 [ 	]*[a-f0-9]+:	f2 e8 f2 ff ff ff    	bnd call 14 <foo>
25 [ 	]*[a-f0-9]+:	48 01 c3             	add    %rax,%rbx
26 [ 	]*[a-f0-9]+:	e2 ed                	loop   14 <foo>
27 #pass
28