| Reid Spencer | 926bd0c | 2005-04-30 00:52:04 +0000 | [diff] [blame] | 1 | ; Test that the StrCmpOptimizer works correctly |
| Eli Friedman | 7928608 | 2011-10-05 22:27:16 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -simplify-libcalls -S | FileCheck %s |
| 3 | |
| 4 | 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" |
| Reid Spencer | 926bd0c | 2005-04-30 00:52:04 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 6 | @hello = constant [6 x i8] c"hello\00" ; <[6 x i8]*> [#uses=1] |
| 7 | @hell = constant [5 x i8] c"hell\00" ; <[5 x i8]*> [#uses=1] |
| Eli Friedman | 7928608 | 2011-10-05 22:27:16 +0000 | [diff] [blame] | 8 | @bell = constant [5 x i8] c"bell\00" ; <[5 x i8]*> [#uses=1] |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 9 | @null = constant [1 x i8] zeroinitializer ; <[1 x i8]*> [#uses=1] |
| Reid Spencer | 926bd0c | 2005-04-30 00:52:04 +0000 | [diff] [blame] | 10 | |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 11 | declare i32 @strcmp(i8*, i8*) |
| Reid Spencer | 926bd0c | 2005-04-30 00:52:04 +0000 | [diff] [blame] | 12 | |
| Eli Friedman | 7928608 | 2011-10-05 22:27:16 +0000 | [diff] [blame] | 13 | ; strcmp("", x) -> -*x |
| 14 | define i32 @test1(i8* %str) { |
| 15 | %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([1 x i8]* @null, i32 0, i32 0), i8* %str) |
| 16 | ret i32 %temp1 |
| 17 | ; CHECK: @test1 |
| 18 | ; CHECK: %strcmpload = load i8* %str |
| 19 | ; CHECK: %1 = zext i8 %strcmpload to i32 |
| 20 | ; CHECK: %temp1 = sub i32 0, %1 |
| 21 | ; CHECK: ret i32 %temp1 |
| Reid Spencer | 926bd0c | 2005-04-30 00:52:04 +0000 | [diff] [blame] | 22 | } |
| Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 23 | |
| Eli Friedman | 7928608 | 2011-10-05 22:27:16 +0000 | [diff] [blame] | 24 | ; strcmp(x, "") -> *x |
| 25 | define i32 @test2(i8* %str) { |
| 26 | %temp1 = call i32 @strcmp(i8* %str, i8* getelementptr inbounds ([1 x i8]* @null, i32 0, i32 0)) |
| 27 | ret i32 %temp1 |
| 28 | ; CHECK: @test2 |
| 29 | ; CHECK: %strcmpload = load i8* %str |
| 30 | ; CHECK: %temp1 = zext i8 %strcmpload to i32 |
| 31 | ; CHECK: ret i32 %temp1 |
| 32 | } |
| 33 | |
| 34 | ; strcmp(x, y) -> cnst |
| 35 | define i32 @test3() { |
| 36 | %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)) |
| 37 | ret i32 %temp1 |
| 38 | ; CHECK: @test3 |
| 39 | ; CHECK: ret i32 -1 |
| 40 | } |
| 41 | define i32 @test4() { |
| 42 | %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)) |
| 43 | ret i32 %temp1 |
| 44 | ; CHECK: @test4 |
| 45 | ; CHECK: ret i32 1 |
| 46 | } |
| 47 | |
| 48 | ; strcmp(x, y) -> memcmp(x, y, <known length>) |
| 49 | ; (This transform is rather difficult to trigger in a useful manner) |
| 50 | define i32 @test5(i1 %b) { |
| 51 | %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) |
| 52 | %temp1 = call i32 @strcmp(i8* getelementptr inbounds ([6 x i8]* @hello, i32 0, i32 0), i8* %sel) |
| 53 | ret i32 %temp1 |
| 54 | ; CHECK: @test5 |
| 55 | ; CHECK: %memcmp = call i32 @memcmp(i8* getelementptr inbounds ([6 x i8]* @hello, i32 0, i32 0), i8* %sel, i32 5) |
| 56 | ; CHECK: ret i32 %memcmp |
| 57 | } |
| 58 | |
| 59 | ; strcmp(x,x) -> 0 |
| 60 | define i32 @test6(i8* %str) { |
| 61 | %temp1 = call i32 @strcmp(i8* %str, i8* %str) |
| 62 | ret i32 %temp1 |
| 63 | ; CHECK: @test6 |
| 64 | ; CHECK: ret i32 0 |
| 65 | } |