1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; Test that the strcmp library call simplifier works correctly. 3; RUN: opt < %s -passes=instcombine -S | FileCheck %s --check-prefix=NOBCMP 4; RUN: opt < %s -passes=instcombine -mtriple=unknown-unknown-linux-gnu -S | FileCheck %s --check-prefix=BCMP 5 6target 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" 7 8@hello = constant [6 x i8] c"hello\00" 9@hell = constant [5 x i8] c"hell\00" 10@bell = constant [5 x i8] c"bell\00" 11@null = constant [1 x i8] zeroinitializer 12 13declare i32 @strcmp(i8*, i8*) 14 15; strcmp("", x) -> -*x 16define i32 @test1(i8* %str2) { 17; CHECK-LABEL: @test1( 18; CHECK: %strcmpload = load i8, i8* %str 19; CHECK: %1 = zext i8 %strcmpload to i32 20; CHECK: %2 = sub nsw i32 0, %1 21; CHECK: ret i32 %2 22; NOBCMP-LABEL: @test1( 23; NOBCMP-NEXT: [[STRCMPLOAD:%.*]] = load i8, i8* [[STR2:%.*]], align 1 24; NOBCMP-NEXT: [[TMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i32 25; NOBCMP-NEXT: [[TMP2:%.*]] = sub nsw i32 0, [[TMP1]] 26; NOBCMP-NEXT: ret i32 [[TMP2]] 27; 28; BCMP-LABEL: @test1( 29; BCMP-NEXT: [[STRCMPLOAD:%.*]] = load i8, i8* [[STR2:%.*]], align 1 30; BCMP-NEXT: [[TMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i32 31; BCMP-NEXT: [[TMP2:%.*]] = sub nsw i32 0, [[TMP1]] 32; BCMP-NEXT: ret i32 [[TMP2]] 33; 34 %str1 = getelementptr inbounds [1 x i8], [1 x i8]* @null, i32 0, i32 0 35 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) 36 ret i32 %temp1 37 38} 39 40; strcmp(x, "") -> *x 41define i32 @test2(i8* %str1) { 42; CHECK-LABEL: @test2( 43; CHECK: %strcmpload = load i8, i8* %str 44; CHECK: %1 = zext i8 %strcmpload to i32 45; CHECK: ret i32 %1 46; NOBCMP-LABEL: @test2( 47; NOBCMP-NEXT: [[STRCMPLOAD:%.*]] = load i8, i8* [[STR1:%.*]], align 1 48; NOBCMP-NEXT: [[TMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i32 49; NOBCMP-NEXT: ret i32 [[TMP1]] 50; 51; BCMP-LABEL: @test2( 52; BCMP-NEXT: [[STRCMPLOAD:%.*]] = load i8, i8* [[STR1:%.*]], align 1 53; BCMP-NEXT: [[TMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i32 54; BCMP-NEXT: ret i32 [[TMP1]] 55; 56 %str2 = getelementptr inbounds [1 x i8], [1 x i8]* @null, i32 0, i32 0 57 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) 58 ret i32 %temp1 59} 60 61; strcmp(x, y) -> cnst 62define i32 @test3() { 63; CHECK-LABEL: @test3( 64; CHECK: ret i32 -1 65; NOBCMP-LABEL: @test3( 66; NOBCMP-NEXT: ret i32 -1 67; 68; BCMP-LABEL: @test3( 69; BCMP-NEXT: ret i32 -1 70; 71 %str1 = getelementptr inbounds [5 x i8], [5 x i8]* @hell, i32 0, i32 0 72 %str2 = getelementptr inbounds [6 x i8], [6 x i8]* @hello, i32 0, i32 0 73 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) 74 ret i32 %temp1 75} 76 77define i32 @test4() { 78; CHECK-LABEL: @test4( 79; CHECK: ret i32 1 80; NOBCMP-LABEL: @test4( 81; NOBCMP-NEXT: ret i32 1 82; 83; BCMP-LABEL: @test4( 84; BCMP-NEXT: ret i32 1 85; 86 %str1 = getelementptr inbounds [5 x i8], [5 x i8]* @hell, i32 0, i32 0 87 %str2 = getelementptr inbounds [1 x i8], [1 x i8]* @null, i32 0, i32 0 88 %temp1 = call i32 @strcmp(i8* %str1, i8* %str2) 89 ret i32 %temp1 90} 91 92; strcmp(x, y) -> memcmp(x, y, <known length>) 93; (This transform is rather difficult to trigger in a useful manner) 94define i32 @test5(i1 %b) { 95; CHECK-LABEL: @test5( 96; CHECK: %memcmp = call i32 @memcmp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @hello, i32 0, i32 0), i8* %str2, i32 5) 97; CHECK: ret i32 %memcmp 98; NOBCMP-LABEL: @test5( 99; NOBCMP-NEXT: [[STR2:%.*]] = select i1 [[B:%.*]], i8* getelementptr inbounds ([5 x i8], [5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @bell, i32 0, i32 0) 100; NOBCMP-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(i8* noundef nonnull dereferenceable(5) getelementptr inbounds ([6 x i8], [6 x i8]* @hello, i32 0, i32 0), i8* noundef nonnull dereferenceable(5) [[STR2]], i32 5) 101; NOBCMP-NEXT: ret i32 [[MEMCMP]] 102; 103; BCMP-LABEL: @test5( 104; BCMP-NEXT: [[STR2:%.*]] = select i1 [[B:%.*]], i8* getelementptr inbounds ([5 x i8], [5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @bell, i32 0, i32 0) 105; BCMP-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(i8* noundef nonnull dereferenceable(5) getelementptr inbounds ([6 x i8], [6 x i8]* @hello, i32 0, i32 0), i8* noundef nonnull dereferenceable(5) [[STR2]], i32 5) 106; BCMP-NEXT: ret i32 [[MEMCMP]] 107; 108 %str1 = getelementptr inbounds [6 x i8], [6 x i8]* @hello, i32 0, i32 0 109 %temp1 = getelementptr inbounds [5 x i8], [5 x i8]* @hell, i32 0, i32 0 110 %temp2 = getelementptr inbounds [5 x i8], [5 x i8]* @bell, i32 0, i32 0 111 %str2 = select i1 %b, i8* %temp1, i8* %temp2 112 %temp3 = call i32 @strcmp(i8* %str1, i8* %str2) 113 ret i32 %temp3 114} 115 116; strcmp(x,x) -> 0 117define i32 @test6(i8* %str) { 118; CHECK-LABEL: @test6( 119; CHECK: ret i32 0 120; NOBCMP-LABEL: @test6( 121; NOBCMP-NEXT: ret i32 0 122; 123; BCMP-LABEL: @test6( 124; BCMP-NEXT: ret i32 0 125; 126 %temp1 = call i32 @strcmp(i8* %str, i8* %str) 127 ret i32 %temp1 128} 129 130; strcmp(x, y) == 0 -> bcmp(x, y, <known length>) 131define i1 @test7(i1 %b) { 132; NOBCMP-LABEL: @test7( 133; NOBCMP-NEXT: [[STR2:%.*]] = select i1 [[B:%.*]], i8* getelementptr inbounds ([5 x i8], [5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @bell, i32 0, i32 0) 134; NOBCMP-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(i8* noundef nonnull dereferenceable(5) getelementptr inbounds ([6 x i8], [6 x i8]* @hello, i32 0, i32 0), i8* noundef nonnull dereferenceable(5) [[STR2]], i32 5) 135; NOBCMP-NEXT: [[RES:%.*]] = icmp eq i32 [[MEMCMP]], 0 136; NOBCMP-NEXT: ret i1 [[RES]] 137; 138; BCMP-LABEL: @test7( 139; BCMP-NEXT: [[STR2:%.*]] = select i1 [[B:%.*]], i8* getelementptr inbounds ([5 x i8], [5 x i8]* @hell, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @bell, i32 0, i32 0) 140; BCMP-NEXT: [[BCMP:%.*]] = call i32 @bcmp(i8* noundef nonnull dereferenceable(5) getelementptr inbounds ([6 x i8], [6 x i8]* @hello, i32 0, i32 0), i8* noundef nonnull dereferenceable(5) [[STR2]], i32 5) 141; BCMP-NEXT: [[RES:%.*]] = icmp eq i32 [[BCMP]], 0 142; BCMP-NEXT: ret i1 [[RES]] 143; 144 145 146 %str1 = getelementptr inbounds [6 x i8], [6 x i8]* @hello, i32 0, i32 0 147 %temp1 = getelementptr inbounds [5 x i8], [5 x i8]* @hell, i32 0, i32 0 148 %temp2 = getelementptr inbounds [5 x i8], [5 x i8]* @bell, i32 0, i32 0 149 %str2 = select i1 %b, i8* %temp1, i8* %temp2 150 %temp3 = call i32 @strcmp(i8* %str1, i8* %str2) 151 %res = icmp eq i32 %temp3, 0 152 ret i1 %res 153} 154