1; Test that the strcspn library call simplifier works correctly. 2; 3; RUN: opt < %s -instcombine -S | FileCheck %s 4 5target 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 11declare i64 @strcspn(i8*, i8*) 12 13; Check strcspn(s, "") -> strlen(s). 14 15define i64 @test_simplify1(i8* %str) { 16; CHECK-LABEL: @test_simplify1( 17 %pat = getelementptr [1 x i8], [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 27define i64 @test_simplify2(i8* %pat) { 28; CHECK-LABEL: @test_simplify2( 29 %str = getelementptr [1 x i8], [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 38define i64 @test_simplify3() { 39; CHECK-LABEL: @test_simplify3( 40 %str = getelementptr [6 x i8], [6 x i8]* @abcba, i32 0, i32 0 41 %pat = getelementptr [4 x i8], [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 50define 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