diff --git a/llvm/lib/IR/Function.cpp b/llvm/lib/IR/Function.cpp
--- a/llvm/lib/IR/Function.cpp
+++ b/llvm/lib/IR/Function.cpp
@@ -1624,6 +1624,14 @@
         continue;
     }
 
+    if (isa<BitCastOperator>(FU) && isa<ConstantExpr>(FU) &&
+        llvm::all_of(FU->uses(), [](const Use &U) {
+          if (const CallBase *CB = dyn_cast<CallBase>(U.getUser()))
+            return CB->isCallee(&U);
+          return false;
+        }))
+      continue;
+
     const auto *Call = dyn_cast<CallBase>(FU);
     if (!Call) {
       if (IgnoreAssumeLikeCalls) {
diff --git a/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument-callee.ll b/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument-callee.ll
new file mode 100644
--- /dev/null
+++ b/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument-callee.ll
@@ -0,0 +1,30 @@
+; RUN:  opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s
+
+; CHECK: Call graph node <<null function>><<{{.*}}>>  #uses=0
+; CHECK-NEXT:   CS<None> calls function 'foo'
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'bar'<<{{.*}}>>  #uses=1
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'foo'<<{{.*}}>>  #uses=1
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'test'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:  CS<{{.*}}> calls function 'bar'
+; CHECK-NEXT:  CS<{{.*}}> calls external node
+
+define internal i32 @foo() {
+entry:
+    ret i32 5
+}
+
+define internal i32 @bar(float()* %arg) {
+    ret i32 5
+}
+
+define internal i32 @test() {
+  %v1 = call i32 @bar(float()* bitcast (i32()* @foo to float()*))
+  %v2 = call float bitcast (i32()* @foo to float()*)()
+  %v3 = fptoui float %v2 to i32
+  %v4 = add i32 %v1, %v3
+  ret i32 %v4
+}
+
diff --git a/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument.ll b/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument.ll
new file mode 100644
--- /dev/null
+++ b/llvm/test/Analysis/CallGraph/ignore-bitcast-call-argument.ll
@@ -0,0 +1,27 @@
+; RUN:  opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s
+
+; CHECK: Call graph node <<null function>><<{{.*}}>>  #uses=0
+; CHECK-NEXT:   CS<None> calls function 'foo'
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'bar'<<{{.*}}>>  #uses=1
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'foo'<<{{.*}}>>  #uses=1
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'test'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:   CS<{{.*}}> calls function 'bar'
+
+define internal i32 @foo() {
+entry:
+    ret i32 5
+}
+
+define internal i32 @bar(float()* %arg) {
+    ret i32 5
+}
+
+define internal i32 @test() {
+  %v1 = call i32 @bar(float()* bitcast (i32()* @foo to float()*))
+  %v2 = add i32 %v1, 6
+  ret i32 %v2
+}
+
diff --git a/llvm/test/Analysis/CallGraph/ignore-bitcast-callees.ll b/llvm/test/Analysis/CallGraph/ignore-bitcast-callees.ll
new file mode 100644
--- /dev/null
+++ b/llvm/test/Analysis/CallGraph/ignore-bitcast-callees.ll
@@ -0,0 +1,23 @@
+; RUN:  opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s
+; CHECK: Call graph node <<null function>><<{{.*}}>>  #uses=0
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'foo'<<{{.*}}>>  #uses=0
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'test_bitcast_callees'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:   CS<{{.*}}> calls external node
+; CHECK-NEXT:   CS<{{.*}}> calls external node
+
+define internal i32 @foo() {
+entry:
+    ret i32 5
+}
+
+define internal float @test_bitcast_callees() {
+  %v1 = call float bitcast (i32()* @foo to float()*)()
+  %v2 = fadd float %v1, 1.0
+  %v3 = call i8 bitcast (i32()* @foo to i8()*)()
+  %v4 = uitofp i8 %v3 to float
+  %v5 = fadd float %v2, %v4
+  ret float %v5
+}
+
diff --git a/llvm/test/Analysis/CallGraph/ignore-bitcast-callees2.ll b/llvm/test/Analysis/CallGraph/ignore-bitcast-callees2.ll
new file mode 100644
--- /dev/null
+++ b/llvm/test/Analysis/CallGraph/ignore-bitcast-callees2.ll
@@ -0,0 +1,26 @@
+; RUN:  opt < %s -print-callgraph -disable-output 2>&1 | FileCheck %s
+; CHECK: Call graph node <<null function>><<{{.*}}>>  #uses=0
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'foo'<<{{.*}}>>  #uses=0
+; CHECK-EMPTY:
+; CHECK-NEXT: Call graph node for function: 'test_bitcast_callees2'<<{{.*}}>>  #uses=0
+; CHECK-NEXT:   CS<{{.*}}> calls external node
+; CHECK-NEXT:   CS<{{.*}}> calls external node
+; CHECK-NEXT:   CS<{{.*}}> calls external node
+
+define internal i32 @foo() {
+entry:
+    ret i32 5
+}
+
+define internal float @test_bitcast_callees2() {
+  %v1 = call float bitcast (i32()* @foo to float()*)()
+  %v2 = fadd float %v1, 1.0
+  %v3 = call float bitcast (i32()* @foo to float()*)()
+  %v4 = fadd float %v3, %v2
+  %v5 = call i8 bitcast (i32()* @foo to i8()*)()
+  %v6 = uitofp i8 %v5 to float
+  %v7 = fadd float %v4, %v6
+  ret float %v7
+}
+