Fix assertion in FunctionComparator::cmpInlineAsm

[nikic]

Summary

Fixes bug https://bugs.llvm.org/show_bug.cgi?id=37339.

InlineAsm is only uniqued if the FunctionTypes are exactly the
same, while cmpTypes() for example considers all pointer types
in the default address space to be the same. For this reason
the end of cmpInlineAsm() can be reached.

This patch replaces the unreachable assertion with a check that
the function types are not identical.

[jfb]

test/Transforms/MergeFunc/inline-asm.ll

6

Can you add a separate test where the function types are the same, but the targets are different (i.e. not null)?

[nikic]

Updated test to test both different pointer types as inline asm argument types and return types.

I've also adjusted the test to make the functions internal and have a separate function call them. This avoids the need for the somewhat non-obvious call void @stuff calls to satisfy minimum function size.

[nikic]

Sorry, I misunderstood your previous comment and thought you were referring to the return type. I've added two variants to the test now, one where a non-null argument is used and it can be merged and one where it can't be merged.

[nox]

Can anyone land that?

lib/Transforms/Utils/FunctionComparator.cpp

int FunctionComparator::cmpInlineAsm(const InlineAsm *L,
   if (int Res = cmpMem(L->getConstraintString(), R->getConstraintString()))
     return Res;
   if (int Res = cmpNumbers(L->hasSideEffects(), R->hasSideEffects()))
     return Res;
   if (int Res = cmpNumbers(L->isAlignStack(), R->isAlignStack()))
     return Res;
   if (int Res = cmpNumbers(L->getDialect(), R->getDialect()))
     return Res;
-  llvm_unreachable("InlineAsm blocks were not uniqued.");
+  assert(L->getFunctionType() != R->getFunctionType());
   return 0;
 }
 
 /// Compare two values used by the two functions under pair-wise comparison. If
 /// this is the first time the values are seen, they're added to the mapping so
 /// that we will detect mismatches on next use.
 /// See comments in declaration for more details.
 int FunctionComparator::cmpValues(const Value *L, const Value *R) const {

test/Transforms/MergeFunc/inline-asm.ll

+; RUN: opt -mergefunc -S < %s | FileCheck %s
+define internal void @float_ptr_arg() {
+  call void asm "nop", "r"(float* null)
+  ret void
+}
+
+define internal void @int_ptr_arg() {
+; CHECK-NOT: @int_ptr_arg()
+  call void asm "nop", "r"(i32* null)
+  ret void
+}
+
+define internal void @float_ptr_ret() {
+  call float* asm "nop", "=r"()
+  ret void
+}
+
+define internal void @int_ptr_ret() {
+; CHECK-NOT: @int_ptr_ret()
+  call i32* asm "nop", "=r"()
+  ret void
+}
+
+define void @do_calls() {
+; CHECK-LABEL: @do_calls
+; CHECK-NEXT call void @float_ptr_arg()
+; CHECK-NEXT call void @float_ptr_arg()
+; CHECK-NEXT call void @float_ptr_ret()
+; CHECK-NEXT call void @float_ptr_ret()
+    call void @float_ptr_arg()
+    call void @int_ptr_arg()
+    call void @float_ptr_ret()
+    call void @int_ptr_ret()
+    ret void
+}