bolt/test/X86/tail-duplication-jt.s

   1 # This reproduces a bug in tail duplication when aggressiveCodeToDuplicate
   2 # fails to handle a block with a jump table.
   3
   4 # REQUIRES: system-linux
   5
   6 # RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown \
   7 # RUN:   %s -o %t.o
   8 # RUN: link_fdata %s %t.o %t.fdata
   9 # RUN: llvm-strip --strip-unneeded %t.o
  10 # RUN: %clangxx %cflags -no-pie %t.o -o %t.exe -Wl,-q
  11 # RUN: llvm-bolt %t.exe -o %t.out --data %t.fdata --relocs \
  12 # RUN:   --tail-duplication=aggressive \
  13 # RUN:   --print-cfg | FileCheck %s
  14 # CHECK: Jump table {{.*}} for function a at {{.*}} with a total count of 3
  15   .globl main
  16 main:
  17   .globl a
  18   .type a, %function
  19 a:
  20         .cfi_startproc
  21 b:
  22   jmp   c
  23   je    b
  24   movl  %esi, %edi
  25 c:
  26         movb    0, %cl
  27 d:
  28   jmp   e
  29         movq    0, %r14
  30 f:
  31         je      d
  32   jmp   f
  33 e:
  34 g:
  35 j:
  36         movq    %rbp, 0
  37 h:
  38         cmpl    $0x41, 0
  39 i:
  40   jmp   h
  41   jmp   i
  42   ja    o
  43         movl    %edx, 0
  44 p:
  45 q:
  46 k:
  47   jmpq  *JT0(,%rcx,8)
  48 # FDATA: 1 a #k# 1 a #l# 1 3
  49 m:
  50         movl    0, %esi
  51 r:
  52   jmpq  *JT1(,%rax,8)
  53         cmpl    1, %eax
  54   jmp   j
  55 l:
  56   jmp   m
  57 s:
  58   movl  6, %ebx
  59 ak:
  60   jmp   e
  61         movl    0, %eax
  62 am:
  63   jmp   p
  64         jmp     q
  65 o:
  66   jmp   g
  67 n:
  68         xorl    %r12d, %r12d
  69         .cfi_endproc
  70 .rodata
  71 JT0:
  72         .quad   r
  73         .quad   l
  74         .quad   ak
  75 JT1:
  76         .quad   s
  77         .quad   am
  78         .quad   n