diff options
| author | Eric Christopher <echristo@apple.com> | 2010-02-02 22:10:43 +0000 |
|---|---|---|
| committer | Eric Christopher <echristo@apple.com> | 2010-02-02 22:10:43 +0000 |
| commit | 4264e7e46fe96a516a305b9c684e79ba5de2c9e5 (patch) | |
| tree | fb6be28e5e005e85bbd3f6d298eb4b178a48e86f /llvm/test | |
| parent | 6a6137832dde707a4d60109c3491eb5e2b783bb5 (diff) | |
| download | bcm5719-llvm-4264e7e46fe96a516a305b9c684e79ba5de2c9e5.tar.gz bcm5719-llvm-4264e7e46fe96a516a305b9c684e79ba5de2c9e5.zip | |
Re-add strcmp and known size object size checking optimization.
Passed bootstrap and nightly test run here.
llvm-svn: 95145
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/objsize.ll | 30 | ||||
| -rw-r--r-- | llvm/test/Transforms/SimplifyLibCalls/strcpy_chk.ll | 12 |
2 files changed, 42 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/objsize.ll b/llvm/test/Transforms/InstCombine/objsize.ll new file mode 100644 index 00000000000..13bb487c13e --- /dev/null +++ b/llvm/test/Transforms/InstCombine/objsize.ll @@ -0,0 +1,30 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s +@a = common global [60 x i8] zeroinitializer, align 1 ; <[60 x i8]*> +@.str = private constant [8 x i8] c"abcdefg\00" ; <[8 x i8]*> + +define i32 @foo() nounwind { +; CHECK: @foo +; CHECK-NEXT: ret i32 60 + %1 = call i32 @llvm.objectsize.i32(i8* getelementptr inbounds ([60 x i8]* @a, i32 0, i32 0), i1 false) + ret i32 %1 +} + +define i8* @bar() nounwind { +; CHECK: @bar +entry: + %retval = alloca i8* + %0 = call i32 @llvm.objectsize.i32(i8* getelementptr inbounds ([60 x i8]* @a, i32 0, i32 0), i1 false) + %cmp = icmp ne i32 %0, -1 +; CHECK: br i1 true + br i1 %cmp, label %cond.true, label %cond.false + +cond.true: + %1 = load i8** %retval; + ret i8* %1; + +cond.false: + %2 = load i8** %retval; + ret i8* %2; +} + +declare i32 @llvm.objectsize.i32(i8*, i1) nounwind readonly
\ No newline at end of file diff --git a/llvm/test/Transforms/SimplifyLibCalls/strcpy_chk.ll b/llvm/test/Transforms/SimplifyLibCalls/strcpy_chk.ll new file mode 100644 index 00000000000..422cbd9345a --- /dev/null +++ b/llvm/test/Transforms/SimplifyLibCalls/strcpy_chk.ll @@ -0,0 +1,12 @@ +; RUN: opt < %s -simplify-libcalls -S | FileCheck %s +@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 |
