replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

strlen-1.ll: Fix test 

Change test for `strlen(x) == 0 --> *x == 0` to actually test the
pattern.

llvm-svn: 302094
This commit is contained in:
Matthias Braun 2017-05-03 23:32:51 +00:00
parent cff357c322
commit 739a7b2f9c
1 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
llvm/test/Transforms/InstCombine/strlen-1.ll
View File

@ -64,13 +64,14 @@ define i1 @test_simplify5() {
ret i1 %eq_hello
}
define i1 @test_simplify6() {
define i1 @test_simplify6(i8* %str_p) {
; CHECK-LABEL: @test_simplify6(
; CHECK-NEXT: ret i1 true
; CHECK-NEXT: [[STRLENFIRST:%.*]] = load i8, i8* [[STR_P:%.*]], align 1
; CHECK-NEXT: [[EQ_NULL:%.*]] = icmp eq i8 [[STRLENFIRST]], 0
; CHECK-NEXT: ret i1 [[EQ_NULL]]
;
%null_p = getelementptr [1 x i8], [1 x i8]* @null, i32 0, i32 0
%null_l = call i32 @strlen(i8* %null_p)
%eq_null = icmp eq i32 %null_l, 0
%str_l = call i32 @strlen(i8* %str_p)
%eq_null = icmp eq i32 %str_l, 0
ret i1 %eq_null
}
@ -86,13 +87,14 @@ define i1 @test_simplify7() {
ret i1 %ne_hello
}
define i1 @test_simplify8() {
define i1 @test_simplify8(i8* %str_p) {
; CHECK-LABEL: @test_simplify8(
; CHECK-NEXT: ret i1 false
; CHECK-NEXT: [[STRLENFIRST:%.*]] = load i8, i8* [[STR_P:%.*]], align 1
; CHECK-NEXT: [[NE_NULL:%.*]] = icmp ne i8 [[STRLENFIRST]], 0
; CHECK-NEXT: ret i1 [[NE_NULL]]
;
%null_p = getelementptr [1 x i8], [1 x i8]* @null, i32 0, i32 0
%null_l = call i32 @strlen(i8* %null_p)
%ne_null = icmp ne i32 %null_l, 0
%str_l = call i32 @strlen(i8* %str_p)
%ne_null = icmp ne i32 %str_l, 0
ret i1 %ne_null
}