6b948705a0
Inline calls to strcmp(s1, s2) and strncmp(s1, s2, N), where N and exactly one of s1 and s2 are constant. For example: ```c int res = strcmp(s, "ab"); ``` is converted to ```c int res = (int)s[0] - (int)'a'; if (res != 0) goto END; res = (int)s[1] - (int)'b'; if (res != 0) goto END; res = (int)s[2] - (int)'\0'; END: ``` Ported from a similar gcc feature [Inline strcmp with small constant strings](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78809).
148 lines
4.3 KiB
LLVM
148 lines
4.3 KiB
LLVM
; RUN: opt -S -passes=aggressive-instcombine -strncmp-inline-threshold=3 < %s | FileCheck --check-prefixes=CHECK,TH-3 %s
|
|
; RUN: opt -S -passes=aggressive-instcombine -strncmp-inline-threshold=2 < %s | FileCheck --check-prefixes=CHECK,TH-2 %s
|
|
; RUN: opt -S -passes=aggressive-instcombine -strncmp-inline-threshold=1 < %s | FileCheck --check-prefixes=CHECK,TH-1 %s
|
|
; RUN: opt -S -passes=aggressive-instcombine -strncmp-inline-threshold=0 < %s | FileCheck --check-prefixes=CHECK,TH-0 %s
|
|
|
|
declare i32 @strcmp(ptr nocapture, ptr nocapture)
|
|
declare i32 @strncmp(ptr nocapture, ptr nocapture, i64)
|
|
|
|
@s1 = constant [1 x i8] c"\00", align 1
|
|
@s2n = constant [2 x i8] c"aa", align 1
|
|
@s3 = constant [3 x i8] c"aa\00", align 1
|
|
@s4 = constant [4 x i8] c"aab\00", align 1
|
|
|
|
; strncmp(s, "aa", 1)
|
|
define i1 @test_strncmp_0(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3, i64 1)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_0(
|
|
; CHECK: @strncmp
|
|
|
|
; strncmp(s, "aa", 2)
|
|
define i1 @test_strncmp_1(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3, i64 2)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_1(
|
|
; TH-3-NOT: @strncmp
|
|
; TH-2-NOT: @strncmp
|
|
; TH-1: @strncmp
|
|
; TH-0: @strncmp
|
|
|
|
define i1 @test_strncmp_1_dereferenceable(ptr dereferenceable(2) %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull %s, ptr nonnull dereferenceable(3) @s3, i64 2)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_1_dereferenceable(
|
|
; CHECK: @strncmp
|
|
|
|
define i32 @test_strncmp_1_not_comparision(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3, i64 2)
|
|
ret i32 %call
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_1_not_comparision(
|
|
; CHECK: @strncmp
|
|
|
|
; strncmp(s, "aa", 3)
|
|
define i1 @test_strncmp_2(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3, i64 3)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_2(
|
|
; TH-3-NOT: @strncmp
|
|
; TH-2: @strncmp
|
|
; TH-1: @strncmp
|
|
; TH-0: @strncmp
|
|
|
|
; strncmp(s, "aab", 3)
|
|
define i1 @test_strncmp_3(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(4) @s4, i64 3)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_3(
|
|
; TH-3-NOT: @strncmp
|
|
|
|
; strncmp(s, "aab", 4)
|
|
define i1 @test_strncmp_4(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(4) @s4, i64 4)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_4(
|
|
; TH-3: @strncmp
|
|
|
|
; strncmp(s, "aa", 2)
|
|
define i1 @test_strncmp_5(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3, i64 2)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_5(
|
|
; TH-3-NOT: @strncmp
|
|
|
|
; char s2[] = {'a', 'a'}
|
|
; strncmp(s1, s2, 2)
|
|
define i1 @test_strncmp_6(ptr %s1) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s1, ptr nonnull dereferenceable(2) @s2n, i64 2)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_6(
|
|
; TH-3-NOT: @strncmp
|
|
|
|
; char s2[] = {'a', 'a'}
|
|
; strncmp(s, s2, 3)
|
|
define i1 @test_strncmp_7(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strncmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(2) @s2n, i64 3)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strncmp_7(
|
|
; CHECK: @strncmp
|
|
|
|
; strcmp(s, "")
|
|
define i1 @test_strcmp_0(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strcmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(1) @s1)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strcmp_0(
|
|
; CHECK: @strcmp
|
|
|
|
; strcmp(s, "aa")
|
|
define i1 @test_strcmp_1(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strcmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(3) @s3)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strcmp_1(
|
|
; TH-3-NOT: @strcmp
|
|
|
|
; strcmp(s, "aab")
|
|
define i1 @test_strcmp_2(ptr %s) {
|
|
entry:
|
|
%call = tail call i32 @strcmp(ptr nonnull dereferenceable(1) %s, ptr nonnull dereferenceable(4) @s4)
|
|
%cmp = icmp eq i32 %call, 0
|
|
ret i1 %cmp
|
|
}
|
|
; CHECK-LABEL: @test_strcmp_2(
|
|
; TH-3: @strcmp
|