#objdump: -drw
#name: i386 MPX

.*: +file format .*


Disassembly of section .text:

0+ <start>:
[ 	]*[a-f0-9]+:	f3 0f 1b 08          	bndmk  \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0d 99 03 00 00 	bndmk  0x399,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 4a 03       	bndmk  0x3\(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0c 08       	bndmk  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0c 0d 00 00 00 00 	bndmk  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 4c 01 03    	bndmk  0x3\(%ecx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 08          	bndmov \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 0d 99 03 00 00 	bndmov 0x399,%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 52 03       	bndmov 0x3\(%edx\),%bnd2
[ 	]*[a-f0-9]+:	66 0f 1a 14 10       	bndmov \(%eax,%edx,1\),%bnd2
[ 	]*[a-f0-9]+:	66 0f 1a 14 05 00 00 00 00 	bndmov 0x0\(,%eax,1\),%bnd2
[ 	]*[a-f0-9]+:	66 0f 1a 4c 01 03    	bndmov 0x3\(%ecx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a c2          	bndmov %bnd2,%bnd0
[ 	]*[a-f0-9]+:	66 0f 1b 08          	bndmov %bnd1,\(%eax\)
[ 	]*[a-f0-9]+:	66 0f 1b 0d 99 03 00 00 	bndmov %bnd1,0x399
[ 	]*[a-f0-9]+:	66 0f 1b 52 03       	bndmov %bnd2,0x3\(%edx\)
[ 	]*[a-f0-9]+:	66 0f 1b 14 10       	bndmov %bnd2,\(%eax,%edx,1\)
[ 	]*[a-f0-9]+:	66 0f 1b 14 05 00 00 00 00 	bndmov %bnd2,0x0\(,%eax,1\)
[ 	]*[a-f0-9]+:	66 0f 1b 4c 01 03    	bndmov %bnd1,0x3\(%ecx,%eax,1\)
[ 	]*[a-f0-9]+:	66 0f 1a d0          	bndmov %bnd0,%bnd2
[ 	]*[a-f0-9]+:	f3 0f 1a 09          	bndcl  \(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a c9          	bndcl  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0d 99 03 00 00 	bndcl  0x399,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 4a 03       	bndcl  0x3\(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0c 08       	bndcl  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0c 0d 00 00 00 00 	bndcl  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 4c 01 03    	bndcl  0x3\(%ecx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 09          	bndcu  \(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a c9          	bndcu  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0d 99 03 00 00 	bndcu  0x399,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 4a 03       	bndcu  0x3\(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0c 08       	bndcu  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0c 0d 00 00 00 00 	bndcu  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 4c 01 03    	bndcu  0x3\(%ecx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 09          	bndcn  \(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b c9          	bndcn  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0d 99 03 00 00 	bndcn  0x399,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 4a 03       	bndcn  0x3\(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0c 08       	bndcn  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0c 0d 00 00 00 00 	bndcn  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 4c 01 03    	bndcn  0x3\(%ecx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	0f 1b 44 18 03       	bndstx %bnd0,0x3\(%eax,%ebx,1\)
[ 	]*[a-f0-9]+:	0f 1b 54 13 03       	bndstx %bnd2,0x3\(%ebx,%edx,1\)
[ 	]*[a-f0-9]+:	0f 1b 14 15 03 00 00 00 	bndstx %bnd2,0x3\(,%edx,1\)
[ 	]*[a-f0-9]+:	0f 1b 9a 99 03 00 00 	bndstx %bnd3,0x399\(%edx\)
[ 	]*[a-f0-9]+:	0f 1b 93 34 12 00 00 	bndstx %bnd2,0x1234\(%ebx\)
[ 	]*[a-f0-9]+:	0f 1b 53 03          	bndstx %bnd2,0x3\(%ebx\)
[ 	]*[a-f0-9]+:	0f 1b 0a             	bndstx %bnd1,\(%edx\)
[ 	]*[a-f0-9]+:	0f 1a 44 18 03       	bndldx 0x3\(%eax,%ebx,1\),%bnd0
[ 	]*[a-f0-9]+:	0f 1a 54 13 03       	bndldx 0x3\(%ebx,%edx,1\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 14 15 03 00 00 00 	bndldx 0x3\(,%edx,1\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 9a 99 03 00 00 	bndldx 0x399\(%edx\),%bnd3
[ 	]*[a-f0-9]+:	0f 1a 93 34 12 00 00 	bndldx 0x1234\(%ebx\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 53 03          	bndldx 0x3\(%ebx\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 0a             	bndldx \(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f2 e8 63 01 00 00    	bnd call 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 ff 10             	bnd call \*\(%eax\)
[ 	]*[a-f0-9]+:	f2 0f 84 59 01 00 00 	bnd je 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 e9 53 01 00 00    	bnd jmp 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 ff 21             	bnd jmp \*\(%ecx\)
[ 	]*[a-f0-9]+:	f2 c3                	bnd ret 
[ 	]*[a-f0-9]+:	f3 0f 1b 08          	bndmk  \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0d 99 03 00 00 	bndmk  0x399,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 49 03       	bndmk  0x3\(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0c 08       	bndmk  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 0c 0d 00 00 00 00 	bndmk  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1b 4c 02 03    	bndmk  0x3\(%edx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 08          	bndmov \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 0d 99 03 00 00 	bndmov 0x399,%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 49 03       	bndmov 0x3\(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 0c 08       	bndmov \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 0c 0d 00 00 00 00 	bndmov 0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a 4c 02 03    	bndmov 0x3\(%edx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	66 0f 1a c1          	bndmov %bnd1,%bnd0
[ 	]*[a-f0-9]+:	66 0f 1b 08          	bndmov %bnd1,\(%eax\)
[ 	]*[a-f0-9]+:	66 0f 1b 0d 99 03 00 00 	bndmov %bnd1,0x399
[ 	]*[a-f0-9]+:	66 0f 1b 49 03       	bndmov %bnd1,0x3\(%ecx\)
[ 	]*[a-f0-9]+:	66 0f 1b 0c 08       	bndmov %bnd1,\(%eax,%ecx,1\)
[ 	]*[a-f0-9]+:	66 0f 1b 0c 0d 00 00 00 00 	bndmov %bnd1,0x0\(,%ecx,1\)
[ 	]*[a-f0-9]+:	66 0f 1b 4c 02 03    	bndmov %bnd1,0x3\(%edx,%eax,1\)
[ 	]*[a-f0-9]+:	66 0f 1a c8          	bndmov %bnd0,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 08          	bndcl  \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a c9          	bndcl  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0d 99 03 00 00 	bndcl  0x399,%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 49 03       	bndcl  0x3\(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0c 08       	bndcl  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 0c 0d 00 00 00 00 	bndcl  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f3 0f 1a 4c 02 03    	bndcl  0x3\(%edx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 08          	bndcu  \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a c9          	bndcu  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0d 99 03 00 00 	bndcu  0x399,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 49 03       	bndcu  0x3\(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0c 08       	bndcu  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 0c 0d 00 00 00 00 	bndcu  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1a 4c 02 03    	bndcu  0x3\(%edx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 08          	bndcn  \(%eax\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b c9          	bndcn  %ecx,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0d 99 03 00 00 	bndcn  0x399,%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 49 03       	bndcn  0x3\(%ecx\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0c 08       	bndcn  \(%eax,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 0c 0d 00 00 00 00 	bndcn  0x0\(,%ecx,1\),%bnd1
[ 	]*[a-f0-9]+:	f2 0f 1b 4c 02 03    	bndcn  0x3\(%edx,%eax,1\),%bnd1
[ 	]*[a-f0-9]+:	0f 1b 44 18 03       	bndstx %bnd0,0x3\(%eax,%ebx,1\)
[ 	]*[a-f0-9]+:	0f 1b 54 13 03       	bndstx %bnd2,0x3\(%ebx,%edx,1\)
[ 	]*[a-f0-9]+:	0f 1b 14 0d 00 00 00 00 	bndstx %bnd2,0x0\(,%ecx,1\)
[ 	]*[a-f0-9]+:	0f 1b 9a 99 03 00 00 	bndstx %bnd3,0x399\(%edx\)
[ 	]*[a-f0-9]+:	0f 1b 14 1d 03 00 00 00 	bndstx %bnd2,0x3\(,%ebx,1\)
[ 	]*[a-f0-9]+:	0f 1b 0a             	bndstx %bnd1,\(%edx\)
[ 	]*[a-f0-9]+:	0f 1a 44 18 03       	bndldx 0x3\(%eax,%ebx,1\),%bnd0
[ 	]*[a-f0-9]+:	0f 1a 54 13 03       	bndldx 0x3\(%ebx,%edx,1\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 14 0d 00 00 00 00 	bndldx 0x0\(,%ecx,1\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 9a 99 03 00 00 	bndldx 0x399\(%edx\),%bnd3
[ 	]*[a-f0-9]+:	0f 1a 14 1d 03 00 00 00 	bndldx 0x3\(,%ebx,1\),%bnd2
[ 	]*[a-f0-9]+:	0f 1a 0a             	bndldx \(%edx\),%bnd1
[ 	]*[a-f0-9]+:	f2 e8 0e 00 00 00    	bnd call 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 ff d0             	bnd call \*%eax
[ 	]*[a-f0-9]+:	f2 74 08             	bnd je 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 eb 05             	bnd jmp 2a9 <foo>
[ 	]*[a-f0-9]+:	f2 ff e1             	bnd jmp \*%ecx
[ 	]*[a-f0-9]+:	f2 c3                	bnd ret 

[a-f0-9]+ <foo>:
[ 	]*[a-f0-9]+:	f2 c3                	bnd ret 

[a-f0-9]+ <bad>:
[ 	]*[a-f0-9]+:	0f 1a 30             	bndldx \(%eax\),\(bad\)
[ 	]*[a-f0-9]+:	66 0f 1a c4          	bndmov \(bad\),%bnd0
#pass