1 #objdump: -drw
2 #name: x86-64 MPX addr32 tests
3 
4 .*: +file format .*
5 
6 Disassembly of section .text:
7 
8 0000000000000000 <.text>:
9 [ 	]*[a-f0-9]+:	67 f3 0f 1b 08       	addr32 bndmk \(%rax\),%bnd1
10 [ 	]*[a-f0-9]+:	67 f3 0f 1b 4c 19 03 	addr32 bndmk 0x3\(%rcx,%rbx,1\),%bnd1
11 [ 	]*[a-f0-9]+:	67 66 41 0f 1a 08    	addr32 bndmov \(%r8\),%bnd1
12 [ 	]*[a-f0-9]+:	67 66 41 0f 1a 4c 11 03 	addr32 bndmov 0x3\(%r9,%rdx,1\),%bnd1
13 [ 	]*[a-f0-9]+:	67 66 0f 1b 08       	addr32 bndmov %bnd1,\(%rax\)
14 [ 	]*[a-f0-9]+:	67 66 0f 1b 4c 01 03 	addr32 bndmov %bnd1,0x3\(%rcx,%rax,1\)
15 [ 	]*[a-f0-9]+:	67 f3 0f 1a 09       	addr32 bndcl \(%rcx\),%bnd1
16 [ 	]*[a-f0-9]+:	67 f3 0f 1a 4c 01 03 	addr32 bndcl 0x3\(%rcx,%rax,1\),%bnd1
17 [ 	]*[a-f0-9]+:	67 f2 0f 1a 09       	addr32 bndcu \(%rcx\),%bnd1
18 [ 	]*[a-f0-9]+:	67 f2 0f 1a 4c 01 03 	addr32 bndcu 0x3\(%rcx,%rax,1\),%bnd1
19 [ 	]*[a-f0-9]+:	67 f2 0f 1b 09       	addr32 bndcn \(%rcx\),%bnd1
20 [ 	]*[a-f0-9]+:	67 f2 0f 1b 4c 01 03 	addr32 bndcn 0x3\(%rcx,%rax,1\),%bnd1
21 [ 	]*[a-f0-9]+:	67 0f 1b 44 18 03    	addr32 bndstx %bnd0,0x3\(%rax,%rbx,1\)
22 [ 	]*[a-f0-9]+:	67 0f 1b 53 03       	addr32 bndstx %bnd2,0x3\(%rbx\)
23 [ 	]*[a-f0-9]+:	67 0f 1a 44 18 03    	addr32 bndldx 0x3\(%rax,%rbx,1\),%bnd0
24 [ 	]*[a-f0-9]+:	67 0f 1a 53 03       	addr32 bndldx 0x3\(%rbx\),%bnd2
25 [ 	]*[a-f0-9]+:	67 f3 0f 1b 08       	addr32 bndmk \(%rax\),%bnd1
26 [ 	]*[a-f0-9]+:	67 f3 0f 1b 4c 02 03 	addr32 bndmk 0x3\(%rdx,%rax,1\),%bnd1
27 [ 	]*[a-f0-9]+:	67 66 0f 1a 08       	addr32 bndmov \(%rax\),%bnd1
28 [ 	]*[a-f0-9]+:	67 66 0f 1a 4c 02 03 	addr32 bndmov 0x3\(%rdx,%rax,1\),%bnd1
29 [ 	]*[a-f0-9]+:	67 66 0f 1b 08       	addr32 bndmov %bnd1,\(%rax\)
30 [ 	]*[a-f0-9]+:	67 66 0f 1b 4c 02 03 	addr32 bndmov %bnd1,0x3\(%rdx,%rax,1\)
31 [ 	]*[a-f0-9]+:	67 f3 0f 1a 08       	addr32 bndcl \(%rax\),%bnd1
32 [ 	]*[a-f0-9]+:	67 f3 0f 1a 4c 02 03 	addr32 bndcl 0x3\(%rdx,%rax,1\),%bnd1
33 [ 	]*[a-f0-9]+:	67 f2 0f 1a 08       	addr32 bndcu \(%rax\),%bnd1
34 [ 	]*[a-f0-9]+:	67 f2 0f 1a 4c 02 03 	addr32 bndcu 0x3\(%rdx,%rax,1\),%bnd1
35 [ 	]*[a-f0-9]+:	67 f2 0f 1b 08       	addr32 bndcn \(%rax\),%bnd1
36 [ 	]*[a-f0-9]+:	67 f2 0f 1b 4c 02 03 	addr32 bndcn 0x3\(%rdx,%rax,1\),%bnd1
37 [ 	]*[a-f0-9]+:	67 0f 1b 44 18 03    	addr32 bndstx %bnd0,0x3\(%rax,%rbx,1\)
38 [ 	]*[a-f0-9]+:	67 0f 1b 14 1d 03 00 00 00 	addr32 bndstx %bnd2,0x3\(,%rbx,1\)
39 [ 	]*[a-f0-9]+:	67 0f 1a 44 18 03    	addr32 bndldx 0x3\(%rax,%rbx,1\),%bnd0
40 [ 	]*[a-f0-9]+:	67 0f 1a 14 1d 03 00 00 00 	addr32 bndldx 0x3\(,%rbx,1\),%bnd2
41 #pass
42