133 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3;4; Exercise folding of memcmp calls with addition expressions involving5; pointers into constant arrays of types larger than char and fractional6; offsets.7 8declare i32 @memcmp(ptr, ptr, i64)9 10@i32a = constant [2 x i16] [i16 4386, i16 13124]11@i32b = constant [2 x i16] [i16 4386, i16 13124]12 13 14define void @fold_memcmp_i32a_i32b_pIb(i32 %I, ptr %pcmp)15; CHECK-LABEL: @fold_memcmp_i32a_i32b_pIb(16; CHECK-NEXT: store i32 0, ptr [[PCMP:%.*]], align 417; CHECK-NEXT: [[PST_1_1_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 418; CHECK-NEXT: store i32 0, ptr [[PST_1_1_2]], align 419; CHECK-NEXT: [[PST_1_1_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 820; CHECK-NEXT: store i32 0, ptr [[PST_1_1_3]], align 421; CHECK-NEXT: ret void22;23{24 25 26 %pi8ap1 = getelementptr i8, ptr @i32a, i32 127 %pi8bp1 = getelementptr i8, ptr @i32b, i32 128 29 %cmp_1_1_1 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 1)30 store i32 %cmp_1_1_1, ptr %pcmp31 32 %pst_1_1_2 = getelementptr i32, ptr %pcmp, i32 133 %cmp_1_1_2 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 2)34 store i32 %cmp_1_1_2, ptr %pst_1_1_235 36 %pst_1_1_3 = getelementptr i32, ptr %pcmp, i32 237 %cmp_1_1_3 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 3)38 store i32 %cmp_1_1_3, ptr %pst_1_1_339 40 ret void41}42 43 44%struct.A = type { [4 x i8] }45%struct.B = type { [2 x i8], [2 x i8] }46 47@a = constant [1 x %struct.A] [%struct.A { [4 x i8] [i8 1, i8 2, i8 3, i8 4] }]48@b = constant [1 x %struct.B] [%struct.B { [2 x i8] [i8 1, i8 2], [2 x i8] [i8 3, i8 4]}]49 50define void @fold_memcmp_A_B_pIb(i32 %I, ptr %pcmp) {51; CHECK-LABEL: @fold_memcmp_A_B_pIb(52; CHECK-NEXT: store i32 0, ptr [[PCMP:%.*]], align 453; CHECK-NEXT: [[PST_0_0_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 454; CHECK-NEXT: store i32 0, ptr [[PST_0_0_2]], align 455; CHECK-NEXT: [[PST_0_0_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 856; CHECK-NEXT: store i32 0, ptr [[PST_0_0_3]], align 457; CHECK-NEXT: [[PST_0_0_4:%.*]] = getelementptr i8, ptr [[PCMP]], i64 1258; CHECK-NEXT: store i32 0, ptr [[PST_0_0_4]], align 459; CHECK-NEXT: [[PST_0_1_1:%.*]] = getelementptr i8, ptr [[PCMP]], i64 1660; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_1]], align 461; CHECK-NEXT: [[PST_0_1_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 2062; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_2]], align 463; CHECK-NEXT: [[PST_0_1_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 2464; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_3]], align 465; CHECK-NEXT: [[PST_1_0_1:%.*]] = getelementptr i8, ptr [[PCMP]], i64 1666; CHECK-NEXT: store i32 1, ptr [[PST_1_0_1]], align 467; CHECK-NEXT: [[PST_1_0_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 2068; CHECK-NEXT: store i32 1, ptr [[PST_1_0_2]], align 469; CHECK-NEXT: [[PST_1_0_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 2470; CHECK-NEXT: store i32 1, ptr [[PST_1_0_3]], align 471; CHECK-NEXT: ret void72;73 74 75 76 ; Fold memcmp(&a, &b, 1) to 0;77 %cmp_0_0_1 = call i32 @memcmp(ptr @a, ptr @b, i64 1)78 store i32 %cmp_0_0_1, ptr %pcmp79 80 ; Fold memcmp(&a, &b, 2) to 0;81 %pst_0_0_2 = getelementptr i32, ptr %pcmp, i32 182 %cmp_0_0_2 = call i32 @memcmp(ptr @a, ptr @b, i64 2)83 store i32 %cmp_0_0_2, ptr %pst_0_0_284 85 ; Fold memcmp(&a, &b, 3) to 0;86 %pst_0_0_3 = getelementptr i32, ptr %pcmp, i32 287 %cmp_0_0_3 = call i32 @memcmp(ptr @a, ptr @b, i64 3)88 store i32 %cmp_0_0_3, ptr %pst_0_0_389 90 ; Fold memcmp(&a, &b, 4) to 0;91 %pst_0_0_4 = getelementptr i32, ptr %pcmp, i32 392 %cmp_0_0_4 = call i32 @memcmp(ptr @a, ptr @b, i64 4)93 store i32 %cmp_0_0_4, ptr %pst_0_0_494 95 96 %pi8bp1 = getelementptr i8, ptr @b, i32 197 98 ; Fold memcmp(&a, (char*)&b + 1, 1) to -1;99 %pst_0_1_1 = getelementptr i32, ptr %pcmp, i32 4100 %cmp_0_1_1 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 1)101 store i32 %cmp_0_1_1, ptr %pst_0_1_1102 103 ; Fold memcmp(&a, (char*)&b + 1, 2) to -1;104 %pst_0_1_2 = getelementptr i32, ptr %pcmp, i32 5105 %cmp_0_1_2 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 2)106 store i32 %cmp_0_1_2, ptr %pst_0_1_2107 108 ; Fold memcmp(&a, (char*)&b + 1, 3) to -1;109 %pst_0_1_3 = getelementptr i32, ptr %pcmp, i32 6110 %cmp_0_1_3 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 3)111 store i32 %cmp_0_1_3, ptr %pst_0_1_3112 113 114 %pi8ap1 = getelementptr i8, ptr @a, i32 1115 116 ; Fold memcmp((char*)&a + 1, &b, 1) to +1;117 %pst_1_0_1 = getelementptr i32, ptr %pcmp, i32 4118 %cmp_1_0_1 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 1)119 store i32 %cmp_1_0_1, ptr %pst_1_0_1120 121 ; Fold memcmp((char*)&a + 1, &b, 2) to +1;122 %pst_1_0_2 = getelementptr i32, ptr %pcmp, i32 5123 %cmp_1_0_2 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 2)124 store i32 %cmp_1_0_2, ptr %pst_1_0_2125 126 ; Fold memcmp((char*)&a + 1, &b, 3) to +1;127 %pst_1_0_3 = getelementptr i32, ptr %pcmp, i32 6128 %cmp_1_0_3 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 3)129 store i32 %cmp_1_0_3, ptr %pst_1_0_3130 131 ret void132}133