test/CodeGen/Mips/llvm-ir/call.ll

   1 ; Test the 'call' instruction and the tailcall variant.
   2
   3 ; FIXME: We should remove the need for -enable-mips-tail-calls
   4 ; RUN: llc -march=mips   -mcpu=mips32   -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
   5 ; RUN: llc -march=mips   -mcpu=mips32r2 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
   6 ; RUN: llc -march=mips   -mcpu=mips32r3 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
   7 ; RUN: llc -march=mips   -mcpu=mips32r5 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
   8 ; RUN: llc -march=mips   -mcpu=mips32r6 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
   9 ; RUN: llc -march=mips   -mcpu=mips32r6 -mattr=+fp64,+nooddspreg -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=O32
  10 ; RUN: llc -march=mips64 -mcpu=mips4    -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  11 ; RUN: llc -march=mips64 -mcpu=mips64   -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  12 ; RUN: llc -march=mips64 -mcpu=mips64r2 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  13 ; RUN: llc -march=mips64 -mcpu=mips64r3 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  14 ; RUN: llc -march=mips64 -mcpu=mips64r5 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  15 ; RUN: llc -march=mips64 -mcpu=mips64r6 -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=ALL -check-prefix=N64
  16
  17 declare void @extern_void_void()
  18 declare i32 @extern_i32_void()
  19 declare float @extern_float_void()
  20
  21 define i32 @call_void_void() {
  22 ; ALL-LABEL: call_void_void:
  23
  24 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_void_void)($gp)
  25
  26 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_void_void)($gp)
  27
  28 ; ALL:           jalr $[[TGT]]
  29
  30   call void @extern_void_void()
  31   ret i32 0
  32 }
  33
  34 define i32 @call_i32_void() {
  35 ; ALL-LABEL: call_i32_void:
  36
  37 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_i32_void)($gp)
  38
  39 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_i32_void)($gp)
  40
  41 ; ALL:           jalr $[[TGT]]
  42
  43   %1 = call i32 @extern_i32_void()
  44   %2 = add i32 %1, 1
  45   ret i32 %2
  46 }
  47
  48 define float @call_float_void() {
  49 ; ALL-LABEL: call_float_void:
  50
  51 ; FIXME: Not sure why we don't use $gp directly on such a simple test. We should
  52 ;        look into it at some point.
  53 ; O32:           addu $[[GP:[0-9]+]], ${{[0-9]+}}, $25
  54 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_float_void)($[[GP]])
  55
  56 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_float_void)($gp)
  57
  58 ; ALL:           jalr $[[TGT]]
  59
  60 ; O32:           move $gp, $[[GP]]
  61
  62   %1 = call float @extern_float_void()
  63   %2 = fadd float %1, 1.0
  64   ret float %2
  65 }
  66
  67 define void @musttail_call_void_void() {
  68 ; ALL-LABEL: musttail_call_void_void:
  69
  70 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_void_void)($gp)
  71
  72 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_void_void)($gp)
  73
  74 ; NOT-R6:        jr $[[TGT]]
  75 ; R6:            r6.jr $[[TGT]]
  76
  77   musttail call void @extern_void_void()
  78   ret void
  79 }
  80
  81 define i32 @musttail_call_i32_void() {
  82 ; ALL-LABEL: musttail_call_i32_void:
  83
  84 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_i32_void)($gp)
  85
  86 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_i32_void)($gp)
  87
  88 ; NOT-R6:        jr $[[TGT]]
  89 ; R6:            r6.jr $[[TGT]]
  90
  91   %1 = musttail call i32 @extern_i32_void()
  92   ret i32 %1
  93 }
  94
  95 define float @musttail_call_float_void() {
  96 ; ALL-LABEL: musttail_call_float_void:
  97
  98 ; O32:           lw $[[TGT:[0-9]+]], %call16(extern_float_void)($gp)
  99
 100 ; N64:           ld $[[TGT:[0-9]+]], %call16(extern_float_void)($gp)
 101
 102 ; NOT-R6:        jr $[[TGT]]
 103 ; R6:            r6.jr $[[TGT]]
 104
 105   %1 = musttail call float @extern_float_void()
 106   ret float %1
 107 }
 108
 109 define i32 @indirect_call_void_void(void ()* %addr) {
 110 ; ALL-LABEL: indirect_call_void_void:
 111
 112 ; ALL:           move $25, $4
 113 ; ALL:           jalr $25
 114
 115   call void %addr()
 116   ret i32 0
 117 }
 118
 119 define i32 @indirect_call_i32_void(i32 ()* %addr) {
 120 ; ALL-LABEL: indirect_call_i32_void:
 121
 122 ; ALL:           move $25, $4
 123 ; ALL:           jalr $25
 124
 125   %1 = call i32 %addr()
 126   %2 = add i32 %1, 1
 127   ret i32 %2
 128 }
 129
 130 define float @indirect_call_float_void(float ()* %addr) {
 131 ; ALL-LABEL: indirect_call_float_void:
 132
 133 ; ALL:           move $25, $4
 134 ; ALL:           jalr $25
 135
 136   %1 = call float %addr()
 137   %2 = fadd float %1, 1.0
 138   ret float %2
 139 }
 140
 141 ; We can't use 'musttail' here because the verifier is too conservative and
 142 ; prohibits any prototype difference.
 143 define void @tail_indirect_call_void_void(void ()* %addr) {
 144 ; ALL-LABEL: tail_indirect_call_void_void:
 145
 146 ; ALL:           move $25, $4
 147 ; ALL:           jr $25
 148
 149   tail call void %addr()
 150   ret void
 151 }
 152
 153 define i32 @tail_indirect_call_i32_void(i32 ()* %addr) {
 154 ; ALL-LABEL: tail_indirect_call_i32_void:
 155
 156 ; ALL:           move $25, $4
 157 ; ALL:           jr $25
 158
 159   %1 = tail call i32 %addr()
 160   ret i32 %1
 161 }
 162
 163 define float @tail_indirect_call_float_void(float ()* %addr) {
 164 ; ALL-LABEL: tail_indirect_call_float_void:
 165
 166 ; ALL:           move $25, $4
 167 ; ALL:           jr $25
 168
 169   %1 = tail call float %addr()
 170   ret float %1
 171 }
 172
 173 ; Check that passing undef as a double value doesn't cause machine code errors
 174 ; for FP64.
 175 declare hidden void @undef_double(i32 %this, double %volume) unnamed_addr align 2
 176
 177 define hidden void @thunk_undef_double(i32 %this, double %volume) unnamed_addr align 2 {
 178 ; ALL-LABEL: thunk_undef_double:
 179 ; O32: # implicit-def: A2
 180 ; O32: # implicit-def: A3
 181 ; ALL: jr $25
 182   tail call void @undef_double(i32 undef, double undef) #8
 183   ret void
 184 }