llvm/test/Transforms/ArgumentPromotion/byval-through-pointer-promotion.ll

   1 ; RUN: opt -passes=argpromotion -S %s | FileCheck %s
   2
   3 %struct.A = type { float, [12 x i8], i64, [8 x i8] }
   4
   5 define internal float @callee(%struct.A* byval(%struct.A) align 32 %0) {
   6 ; CHECK-LABEL: define {{[^@]+}}@callee
   7 ; CHECK-SAME: (float [[ARG_0:%.*]], i64 [[ARG_1:%.*]]) {
   8 ; CHECK-NEXT:    [[SUM:%.*]] = fadd float 0.000000e+00, [[ARG_0]]
   9 ; CHECK-NEXT:    [[COEFF:%.*]] = uitofp i64 [[ARG_1]] to float
  10 ; CHECK-NEXT:    [[RES:%.*]] = fmul float [[SUM]], [[COEFF]]
  11 ; CHECK-NEXT:    ret float [[RES]]
  12 ;
  13   %2 = getelementptr inbounds %struct.A, %struct.A* %0, i32 0, i32 0
  14   %3 = load float, float* %2, align 32
  15   %4 = fadd float 0.000000e+00, %3
  16   %5 = getelementptr inbounds %struct.A, %struct.A* %0, i32 0, i32 2
  17   %6 = load i64, i64* %5, align 16
  18   %7 = uitofp i64 %6 to float
  19   %8 = fmul float %4, %7
  20   ret float %8
  21 }
  22
  23 define float @caller(float %0) {
  24 ; CHECK-LABEL: define {{[^@]+}}@caller
  25 ; CHECK-SAME: (float [[ARG_0:%.*]]) {
  26 ; CHECK-NEXT:    [[TMP_0:%.*]] = alloca %struct.A, align 32
  27 ; CHECK-NEXT:    [[FL_PTR_0:%.*]] = getelementptr inbounds %struct.A, %struct.A* [[TMP_0]], i32 0, i32 0
  28 ; CHECK-NEXT:    store float [[ARG_0]], float* [[FL_PTR_0]], align 32
  29 ; CHECK-NEXT:    [[I64_PTR_0:%.*]] = getelementptr inbounds %struct.A, %struct.A* [[TMP_0]], i32 0, i32 2
  30 ; CHECK-NEXT:    store i64 2, i64* [[I64_PTR_0]], align 16
  31 ; CHECK-NEXT:    [[FL_PTR_1:%.*]] = getelementptr %struct.A, %struct.A* [[TMP_0]], i64 0, i32 0
  32 ; CHECK-NEXT:    [[FL_VAL:%.*]] = load float, float* [[FL_PTR_1]], align 32
  33 ; CHECK-NEXT:    [[I64_PTR_1:%.*]] = getelementptr %struct.A, %struct.A* [[TMP_0]], i64 0, i32 2
  34 ; CHECK-NEXT:    [[I64_VAL:%.*]] = load i64, i64* [[I64_PTR_1]], align 16
  35 ; CHECK-NEXT:    [[RES:%.*]] = call noundef float @callee(float [[FL_VAL]], i64 [[I64_VAL]])
  36 ; CHECK-NEXT:    ret float [[RES]]
  37 ;
  38   %2 = alloca %struct.A, align 32
  39   %3 = getelementptr inbounds %struct.A, %struct.A* %2, i32 0, i32 0
  40   store float %0, float* %3, align 32
  41   %4 = getelementptr inbounds %struct.A, %struct.A* %2, i32 0, i32 2
  42   store i64 2, i64* %4, align 16
  43   %5 = call noundef float @callee(%struct.A* byval(%struct.A) align 32 %2)
  44   ret float %5
  45 }