gcc/testsuite/gcc.target/mips/insn-pseudo-4.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-mips16 -mcode-readable=yes" } */
   3
   4 void
   5 unreachable (void)
   6 {
   7   asm volatile goto ("b\t.\n\tbeqz\t%0,%l1" : : "r" (0x12345678) : : punt);
   8 punt:
   9   __builtin_unreachable ();
  10 }
  11
  12 /* Expect assembly like:
  13
  14         lw      $2,$L5
  15                                 # Anything goes here.
  16         beqz    $2,$L2          # The register must match.
  17                                 # Anything goes here.
  18 $L2:                            # The label must match.
  19         .insn
  20 $L3 = .                         # It's there, but we don't care.
  21         .type   __pool_unreachable_5, @object
  22 __pool_unreachable_5:
  23         .align  2
  24 $L5:                            # The label must match.
  25         .word   305419896
  26
  27    that is .insn to be inserted if a code label is at a constant pool.  */
  28
  29 /* { dg-final { scan-assembler "\tlw\t(\\\$\[0-9\]+),(.L\[0-9\]+)\n.*\tbeqz\t\\1,(.L\[0-9\]+)\n.*\n\\3:\n\t\\.insn\n(?:.L\[0-9\]+ = \\.\n)?\t\\.type\t__pool_unreachable_\[0-9\]+, @object\n__pool_unreachable_\[0-9\]+:\n\t\\.align\t2\n\\2:\n\t\\.word\t305419896\n" } } */