llvm/test/CodeGen/RISCV/GlobalISel/irtranslator/variadic-call.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -global-isel --stop-before=legalizer < %s -o - \
   3 ; RUN:   | FileCheck --check-prefix=RV32I %s
   4 ; RUN: llc -mtriple=riscv64 -global-isel --stop-before=legalizer < %s -o - \
   5 ; RUN:   | FileCheck --check-prefix=RV64I %s
   6
   7 declare i32 @foo(i32 noundef signext, ...)
   8
   9 define i32 @main() {
  10   ; RV32I-LABEL: name: main
  11   ; RV32I: bb.1.entry:
  12   ; RV32I-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  13   ; RV32I-NEXT:   [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  14   ; RV32I-NEXT:   [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  15   ; RV32I-NEXT:   [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
  16   ; RV32I-NEXT:   [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.retval
  17   ; RV32I-NEXT:   G_STORE [[C]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %ir.retval)
  18   ; RV32I-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x2
  19   ; RV32I-NEXT:   $x10 = COPY [[C]](s32)
  20   ; RV32I-NEXT:   $x11 = COPY [[C1]](s32)
  21   ; RV32I-NEXT:   $x12 = COPY [[C2]](s32)
  22   ; RV32I-NEXT:   $x13 = COPY [[C3]](s32)
  23   ; RV32I-NEXT:   PseudoCALL target-flags(riscv-call) @foo, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit $x12, implicit $x13, implicit-def $x10
  24   ; RV32I-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x2
  25   ; RV32I-NEXT:   [[COPY:%[0-9]+]]:_(s32) = COPY $x10
  26   ; RV32I-NEXT:   $x10 = COPY [[COPY]](s32)
  27   ; RV32I-NEXT:   PseudoRET implicit $x10
  28   ;
  29   ; RV64I-LABEL: name: main
  30   ; RV64I: bb.1.entry:
  31   ; RV64I-NEXT:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  32   ; RV64I-NEXT:   [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.retval
  33   ; RV64I-NEXT:   G_STORE [[C]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %ir.retval)
  34   ; RV64I-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x2
  35   ; RV64I-NEXT:   [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
  36   ; RV64I-NEXT:   [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
  37   ; RV64I-NEXT:   [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
  38   ; RV64I-NEXT:   [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 3
  39   ; RV64I-NEXT:   $x10 = COPY [[C1]](s64)
  40   ; RV64I-NEXT:   $x11 = COPY [[C2]](s64)
  41   ; RV64I-NEXT:   $x12 = COPY [[C3]](s64)
  42   ; RV64I-NEXT:   $x13 = COPY [[C4]](s64)
  43   ; RV64I-NEXT:   PseudoCALL target-flags(riscv-call) @foo, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit $x12, implicit $x13, implicit-def $x10
  44   ; RV64I-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x2
  45   ; RV64I-NEXT:   [[COPY:%[0-9]+]]:_(s64) = COPY $x10
  46   ; RV64I-NEXT:   [[ASSERT_SEXT:%[0-9]+]]:_(s64) = G_ASSERT_SEXT [[COPY]], 32
  47   ; RV64I-NEXT:   $x10 = COPY [[ASSERT_SEXT]](s64)
  48   ; RV64I-NEXT:   PseudoRET implicit $x10
  49 entry:
  50   %retval = alloca i32, align 4
  51   store i32 0, ptr %retval, align 4
  52   %call = call noundef signext i32 (i32, ...) @foo(i32 noundef signext 0, i32 noundef signext 1, i32 noundef signext 2, i32 noundef signext 3)
  53   ret i32 %call
  54 }