mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-24 09:29:42 +00:00
I noticed that SelectionDAGBuilder::visitCall was missing a check for memcmp in TargetLibraryInfo, so that it would use custom code for memcmp calls even with -fno-builtin. I also had to add a new -disable-simplify-libcalls option to llc so that I could write a test for this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@161262 91177308-0d34-0410-b5e6-96231b3b80d8
115 lines
3.7 KiB
LLVM
115 lines
3.7 KiB
LLVM
; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
|
|
; RUN: llc < %s -disable-simplify-libcalls -mtriple=x86_64-linux | FileCheck %s --check-prefix=NOBUILTIN
|
|
; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s
|
|
|
|
; This tests codegen time inlining/optimization of memcmp
|
|
; rdar://6480398
|
|
|
|
@.str = private constant [23 x i8] c"fooooooooooooooooooooo\00", align 1 ; <[23 x i8]*> [#uses=1]
|
|
|
|
declare i32 @memcmp(...)
|
|
|
|
define void @memcmp2(i8* %X, i8* %Y, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* %Y, i32 2) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp2:
|
|
; CHECK: movw ([[A0:%rdi|%rcx]]), %ax
|
|
; CHECK: cmpw ([[A1:%rsi|%rdx]]), %ax
|
|
; NOBUILTIN: memcmp2:
|
|
; NOBUILTIN: callq
|
|
}
|
|
|
|
define void @memcmp2a(i8* %X, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* getelementptr inbounds ([23 x i8]* @.str, i32 0, i32 1), i32 2) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp2a:
|
|
; CHECK: cmpw $28527, ([[A0]])
|
|
}
|
|
|
|
|
|
define void @memcmp4(i8* %X, i8* %Y, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* %Y, i32 4) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp4:
|
|
; CHECK: movl ([[A0]]), %eax
|
|
; CHECK: cmpl ([[A1]]), %eax
|
|
}
|
|
|
|
define void @memcmp4a(i8* %X, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* getelementptr inbounds ([23 x i8]* @.str, i32 0, i32 1), i32 4) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp4a:
|
|
; CHECK: cmpl $1869573999, ([[A0]])
|
|
}
|
|
|
|
define void @memcmp8(i8* %X, i8* %Y, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* %Y, i32 8) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp8:
|
|
; CHECK: movq ([[A0]]), %rax
|
|
; CHECK: cmpq ([[A1]]), %rax
|
|
}
|
|
|
|
define void @memcmp8a(i8* %X, i32* nocapture %P) nounwind {
|
|
entry:
|
|
%0 = tail call i32 (...)* @memcmp(i8* %X, i8* getelementptr inbounds ([23 x i8]* @.str, i32 0, i32 0), i32 8) nounwind ; <i32> [#uses=1]
|
|
%1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
|
|
br i1 %1, label %return, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
store i32 4, i32* %P, align 4
|
|
ret void
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
; CHECK: memcmp8a:
|
|
; CHECK: movabsq $8029759185026510694, %rax
|
|
; CHECK: cmpq %rax, ([[A0]])
|
|
}
|
|
|