143 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Test that the strncmp library call simplifier works correctly.3; RUN: opt < %s -passes=instcombine -S | FileCheck %s4 5target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"6 7@hello = constant [6 x i8] c"hello\00"8@hell = constant [5 x i8] c"hell\00"9@bell = constant [5 x i8] c"bell\00"10@null = constant [1 x i8] zeroinitializer11 12declare i32 @strncmp(ptr, ptr, i32)13 14; strncmp("", x, n) -> -*x15define i32 @test1(ptr %str2) {16; CHECK-LABEL: @test1(17; CHECK-NEXT: [[STRCMPLOAD:%.*]] = load i8, ptr [[STR2:%.*]], align 118; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i3219; CHECK-NEXT: [[TEMP1:%.*]] = sub nsw i32 0, [[TMP1]]20; CHECK-NEXT: ret i32 [[TEMP1]]21;22 23 %temp1 = call i32 @strncmp(ptr @null, ptr %str2, i32 10)24 ret i32 %temp125}26 27; strncmp(x, "", n) -> *x28define i32 @test2(ptr %str1) {29; CHECK-LABEL: @test2(30; CHECK-NEXT: [[STRCMPLOAD:%.*]] = load i8, ptr [[STR1:%.*]], align 131; CHECK-NEXT: [[TEMP1:%.*]] = zext i8 [[STRCMPLOAD]] to i3232; CHECK-NEXT: ret i32 [[TEMP1]]33;34 35 %temp1 = call i32 @strncmp(ptr %str1, ptr @null, i32 10)36 ret i32 %temp137}38 39; strncmp(x, y, n) -> cnst40define i32 @test3() {41; CHECK-LABEL: @test3(42; CHECK-NEXT: ret i32 -143;44 45 %temp1 = call i32 @strncmp(ptr @hell, ptr @hello, i32 10)46 ret i32 %temp147}48 49define i32 @test4() {50; CHECK-LABEL: @test4(51; CHECK-NEXT: ret i32 152;53 54 %temp1 = call i32 @strncmp(ptr @hell, ptr @null, i32 10)55 ret i32 %temp156}57 58define i32 @test5() {59; CHECK-LABEL: @test5(60; CHECK-NEXT: ret i32 061;62 63 %temp1 = call i32 @strncmp(ptr @hell, ptr @hello, i32 4)64 ret i32 %temp165}66 67; strncmp(x,y,1) -> memcmp(x,y,1)68define i32 @test6(ptr %str1, ptr %str2) {69; CHECK-LABEL: @test6(70; CHECK-NEXT: [[LHSC:%.*]] = load i8, ptr [[STR1:%.*]], align 171; CHECK-NEXT: [[LHSV:%.*]] = zext i8 [[LHSC]] to i3272; CHECK-NEXT: [[RHSC:%.*]] = load i8, ptr [[STR2:%.*]], align 173; CHECK-NEXT: [[RHSV:%.*]] = zext i8 [[RHSC]] to i3274; CHECK-NEXT: [[CHARDIFF:%.*]] = sub nsw i32 [[LHSV]], [[RHSV]]75; CHECK-NEXT: ret i32 [[CHARDIFF]]76;77 78 %temp1 = call i32 @strncmp(ptr %str1, ptr %str2, i32 1)79 ret i32 %temp180}81 82; strncmp(x,y,0) -> 083define i32 @test7(ptr %str1, ptr %str2) {84; CHECK-LABEL: @test7(85; CHECK-NEXT: ret i32 086;87 88 %temp1 = call i32 @strncmp(ptr %str1, ptr %str2, i32 0)89 ret i32 %temp190}91 92; strncmp(x,x,n) -> 093define i32 @test8(ptr %str, i32 %n) {94; CHECK-LABEL: @test8(95; CHECK-NEXT: ret i32 096;97 98 %temp1 = call i32 @strncmp(ptr %str, ptr %str, i32 %n)99 ret i32 %temp1100}101 102; strncmp(nonnull x, nonnull y, n) -> strncmp(x, y, n)103define i32 @test9(ptr %str1, ptr %str2, i32 %n) {104; CHECK-LABEL: @test9(105; CHECK-NEXT: [[TEMP1:%.*]] = call i32 @strncmp(ptr nonnull [[STR1:%.*]], ptr nonnull [[STR2:%.*]], i32 [[N:%.*]])106; CHECK-NEXT: ret i32 [[TEMP1]]107;108 109 %temp1 = call i32 @strncmp(ptr nonnull %str1, ptr nonnull %str2, i32 %n)110 ret i32 %temp1111}112 113; strncmp(nonnull x, nonnull y, 0) -> 0114define i32 @test10(ptr %str1, ptr %str2, i32 %n) {115; CHECK-LABEL: @test10(116; CHECK-NEXT: ret i32 0117;118 119 %temp1 = call i32 @strncmp(ptr nonnull %str1, ptr nonnull %str2, i32 0)120 ret i32 %temp1121}122 123; strncmp(x, y, 5) -> strncmp(nonnull x, nonnull y, 5)124define i32 @test11(ptr %str1, ptr %str2, i32 %n) {125; CHECK-LABEL: @test11(126; CHECK-NEXT: [[TEMP1:%.*]] = call i32 @strncmp(ptr noundef nonnull dereferenceable(1) [[STR1:%.*]], ptr noundef nonnull dereferenceable(1) [[STR2:%.*]], i32 5)127; CHECK-NEXT: ret i32 [[TEMP1]]128;129 130 %temp1 = call i32 @strncmp(ptr %str1, ptr %str2, i32 5)131 ret i32 %temp1132}133 134define i32 @test12(ptr %str1, ptr %str2, i32 %n) null_pointer_is_valid {135; CHECK-LABEL: @test12(136; CHECK-NEXT: [[TEMP1:%.*]] = call i32 @strncmp(ptr [[STR1:%.*]], ptr [[STR2:%.*]], i32 [[N:%.*]])137; CHECK-NEXT: ret i32 [[TEMP1]]138;139 140 %temp1 = call i32 @strncmp(ptr %str1, ptr %str2, i32 %n)141 ret i32 %temp1142}143