1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3; 4; Exercise folding of memcmp calls with addition expressions involving 5; pointers into constant arrays of types larger than char and fractional 6; 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 4 17; CHECK-NEXT: [[PST_1_1_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 4 18; CHECK-NEXT: store i32 0, ptr [[PST_1_1_2]], align 4 19; CHECK-NEXT: [[PST_1_1_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 8 20; CHECK-NEXT: store i32 0, ptr [[PST_1_1_3]], align 4 21; CHECK-NEXT: ret void 22; 23{ 24 25 26 %pi8ap1 = getelementptr i8, ptr @i32a, i32 1 27 %pi8bp1 = getelementptr i8, ptr @i32b, i32 1 28 29 %cmp_1_1_1 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 1) 30 store i32 %cmp_1_1_1, ptr %pcmp 31 32 %pst_1_1_2 = getelementptr i32, ptr %pcmp, i32 1 33 %cmp_1_1_2 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 2) 34 store i32 %cmp_1_1_2, ptr %pst_1_1_2 35 36 %pst_1_1_3 = getelementptr i32, ptr %pcmp, i32 2 37 %cmp_1_1_3 = call i32 @memcmp(ptr %pi8ap1, ptr %pi8ap1, i64 3) 38 store i32 %cmp_1_1_3, ptr %pst_1_1_3 39 40 ret void 41} 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 4 53; CHECK-NEXT: [[PST_0_0_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 4 54; CHECK-NEXT: store i32 0, ptr [[PST_0_0_2]], align 4 55; CHECK-NEXT: [[PST_0_0_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 8 56; CHECK-NEXT: store i32 0, ptr [[PST_0_0_3]], align 4 57; CHECK-NEXT: [[PST_0_0_4:%.*]] = getelementptr i8, ptr [[PCMP]], i64 12 58; CHECK-NEXT: store i32 0, ptr [[PST_0_0_4]], align 4 59; CHECK-NEXT: [[PST_0_1_1:%.*]] = getelementptr i8, ptr [[PCMP]], i64 16 60; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_1]], align 4 61; CHECK-NEXT: [[PST_0_1_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 20 62; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_2]], align 4 63; CHECK-NEXT: [[PST_0_1_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 24 64; CHECK-NEXT: store i32 -1, ptr [[PST_0_1_3]], align 4 65; CHECK-NEXT: [[PST_1_0_1:%.*]] = getelementptr i8, ptr [[PCMP]], i64 16 66; CHECK-NEXT: store i32 1, ptr [[PST_1_0_1]], align 4 67; CHECK-NEXT: [[PST_1_0_2:%.*]] = getelementptr i8, ptr [[PCMP]], i64 20 68; CHECK-NEXT: store i32 1, ptr [[PST_1_0_2]], align 4 69; CHECK-NEXT: [[PST_1_0_3:%.*]] = getelementptr i8, ptr [[PCMP]], i64 24 70; CHECK-NEXT: store i32 1, ptr [[PST_1_0_3]], align 4 71; CHECK-NEXT: ret void 72; 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 %pcmp 79 80 ; Fold memcmp(&a, &b, 2) to 0; 81 %pst_0_0_2 = getelementptr i32, ptr %pcmp, i32 1 82 %cmp_0_0_2 = call i32 @memcmp(ptr @a, ptr @b, i64 2) 83 store i32 %cmp_0_0_2, ptr %pst_0_0_2 84 85 ; Fold memcmp(&a, &b, 3) to 0; 86 %pst_0_0_3 = getelementptr i32, ptr %pcmp, i32 2 87 %cmp_0_0_3 = call i32 @memcmp(ptr @a, ptr @b, i64 3) 88 store i32 %cmp_0_0_3, ptr %pst_0_0_3 89 90 ; Fold memcmp(&a, &b, 4) to 0; 91 %pst_0_0_4 = getelementptr i32, ptr %pcmp, i32 3 92 %cmp_0_0_4 = call i32 @memcmp(ptr @a, ptr @b, i64 4) 93 store i32 %cmp_0_0_4, ptr %pst_0_0_4 94 95 96 %pi8bp1 = getelementptr i8, ptr @b, i32 1 97 98 ; Fold memcmp(&a, (char*)&b + 1, 1) to -1; 99 %pst_0_1_1 = getelementptr i32, ptr %pcmp, i32 4 100 %cmp_0_1_1 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 1) 101 store i32 %cmp_0_1_1, ptr %pst_0_1_1 102 103 ; Fold memcmp(&a, (char*)&b + 1, 2) to -1; 104 %pst_0_1_2 = getelementptr i32, ptr %pcmp, i32 5 105 %cmp_0_1_2 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 2) 106 store i32 %cmp_0_1_2, ptr %pst_0_1_2 107 108 ; Fold memcmp(&a, (char*)&b + 1, 3) to -1; 109 %pst_0_1_3 = getelementptr i32, ptr %pcmp, i32 6 110 %cmp_0_1_3 = call i32 @memcmp(ptr @a, ptr %pi8bp1, i64 3) 111 store i32 %cmp_0_1_3, ptr %pst_0_1_3 112 113 114 %pi8ap1 = getelementptr i8, ptr @a, i32 1 115 116 ; Fold memcmp((char*)&a + 1, &b, 1) to +1; 117 %pst_1_0_1 = getelementptr i32, ptr %pcmp, i32 4 118 %cmp_1_0_1 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 1) 119 store i32 %cmp_1_0_1, ptr %pst_1_0_1 120 121 ; Fold memcmp((char*)&a + 1, &b, 2) to +1; 122 %pst_1_0_2 = getelementptr i32, ptr %pcmp, i32 5 123 %cmp_1_0_2 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 2) 124 store i32 %cmp_1_0_2, ptr %pst_1_0_2 125 126 ; Fold memcmp((char*)&a + 1, &b, 3) to +1; 127 %pst_1_0_3 = getelementptr i32, ptr %pcmp, i32 6 128 %cmp_1_0_3 = call i32 @memcmp(ptr %pi8ap1, ptr @b, i64 3) 129 store i32 %cmp_1_0_3, ptr %pst_1_0_3 130 131 ret void 132} 133