forked from OSchip/llvm-project
208 lines
10 KiB
LLVM
208 lines
10 KiB
LLVM
|
; RUN: opt < %s -instcombine -S | FileCheck %s --dump-input-on-failure
|
||
|
|
|
||
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
||
|
|
|
||
|
|
@a = common global [60 x i8] zeroinitializer, align 1
|
||
|
|
@b = common global [60 x i8] zeroinitializer, align 1
|
||
|
|
@.str = private constant [12 x i8] c"abcdefghijk\00"
|
||
|
|
|
||
|
|
%struct.__va_list_tag = type { i32, i32, i8*, i8* }
|
||
|
|
|
||
|
|
define i8* @test_memccpy() {
|
||
|
|
; CHECK-LABEL: define i8* @test_memccpy
|
||
|
|
; CHECK-NEXT: call i8* @memccpy(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i32 0, i64 60)
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__memccpy_chk(i8* %dst, i8* %src, i32 0, i64 60, i64 -1)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @test_not_memccpy() {
|
||
|
|
; CHECK-LABEL: define i8* @test_not_memccpy
|
||
|
|
; CHECK-NEXT: call i8* @__memccpy_chk
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__memccpy_chk(i8* %dst, i8* %src, i32 0, i64 60, i64 59)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_snprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_snprintf
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i64, i8*, ...) @snprintf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i64 60, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0))
|
||
|
|
; CHECK-NEXT: ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%fmt = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 (i8*, i64, i32, i64, i8*, ...) @__snprintf_chk(i8* %dst, i64 60, i32 0, i64 -1, i8* %fmt)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_not_snprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_not_snprintf
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i64, i32, i64, i8*, ...) @__snprintf_chk
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i64, i32, i64, i8*, ...) @__snprintf_chk
|
||
|
|
; CHECK-NEXT: ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%fmt = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 (i8*, i64, i32, i64, i8*, ...) @__snprintf_chk(i8* %dst, i64 60, i32 0, i64 59, i8* %fmt)
|
||
|
|
%ign = call i32 (i8*, i64, i32, i64, i8*, ...) @__snprintf_chk(i8* %dst, i64 60, i32 1, i64 -1, i8* %fmt)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_sprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_sprintf
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i8*, ...) @sprintf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0))
|
||
|
|
; CHECK-NEXT: ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%fmt = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 (i8*, i32, i64, i8*, ...) @__sprintf_chk(i8* %dst, i32 0, i64 -1, i8* %fmt)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_not_sprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_not_sprintf
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i32, i64, i8*, ...) @__sprintf_chk
|
||
|
|
; CHECK-NEXT: call i32 (i8*, i32, i64, i8*, ...) @__sprintf_chk
|
||
|
|
; CHECK-NEXT: ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%fmt = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 (i8*, i32, i64, i8*, ...) @__sprintf_chk(i8* %dst, i32 0, i64 59, i8* %fmt)
|
||
|
|
%ignored = call i32 (i8*, i32, i64, i8*, ...) @__sprintf_chk(i8* %dst, i32 1, i64 -1, i8* %fmt)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @test_strcat() {
|
||
|
|
; CHECK-LABEL: define i8* @test_strcat
|
||
|
|
; CHECK-NEXT: call i8* @strcat(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0))
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__strcat_chk(i8* %dst, i8* %src, i64 -1)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @test_not_strcat() {
|
||
|
|
; CHECK-LABEL: define i8* @test_not_strcat
|
||
|
|
; CHECK-NEXT: call i8* @__strcat_chk
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__strcat_chk(i8* %dst, i8* %src, i64 0)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i64 @test_strlcat() {
|
||
|
|
; CHECK-LABEL: define i64 @test_strlcat
|
||
|
|
; CHECK-NEXT: call i64 @strlcat(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i64 22)
|
||
|
|
; CHECK-NEXT: ret i64
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i64 @__strlcat_chk(i8* %dst, i8* %src, i64 22, i64 -1)
|
||
|
|
ret i64 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i64 @test_not_strlcat() {
|
||
|
|
; CHECK-LABEL: define i64 @test_not_strlcat
|
||
|
|
; CHECK-NEXT: call i64 @__strlcat_chk
|
||
|
|
; CHECK-NEXT: ret i64
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i64 @__strlcat_chk(i8* %dst, i8* %src, i64 22, i64 0)
|
||
|
|
ret i64 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @test_strncat() {
|
||
|
|
; CHECK-LABEL: define i8* @test_strncat
|
||
|
|
; CHECK-NEXT: call i8* @strncat(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i64 22)
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__strncat_chk(i8* %dst, i8* %src, i64 22, i64 -1)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @test_not_strncat() {
|
||
|
|
; CHECK-LABEL: define i8* @test_not_strncat
|
||
|
|
; CHECK-NEXT: call i8* @__strncat_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i64 22, i64 3)
|
||
|
|
; CHECK-NEXT: ret i8*
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i8* @__strncat_chk(i8* %dst, i8* %src, i64 22, i64 3)
|
||
|
|
ret i8* %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i64 @test_strlcpy() {
|
||
|
|
; CHECK-LABEL: define i64 @test_strlcpy
|
||
|
|
; CHECK-NEXT: call i64 @strlcpy(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i64 22)
|
||
|
|
; CHECK-NEXT: ret i64
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i64 @__strlcpy_chk(i8* %dst, i8* %src, i64 22, i64 -1)
|
||
|
|
ret i64 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i64 @test_not_strlcpy() {
|
||
|
|
; CHECK-LABEL: define i64 @test_not_strlcpy
|
||
|
|
; CHECK-NEXT: call i64 @__strlcpy_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), i64 22, i64 2)
|
||
|
|
; CHECK-NEXT: ret i64
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i64 @__strlcpy_chk(i8* %dst, i8* %src, i64 22, i64 2)
|
||
|
|
ret i64 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_vsnprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_vsnprintf
|
||
|
|
; CHECK-NEXT: call i32 @vsnprintf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i64 4, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 @__vsnprintf_chk(i8* %dst, i64 4, i32 0, i64 -1, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_not_vsnprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_not_vsnprintf
|
||
|
|
; CHECK-NEXT: call i32 @__vsnprintf_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i64 4, i32 0, i64 3, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; CHECK-NEXT: call i32 @__vsnprintf_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i64 4, i32 1, i64 -1, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 @__vsnprintf_chk(i8* %dst, i64 4, i32 0, i64 3, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
%ign = call i32 @__vsnprintf_chk(i8* %dst, i64 4, i32 1, i64 -1, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_vsprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_vsprintf
|
||
|
|
; CHECK-NEXT: call i32 @vsprintf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 @__vsprintf_chk(i8* %dst, i32 0, i64 -1, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test_not_vsprintf() {
|
||
|
|
; CHECK-LABEL: define i32 @test_not_vsprintf
|
||
|
|
; CHECK-NEXT: call i32 @__vsprintf_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i32 0, i64 3, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; CHECK-NEXT: call i32 @__vsprintf_chk(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @a, i64 0, i64 0), i32 1, i64 -1, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @b, i64 0, i64 0), %struct.__va_list_tag* null)
|
||
|
|
; ret i32
|
||
|
|
%dst = getelementptr inbounds [60 x i8], [60 x i8]* @a, i32 0, i32 0
|
||
|
|
%src = getelementptr inbounds [60 x i8], [60 x i8]* @b, i32 0, i32 0
|
||
|
|
%ret = call i32 @__vsprintf_chk(i8* %dst, i32 0, i64 3, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
%ign = call i32 @__vsprintf_chk(i8* %dst, i32 1, i64 -1, i8* %src, %struct.__va_list_tag* null)
|
||
|
|
ret i32 %ret
|
||
|
|
}
|
||
|
|
|
||
|
|
declare i8* @__memccpy_chk(i8*, i8*, i32, i64, i64)
|
||
|
|
declare i32 @__snprintf_chk(i8*, i64, i32, i64, i8*, ...)
|
||
|
|
declare i32 @__sprintf_chk(i8*, i32, i64, i8*, ...)
|
||
|
|
declare i8* @__strcat_chk(i8*, i8*, i64)
|
||
|
|
declare i64 @__strlcat_chk(i8*, i8*, i64, i64)
|
||
|
|
declare i8* @__strncat_chk(i8*, i8*, i64, i64)
|
||
|
|
declare i64 @__strlcpy_chk(i8*, i8*, i64, i64)
|
||
|
|
declare i32 @__vsnprintf_chk(i8*, i64, i32, i64, i8*, %struct.__va_list_tag*)
|
||
|
|
declare i32 @__vsprintf_chk(i8*, i32, i64, i8*, %struct.__va_list_tag*)
|