6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-27 13:30:05 +00:00
Code Issues Projects Releases Wiki Activity

instcombine: Add more test cases for __strcpy_chk simplification

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164799 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Meador Inge 2012-09-27 21:21:28 +00:00
parent c8613c9089
commit a968582978
3 changed files with 109 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

88
test/Transforms/InstCombine/strcpy_chk-1.ll Normal file
View File

@ -0,0 +1,88 @@
; Test lib call simplification of __strcpy_chk calls with various values
; for src, dst, and slen.
;
; RUN: opt < %s -instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
@a = common global [60 x i8] zeroinitializer, align 1
@b = common global [60 x i8] zeroinitializer, align 1
@.str = private constant [8 x i8] c"abcdefg\00"
; Check cases where slen >= strlen (src).
define void @test_simplify1() {
; CHECK: @test_simplify1
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i8* @strcpy
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 60)
ret void
}
define void @test_simplify2() {
; CHECK: @test_simplify2
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i8* @strcpy
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 8)
ret void
}
define void @test_simplify3() {
; CHECK: @test_simplify3
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i8* @strcpy
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 -1)
ret void
}
; Check cases where there are no string constants.
define void @test_simplify4() {
; CHECK: @test_simplify4
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [60 x i8]* @b, i32 0, i32 0
; CHECK-NEXT: call i8* @strcpy
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 -1)
ret void
}
define void @test_no_simplify1() {
; CHECK: @test_no_simplify1
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [60 x i8]* @b, i32 0, i32 0
; CHECK-NEXT: call i8* @__strcpy_chk
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 8)
ret void
}
; Check case were slen < strlen (src).
define void @test_no_simplify2() {
; CHECK: @test_no_simplify2
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i8* @__strcpy_chk
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 3)
ret void
}
define void @test_no_simplify3() {
; CHECK: @test_no_simplify3
%dst = getelementptr inbounds [60 x i8]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i8* @__strcpy_chk
call i8* @__strcpy_chk(i8* %dst, i8* %src, i32 0)
ret void
}
declare i8* @__strcpy_chk(i8*, i8*, i32) nounwind

21
test/Transforms/InstCombine/strcpy_chk-2.ll Normal file
View File

@ -0,0 +1,21 @@
; Test that lib call simplification doesn't simplify __strcpy_chk calls
; with the wrong prototype.
;
; RUN: opt < %s -instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
@a = common global [60 x i16] zeroinitializer, align 1
@.str = private constant [8 x i8] c"abcdefg\00"
define void @test_no_simplify() {
; CHECK: @test_no_simplify
%dst = getelementptr inbounds [60 x i16]* @a, i32 0, i32 0
%src = getelementptr inbounds [8 x i8]* @.str, i32 0, i32 0
; CHECK-NEXT: call i16* @__strcpy_chk
call i16* @__strcpy_chk(i16* %dst, i8* %src, i32 8)
ret void
}
declare i16* @__strcpy_chk(i16*, i8*, i32)

13
test/Transforms/InstCombine/strcpy_chk.ll
View File

@ -1,13 +0,0 @@
; RUN: opt < %s -instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
@a = common global [60 x i8] zeroinitializer, align 1 ; <[60 x i8]*> [#uses=1]
@.str = private constant [8 x i8] c"abcdefg\00" ; <[8 x i8]*> [#uses=1]
define i8* @foo() nounwind {
; CHECK: @foo
; CHECK-NEXT: call i8* @strcpy
%call = call i8* @__strcpy_chk(i8* getelementptr inbounds ([60 x i8]* @a, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8]* @.str, i32 0, i32 0), i32 60) ; <i8*> [#uses=1]
ret i8* %call
}
declare i8* @__strcpy_chk(i8*, i8*, i32) nounwind