160 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4@.str = private unnamed_addr constant [27 x i8] c"abcdefghijklmnopqrstuvwxyz\00", align 15@.str.1 = private unnamed_addr constant [2 x i8] c"\0D\0A", align 16@.str.2 = private unnamed_addr constant [10 x i8] c"abcdefmno\00", align 17@.str.3 = private unnamed_addr constant [10 x i8] c"abcijkmno\00", align 18@.str.4 = private unnamed_addr constant [7 x i8] c"mnabcc\00", align 19 10declare ptr @strchr(ptr, i32)11declare ptr @memchr(ptr, i32, i64)12 13define zeroext i1 @strchr_to_memchr_n_equals_len(i32 %c) {14; CHECK-LABEL: @strchr_to_memchr_n_equals_len(15; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i816; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], 017; CHECK-NEXT: [[TMP3:%.*]] = add i8 [[TMP1]], -9718; CHECK-NEXT: [[TMP4:%.*]] = icmp ult i8 [[TMP3]], 2619; CHECK-NEXT: [[TMP5:%.*]] = or i1 [[TMP2]], [[TMP4]]20; CHECK-NEXT: ret i1 [[TMP5]]21;22 %call = tail call ptr @strchr(ptr nonnull dereferenceable(27) @.str, i32 %c)23 %cmp = icmp ne ptr %call, null24 ret i1 %cmp25}26 27define zeroext i1 @memchr_n_equals_len(i32 %c) {28; CHECK-LABEL: @memchr_n_equals_len(29; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i830; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP1]], 1031; CHECK-NEXT: [[TMP3:%.*]] = icmp ne i8 [[TMP1]], 1332; CHECK-NEXT: [[CMP:%.*]] = and i1 [[TMP3]], [[TMP2]]33; CHECK-NEXT: ret i1 [[CMP]]34;35 %call = tail call ptr @memchr(ptr nonnull dereferenceable(3) @.str.1, i32 %c, i64 2)36 %cmp = icmp eq ptr %call, null37 ret i1 %cmp38}39 40define zeroext i1 @memchr_n_less_than_len(i32 %c) {41; CHECK-LABEL: @memchr_n_less_than_len(42; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i843; CHECK-NEXT: [[TMP2:%.*]] = add i8 [[TMP1]], -9744; CHECK-NEXT: [[TMP3:%.*]] = icmp ult i8 [[TMP2]], 1545; CHECK-NEXT: ret i1 [[TMP3]]46;47 %call = tail call ptr @memchr(ptr @.str, i32 %c, i64 15)48 %cmp = icmp ne ptr %call, null49 ret i1 %cmp50}51 52 53define zeroext i1 @memchr_n_more_than_len(i32 %c) {54; CHECK-LABEL: @memchr_n_more_than_len(55; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i856; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], 057; CHECK-NEXT: [[TMP3:%.*]] = add i8 [[TMP1]], -9758; CHECK-NEXT: [[TMP4:%.*]] = icmp ult i8 [[TMP3]], 2659; CHECK-NEXT: [[TMP5:%.*]] = or i1 [[TMP2]], [[TMP4]]60; CHECK-NEXT: ret i1 [[TMP5]]61;62 %call = tail call ptr @memchr(ptr @.str, i32 %c, i64 30)63 %cmp = icmp ne ptr %call, null64 ret i1 %cmp65}66 67; Negative test - no comparison with zero68 69define ptr @memchr_no_zero_cmp(i32 %c) {70; CHECK-LABEL: @memchr_no_zero_cmp(71; CHECK-NEXT: [[MEMCHR:%.*]] = tail call ptr @memchr(ptr noundef nonnull dereferenceable(1) @.str, i32 [[C:%.*]], i64 27)72; CHECK-NEXT: ret ptr [[MEMCHR]]73;74 %call = tail call ptr @strchr(ptr nonnull dereferenceable(27) @.str, i32 %c)75 ret ptr %call76}77 78define ptr @memchr_no_zero_cmp2(i32 %c) {79; CHECK-LABEL: @memchr_no_zero_cmp2(80; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i881; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], 1082; CHECK-NEXT: [[MEMCHR_SEL1:%.*]] = select i1 [[TMP2]], ptr getelementptr inbounds nuw (i8, ptr @.str.1, i64 1), ptr null83; CHECK-NEXT: [[TMP3:%.*]] = icmp eq i8 [[TMP1]], 1384; CHECK-NEXT: [[MEMCHR_SEL2:%.*]] = select i1 [[TMP3]], ptr @.str.1, ptr [[MEMCHR_SEL1]]85; CHECK-NEXT: ret ptr [[MEMCHR_SEL2]]86;87 %call = tail call ptr @strchr(ptr nonnull dereferenceable(3) @.str.1, i32 %c)88 ret ptr %call89}90 91; Negative test - opt for size92 93define zeroext i1 @memchr_n_equals_len_minsize(i32 %c) minsize {94; CHECK-LABEL: @memchr_n_equals_len_minsize(95; CHECK-NEXT: [[MEMCHR:%.*]] = tail call ptr @memchr(ptr noundef nonnull dereferenceable(1) @.str, i32 [[C:%.*]], i64 27)96; CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[MEMCHR]], null97; CHECK-NEXT: ret i1 [[CMP]]98;99 %call = tail call ptr @strchr(ptr nonnull dereferenceable(27) @.str, i32 %c)100 %cmp = icmp ne ptr %call, null101 ret i1 %cmp102}103 104define zeroext i1 @memchr_n_equals_len2_minsize(i32 %c) minsize {105; CHECK-LABEL: @memchr_n_equals_len2_minsize(106; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i8107; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP1]], 10108; CHECK-NEXT: [[TMP3:%.*]] = icmp ne i8 [[TMP1]], 13109; CHECK-NEXT: [[CMP:%.*]] = and i1 [[TMP3]], [[TMP2]]110; CHECK-NEXT: ret i1 [[CMP]]111;112 %call = tail call ptr @memchr(ptr nonnull dereferenceable(3) @.str.1, i32 %c, i64 2)113 %cmp = icmp eq ptr %call, null114 ret i1 %cmp115}116 117; Positive test - 2 non-contiguous ranges118define zeroext i1 @strchr_to_memchr_2_non_cont_ranges(i32 %c) {119; CHECK-LABEL: @strchr_to_memchr_2_non_cont_ranges(120; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i8121; CHECK-NEXT: [[TMP2:%.*]] = add i8 [[TMP1]], -97122; CHECK-NEXT: [[TMP3:%.*]] = icmp ult i8 [[TMP2]], 6123; CHECK-NEXT: [[TMP4:%.*]] = add i8 [[TMP1]], -109124; CHECK-NEXT: [[TMP5:%.*]] = icmp ult i8 [[TMP4]], 3125; CHECK-NEXT: [[TMP6:%.*]] = or i1 [[TMP3]], [[TMP5]]126; CHECK-NEXT: ret i1 [[TMP6]]127;128 %call = tail call ptr @memchr(ptr @.str.2, i32 %c, i64 9)129 %cmp = icmp ne ptr %call, null130 ret i1 %cmp131}132 133; Positive test - 2 non-contiguous ranges with char duplication134define zeroext i1 @strchr_to_memchr_2_non_cont_ranges_char_dup(i32 %c) {135; CHECK-LABEL: @strchr_to_memchr_2_non_cont_ranges_char_dup(136; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 [[C:%.*]] to i8137; CHECK-NEXT: [[TMP2:%.*]] = add i8 [[TMP1]], -97138; CHECK-NEXT: [[TMP3:%.*]] = icmp ult i8 [[TMP2]], 3139; CHECK-NEXT: [[TMP4:%.*]] = add i8 [[TMP1]], -109140; CHECK-NEXT: [[TMP5:%.*]] = icmp ult i8 [[TMP4]], 2141; CHECK-NEXT: [[TMP6:%.*]] = or i1 [[TMP3]], [[TMP5]]142; CHECK-NEXT: ret i1 [[TMP6]]143;144 %call = tail call ptr @memchr(ptr @.str.4, i32 %c, i64 6)145 %cmp = icmp ne ptr %call, null146 ret i1 %cmp147}148 149; Negative test - more than 2 non-contiguous ranges150define zeroext i1 @strchr_to_memchr_3_non_cont_ranges(i32 %c) {151; CHECK-LABEL: @strchr_to_memchr_3_non_cont_ranges(152; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @memchr(ptr noundef nonnull dereferenceable(1) @.str.3, i32 [[C:%.*]], i64 9)153; CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[CALL]], null154; CHECK-NEXT: ret i1 [[CMP]]155;156 %call = tail call ptr @memchr(ptr @.str.3, i32 %c, i64 9)157 %cmp = icmp ne ptr %call, null158 ret i1 %cmp159}160