llvm/test/Transforms/ExpandVariadics/pass-byval-byref.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=optimize < %s | FileCheck %s -check-prefixes=OPT
   3 ; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=lowering < %s | FileCheck %s -check-prefixes=ABI
   4 ; REQUIRES: webassembly-registered-target
   5
   6 ; CHECK: @sink
   7 declare void @sink(...)
   8
   9
  10 define void @pass_byval(ptr byval(i32) %b) {
  11 ; OPT-LABEL: @pass_byval(
  12 ; OPT-NEXT:  entry:
  13 ; OPT-NEXT:    tail call void (...) @sink(ptr byval(i32) [[B:%.*]])
  14 ; OPT-NEXT:    ret void
  15 ;
  16 ; ABI-LABEL: @pass_byval(
  17 ; ABI-NEXT:  entry:
  18 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[PASS_BYVAL_VARARG:%.*]], align 16
  19 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[VARARG_BUFFER]])
  20 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[PASS_BYVAL_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
  21 ; ABI-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr [[TMP0]], ptr [[B:%.*]], i64 4, i1 false)
  22 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
  23 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[VARARG_BUFFER]])
  24 ; ABI-NEXT:    ret void
  25 ;
  26 entry:
  27   tail call void (...) @sink(ptr byval(i32) %b)
  28   ret void
  29 }
  30
  31 %struct.libcS = type { i8, i16, i32, i32, float, double }
  32
  33 define void @i32_libcS_byval(i32 %x, ptr noundef byval(%struct.libcS) align 8 %y) {
  34 ; OPT-LABEL: @i32_libcS_byval(
  35 ; OPT-NEXT:  entry:
  36 ; OPT-NEXT:    tail call void (...) @sink(i32 [[X:%.*]], ptr byval([[STRUCT_LIBCS:%.*]]) align 8 [[Y:%.*]])
  37 ; OPT-NEXT:    ret void
  38 ;
  39 ; ABI-LABEL: @i32_libcS_byval(
  40 ; ABI-NEXT:  entry:
  41 ; ABI-NEXT:    [[INDIRECTALLOCA:%.*]] = alloca [[STRUCT_LIBCS:%.*]], align 8
  42 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[I32_LIBCS_BYVAL_VARARG:%.*]], align 16
  43 ; ABI-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr [[INDIRECTALLOCA]], ptr [[Y:%.*]], i64 24, i1 false)
  44 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 8, ptr [[VARARG_BUFFER]])
  45 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[I32_LIBCS_BYVAL_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
  46 ; ABI-NEXT:    store i32 [[X:%.*]], ptr [[TMP0]], align 4
  47 ; ABI-NEXT:    [[TMP1:%.*]] = getelementptr inbounds nuw [[I32_LIBCS_BYVAL_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 1
  48 ; ABI-NEXT:    store ptr [[INDIRECTALLOCA]], ptr [[TMP1]], align 4
  49 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
  50 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 8, ptr [[VARARG_BUFFER]])
  51 ; ABI-NEXT:    ret void
  52 ;
  53 entry:
  54   tail call void (...) @sink(i32 %x, ptr byval(%struct.libcS) align 8 %y)
  55   ret void
  56 }
  57
  58 define void @libcS_i32_byval(ptr byval(%struct.libcS) align 8 %x, i32 %y) {
  59 ; OPT-LABEL: @libcS_i32_byval(
  60 ; OPT-NEXT:  entry:
  61 ; OPT-NEXT:    tail call void (...) @sink(ptr byval([[STRUCT_LIBCS:%.*]]) align 8 [[X:%.*]], i32 [[Y:%.*]])
  62 ; OPT-NEXT:    ret void
  63 ;
  64 ; ABI-LABEL: @libcS_i32_byval(
  65 ; ABI-NEXT:  entry:
  66 ; ABI-NEXT:    [[INDIRECTALLOCA:%.*]] = alloca [[STRUCT_LIBCS:%.*]], align 8
  67 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[LIBCS_I32_BYVAL_VARARG:%.*]], align 16
  68 ; ABI-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr [[INDIRECTALLOCA]], ptr [[X:%.*]], i64 24, i1 false)
  69 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 8, ptr [[VARARG_BUFFER]])
  70 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[LIBCS_I32_BYVAL_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
  71 ; ABI-NEXT:    store ptr [[INDIRECTALLOCA]], ptr [[TMP0]], align 4
  72 ; ABI-NEXT:    [[TMP1:%.*]] = getelementptr inbounds nuw [[LIBCS_I32_BYVAL_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 1
  73 ; ABI-NEXT:    store i32 [[Y:%.*]], ptr [[TMP1]], align 4
  74 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
  75 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 8, ptr [[VARARG_BUFFER]])
  76 ; ABI-NEXT:    ret void
  77 ;
  78 entry:
  79   tail call void (...) @sink(ptr byval(%struct.libcS) align 8 %x, i32 %y)
  80   ret void
  81 }
  82
  83
  84 define void @pass_byref(ptr byref(i32) %b) {
  85 ; OPT-LABEL: @pass_byref(
  86 ; OPT-NEXT:  entry:
  87 ; OPT-NEXT:    tail call void (...) @sink(ptr byref(i32) [[B:%.*]])
  88 ; OPT-NEXT:    ret void
  89 ;
  90 ; ABI-LABEL: @pass_byref(
  91 ; ABI-NEXT:  entry:
  92 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[PASS_BYREF_VARARG:%.*]], align 16
  93 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[VARARG_BUFFER]])
  94 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[PASS_BYREF_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
  95 ; ABI-NEXT:    store ptr [[B:%.*]], ptr [[TMP0]], align 4
  96 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
  97 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[VARARG_BUFFER]])
  98 ; ABI-NEXT:    ret void
  99 ;
 100 entry:
 101   tail call void (...) @sink(ptr byref(i32) %b)
 102   ret void
 103 }
 104
 105 define void @i32_libcS_byref(i32 %x, ptr noundef byref(%struct.libcS) align 8 %y) {
 106 ; OPT-LABEL: @i32_libcS_byref(
 107 ; OPT-NEXT:  entry:
 108 ; OPT-NEXT:    tail call void (...) @sink(i32 [[X:%.*]], ptr byref([[STRUCT_LIBCS:%.*]]) align 8 [[Y:%.*]])
 109 ; OPT-NEXT:    ret void
 110 ;
 111 ; ABI-LABEL: @i32_libcS_byref(
 112 ; ABI-NEXT:  entry:
 113 ; ABI-NEXT:    [[INDIRECTALLOCA:%.*]] = alloca [[STRUCT_LIBCS:%.*]], align 8
 114 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[I32_LIBCS_BYREF_VARARG:%.*]], align 16
 115 ; ABI-NEXT:    store ptr [[Y:%.*]], ptr [[INDIRECTALLOCA]], align 4
 116 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 8, ptr [[VARARG_BUFFER]])
 117 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[I32_LIBCS_BYREF_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
 118 ; ABI-NEXT:    store i32 [[X:%.*]], ptr [[TMP0]], align 4
 119 ; ABI-NEXT:    [[TMP1:%.*]] = getelementptr inbounds nuw [[I32_LIBCS_BYREF_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 1
 120 ; ABI-NEXT:    store ptr [[INDIRECTALLOCA]], ptr [[TMP1]], align 4
 121 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
 122 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 8, ptr [[VARARG_BUFFER]])
 123 ; ABI-NEXT:    ret void
 124 ;
 125 entry:
 126   tail call void (...) @sink(i32 %x, ptr byref(%struct.libcS) align 8 %y)
 127   ret void
 128 }
 129
 130 define void @libcS_i32_byref(ptr byref(%struct.libcS) align 8 %x, i32 %y) {
 131 ; OPT-LABEL: @libcS_i32_byref(
 132 ; OPT-NEXT:  entry:
 133 ; OPT-NEXT:    tail call void (...) @sink(ptr byref([[STRUCT_LIBCS:%.*]]) align 8 [[X:%.*]], i32 [[Y:%.*]])
 134 ; OPT-NEXT:    ret void
 135 ;
 136 ; ABI-LABEL: @libcS_i32_byref(
 137 ; ABI-NEXT:  entry:
 138 ; ABI-NEXT:    [[INDIRECTALLOCA:%.*]] = alloca [[STRUCT_LIBCS:%.*]], align 8
 139 ; ABI-NEXT:    [[VARARG_BUFFER:%.*]] = alloca [[LIBCS_I32_BYREF_VARARG:%.*]], align 16
 140 ; ABI-NEXT:    store ptr [[X:%.*]], ptr [[INDIRECTALLOCA]], align 4
 141 ; ABI-NEXT:    call void @llvm.lifetime.start.p0(i64 8, ptr [[VARARG_BUFFER]])
 142 ; ABI-NEXT:    [[TMP0:%.*]] = getelementptr inbounds nuw [[LIBCS_I32_BYREF_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 0
 143 ; ABI-NEXT:    store ptr [[INDIRECTALLOCA]], ptr [[TMP0]], align 4
 144 ; ABI-NEXT:    [[TMP1:%.*]] = getelementptr inbounds nuw [[LIBCS_I32_BYREF_VARARG]], ptr [[VARARG_BUFFER]], i32 0, i32 1
 145 ; ABI-NEXT:    store i32 [[Y:%.*]], ptr [[TMP1]], align 4
 146 ; ABI-NEXT:    call void @sink(ptr [[VARARG_BUFFER]])
 147 ; ABI-NEXT:    call void @llvm.lifetime.end.p0(i64 8, ptr [[VARARG_BUFFER]])
 148 ; ABI-NEXT:    ret void
 149 ;
 150 entry:
 151   tail call void (...) @sink(ptr byref(%struct.libcS) align 8 %x, i32 %y)
 152   ret void
 153 }