1 ; Test that the StrCmpOptimizer works correctly 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" 5 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] 8 @bell = constant [5 x i8] c"bell\00" ; <[5 x i8]*> [#uses=1] 9 @null = constant [1 x i8] zeroinitializer ; <[1 x i8]*> [#uses=1] 10 11 declare i32 @strcmp(i8*, i8*) 12 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 22 } 23 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 } 66
