Author: Andy Kaylor Date: 2025-06-13T09:42:58-07:00 New Revision: 36c710c40e8a59f74f56eb0e04e438cec5532ec5
URL: https://github.com/llvm/llvm-project/commit/36c710c40e8a59f74f56eb0e04e438cec5532ec5 DIFF: https://github.com/llvm/llvm-project/commit/36c710c40e8a59f74f56eb0e04e438cec5532ec5.diff LOG: [CIR] Change default assumption about allowing builtins (#144004) The code to read the "nobuiltins" attributes hasn't been implemented yet, but we were defaulting to the assumption that use of builtins is allowed for function calls that we recognize as standard C library calls and have builtin equivalents of. This change reverses that assumption so that when such calls are encountered, we just emit the call. This is a better default assumption, and since our builtin handling for these functions isn't implemented yet, it also allows us to compile more programs. Added: clang/test/CIR/CodeGen/libc.c Modified: clang/lib/CIR/CodeGen/CIRGenExpr.cpp Removed: ################################################################################ diff --git a/clang/lib/CIR/CodeGen/CIRGenExpr.cpp b/clang/lib/CIR/CodeGen/CIRGenExpr.cpp index 99f942fcf2cd3..42d0c78013f57 100644 --- a/clang/lib/CIR/CodeGen/CIRGenExpr.cpp +++ b/clang/lib/CIR/CodeGen/CIRGenExpr.cpp @@ -1056,7 +1056,8 @@ CIRGenCallee CIRGenFunction::emitDirectCallee(const GlobalDecl &gd) { bool isPredefinedLibFunction = cgm.getASTContext().BuiltinInfo.isPredefinedLibFunction(builtinID); - bool hasAttributeNoBuiltin = false; + // Assume nobuiltins everywhere until we actually read the attributes. + bool hasAttributeNoBuiltin = true; assert(!cir::MissingFeatures::attributeNoBuiltin()); // When directing calling an inline builtin, call it through it's mangled diff --git a/clang/test/CIR/CodeGen/libc.c b/clang/test/CIR/CodeGen/libc.c new file mode 100644 index 0000000000000..f65fe92cd36a0 --- /dev/null +++ b/clang/test/CIR/CodeGen/libc.c @@ -0,0 +1,55 @@ +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir +// RUN: FileCheck --input-file=%t.cir %s + +// Note: In the final implementation, we will want these to generate +// CIR-specific libc operations. This test is just a placeholder +// to make sure we can compile these to normal function calls +// until the special handling is implemented. + +void *memcpy(void *, const void *, unsigned long); +void testMemcpy(void *dst, const void *src, unsigned long size) { + memcpy(dst, src, size); + // CHECK: cir.call @memcpy +} + +void *memmove(void *, const void *, unsigned long); +void testMemmove(void *src, const void *dst, unsigned long size) { + memmove(dst, src, size); + // CHECK: cir.call @memmove +} + +void *memset(void *, int, unsigned long); +void testMemset(void *dst, int val, unsigned long size) { + memset(dst, val, size); + // CHECK: cir.call @memset +} + +double fabs(double); +double testFabs(double x) { + return fabs(x); + // CHECK: cir.call @fabs +} + +float fabsf(float); +float testFabsf(float x) { + return fabsf(x); + // CHECK: cir.call @fabsf +} + +int abs(int); +int testAbs(int x) { + return abs(x); + // CHECK: cir.call @abs +} + +long labs(long); +long testLabs(long x) { + return labs(x); + // CHECK: cir.call @labs +} + +long long llabs(long long); +long long testLlabs(long long x) { + return llabs(x); + // CHECK: cir.call @llabs +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits