llvm/test/CodeGen/SystemZ/zos-ada-relocations.ll

   1 ; Test the ADA section in the assembly output for all cases.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-ibm-zos | FileCheck %s
   4
   5 ; CHECK-LABEL: DoIt:
   6 ; CHECK:    stmg    6,7,1840(4)
   7 ; CHECK:    aghi    4,-224
   8 ; CHECK:    lg  1,0(5)
   9 ; CHECK:    lg  6,16(5)
  10 ; CHECK:    lg  5,8(5)
  11 ; CHECK:    stg 1,2264(4)
  12 ; CHECK:    basr    7,6
  13 ; CHECK:    bcr 0,0
  14 ; CHECK:    lg  7,2072(4)
  15 ; CHECK:    aghi    4,224
  16 ; CHECK:    b   2(7)
  17 define hidden void @DoIt() {
  18 entry:
  19   %F = alloca ptr, align 8
  20   store ptr @DoFunc, ptr %F, align 8
  21   %0 = load ptr, ptr %F, align 8
  22   call void @Caller(ptr noundef %0)
  23   ret void
  24 }
  25 declare void @DoFunc()
  26 declare void @Caller(ptr noundef)
  27
  28 ; CHECK-LABEL: get_i:
  29 ; CHECK:    stmg    6,8,1872(4)
  30 ; CHECK:    aghi    4,-192
  31 ; CHECK:    lg  1,24(5)
  32 ; CHECK:    lg  2,32(5)
  33 ; CHECK:    lgf 1,0(1)
  34 ; CHECK:    lg  6,48(5)
  35 ; CHECK:    lg  5,40(5)
  36 ; CHECK:    l   8,0(2)
  37 ; CHECK:    basr    7,6
  38 ; CHECK:    bcr 0,0
  39 ; CHECK:    ar  3,8
  40 ; CHECK:    lgfr    3,3
  41 ; CHECK:    lmg 7,8,2072(4)
  42 ; CHECK:    aghi    4,192
  43 ; CHECK:    b   2(7)
  44 @i = external global i32, align 4
  45 @i2 = external global i32, align 4
  46
  47 define signext i32 @get_i() {
  48 entry:
  49   %0 = load i32, ptr @i, align 4
  50   %1 = load i32, ptr @i2, align 4
  51   %call = call signext i32 @callout(i32 signext %1)
  52   %add = add nsw i32 %0, %call
  53   ret i32 %add
  54 }
  55
  56 declare signext i32 @callout(i32 signext)
  57
  58 ; CHECK:     .section    ".ada"
  59 ; CHECK:  .set L#DoFunc@indirect0, DoFunc
  60 ; CHECK:      .indirect_symbol   L#DoFunc@indirect0
  61 ; CHECK:  .quad V(L#DoFunc@indirect0)          * Offset 0 pointer to function descriptor DoFunc
  62 ; CHECK:  .quad R(Caller)                      * Offset 8 function descriptor of Caller
  63 ; CHECK:  .quad V(Caller)
  64 ; CHECK:  .quad A(i2)                           * Offset 24 pointer to data symbol i2
  65 ; CHECK:  .quad A(i)                            * Offset 32 pointer to data symbol i
  66 ; CHECK:  .quad R(callout)                      * Offset 40 function descriptor of callout
  67 ; CHECK:  .quad V(callout)