llvm/test/CodeGen/PowerPC/aix-user-defined-memcpy.ll

   1 ; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff -mcpu=pwr4 \
   2 ; RUN:   -mattr=-altivec -filetype=obj -xcoff-traceback-table=false -o %t.o < %s
   3
   4 ; RUN: llvm-readobj --syms %t.o | FileCheck --check-prefix=32-SYM %s
   5
   6 ; RUN: llvm-readobj --relocs --expand-relocs %t.o | FileCheck \
   7 ; RUN:   --check-prefix=32-REL %s
   8
   9 ; RUN: llvm-objdump -D %t.o | FileCheck --check-prefix=32-DIS %s
  10
  11 ; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff \
  12 ; RUN:   -mcpu=pwr4 -mattr=-altivec < %s | FileCheck %s
  13
  14 ;; FIXME: currently only fileHeader and sectionHeaders are supported in XCOFF64.
  15
  16 ; Test verifies:
  17 ; If there exists a user-defined function whose name is the same as the
  18 ; "memcpy" ExternalSymbol's, we pick up the user-defined version, even if this
  19 ; may lead to some undefined behavior.
  20
  21 define dso_local signext i32 @memcpy(ptr %destination, i32 signext %num) {
  22 entry:
  23   ret i32 3
  24 }
  25
  26 define void @call_memcpy(ptr %p, ptr %q, i32 %n) {
  27 entry:
  28   call void @llvm.memcpy.p0.p0.i32(ptr %p, ptr %q, i32 %n, i1 false)
  29   ret void
  30 }
  31
  32 declare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1)
  33
  34 ; This test check
  35 ; 1. The symbol table for .o file to verify .memcpy is a defined external label.
  36 ; 2. There is no relocation associated with the call, since callee is defined.
  37 ; 3. Branch instruction in raw data is branching back to the right callee location.
  38
  39 ; CHECK-NOT: .extern .memcpy
  40
  41 ; 32-SYM:      Symbol {{[{][[:space:]] *}}Index: [[#Index:]]{{[[:space:]] *}}Name: .___memmove
  42 ; 32-SYM-NEXT:    Value (RelocatableAddress): 0x0
  43 ; 32-SYM-NEXT:    Section: N_UNDEF
  44 ; 32-SYM-NEXT:    Type: 0x0
  45 ; 32-SYM-NEXT:    StorageClass: C_EXT (0x2)
  46 ; 32-SYM-NEXT:    NumberOfAuxEntries: 1
  47 ; 32-SYM-NEXT:    CSECT Auxiliary Entry {
  48 ; 32-SYM-NEXT:      Index: 2
  49 ; 32-SYM-NEXT:      SectionLen: 0
  50 ; 32-SYM-NEXT:      ParameterHashIndex: 0x0
  51 ; 32-SYM-NEXT:      TypeChkSectNum: 0x0
  52 ; 32-SYM-NEXT:      SymbolAlignmentLog2: 0
  53 ; 32-SYM-NEXT:      SymbolType: XTY_ER (0x0)
  54 ; 32-SYM-NEXT:      StorageMappingClass: XMC_PR (0x0)
  55 ; 32-SYM-NEXT:      StabInfoIndex: 0x0
  56 ; 32-SYM-NEXT:      StabSectNum: 0x0
  57 ; 32-SYM-NEXT:    }
  58 ; 32-SYM-NEXT:  }
  59
  60 ; 32-SYM:      Symbol {{[{][[:space:]] *}}Index: [[#Index:]]{{[[:space:]] *}}Name: .memcpy
  61 ; 32-SYM-NEXT:    Value (RelocatableAddress): 0x0
  62 ; 32-SYM-NEXT:    Section: .text
  63 ; 32-SYM-NEXT:    Type: 0x0
  64 ; 32-SYM-NEXT:    StorageClass: C_EXT (0x2)
  65 ; 32-SYM-NEXT:    NumberOfAuxEntries: 1
  66 ; 32-SYM-NEXT:    CSECT Auxiliary Entry {
  67 ; 32-SYM-NEXT:      Index: 6
  68 ; 32-SYM-NEXT:      ContainingCsectSymbolIndex: 3
  69 ; 32-SYM-NEXT:      ParameterHashIndex: 0x0
  70 ; 32-SYM-NEXT:      TypeChkSectNum: 0x0
  71 ; 32-SYM-NEXT:      SymbolAlignmentLog2: 0
  72 ; 32-SYM-NEXT:      SymbolType: XTY_LD (0x2)
  73 ; 32-SYM-NEXT:      StorageMappingClass: XMC_PR (0x0)
  74 ; 32-SYM-NEXT:      StabInfoIndex: 0x0
  75 ; 32-SYM-NEXT:      StabSectNum: 0x0
  76 ; 32-SYM-NEXT:    }
  77 ; 32-SYM-NEXT:  }
  78
  79 ; 32-SYM-NOT: .memcpy
  80
  81 ; 32-REL:      Relocations [
  82 ; 32-REL-NEXT:  Section (index: 1) .text {
  83 ; 32-REL-NEXT:  Relocation {
  84 ; 32-REL-NEXT:    Virtual Address: 0x1C
  85 ; 32-REL-NEXT:    Symbol: .___memmove (1)
  86 ; 32-REL-NEXT:    IsSigned: Yes
  87 ; 32-REL-NEXT:    FixupBitValue: 0
  88 ; 32-REL-NEXT:    Length: 26
  89 ; 32-REL-NEXT:    Type: R_RBR (0x1A)
  90 ; 32-REL-NEXT:  }
  91 ; 32-REL-NEXT:}
  92 ; 32-REL-NEXT:  Section (index: 2) .data {
  93 ; 32-REL-NEXT:  Relocation {
  94 ; 32-REL-NEXT:    Virtual Address: 0x34
  95 ; 32-REL-NEXT:    Symbol: .memcpy (5)
  96 ; 32-REL-NEXT:    IsSigned: No
  97 ; 32-REL-NEXT:    FixupBitValue: 0
  98 ; 32-REL-NEXT:    Length: 32
  99 ; 32-REL-NEXT:    Type: R_POS (0x0)
 100 ; 32-REL-NEXT:  }
 101 ; 32-REL-NEXT:  Relocation {
 102 ; 32-REL-NEXT:    Virtual Address: 0x38
 103 ; 32-REL-NEXT:    Symbol: TOC (13)
 104 ; 32-REL-NEXT:    IsSigned: No
 105 ; 32-REL-NEXT:    FixupBitValue: 0
 106 ; 32-REL-NEXT:    Length: 32
 107 ; 32-REL-NEXT:    Type: R_POS (0x0)
 108 ; 32-REL-NEXT:  }
 109 ; 32-REL-NEXT:  Relocation {
 110 ; 32-REL-NEXT:    Virtual Address: 0x40
 111 ; 32-REL-NEXT:    Symbol: .call_memcpy (7)
 112 ; 32-REL-NEXT:    IsSigned: No
 113 ; 32-REL-NEXT:    FixupBitValue: 0
 114 ; 32-REL-NEXT:    Length: 32
 115 ; 32-REL-NEXT:    Type: R_POS (0x0)
 116 ; 32-REL-NEXT:  }
 117 ; 32-REL-NEXT:  Relocation {
 118 ; 32-REL-NEXT:    Virtual Address: 0x44
 119 ; 32-REL-NEXT:    Symbol: TOC (13)
 120 ; 32-REL-NEXT:    IsSigned: No
 121 ; 32-REL-NEXT:    FixupBitValue: 0
 122 ; 32-REL-NEXT:    Length: 32
 123 ; 32-REL-NEXT:    Type: R_POS (0x0)
 124 ; 32-REL-NEXT:  }
 125 ; 32-REL-NEXT:  }
 126 ; 32-REL-NEXT: ]
 127
 128 ; 32-REL-NOT:  Type: R_RBR (0x1A)
 129
 130 ; 32-DIS:      Disassembly of section .text:
 131 ; 32-DIS:      00000000 <.memcpy>:
 132 ; 32-DIS-NEXT:        0: 38 60 00 03                   li 3, 3
 133 ; 32-DIS-NEXT:        4: 4e 80 00 20                   blr
 134 ; 32-DIS-NEXT:        8: 60 00 00 00                   nop
 135 ; 32-DIS-NEXT:        c: 60 00 00 00                   nop
 136 ; 32-DIS:      00000010 <.call_memcpy>:
 137 ; 32-DIS-NEXT:       10: 7c 08 02 a6                   mflr 0
 138 ; 32-DIS-NEXT:       14: 94 21 ff c0                   stwu 1, -64(1)
 139 ; 32-DIS-NEXT:       18: 90 01 00 48                   stw 0, 72(1)
 140 ; 32-DIS-NEXT:       1c: 4b ff ff e5                   bl 0x0
 141 ; 32-DIS-NEXT:       20: 60 00 00 00                   nop
 142 ; 32-DIS-NEXT:       24: 38 21 00 40                   addi 1, 1, 64
 143 ; 32-DIS-NEXT:       28: 80 01 00 08                   lwz 0, 8(1)
 144 ; 32-DIS-NEXT:       2c: 7c 08 03 a6                   mtlr 0
 145 ; 32-DIS-NEXT:       30: 4e 80 00 20                   blr