RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-02-22 11:42:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

strlen-1.ll: Fix test

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@302094 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Matthias Braun 2017-05-03 23:32:51 +00:00
parent e6aa7aa29e
commit bcd731ca9c
1 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
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
}