120 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Verify that strlen calls with elements of constant arrays are folded.3;4; RUN: opt < %s -passes=instcombine -S | FileCheck %s5 6declare i32 @strcmp(ptr, ptr)7 8@a5 = constant [5 x [4 x i8]] [[4 x i8] c"123\00", [4 x i8] c"123\00", [4 x i8] c"12\00\00", [4 x i8] zeroinitializer, [4 x i8] zeroinitializer]9 10 11; Fold strcmp(a5[0], a5[1]) to '1' - '1'.12 13define i32 @fold_strcmp_a5i0_a5i1_to_0() {14; CHECK-LABEL: @fold_strcmp_a5i0_a5i1_to_0(15; CHECK-NEXT: ret i32 016;17 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 1, i64 018 19 %cmp = call i32 @strcmp(ptr @a5, ptr %q)20 ret i32 %cmp21}22 23 24; Do not fold strcmp(a5[0], a5[I]) where the index I is not constant.25 26define i32 @call_strcmp_a5i0_a5iI(i64 %I) {27; CHECK-LABEL: @call_strcmp_a5i0_a5iI(28; CHECK-NEXT: [[Q:%.*]] = getelementptr [4 x i8], ptr @a5, i64 [[I:%.*]]29; CHECK-NEXT: [[CMP:%.*]] = call i32 @strcmp(ptr noundef nonnull dereferenceable(4) @a5, ptr noundef nonnull dereferenceable(1) [[Q]])30; CHECK-NEXT: ret i32 [[CMP]]31;32 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 %I, i64 033 34 %cmp = call i32 @strcmp(ptr @a5, ptr %q)35 ret i32 %cmp36}37 38 39; Same as above but for strcmp(a5[I], a5[0]).40 41define i32 @call_strcmp_a5iI_a5i0(i64 %I) {42; CHECK-LABEL: @call_strcmp_a5iI_a5i0(43; CHECK-NEXT: [[P:%.*]] = getelementptr [4 x i8], ptr @a5, i64 [[I:%.*]]44; CHECK-NEXT: [[CMP:%.*]] = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) [[P]], ptr noundef nonnull dereferenceable(4) @a5)45; CHECK-NEXT: ret i32 [[CMP]]46;47 %p = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 %I, i64 048 49 %cmp = call i32 @strcmp(ptr %p, ptr @a5)50 ret i32 %cmp51}52 53 54; Fold strcmp(a5[0], &a5[1][1]) to '1' - '2'.55 56define i32 @fold_strcmp_a5i0_a5i1_p1_to_0() {57; CHECK-LABEL: @fold_strcmp_a5i0_a5i1_p1_to_0(58; CHECK-NEXT: ret i32 -159;60 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 1, i64 161 62 %cmp = call i32 @strcmp(ptr @a5, ptr %q)63 ret i32 %cmp64}65 66 67; Do not fold strcmp(a5[0], &a5[1][I]) when the index I is not constant.68 69define i32 @call_strcmp_a5i0_a5i1_pI(i64 %I) {70; CHECK-LABEL: @call_strcmp_a5i0_a5i1_pI(71; CHECK-NEXT: [[Q:%.*]] = getelementptr i8, ptr getelementptr inbounds nuw (i8, ptr @a5, i64 4), i64 [[I:%.*]]72; CHECK-NEXT: [[CMP:%.*]] = call i32 @strcmp(ptr noundef nonnull dereferenceable(4) @a5, ptr noundef nonnull dereferenceable(1) [[Q]])73; CHECK-NEXT: ret i32 [[CMP]]74;75 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 1, i64 %I76 77 %cmp = call i32 @strcmp(ptr @a5, ptr %q)78 ret i32 %cmp79}80 81 82; Fold strcmp(&a5[0][1], a5[1]) to '2' - '1'.83 84define i32 @fold_strcmp_a5i0_p1_a5i1_to_0() {85; CHECK-LABEL: @fold_strcmp_a5i0_p1_a5i1_to_0(86; CHECK-NEXT: ret i32 187;88 %p = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 0, i64 189 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 1, i64 090 91 %cmp = call i32 @strcmp(ptr %p, ptr %q)92 ret i32 %cmp93}94 95 96; Fold strcmp(a5[0], a5[2]) to a5[0][2] - a5[2][2] or 1.97 98define i32 @fold_strcmp_a5i0_a5i2_to_0() {99; CHECK-LABEL: @fold_strcmp_a5i0_a5i2_to_0(100; CHECK-NEXT: ret i32 1101;102 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 2, i64 0103 104 %cmp = call i32 @strcmp(ptr @a5, ptr %q)105 ret i32 %cmp106}107 108 109; Fold strcmp(a5[2], a5[0]) to a5[0][2] - a5[2][2] or 1.110 111define i32 @fold_strcmp_a5i2_a5i0_to_m1() {112; CHECK-LABEL: @fold_strcmp_a5i2_a5i0_to_m1(113; CHECK-NEXT: ret i32 -1114;115 %q = getelementptr [5 x [4 x i8]], ptr @a5, i64 0, i64 2, i64 0116 117 %cmp = call i32 @strcmp(ptr %q, ptr @a5)118 ret i32 %cmp119}120