diff options
Diffstat (limited to 'test/Transforms/SimplifyLibCalls/StrCmp.ll')
| -rw-r--r-- | test/Transforms/SimplifyLibCalls/StrCmp.ll | 73 |
1 files changed, 55 insertions, 18 deletions
diff --git a/test/Transforms/SimplifyLibCalls/StrCmp.ll b/test/Transforms/SimplifyLibCalls/StrCmp.ll index 73596351a8cc..60854d76c97a 100644 --- a/test/Transforms/SimplifyLibCalls/StrCmp.ll +++ b/test/Transforms/SimplifyLibCalls/StrCmp.ll @@ -1,28 +1,65 @@ ; Test that the StrCmpOptimizer works correctly -; RUN: opt < %s -simplify-libcalls -S | \ -; RUN: not grep {call.*strcmp} +; RUN: opt < %s -simplify-libcalls -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" @hello = constant [6 x i8] c"hello\00" ; <[6 x i8]*> [#uses=1] @hell = constant [5 x i8] c"hell\00" ; <[5 x i8]*> [#uses=1] +@bell = constant [5 x i8] c"bell\00" ; <[5 x i8]*> [#uses=1] @null = constant [1 x i8] zeroinitializer ; <[1 x i8]*> [#uses=1] declare i32 @strcmp(i8*, i8*) -declare i32 @puts(i8*) - -define i32 @main() { - %hello_p = getelementptr [6 x i8]* @hello, i32 0, i32 0 ; <i8*> [#uses=5] - %hell_p = getelementptr [5 x i8]* @hell, i32 0, i32 0 ; <i8*> [#uses=1] - %null_p = getelementptr [1 x i8]* @null, i32 0, i32 0 ; <i8*> [#uses=4] - %temp1 = call i32 @strcmp( i8* %hello_p, i8* %hello_p ) ; <i32> [#uses=1] - %temp2 = call i32 @strcmp( i8* %null_p, i8* %null_p ) ; <i32> [#uses=1] - %temp3 = call i32 @strcmp( i8* %hello_p, i8* %null_p ) ; <i32> [#uses=1] - %temp4 = call i32 @strcmp( i8* %null_p, i8* %hello_p ) ; <i32> [#uses=1] - %temp5 = call i32 @strcmp( i8* %hell_p, i8* %hello_p ) ; <i32> [#uses=1] - %rslt1 = add i32 %temp1, %temp2 ; <i32> [#uses=1] - %rslt2 = add i32 %rslt1, %temp3 ; <i32> [#uses=1] - %rslt3 = add i32 %rslt2, %temp4 ; <i32> [#uses=1] - %rslt4 = add i32 %rslt3, %temp5 ; <i32> [#uses=1] - ret i32 %rslt4 +; strcmp("", x) -> -*x +define i32 @test1(i8* %str) { + %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([1 x i8]* @null, i32 0, i32 0), i8* %str) + ret i32 %temp1 + ; CHECK: @test1 + ; CHECK: %strcmpload = load i8* %str + ; CHECK: %1 = zext i8 %strcmpload to i32 + ; CHECK: %temp1 = sub i32 0, %1 + ; CHECK: ret i32 %temp1 +} + +; strcmp(x, "") -> *x +define i32 @test2(i8* %str) { + %temp1 = call i32 @strcmp(i8* %str, i8* getelementptr inbounds ([1 x i8]* @null, i32 0, i32 0)) + ret i32 %temp1 + ; CHECK: @test2 + ; CHECK: %strcmpload = load i8* %str + ; CHECK: %temp1 = zext i8 %strcmpload to i32 + ; CHECK: ret i32 %temp1 } +; strcmp(x, y) -> cnst +define i32 @test3() { + %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8]* @hello, i32 0, i32 0)) + ret i32 %temp1 + ; CHECK: @test3 + ; CHECK: ret i32 -1 +} +define i32 @test4() { + %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8]* @null, i32 0, i32 0)) + ret i32 %temp1 + ; CHECK: @test4 + ; CHECK: ret i32 1 +} + +; strcmp(x, y) -> memcmp(x, y, <known length>) +; (This transform is rather difficult to trigger in a useful manner) +define i32 @test5(i1 %b) { + %sel = select i1 %b, i8* getelementptr inbounds ([5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8]* @bell, i32 0, i32 0) + %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([6 x i8]* @hello, i32 0, i32 0), i8* %sel) + ret i32 %temp1 + ; CHECK: @test5 + ; CHECK: %memcmp = call i32 @memcmp(i8* getelementptr inbounds ([6 x i8]* @hello, i32 0, i32 0), i8* %sel, i32 5) + ; CHECK: ret i32 %memcmp +} + +; strcmp(x,x) -> 0 +define i32 @test6(i8* %str) { + %temp1 = call i32 @strcmp(i8* %str, i8* %str) + ret i32 %temp1 + ; CHECK: @test6 + ; CHECK: ret i32 0 +} |