1 ; Test that the strspn library call simplifier works correctly. 2 ; 3 ; RUN: opt < %s -instcombine -S | FileCheck %s 4 5 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" 6 7 @abcba = constant [6 x i8] c"abcba\00" 8 @abc = constant [4 x i8] c"abc\00" 9 @null = constant [1 x i8] zeroinitializer 10 11 declare i64 @strspn(i8*, i8*) 12 13 ; Check strspn(s, "") -> 0. 14 15 define i64 @test_simplify1(i8* %str) { 16 ; CHECK: @test_simplify1 17 %pat = getelementptr [1 x i8]* @null, i32 0, i32 0 18 19 %ret = call i64 @strspn(i8* %str, i8* %pat) 20 ret i64 %ret 21 ; CHECK-NEXT: ret i64 0 22 } 23 24 ; Check strspn("", s) -> 0. 25 26 define i64 @test_simplify2(i8* %pat) { 27 ; CHECK: @test_simplify2 28 %str = getelementptr [1 x i8]* @null, i32 0, i32 0 29 30 %ret = call i64 @strspn(i8* %str, i8* %pat) 31 ret i64 %ret 32 ; CHECK-NEXT: ret i64 0 33 } 34 35 ; Check strspn(s1, s2), where s1 and s2 are constants. 36 37 define i64 @test_simplify3() { 38 ; CHECK: @test_simplify3 39 %str = getelementptr [6 x i8]* @abcba, i32 0, i32 0 40 %pat = getelementptr [4 x i8]* @abc, i32 0, i32 0 41 42 %ret = call i64 @strspn(i8* %str, i8* %pat) 43 ret i64 %ret 44 ; CHECK-NEXT: ret i64 5 45 } 46 47 ; Check cases that shouldn't be simplified. 48 49 define i64 @test_no_simplify1(i8* %str, i8* %pat) { 50 ; CHECK: @test_no_simplify1 51 52 %ret = call i64 @strspn(i8* %str, i8* %pat) 53 ; CHECK-NEXT: %ret = call i64 @strspn(i8* %str, i8* %pat) 54 ret i64 %ret 55 ; CHECK-NEXT: ret i64 %ret 56 } 57
