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(i8*, i8*, 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, i32* %pcmp) 15; CHECK-LABEL: @fold_memcmp_i32a_i32b_pIb( 16; CHECK-NEXT: store i32 0, i32* [[PCMP:%.*]], align 4 17; CHECK-NEXT: [[PST_1_1_2:%.*]] = getelementptr i32, i32* [[PCMP]], i64 1 18; CHECK-NEXT: store i32 0, i32* [[PST_1_1_2]], align 4 19; CHECK-NEXT: [[PST_1_1_3:%.*]] = getelementptr i32, i32* [[PCMP]], i64 2 20; CHECK-NEXT: store i32 0, i32* [[PST_1_1_3]], align 4 21; CHECK-NEXT: ret void 22; 23{ 24 %pi32a = getelementptr [2 x i16], [2 x i16]* @i32a, i32 0, i32 0 25 %pi32b = getelementptr [2 x i16], [2 x i16]* @i32b, i32 0, i32 0 26 27 %pi8a = bitcast i16* %pi32a to i8* 28 %pi8b = bitcast i16* %pi32b to i8* 29 30 %pi8ap1 = getelementptr i8, i8* %pi8a, i32 1 31 %pi8bp1 = getelementptr i8, i8* %pi8b, i32 1 32 33 %pst_1_1_1 = getelementptr i32, i32* %pcmp, i32 0 34 %cmp_1_1_1 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8ap1, i64 1) 35 store i32 %cmp_1_1_1, i32* %pst_1_1_1 36 37 %pst_1_1_2 = getelementptr i32, i32* %pcmp, i32 1 38 %cmp_1_1_2 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8ap1, i64 2) 39 store i32 %cmp_1_1_2, i32* %pst_1_1_2 40 41 %pst_1_1_3 = getelementptr i32, i32* %pcmp, i32 2 42 %cmp_1_1_3 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8ap1, i64 3) 43 store i32 %cmp_1_1_3, i32* %pst_1_1_3 44 45 ret void 46} 47 48 49%struct.A = type { [4 x i8] } 50%struct.B = type { [2 x i8], [2 x i8] } 51 52@a = constant [1 x %struct.A] [%struct.A { [4 x i8] [i8 1, i8 2, i8 3, i8 4] }] 53@b = constant [1 x %struct.B] [%struct.B { [2 x i8] [i8 1, i8 2], [2 x i8] [i8 3, i8 4]}] 54 55define void @fold_memcmp_A_B_pIb(i32 %I, i32* %pcmp) { 56; CHECK-LABEL: @fold_memcmp_A_B_pIb( 57; CHECK-NEXT: store i32 0, i32* [[PCMP:%.*]], align 4 58; CHECK-NEXT: [[PST_0_0_2:%.*]] = getelementptr i32, i32* [[PCMP]], i64 1 59; CHECK-NEXT: store i32 0, i32* [[PST_0_0_2]], align 4 60; CHECK-NEXT: [[PST_0_0_3:%.*]] = getelementptr i32, i32* [[PCMP]], i64 2 61; CHECK-NEXT: store i32 0, i32* [[PST_0_0_3]], align 4 62; CHECK-NEXT: [[PST_0_0_4:%.*]] = getelementptr i32, i32* [[PCMP]], i64 3 63; CHECK-NEXT: store i32 0, i32* [[PST_0_0_4]], align 4 64; CHECK-NEXT: [[PST_0_1_1:%.*]] = getelementptr i32, i32* [[PCMP]], i64 4 65; CHECK-NEXT: store i32 -1, i32* [[PST_0_1_1]], align 4 66; CHECK-NEXT: [[PST_0_1_2:%.*]] = getelementptr i32, i32* [[PCMP]], i64 5 67; CHECK-NEXT: store i32 -1, i32* [[PST_0_1_2]], align 4 68; CHECK-NEXT: [[PST_0_1_3:%.*]] = getelementptr i32, i32* [[PCMP]], i64 6 69; CHECK-NEXT: store i32 -1, i32* [[PST_0_1_3]], align 4 70; CHECK-NEXT: [[PST_1_0_1:%.*]] = getelementptr i32, i32* [[PCMP]], i64 4 71; CHECK-NEXT: store i32 1, i32* [[PST_1_0_1]], align 4 72; CHECK-NEXT: [[PST_1_0_2:%.*]] = getelementptr i32, i32* [[PCMP]], i64 5 73; CHECK-NEXT: store i32 1, i32* [[PST_1_0_2]], align 4 74; CHECK-NEXT: [[PST_1_0_3:%.*]] = getelementptr i32, i32* [[PCMP]], i64 6 75; CHECK-NEXT: store i32 1, i32* [[PST_1_0_3]], align 4 76; CHECK-NEXT: ret void 77; 78 %pa = getelementptr [1 x %struct.A], [1 x %struct.A]* @a, i64 0, i64 0 79 %pb = getelementptr [1 x %struct.B], [1 x %struct.B]* @b, i64 0, i64 0 80 81 %pi8a = bitcast %struct.A* %pa to i8* 82 %pi8b = bitcast %struct.B* %pb to i8* 83 84 %pi8ap0 = getelementptr i8, i8* %pi8a, i32 0 85 %pi8bp0 = getelementptr i8, i8* %pi8b, i32 0 86 87 ; Fold memcmp(&a, &b, 1) to 0; 88 %pst_0_0_1 = getelementptr i32, i32* %pcmp, i32 0 89 %cmp_0_0_1 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp0, i64 1) 90 store i32 %cmp_0_0_1, i32* %pst_0_0_1 91 92 ; Fold memcmp(&a, &b, 2) to 0; 93 %pst_0_0_2 = getelementptr i32, i32* %pcmp, i32 1 94 %cmp_0_0_2 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp0, i64 2) 95 store i32 %cmp_0_0_2, i32* %pst_0_0_2 96 97 ; Fold memcmp(&a, &b, 3) to 0; 98 %pst_0_0_3 = getelementptr i32, i32* %pcmp, i32 2 99 %cmp_0_0_3 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp0, i64 3) 100 store i32 %cmp_0_0_3, i32* %pst_0_0_3 101 102 ; Fold memcmp(&a, &b, 4) to 0; 103 %pst_0_0_4 = getelementptr i32, i32* %pcmp, i32 3 104 %cmp_0_0_4 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp0, i64 4) 105 store i32 %cmp_0_0_4, i32* %pst_0_0_4 106 107 108 %pi8bp1 = getelementptr i8, i8* %pi8b, i32 1 109 110 ; Fold memcmp(&a, (char*)&b + 1, 1) to -1; 111 %pst_0_1_1 = getelementptr i32, i32* %pcmp, i32 4 112 %cmp_0_1_1 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp1, i64 1) 113 store i32 %cmp_0_1_1, i32* %pst_0_1_1 114 115 ; Fold memcmp(&a, (char*)&b + 1, 2) to -1; 116 %pst_0_1_2 = getelementptr i32, i32* %pcmp, i32 5 117 %cmp_0_1_2 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp1, i64 2) 118 store i32 %cmp_0_1_2, i32* %pst_0_1_2 119 120 ; Fold memcmp(&a, (char*)&b + 1, 3) to -1; 121 %pst_0_1_3 = getelementptr i32, i32* %pcmp, i32 6 122 %cmp_0_1_3 = call i32 @memcmp(i8* %pi8ap0, i8* %pi8bp1, i64 3) 123 store i32 %cmp_0_1_3, i32* %pst_0_1_3 124 125 126 %pi8ap1 = getelementptr i8, i8* %pi8a, i32 1 127 128 ; Fold memcmp((char*)&a + 1, &b, 1) to +1; 129 %pst_1_0_1 = getelementptr i32, i32* %pcmp, i32 4 130 %cmp_1_0_1 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8bp0, i64 1) 131 store i32 %cmp_1_0_1, i32* %pst_1_0_1 132 133 ; Fold memcmp((char*)&a + 1, &b, 2) to +1; 134 %pst_1_0_2 = getelementptr i32, i32* %pcmp, i32 5 135 %cmp_1_0_2 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8bp0, i64 2) 136 store i32 %cmp_1_0_2, i32* %pst_1_0_2 137 138 ; Fold memcmp((char*)&a + 1, &b, 3) to +1; 139 %pst_1_0_3 = getelementptr i32, i32* %pcmp, i32 6 140 %cmp_1_0_3 = call i32 @memcmp(i8* %pi8ap1, i8* %pi8bp0, i64 3) 141 store i32 %cmp_1_0_3, i32* %pst_1_0_3 142 143 ret void 144} 145