; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S < %s -passes=instcombine | FileCheck %s

; This test requires a target with 'bcmp' in its library.
; It used to crash/assert because the function signature does
; not match the expected libcall signature for memcmp -
; the last arg should have type size_t -> i64 for this target.

target triple = "x86_64-unknown-linux-gnu"

@str = private unnamed_addr constant [6 x i8] c"abcde\00", align 1

declare i32 @memcmp(i8*, i8*, i32)

define void @PR50850() {
; CHECK-LABEL: @PR50850(
; CHECK-NEXT:    [[CALL:%.*]] = call i32 @memcmp(i8* bitcast (void ()* @PR50850 to i8*), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @str, i64 0, i64 0), i32 6)
; CHECK-NEXT:    ret void
;
  %call = call i32 @memcmp(i8* bitcast (void ()* @PR50850 to i8*), i8* bitcast ([6 x i8]* @str to i8*), i32 6)
  ret void
}