llvm/test/MC/X86/align-branch-negative.s

   1 # RUN: llvm-mc -filetype=obj -triple x86_64 --x86-align-branch-boundary=32 --x86-align-branch=call+jmp+indirect+ret+jcc+fused %s | llvm-objdump -d --no-show-raw-insn - | FileCheck %s
   2
   3   # This file includes cases which are problematic to apply automatic padding
   4   # in the assembler.  These are the examples brought up in review and
   5   # discussion which motivate the need for a assembler directive to
   6   # selectively enable/disable.
   7   # FIXME: the checks are checking current *incorrect* behavior
   8
   9   .text
  10
  11   # In the first test, we have a label which is expected to be bound to the
  12   # start of the call.  For instance, we want to associate a fault on the call
  13   # target with some bit of higher level sementic.
  14   # CHECK-LABEL: <labeled_call_test1>:
  15   # CHECK: 1f <label_before>:
  16   # CHECK: 1f: nop
  17   # CHECK: 20: callq
  18   .globl  labeled_call_test1
  19   .p2align  5
  20 labeled_call_test1:
  21   .rept 31
  22   int3
  23   .endr
  24 label_before:
  25   callq bar
  26
  27   # Our second test is like the first w/a labeled fault, but specifically to
  28   # a fused memory comparison.  This is the form produced by implicit null
  29   # checks for instance.
  30   # CHECK-LABEL: <implicit_null_check>:
  31   # CHECK: 5f <fault_addr>:
  32   # CHECK: 5f: nop
  33   # CHECK: 60: cmpq
  34   .globl  implicit_null_check
  35   .p2align  5
  36 implicit_null_check:
  37   .rept 31
  38   int3
  39   .endr
  40 fault_addr:
  41   cmpq (%rsi), %rdi
  42   jne bar
  43
  44   .p2align 4
  45   .type   bar,@function
  46 bar:
  47   retq