89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2;3; Verify that strlen calls with unterminated constant arrays or with4; just past-the-end pointers to strings are not folded.5;6; RUN: opt < %s -passes=instcombine -S | FileCheck %s7 8declare i64 @strlen(ptr)9 10@a5 = constant [5 x i8] c"12345"11@s5 = constant [6 x i8] c"12345\00"12@z0 = constant [0 x i8] zeroinitializer13@z5 = constant [5 x i8] zeroinitializer14 15 16; Verify that all the invalid calls below are folded. This is safer than17; making the library calls even though it prevents sanitizers from reporting18; the bugs.19 20define void @fold_strlen_no_nul(ptr %plen, i32 %i) {21; CHECK-LABEL: @fold_strlen_no_nul(22; CHECK-NEXT: store i64 5, ptr [[PLEN:%.*]], align 423; CHECK-NEXT: [[PNA5_P5:%.*]] = getelementptr i8, ptr [[PLEN]], i64 824; CHECK-NEXT: store i64 0, ptr [[PNA5_P5]], align 425; CHECK-NEXT: [[PNS5_P6:%.*]] = getelementptr i8, ptr [[PLEN]], i64 1626; CHECK-NEXT: store i64 0, ptr [[PNS5_P6]], align 427; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[I:%.*]] to i6428; CHECK-NEXT: [[PA5_PI:%.*]] = getelementptr i8, ptr @a5, i64 [[TMP1]]29; CHECK-NEXT: [[NA5_PI:%.*]] = call i64 @strlen(ptr noundef nonnull dereferenceable(1) [[PA5_PI]])30; CHECK-NEXT: [[PNA5_PI:%.*]] = getelementptr i8, ptr [[PLEN]], i64 2431; CHECK-NEXT: store i64 [[NA5_PI]], ptr [[PNA5_PI]], align 432; CHECK-NEXT: [[PNZ0_P0:%.*]] = getelementptr i8, ptr [[PLEN]], i64 3233; CHECK-NEXT: store i64 0, ptr [[PNZ0_P0]], align 434; CHECK-NEXT: [[TMP2:%.*]] = sext i32 [[I]] to i6435; CHECK-NEXT: [[PZ0_PI:%.*]] = getelementptr i8, ptr @z0, i64 [[TMP2]]36; CHECK-NEXT: [[NZ0_PI:%.*]] = call i64 @strlen(ptr noundef nonnull dereferenceable(1) [[PZ0_PI]])37; CHECK-NEXT: [[PNZ0_PI:%.*]] = getelementptr i8, ptr [[PLEN]], i64 4038; CHECK-NEXT: store i64 [[NZ0_PI]], ptr [[PNZ0_PI]], align 439; CHECK-NEXT: [[PNZ5_P5:%.*]] = getelementptr i8, ptr [[PLEN]], i64 4840; CHECK-NEXT: store i64 0, ptr [[PNZ5_P5]], align 441; CHECK-NEXT: ret void42;43; Verify that strlen(a5) is folded to 5.44 %na5_p0 = call i64 @strlen(ptr @a5)45 store i64 %na5_p0, ptr %plen46 47; Verify that strlen(a5 + 5) is folded to 0.48 %pa5_p5 = getelementptr [5 x i8], ptr @a5, i32 0, i32 549 %na5_p5 = call i64 @strlen(ptr %pa5_p5)50 %pna5_p5 = getelementptr i64, ptr %plen, i64 151 store i64 %na5_p5, ptr %pna5_p552 53; Verify that strlen(s5 + 6) is folded to 0.54 %ps5_p6 = getelementptr [6 x i8], ptr @s5, i32 0, i32 655 %ns5_p6 = call i64 @strlen(ptr %ps5_p6)56 %pns5_p6 = getelementptr i64, ptr %plen, i64 257 store i64 %ns5_p6, ptr %pns5_p658 59; TODO: Verify that strlen(a5 + i) is folded to 5 - i? It's currently60; not folded because the variable offset makes getConstantDataArrayInfo61; fail.62 %pa5_pi = getelementptr [5 x i8], ptr @a5, i32 0, i32 %i63 %na5_pi = call i64 @strlen(ptr %pa5_pi)64 %pna5_pi = getelementptr i64, ptr %plen, i64 365 store i64 %na5_pi, ptr %pna5_pi66 67; Verify that strlen(z0) is folded to 0.68 %nz0_p0 = call i64 @strlen(ptr @z0)69 %pnz0_p0 = getelementptr i64, ptr %plen, i64 470 store i64 %nz0_p0, ptr %pnz0_p071 72; TODO: Verify that strlen(z0 + i) is folded to 0. As the case above,73; this one is not folded either because the variable offset makes74; getConstantDataArrayInfo fail.75 76 %pz0_pi = getelementptr [0 x i8], ptr @z0, i32 0, i32 %i77 %nz0_pi = call i64 @strlen(ptr %pz0_pi)78 %pnz0_pi = getelementptr i64, ptr %plen, i64 579 store i64 %nz0_pi, ptr %pnz0_pi80 81; Verify that strlen(z5 + 5) is folded to 0.82 %pz5_p5 = getelementptr [5 x i8], ptr @z5, i32 0, i32 583 %nz5_p5 = call i64 @strlen(ptr %pz5_p5)84 %pnz5_p5 = getelementptr i64, ptr %plen, i64 685 store i64 %nz5_p5, ptr %pnz5_p586 87 ret void88}89