llvm/test/CodeGen/NVPTX/libcall-fulfilled.ll

   1 ; RUN: llc < %s -march=nvptx64 2>&1 | FileCheck %s
   2 ; RUN: %if ptxas %{ llc < %s -march=nvptx64 | %ptxas-verify %}
   3
   4 ; Allow to make libcalls that are defined in the current module
   5
   6 declare ptr @malloc(i64)
   7 declare void @free(ptr)
   8
   9 ; Underlying libcall declaration
  10 ; CHECK: .visible .func  (.param .align 16 .b8 func_retval0[16]) __umodti3
  11
  12 define i128 @remainder(i128, i128) {
  13 bb0:
  14   ; CHECK:      { // callseq 0, 0
  15   ; CHECK:      call.uni (retval0),
  16   ; CHECK-NEXT: __umodti3,
  17   ; CHECK-NEXT: (
  18   ; CHECK-NEXT: param0,
  19   ; CHECK-NEXT: param1
  20   ; CHECK-NEXT: );
  21   ; CHECK-NEXT: ld.param.v2.b64 {%[[REG0:rd[0-9]+]], %[[REG1:rd[0-9]+]]}, [retval0+0];
  22   ; CHECK-NEXT: } // callseq 0
  23   %a = urem i128 %0, %1
  24   br label %bb1
  25
  26 bb1:
  27   ; CHECK-NEXT: st.param.v2.b64 [func_retval0+0], {%[[REG0]], %[[REG1]]};
  28   ; CHECK-NEXT: ret;
  29   ret i128 %a
  30 }
  31
  32 ; Underlying libcall definition
  33 ; CHECK: .visible .func  (.param .align 16 .b8 func_retval0[16]) __umodti3(
  34 define i128 @__umodti3(i128, i128) {
  35   ret i128 0
  36 }
  37
  38 define void @malloc_then_free() {
  39 ; CHECK:  call.uni (retval0),
  40 ; CHECK:  malloc,
  41 ; CHECK:  call.uni
  42 ; CHECK:  free,
  43   %a = call ptr @malloc(i64 4)
  44   store i8 0, ptr %a
  45   call void @free(ptr %a)
  46   ret void
  47 }