Update llvm-project to 60a7d33106d3cd645d3100a8a935a1e3837f885d (#2898)

Signed-off-by: Ferdinand Lemaire <[email protected]>
Co-authored-by: Alexandre Eichenberger <[email protected]>

Author: Ferdinand Lemaire

docs/BuildOnLinuxOSX.md

@@ -15,7 +15,7 @@ Firstly, install MLIR (as a part of LLVM-Project):
 ``` bash
 git clone -n https://github.com/llvm/llvm-project.git
 # Check out a specific branch that is known to work with ONNX-MLIR.
-cd llvm-project && git checkout 0913547d0e3939cc420e88ecd037240f33736820 && cd ..
+cd llvm-project && git checkout 60a7d33106d3cd645d3100a8a935a1e3837f885d && cd ..
 ```
 
 [same-as-file]: <> (utils/build-mlir.sh)

docs/BuildOnWindows.md

@@ -52,7 +52,7 @@ Install MLIR (as a part of LLVM-Project):
 ```shell
 git clone -n https://github.com/llvm/llvm-project.git
 # Check out a specific branch that is known to work with ONNX-MLIR.
-cd llvm-project && git checkout 0913547d0e3939cc420e88ecd037240f33736820 && cd ..
+cd llvm-project && git checkout 60a7d33106d3cd645d3100a8a935a1e3837f885d && cd ..
 ```
 
 [same-as-file]: <> (utils/build-mlir.cmd)

src/Accelerators/NNPA/Conversion/ZLowToLLVM/ZLowToLLVMCommon.cpp

@@ -287,8 +287,8 @@ Value callApi(PatternRewriter &rewriter, Location loc, ModuleOp module,
   Type outputTy = apiSpec.outputTy;
   if (!mlir::isa<LLVM::LLVMVoidType>(outputTy))
     outputTys.emplace_back(outputTy);
-  return create.llvm.call(
-      ArrayRef<Type>(outputTys), symbolRef, ArrayRef<Value>(params));
+  return create.llvm.call(ArrayRef<Type>(outputTys), symbolRef,
+      ArrayRef<Value>(params), apiSpec.isVarArg);
 }
 
 size_t getRankFromMemRefType(LLVM::LLVMStructType memRefTy) {

src/Conversion/KrnlToLLVM/KrnlPrint.cpp

@@ -55,9 +55,10 @@ class KrnlPrintOpLowering : public ConversionPattern {
     Value formatSpecPtr = getPtrToGlobalString(formatSpec, loc, rewriter);
 
     if (input)
-      create.llvm.call({}, printfFuncRef, {formatSpecPtr, input});
+      create.llvm.call(
+          {}, printfFuncRef, {formatSpecPtr, input}, /*isVarArg*/ true);
     else
-      create.llvm.call({}, printfFuncRef, {formatSpecPtr});
+      create.llvm.call({}, printfFuncRef, {formatSpecPtr}, /*isVarArg*/ true);
 
     rewriter.eraseOp(op);
     return success();

src/Dialect/Mlir/DialectBuilder.cpp

@@ -1930,24 +1930,47 @@ void LLVMBuilder::br(ArrayRef<Value> destOperands, Block *destBlock) const {
   b().create<LLVM::BrOp>(loc(), destOperands, destBlock);
 }
 
+void LLVMBuilder::handleVarArgCall(LLVM::CallOp &callOp,
+    ArrayRef<Type> resultTypes, ArrayRef<Value> inputs) const {
+  // Define result type (void or 1).
+  Type resultType;
+  if (resultTypes.size() == 0 || isa<LLVM::LLVMVoidType>(resultTypes[0])) {
+    MLIRContext *ctx = b().getContext();
+    resultType = LLVM::LLVMVoidType::get(ctx);
+  } else {
+    resultType = resultTypes[0];
+  }
+  // Define input types.
+  llvm::SmallVector<Type, 4> inputTypes;
+  for (int64_t i = 0; i < (int64_t)inputs.size(); ++i)
+    inputTypes.emplace_back(inputs[i].getType());
+  auto typeSignature =
+      LLVM::LLVMFunctionType::get(resultType, inputTypes, /*is var arg*/ true);
+  callOp.setVarCalleeType(typeSignature);
+}
+
 Value LLVMBuilder::call(ArrayRef<Type> resultTypes, StringRef funcName,
-    ArrayRef<Value> inputs) const {
+    ArrayRef<Value> inputs, bool isVarArg) const {
   assert((resultTypes.size() == 0 || resultTypes.size() == 1) &&
          "LLVM:CallOp must return either 0 or 1 value");
   LLVM::CallOp callOp =
       b().create<LLVM::CallOp>(loc(), resultTypes, funcName, inputs);
+  if (isVarArg)
+    handleVarArgCall(callOp, resultTypes, inputs);
   // CallOp may return either 0 or 1 value.
   if (resultTypes.empty())
     return nullptr;
   return callOp.getResult();
 }
 
 Value LLVMBuilder::call(ArrayRef<Type> resultTypes,
-    FlatSymbolRefAttr funcSymbol, ArrayRef<Value> inputs) const {
+    FlatSymbolRefAttr funcSymbol, ArrayRef<Value> inputs, bool isVarArg) const {
   assert((resultTypes.size() == 0 || resultTypes.size() == 1) &&
          "LLVM:CallOp must return either 0 or 1 value");
   LLVM::CallOp callOp =
       b().create<LLVM::CallOp>(loc(), resultTypes, funcSymbol, inputs);
+  if (isVarArg)
+    handleVarArgCall(callOp, resultTypes, inputs);
   // CallOp may return either 0 or 1 value.
   if (resultTypes.empty())
     return nullptr;

src/Dialect/Mlir/DialectBuilder.hpp

@@ -627,10 +627,11 @@ struct LLVMBuilder final : DialectBuilder {
 
   // CallOp
   mlir::Value call(mlir::ArrayRef<mlir::Type> resultTypes,
-      llvm::StringRef funcName, mlir::ArrayRef<mlir::Value> inputs) const;
+      llvm::StringRef funcName, mlir::ArrayRef<mlir::Value> inputs,
+      bool isVarArg = false) const;
   mlir::Value call(mlir::ArrayRef<mlir::Type> resultTypes,
-      mlir::FlatSymbolRefAttr funcSymbol,
-      mlir::ArrayRef<mlir::Value> inputs) const;
+      mlir::FlatSymbolRefAttr funcSymbol, mlir::ArrayRef<mlir::Value> inputs,
+      bool isVarArg = false) const;
 
   // CondBrOp
   void condBr(mlir::Value cond, mlir::Block *trueBlock,
@@ -649,7 +650,8 @@ struct LLVMBuilder final : DialectBuilder {
   mlir::Value extractValue(mlir::Type resultType, mlir::Value container,
       llvm::ArrayRef<int64_t> position) const;
 
-  // FuncOp
+  // FuncOp (assume non-variadic functions, otherwise add support like in
+  // seen in `call` in this file).
   mlir::LLVM::LLVMFuncOp func(llvm::StringRef name, mlir::Type type,
       bool createUniqueFunc = false) const;
 
@@ -752,6 +754,12 @@ struct LLVMBuilder final : DialectBuilder {
     }
     return symbol + postfix;
   }
+
+private:
+  // Support for calling vararg functions; add the necessary type.
+  void handleVarArgCall(mlir::LLVM::CallOp &callOp,
+      mlir::ArrayRef<mlir::Type> resultTypes,
+      mlir::ArrayRef<mlir::Value> inputs) const;
 };
 
 //===----------------------------------------------------------------------===//

src/onnx-mlir.cpp

@@ -13,6 +13,7 @@
 
 #include <regex>
 
+#include "mlir/IR/AsmState.h"
 #include "mlir/Support/Timing.h"
 #include "src/Compiler/CompilerOptions.hpp"
 #include "src/Compiler/CompilerUtils.hpp"
@@ -28,7 +29,6 @@ int main(int argc, char *argv[]) {
   mlir::registerAsmPrinterCLOptions();
   mlir::registerMLIRContextCLOptions();
   mlir::registerPassManagerCLOptions();
-  mlir::registerAsmPrinterCLOptions();
 
   llvm::cl::SetVersionPrinter(getVersionPrinter);
 

test/mlir/accelerators/nnpa/conversion/lower-all-to-llvm-constant-shape.mlir

@@ -20,6 +20,6 @@ func.func @test_zlow_softmax_constant_shape() -> () {
   // CHECK:           %[[DIM0:.*]] = llvm.mlir.constant(1 : i64) : i64
   // CHECK:           %[[DIM1:.*]] = llvm.mlir.constant(5 : i64) : i64
   // CHECK:           %[[DIM2:.*]] = llvm.mlir.constant(10 : i64) : i64
-  // CHECK:           llvm.call @zdnn_init_pre_transformed_desc({{.*}}, {{.*}}, {{.*}}, %[[DIM0]], %[[DIM1]], %[[DIM2]]) : (i64, i64, !llvm.ptr, i64, i64, i64) -> ()
+  // CHECK:           llvm.call @zdnn_init_pre_transformed_desc({{.*}}, {{.*}}, {{.*}}, %[[DIM0]], %[[DIM1]], %[[DIM2]]) vararg(!llvm.func<void (i64, i64, ptr, i64, i64, i64, ...)>) : (i64, i64, !llvm.ptr, i64, i64, i64) -> ()
 
 }

test/mlir/accelerators/nnpa/conversion/lower-all-to-llvm-typed-pointer.mlir

@@ -62,7 +62,7 @@ func.func @test_stick() -> () {
   // CHECK: [[UNSTICKIFIED:%.+]] = llvm.extractvalue [[UNSTICKIFIED_MEMREF]][1] : !llvm.struct<(ptr, ptr, i64, array<2 x i64>, array<2 x i64>)>
   // CHECK: [[UNSTICKIFIED_I8PTR:%.+]] = llvm.bitcast [[UNSTICKIFIED]] : !llvm.ptr to !llvm.ptr
   // CHECK: [[ZTENSOR_I8PTR:%.+]] = llvm.bitcast [[ZTENSOR]] : !llvm.ptr to !llvm.ptr
-  // CHECK: {{.*}} = llvm.call @zdnn_transform_ztensor([[ZTENSOR_I8PTR]], [[UNSTICKIFIED_I8PTR]]) : (!llvm.ptr, !llvm.ptr) -> i32
+  // CHECK: {{.*}} = llvm.call @zdnn_transform_ztensor([[ZTENSOR_I8PTR]], [[UNSTICKIFIED_I8PTR]]) vararg(!llvm.func<i32 (ptr, ptr, ...)>) : (!llvm.ptr, !llvm.ptr) -> i32
 
   // CHECK: llvm.return
 }

test/mlir/accelerators/nnpa/conversion/lower-all-to-llvm.mlir

@@ -61,7 +61,7 @@ func.func @test_stick() -> () {
   // CHECK: [[UNSTICKIFIED:%.+]] = llvm.extractvalue [[UNSTICKIFIED_MEMREF]][1] : !llvm.struct<(ptr, ptr, i64, array<2 x i64>, array<2 x i64>)>
   // CHECK: [[UNSTICKIFIED_I8PTR:%.+]] = llvm.bitcast [[UNSTICKIFIED]] : !llvm.ptr to !llvm.ptr
   // CHECK: [[ZTENSOR_I8PTR:%.+]] = llvm.bitcast [[ZTENSOR]] : !llvm.ptr to !llvm.ptr
-  // CHECK: {{.*}} = llvm.call @zdnn_transform_ztensor([[ZTENSOR_I8PTR]], [[UNSTICKIFIED_I8PTR]]) : (!llvm.ptr, !llvm.ptr) -> i32
+  // CHECK: {{.*}} = llvm.call @zdnn_transform_ztensor([[ZTENSOR_I8PTR]], [[UNSTICKIFIED_I8PTR]]) vararg(!llvm.func<i32 (ptr, ptr, ...)>) : (!llvm.ptr, !llvm.ptr) -> i32
 
   // CHECK: llvm.return
 }

test/mlir/conversion/krnl_to_llvm/input_verification.mlir

@@ -8,7 +8,7 @@ module {
   func.func @main_graph(%arg0: memref<3x4x5xf32>, %arg1: memref<?x4x5xf32>) -> memref<3x4x5xf32> {
     return %arg0 : memref<3x4x5xf32>
   }
-  "krnl.entry_point"() {func = @main_graph, numInputs = 2 : i32, numOutputs = 1 : i32, signature = "[    { \22type\22 : \22f32\22 , \22dims\22 : [3 , 4 , 5] , \22name\22 : \22input0\22 }\0A ,    { \22type\22 : \22f32\22 , \22dims\22 : [-1 , 4 , 5] , \22name\22 : \22input1\22 }\0A\0A]\00@[   { \22type\22 : \22f32\22 , \22dims\22 : [3 , 4 , 5] , \22name\22 : \22output0\22 }\0A\0A]\00"} : () -> ()
+  "krnl.entry_point"() {func = @main_graph, numInputs = 2 : i32, numOutputs = 1 : i32, signature = "[    { \22type\22 : \22f32\22 , \22dims\22 : [3 , 4 , 5] , \22name\22 : \22input0\22 }\0A ,    { \22type\22 : \22f32\22 , \22dims\22 : [-1 , 4 , 5] , \22name\22 : \22input1\22 }\0A\0A]\00@[   { \22type\22 : \22f32\22 , \22dims\22 : [3 , 4 , 5], \22name\22 : \22output0\22 }\0A\0A]\00"} : () -> ()
 
 // CHECK:         llvm.func @run_main_graph([[arg0_:.*]]: !llvm.ptr) -> !llvm.ptr {
 // CHECK-DAG:       [[VAR_0:%.+]] = llvm.mlir.undef : !llvm.struct<(ptr, ptr, i64, array<3 x i64>, array<3 x i64>)>
@@ -35,7 +35,7 @@ module {
 // CHECK:           [[VAR_19_1_:%.+]] = llvm.icmp "ne" [[VAR_17_1_]], [[VAR_18_1_]] : i64
 // CHECK:           llvm.cond_br [[VAR_19_1_]], ^bb1, ^bb2
 // CHECK:         ^bb1:  // pred: ^bb0
-// CHECK:           llvm.call @printf([[VAR_16_1_]], [[VAR_18_1_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_16_1_]], [[VAR_18_1_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_22_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_22_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -46,7 +46,7 @@ module {
 // CHECK:           [[VAR_27_:%.+]] = llvm.icmp "ne" [[VAR_14_1_]], [[VAR_26_]] : i64
 // CHECK:           llvm.cond_br [[VAR_27_]], ^bb3, ^bb4
 // CHECK:         ^bb3: // pred: ^bb2
-// CHECK:           llvm.call @printf([[VAR_13_1_]]) : (!llvm.ptr) -> ()
+// CHECK:           llvm.call @printf([[VAR_13_1_]]) vararg(!llvm.func<void (ptr, ...)>) : (!llvm.ptr) -> ()
 // CHECK:           [[VAR_29_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_29_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -55,7 +55,7 @@ module {
 // CHECK:           [[VAR_31_1_:%.+]] = llvm.icmp "ne" [[VAR_12_1_]], [[VAR_31_]] : i64
 // CHECK:           llvm.cond_br [[VAR_31_1_]], ^bb5, ^bb6
 // CHECK:         ^bb5:  // pred: ^bb4
-// CHECK:           llvm.call @printf([[VAR_11_1_]], [[VAR_31_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_11_1_]], [[VAR_31_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_31_2_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_31_2_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -65,7 +65,7 @@ module {
 // CHECK:           [[VAR_32_2_:%.+]] = llvm.icmp "ne" [[VAR_12_1_]], [[LOAD_VAR_32_MEM_]] : i64
 // CHECK:           llvm.cond_br [[VAR_32_2_]], ^bb7, ^bb8
 // CHECK:         ^bb7:  // pred: ^bb6
-// CHECK:           llvm.call @printf([[LOAD_arg2_MEM_1_]], [[LOAD_VAR_32_MEM_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[LOAD_arg2_MEM_1_]], [[LOAD_VAR_32_MEM_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_32_3_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_32_3_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -75,7 +75,7 @@ module {
 // CHECK:           [[VAR_40_:%.+]] = llvm.icmp "ne" [[VAR_9_2_]], [[LOAD_VAR_36_MEM_]] : i64
 // CHECK:           llvm.cond_br [[VAR_40_]], ^bb9, ^bb10
 // CHECK:         ^bb9:  // pred: ^bb8
-// CHECK:           llvm.call @printf([[VAR_8_2_]], [[LOAD_VAR_36_MEM_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_8_2_]], [[LOAD_VAR_36_MEM_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_41_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_41_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -85,7 +85,7 @@ module {
 // CHECK:           [[VAR_42_0_:%.+]] = llvm.icmp "ne" [[VAR_7_2_]], [[LOAD_VAR_40_MEM_]] : i64
 // CHECK:           llvm.cond_br [[VAR_42_0_]], ^bb11, ^bb12
 // CHECK:         ^bb11:  // pred: ^bb10
-// CHECK:           llvm.call @printf([[VAR_6_2_]], [[LOAD_VAR_40_MEM_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_6_2_]], [[LOAD_VAR_40_MEM_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_42_1_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_42_1_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -96,7 +96,7 @@ module {
 // CHECK:           [[VAR_45_:%.+]] = llvm.icmp "ne" [[VAR_14_1_]], [[VAR_44_]] : i64
 // CHECK:           llvm.cond_br [[VAR_45_]], ^bb13, ^bb14
 // CHECK:         ^bb13:  // pred: ^bb12
-// CHECK:           llvm.call @printf([[VAR_5_2_]]) : (!llvm.ptr) -> ()
+// CHECK:           llvm.call @printf([[VAR_5_2_]]) vararg(!llvm.func<void (ptr, ...)>) : (!llvm.ptr) -> ()
 // CHECK:           [[VAR_47_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_47_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -105,7 +105,7 @@ module {
 // CHECK:           [[VAR_49_:%.+]] = llvm.icmp "ne" [[VAR_12_1_]], [[VAR_48_]] : i64
 // CHECK:           llvm.cond_br [[VAR_49_]], ^bb15, ^bb16
 // CHECK:         ^bb15:  // pred: ^bb14
-// CHECK:           llvm.call @printf([[VAR_4_2_]], [[VAR_48_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_4_2_]], [[VAR_48_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_50_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_50_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -115,7 +115,7 @@ module {
 // CHECK:           [[VAR_53_:%.+]] = llvm.icmp "slt" [[LOAD_VAR_51_MEM_]], [[VAR_3_2_]] : i64
 // CHECK:           llvm.cond_br [[VAR_53_]], ^bb17, ^bb18
 // CHECK:         ^bb17:  // pred: ^bb16
-// CHECK:           llvm.call @printf([[VAR_2_2_]]) : (!llvm.ptr) -> ()
+// CHECK:           llvm.call @printf([[VAR_2_2_]]) vararg(!llvm.func<void (ptr, ...)>) : (!llvm.ptr) -> ()
 // CHECK:           [[VAR_54_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_54_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -125,7 +125,7 @@ module {
 // CHECK:           [[VAR_55_1_:%.+]] = llvm.icmp "ne" [[VAR_9_2_]], [[LOAD_VAR_55_MEM_]] : i64
 // CHECK:           llvm.cond_br [[VAR_55_1_]], ^bb19, ^bb20
 // CHECK:         ^bb19:  // pred: ^bb18
-// CHECK:           llvm.call @printf([[VAR_1_2_]], [[LOAD_VAR_55_MEM_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_1_2_]], [[LOAD_VAR_55_MEM_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_55_2_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_55_2_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr
@@ -135,7 +135,7 @@ module {
 // CHECK:           [[VAR_55_4_:%.+]] = llvm.icmp "ne" [[VAR_7_2_]], [[LOAD_VAR_54_MEM_]] : i64
 // CHECK:           llvm.cond_br [[VAR_55_4_]], ^bb21, ^bb22
 // CHECK:         ^bb21:  // pred: ^bb20
-// CHECK:           llvm.call @printf([[VAR_0_2_]], [[LOAD_VAR_54_MEM_]]) : (!llvm.ptr, i64) -> ()
+// CHECK:           llvm.call @printf([[VAR_0_2_]], [[LOAD_VAR_54_MEM_]]) vararg(!llvm.func<void (ptr, i64, ...)>) : (!llvm.ptr, i64) -> ()
 // CHECK:           [[VAR_56_:%.+]] = llvm.call @__errno_location() : () -> !llvm.ptr
 // CHECK:           llvm.store [[VAR_15_1_]], [[VAR_56_]] : i32, !llvm.ptr
 // CHECK:           llvm.return [[VAR_14_2_]] : !llvm.ptr