test/CodeGen/WebAssembly/varargs.ll

   1 ; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck %s
   2
   3 ; Test varargs constructs.
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; Test va_start.
   9
  10 ; TODO: Test va_start.
  11
  12 ;define void @start(i8** %ap, ...) {
  13 ;entry:
  14 ;  %0 = bitcast i8** %ap to i8*
  15 ;  call void @llvm.va_start(i8* %0)
  16 ;  ret void
  17 ;}
  18
  19 ; Test va_end.
  20
  21 ; CHECK-LABEL: end:
  22 ; CHECK-NEXT: .param i32{{$}}
  23 ; CHECK-NEXT: return{{$}}
  24 define void @end(i8** %ap) {
  25 entry:
  26   %0 = bitcast i8** %ap to i8*
  27   call void @llvm.va_end(i8* %0)
  28   ret void
  29 }
  30
  31 ; Test va_copy.
  32
  33 ; CHECK-LABEL: copy:
  34 ; CHECK-NEXT: .param i32, i32{{$}}
  35 ; CHECK-NEXT: i32.load  $push0=, 0($1){{$}}
  36 ; CHECK-NEXT: i32.store $discard=, 0($0), $pop0{{$}}
  37 ; CHECK-NEXT: return{{$}}
  38 define void @copy(i8** %ap, i8** %bp) {
  39 entry:
  40   %0 = bitcast i8** %ap to i8*
  41   %1 = bitcast i8** %bp to i8*
  42   call void @llvm.va_copy(i8* %0, i8* %1)
  43   ret void
  44 }
  45
  46 ; Test va_arg with an i8 argument.
  47
  48 ; CHECK-LABEL: arg_i8:
  49 ; CHECK-NEXT: .param     i32{{$}}
  50 ; CHECK-NEXT: .result    i32{{$}}
  51 ; CHECK-NEXT: .local     i32{{$}}
  52 ; CHECK-NEXT: i32.load   $1=, 0($0){{$}}
  53 ; CHECK-NEXT: i32.const  $push0=, 4{{$}}
  54 ; CHECK-NEXT: i32.add    $push1=, $1, $pop0{{$}}
  55 ; CHECK-NEXT: i32.store  $discard=, 0($0), $pop1{{$}}
  56 ; CHECK-NEXT: i32.load   $push2=, 0($1){{$}}
  57 ; CHECK-NEXT: return     $pop2{{$}}
  58 define i8 @arg_i8(i8** %ap) {
  59 entry:
  60   %t = va_arg i8** %ap, i8
  61   ret i8 %t
  62 }
  63
  64 ; Test va_arg with an i32 argument.
  65
  66 ; CHECK-LABEL: arg_i32:
  67 ; CHECK-NEXT: .param     i32{{$}}
  68 ; CHECK-NEXT: .result    i32{{$}}
  69 ; CHECK-NEXT: .local     i32{{$}}
  70 ; CHECK-NEXT: i32.load   $push0=, 0($0){{$}}
  71 ; CHECK-NEXT: i32.const  $push1=, 3{{$}}
  72 ; CHECK-NEXT: i32.add    $push2=, $pop0, $pop1{{$}}
  73 ; CHECK-NEXT: i32.const  $push3=, -4{{$}}
  74 ; CHECK-NEXT: i32.and    $1=, $pop2, $pop3{{$}}
  75 ; CHECK-NEXT: i32.const  $push4=, 4{{$}}
  76 ; CHECK-NEXT: i32.add    $push5=, $1, $pop4{{$}}
  77 ; CHECK-NEXT: i32.store  $discard=, 0($0), $pop5{{$}}
  78 ; CHECK-NEXT: i32.load   $push6=, 0($1){{$}}
  79 ; CHECK-NEXT: return     $pop6{{$}}
  80 define i32 @arg_i32(i8** %ap) {
  81 entry:
  82   %t = va_arg i8** %ap, i32
  83   ret i32 %t
  84 }
  85
  86 ; Test va_arg with an i128 argument.
  87
  88 ; CHECK-LABEL: arg_i128:
  89 ; CHECK-NEXT: .param i32, i32{{$}}
  90 ; CHECK-NEXT: .local
  91 ; CHECK: i32.and
  92 ; CHECK: i64.load
  93 ; CHECK: i64.load
  94 ; CHECK: return{{$}}
  95 define i128 @arg_i128(i8** %ap) {
  96 entry:
  97   %t = va_arg i8** %ap, i128
  98   ret i128 %t
  99 }
 100
 101 ; Test a varargs call with no actual arguments.
 102
 103 declare void @callee(...)
 104
 105 ; CHECK-LABEL: caller_none:
 106 ; CHECK-NEXT: call callee{{$}}
 107 ; CHECK-NEXT: return{{$}}
 108 define void @caller_none() {
 109   call void (...) @callee()
 110   ret void
 111 }
 112
 113 ; CHECK-LABEL: caller_some
 114 define void @caller_some() {
 115   ; TODO: Fix interaction between register coalescer and reg stackifier,
 116   ; or disable coalescer.
 117   ;call void (...) @callee(i32 0, double 2.0)
 118   ret void
 119 }
 120
 121 declare void @llvm.va_start(i8*)
 122 declare void @llvm.va_end(i8*)
 123 declare void @llvm.va_copy(i8*, i8*)