diff --git a/flang/lib/Optimizer/CodeGen/TypeConverter.h b/flang/lib/Optimizer/CodeGen/TypeConverter.h
--- a/flang/lib/Optimizer/CodeGen/TypeConverter.h
+++ b/flang/lib/Optimizer/CodeGen/TypeConverter.h
@@ -54,6 +54,8 @@
       LLVM_DEBUG(llvm::dbgs() << "type convert: " << boxchar << '\n');
       return convertType(specifics->boxcharMemoryType(boxchar.getEleTy()));
     });
+    addConversion(
+        [&](BoxProcType boxproc) { return convertBoxProcType(boxproc); });
     addConversion(
         [&](fir::CharacterType charTy) { return convertCharType(charTy); });
     addConversion([&](HeapType heap) { return convertPointerLike(heap); });
@@ -197,6 +199,17 @@
                                                /*isPacked=*/false));
   }
 
+  // fir.boxproc<any>  -->  llvm<"{ any*, i8* }">
+  mlir::Type convertBoxProcType(BoxProcType boxproc) {
+    auto funcTy = convertType(boxproc.getEleTy());
+    auto ptrTy = mlir::LLVM::LLVMPointerType::get(funcTy);
+    auto i8PtrTy = mlir::LLVM::LLVMPointerType::get(
+        mlir::IntegerType::get(&getContext(), 8));
+    llvm::SmallVector<mlir::Type, 2> tuple = {ptrTy, i8PtrTy};
+    return mlir::LLVM::LLVMStructType::getLiteral(&getContext(), tuple,
+                                                  /*isPacked=*/false);
+  }
+
   unsigned characterBitsize(fir::CharacterType charTy) {
     return kindMapping.getCharacterBitsize(charTy.getFKind());
   }
diff --git a/flang/test/Fir/types-to-llvm.fir b/flang/test/Fir/types-to-llvm.fir
--- a/flang/test/Fir/types-to-llvm.fir
+++ b/flang/test/Fir/types-to-llvm.fir
@@ -70,6 +70,25 @@
 
 // -----
 
+// Test !fir.boxproc type
+
+// proc takes in no argument and returns nothing
+func private @foo0(%arg0: !fir.boxproc<() -> ()>)
+// CHECK-LABEL: foo0
+// CHECK-SAME: !llvm.struct<(ptr<ptr<func<void ()>>>, ptr<i8>)>
+
+// proc takes in two arguments and returns one argument
+func private @foo1(%arg0: !fir.boxproc<(i32, i32) -> i64>)
+// CHECK-LABEL: foo1
+// CHECK-SAME: !llvm.struct<(ptr<ptr<func<i64 (i32, i32)>>>, ptr<i8>)>
+
+// proc takes in a box argument and returns nothing
+func private @f002(%arg0: !fir.boxproc<(!fir.box<!fir.type<derived3{f:f32}>>) -> ()>)
+// CHECK-LABEL: f002
+// CHECK-SAME: !llvm.struct<(ptr<ptr<func<void (ptr<struct<(ptr<struct<"derived3", (f32)>>, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, ptr<i{{.*}}>, array<1 x i{{.*}}>)>>)>>>, ptr<i8>)>
+
+// -----
+
 // Test char types `!fir.char<k, n>`
 
 func private @foo0(%arg0: !fir.char<1, 4>, %arg1: !fir.char<1, ?>)