Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
89a11eb
commit 814c9f4
Showing
1 changed file
with
97 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,97 @@ | ||
| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | ||
| ; RUN: opt < %s -instcombine -S | FileCheck %s | ||
|
|
||
| @.str = private unnamed_addr constant [27 x i8] c"abcdefghijklmnopqrstuvwxyz\00", align 1 | ||
| @.str.1 = private unnamed_addr constant [2 x i8] c"\0D\0A", align 1 | ||
|
|
||
| declare i8* @strchr(i8*, i32) | ||
| declare i8* @memchr(i8*, i32, i64) | ||
|
|
||
| define zeroext i1 @strchr_to_memchr_n_equals_len(i32 %c) { | ||
| ; CHECK-LABEL: @strchr_to_memchr_n_equals_len( | ||
| ; CHECK-NEXT: [[MEMCHR:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 [[C:%.*]], i64 27) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8* [[MEMCHR]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @strchr(i8* nonnull dereferenceable(27) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %c) | ||
| %cmp = icmp ne i8* %call, null | ||
| ret i1 %cmp | ||
| } | ||
|
|
||
| define zeroext i1 @memchr_n_equals_len(i32 %c) { | ||
| ; CHECK-LABEL: @memchr_n_equals_len( | ||
| ; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(3) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 [[C:%.*]], i64 2) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8* [[CALL]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @memchr(i8* nonnull dereferenceable(3) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 %c, i64 2) | ||
| %cmp = icmp eq i8* %call, null | ||
| ret i1 %cmp | ||
| } | ||
|
|
||
| define zeroext i1 @memchr_n_less_than_len(i32 %c) { | ||
| ; CHECK-LABEL: @memchr_n_less_than_len( | ||
| ; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 [[C:%.*]], i64 15) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8* [[CALL]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @memchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %c, i64 15) | ||
| %cmp = icmp ne i8* %call, null | ||
| ret i1 %cmp | ||
| } | ||
|
|
||
|
|
||
| define zeroext i1 @memchr_n_more_than_len(i32 %c) { | ||
| ; CHECK-LABEL: @memchr_n_more_than_len( | ||
| ; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 [[C:%.*]], i64 30) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8* [[CALL]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @memchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %c, i64 30) | ||
| %cmp = icmp ne i8* %call, null | ||
| ret i1 %cmp | ||
| } | ||
|
|
||
| ; Negative test - no comparison with zero | ||
|
|
||
| define i8* @memchr_no_zero_cmp(i32 %c) { | ||
| ; CHECK-LABEL: @memchr_no_zero_cmp( | ||
| ; CHECK-NEXT: [[MEMCHR:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 [[C:%.*]], i64 27) | ||
| ; CHECK-NEXT: ret i8* [[MEMCHR]] | ||
| ; | ||
| %call = tail call i8* @strchr(i8* nonnull dereferenceable(27) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %c) | ||
| ret i8* %call | ||
| } | ||
|
|
||
| define i8* @memchr_no_zero_cmp2(i32 %c) { | ||
| ; CHECK-LABEL: @memchr_no_zero_cmp2( | ||
| ; CHECK-NEXT: [[MEMCHR:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 [[C:%.*]], i64 3) | ||
| ; CHECK-NEXT: ret i8* [[MEMCHR]] | ||
| ; | ||
| %call = tail call i8* @strchr(i8* nonnull dereferenceable(3) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 %c) | ||
| ret i8* %call | ||
| } | ||
|
|
||
| ; Negative test - opt for size | ||
|
|
||
| define zeroext i1 @memchr_n_equals_len_minsize(i32 %c) minsize { | ||
| ; CHECK-LABEL: @memchr_n_equals_len_minsize( | ||
| ; CHECK-NEXT: [[MEMCHR:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 [[C:%.*]], i64 27) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8* [[MEMCHR]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @strchr(i8* nonnull dereferenceable(27) getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %c) | ||
| %cmp = icmp ne i8* %call, null | ||
| ret i1 %cmp | ||
| } | ||
|
|
||
| define zeroext i1 @memchr_n_equals_len2_minsize(i32 %c) minsize { | ||
| ; CHECK-LABEL: @memchr_n_equals_len2_minsize( | ||
| ; CHECK-NEXT: [[CALL:%.*]] = tail call i8* @memchr(i8* noundef nonnull dereferenceable(3) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 [[C:%.*]], i64 2) | ||
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8* [[CALL]], null | ||
| ; CHECK-NEXT: ret i1 [[CMP]] | ||
| ; | ||
| %call = tail call i8* @memchr(i8* nonnull dereferenceable(3) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 %c, i64 2) | ||
| %cmp = icmp eq i8* %call, null | ||
| ret i1 %cmp | ||
| } |