mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-23 12:40:17 +00:00
29a5bf5f0f
* Add four new cases to handle the new optimizations for strlen, dealing
with:
strlen(x) != 0 -> *x != 0
strlen(x) == 0 -> *x == 0
for each of two cases: strlen(x) != 0 and strlen(x) == 0
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21767 91177308-0d34-0410-b5e6-96231b3b80d8
56 lines
1.6 KiB
LLVM
56 lines
1.6 KiB
LLVM
; Test that the StrCatOptimizer works correctly
|
|
; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | not grep 'call.*strlen'
|
|
|
|
declare uint %strlen(sbyte*)
|
|
%hello = constant [6 x sbyte] c"hello\00"
|
|
%null = constant [1 x sbyte] c"\00"
|
|
%null_hello = constant [7 x sbyte] c"\00hello\00"
|
|
|
|
implementation ; Functions:
|
|
|
|
uint %test1() {
|
|
%hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
|
|
%hello_l = call uint %strlen(sbyte* %hello_p)
|
|
ret uint %hello_l
|
|
}
|
|
|
|
uint %test2() {
|
|
%null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
|
|
%null_l = call uint %strlen(sbyte* %null_p)
|
|
ret uint %null_l
|
|
}
|
|
|
|
uint %test3() {
|
|
%null_hello_p = getelementptr [7 x sbyte]* %null_hello, int 0, int 0
|
|
%null_hello_l = call uint %strlen(sbyte* %null_hello_p)
|
|
ret uint %null_hello_l
|
|
}
|
|
|
|
bool %test4() {
|
|
%hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
|
|
%hello_l = call uint %strlen(sbyte* %hello_p)
|
|
%eq_hello = seteq uint %hello_l, 0
|
|
ret bool %eq_hello
|
|
}
|
|
|
|
bool %test5() {
|
|
%null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
|
|
%null_l = call uint %strlen(sbyte* %null_p)
|
|
%eq_null = seteq uint %null_l, 0
|
|
ret bool %eq_null
|
|
}
|
|
|
|
bool %test6() {
|
|
%hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
|
|
%hello_l = call uint %strlen(sbyte* %hello_p)
|
|
%ne_hello = setne uint %hello_l, 0
|
|
ret bool %ne_hello
|
|
}
|
|
|
|
bool %test7() {
|
|
%null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
|
|
%null_l = call uint %strlen(sbyte* %null_p)
|
|
%ne_null = setne uint %null_l, 0
|
|
ret bool %ne_null
|
|
}
|