1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
3 // RUN: %clang_cc1 -triple x86_64 -emit-llvm -o - %s | opt -S -passes=verify | FileCheck %s
5 // Verifies that clang detects memcmp inline version and uses it instead of the builtin.
7 typedef unsigned long size_t;
9 // Clang requires these attributes for a function to be redefined.
10 #define AVAILABLE_EXTERNALLY extern inline __attribute__((always_inline)) __attribute__((gnu_inline))
12 const void *con_unify_unimap_p1
;
15 int memcmp(const void *p
, const void *q
, unsigned long size
) {
16 return __builtin_memcmp(p
, q
, size
);
19 // CHECK-LABEL: @con_unify_unimap_q1(
21 // CHECK-NEXT: [[P_ADDR_I:%.*]] = alloca ptr, align 8
22 // CHECK-NEXT: [[Q_ADDR_I:%.*]] = alloca ptr, align 8
23 // CHECK-NEXT: [[SIZE_ADDR_I:%.*]] = alloca i64, align 8
24 // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr @con_unify_unimap_p1, align 8
25 // CHECK-NEXT: store ptr [[TMP0]], ptr [[P_ADDR_I]], align 8
26 // CHECK-NEXT: store ptr @con_unify_unimap_q1, ptr [[Q_ADDR_I]], align 8
27 // CHECK-NEXT: store i64 4, ptr [[SIZE_ADDR_I]], align 8
28 // CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[P_ADDR_I]], align 8
29 // CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr [[Q_ADDR_I]], align 8
30 // CHECK-NEXT: [[TMP3:%.*]] = load i64, ptr [[SIZE_ADDR_I]], align 8
31 // CHECK-NEXT: [[CALL_I:%.*]] = call i32 @memcmp(ptr noundef [[TMP1]], ptr noundef [[TMP2]], i64 noundef [[TMP3]]) #[[ATTR3:[0-9]+]]
32 // CHECK-NEXT: ret i32 [[CALL_I]]
34 int con_unify_unimap_q1(void) {
35 return memcmp(con_unify_unimap_p1
, con_unify_unimap_q1
, sizeof(int));