1  /* { dg-options "-mshared -mabi=n32 -mmicromips" } */
       2  /* { dg-final { scan-assembler "\taddiu\t\\\$3,\\\$3,%lo\\(%neg\\(%gp_rel\\(foo\\)\\)\\)\n" } } */
       3  /* { dg-final { scan-assembler "\tlw\t\\\$1,%got_page\\(\[^)\]*\\)\\(\\\$3\\)\\n" } } */
       4  /* { dg-final { scan-assembler "\tjr\t\\\$1\n" } } */
       5  /* { dg-final { scan-assembler-not "\\\$28" } } */
       6  
       7  #include "branch-helper.h"
       8  
       9  NOMIPS16 void
      10  foo (volatile int *x)
      11  {
      12    if (__builtin_expect (*x == 0, 1))
      13      OCCUPY_0x10000;
      14  }