1 int
main(int argc,char ** argv)2 main (int argc, char **argv)
3 {
4 // Since MPX is disabled all these are just NOPS.
5 // Some of these instructions are just random.
6 // Once the GCC support is merged creating real test cases will be easier.
7 // http://gcc.gnu.org/wiki/Intel%20MPX%20support%20in%20the%20GCC%20compiler
8
9 // This is what ld.so does in _dl_runtime_resolve to save the bnds.
10 asm ("bndmov %bnd0, (%rsp)");
11 asm ("bndmov %bnd1, 16(%rsp)");
12 asm ("bndmov %bnd2, 32(%rsp)");
13 asm ("bndmov %bnd3, 48(%rsp)");
14
15 // Create a bnd, check lower and upper...
16 asm ("bndmk (%rax,%rdx), %bnd0");
17 asm ("bndcl (%rax,%rdi,4), %bnd0");
18 asm ("bndcu 3(%rax,%rdi,4), %bnd0");
19 asm ("bndcn 3(%rax,%rdi,4), %bnd0");
20
21 // Load bnd pointer and update...
22 asm ("bndldx 3(%rbx,%rdx), %bnd2");
23 asm ("bndstx %bnd2, 3(,%r12,1)");
24
25 // "bnd" prefixed call, return and jmp...
26 asm ("bnd call foo\n\
27 bnd jmp end\n\
28 foo: bnd ret\n\
29 end: nop");
30
31 // And set the bnds back...
32 asm ("bndmov 48(%rsp), %bnd3");
33 asm ("bndmov 32(%rsp), %bnd2");
34 asm ("bndmov 16(%rsp), %bnd1");
35 asm ("bndmov (%rsp), %bnd0");
36
37 return 0;
38 }
39