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