231 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=gvn < %s | FileCheck %s3; RUN: opt -S -passes=gvn -use-constant-int-for-fixed-length-splat < %s | FileCheck %s4 5declare void @use(ptr)6declare void @use.i32(i32)7 8define void @gep_cse(ptr %p) {9; CHECK-LABEL: @gep_cse(10; CHECK-NEXT: [[GEP1:%.*]] = getelementptr i32, ptr [[P:%.*]], i64 111; CHECK-NEXT: [[GEP3:%.*]] = getelementptr i64, ptr [[P]], i64 112; CHECK-NEXT: call void @use(ptr [[GEP1]])13; CHECK-NEXT: call void @use(ptr [[GEP1]])14; CHECK-NEXT: call void @use(ptr [[GEP3]])15; CHECK-NEXT: ret void16;17 %gep1 = getelementptr i32, ptr %p, i64 118 %gep2 = getelementptr i32, ptr %p, i64 119 %gep3 = getelementptr i64, ptr %p, i64 120 call void @use(ptr %gep1)21 call void @use(ptr %gep2)22 call void @use(ptr %gep3)23 ret void24}25 26define void @gep_cse_offset_canonicalization(ptr %p, i64 %idx, i64 %idx2) {27; CHECK-LABEL: @gep_cse_offset_canonicalization(28; CHECK-NEXT: [[GEP1:%.*]] = getelementptr i64, ptr [[P:%.*]], i64 129; CHECK-NEXT: [[GEP1_DIFFERENT:%.*]] = getelementptr i8, ptr [[P]], i64 1230; CHECK-NEXT: call void @use(ptr [[GEP1]])31; CHECK-NEXT: call void @use(ptr [[GEP1]])32; CHECK-NEXT: call void @use(ptr [[GEP1]])33; CHECK-NEXT: call void @use(ptr [[GEP1_DIFFERENT]])34; CHECK-NEXT: [[GEP2:%.*]] = getelementptr i64, ptr [[P]], i64 [[IDX:%.*]]35; CHECK-NEXT: [[GEP2_DIFFERENT:%.*]] = getelementptr { i32, i32, i32 }, ptr [[P]], i64 [[IDX]]36; CHECK-NEXT: call void @use(ptr [[GEP2]])37; CHECK-NEXT: call void @use(ptr [[GEP2]])38; CHECK-NEXT: call void @use(ptr [[GEP2_DIFFERENT]])39; CHECK-NEXT: [[GEP3:%.*]] = getelementptr { [0 x i32], [0 x i32] }, ptr [[P]], i64 0, i32 0, i64 [[IDX]]40; CHECK-NEXT: [[GEP3_DIFFERENT:%.*]] = getelementptr { [0 x i32], [0 x i32] }, ptr [[P]], i64 0, i32 0, i64 [[IDX2:%.*]]41; CHECK-NEXT: call void @use(ptr [[GEP3]])42; CHECK-NEXT: call void @use(ptr [[GEP3]])43; CHECK-NEXT: call void @use(ptr [[GEP3]])44; CHECK-NEXT: call void @use(ptr [[GEP3_DIFFERENT]])45; CHECK-NEXT: [[GEP4:%.*]] = getelementptr [4 x i32], ptr [[P]], i64 [[IDX]], i64 [[IDX2]]46; CHECK-NEXT: [[GEP4_DIFFERENT:%.*]] = getelementptr [4 x float], ptr [[P]], i64 [[IDX2]], i64 [[IDX]]47; CHECK-NEXT: call void @use(ptr [[GEP4]])48; CHECK-NEXT: call void @use(ptr [[GEP4]])49; CHECK-NEXT: call void @use(ptr [[GEP4_DIFFERENT]])50; CHECK-NEXT: [[GEP5:%.*]] = getelementptr <vscale x 2 x i32>, ptr [[P]], i64 151; CHECK-NEXT: [[GEP5_SAME:%.*]] = getelementptr <vscale x 2 x float>, ptr [[P]], i64 152; CHECK-NEXT: [[GEP5_DIFFERENT:%.*]] = getelementptr <vscale x 2 x i64>, ptr [[P]], i64 153; CHECK-NEXT: call void @use(ptr [[GEP5]])54; CHECK-NEXT: call void @use(ptr [[GEP5_SAME]])55; CHECK-NEXT: call void @use(ptr [[GEP5_DIFFERENT]])56; CHECK-NEXT: [[GEP6:%.*]] = getelementptr [4 x <vscale x 4 x i32>], ptr [[P]], i64 [[IDX]], i64 157; CHECK-NEXT: [[GEP6_SAME:%.*]] = getelementptr [4 x <vscale x 4 x float>], ptr [[P]], i64 [[IDX]], i64 158; CHECK-NEXT: [[GEP6_DIFFERENT:%.*]] = getelementptr [4 x <vscale x 4 x float>], ptr [[P]], i64 [[IDX2]], i64 159; CHECK-NEXT: call void @use(ptr [[GEP6]])60; CHECK-NEXT: call void @use(ptr [[GEP6_SAME]])61; CHECK-NEXT: call void @use(ptr [[GEP6_DIFFERENT]])62; CHECK-NEXT: %gep7 = getelementptr <16 x i32>, ptr %p, i64 163; CHECK-NEXT: %gep7.different = getelementptr <16 x i32>, ptr %p, <16 x i64> splat (i64 1)64; CHECK-NEXT: call void @use(ptr %gep7)65; CHECK-NEXT: call void @use(<16 x ptr> %gep7.different)66; CHECK-NEXT: ret void67;68 %gep1 = getelementptr i64, ptr %p, i64 169 %gep1.same1 = getelementptr i32, ptr %p, i64 270 %gep1.same2 = getelementptr i8, ptr %p, i64 871 %gep1.different = getelementptr i8, ptr %p, i64 1272 call void @use(ptr %gep1)73 call void @use(ptr %gep1.same1)74 call void @use(ptr %gep1.same2)75 call void @use(ptr %gep1.different)76 %gep2 = getelementptr i64, ptr %p, i64 %idx77 %gep2.same = getelementptr { i32, i32 }, ptr %p, i64 %idx78 %gep2.different = getelementptr { i32, i32, i32 }, ptr %p, i64 %idx79 call void @use(ptr %gep2)80 call void @use(ptr %gep2.same)81 call void @use(ptr %gep2.different)82 %gep3 = getelementptr { [0 x i32], [0 x i32] }, ptr %p, i64 0, i32 0, i64 %idx83 %gep3.same1 = getelementptr { [0 x i32], [0 x i32] }, ptr %p, i64 0, i32 1, i64 %idx84 %gep3.same2 = getelementptr { [0 x i32], [0 x i32] }, ptr %p, i64 1, i32 0, i64 %idx85 %gep3.different = getelementptr { [0 x i32], [0 x i32] }, ptr %p, i64 0, i32 0, i64 %idx286 call void @use(ptr %gep3)87 call void @use(ptr %gep3.same1)88 call void @use(ptr %gep3.same2)89 call void @use(ptr %gep3.different)90 %gep4 = getelementptr [4 x i32], ptr %p, i64 %idx, i64 %idx291 %gep4.same = getelementptr [4 x float], ptr %p, i64 %idx, i64 %idx292 %gep4.different = getelementptr [4 x float], ptr %p, i64 %idx2, i64 %idx93 call void @use(ptr %gep4)94 call void @use(ptr %gep4.same)95 call void @use(ptr %gep4.different)96 ; TODO: %gep5 and %gep5.same are equivalent as well.97 %gep5 = getelementptr <vscale x 2 x i32>, ptr %p, i64 198 %gep5.same = getelementptr <vscale x 2 x float>, ptr %p, i64 199 %gep5.different = getelementptr <vscale x 2 x i64>, ptr %p, i64 1100 call void @use(ptr %gep5)101 call void @use(ptr %gep5.same)102 call void @use(ptr %gep5.different)103 %gep6 = getelementptr [4 x <vscale x 4 x i32>], ptr %p, i64 %idx, i64 1104 %gep6.same = getelementptr [4 x <vscale x 4 x float>], ptr %p, i64 %idx, i64 1105 %gep6.different = getelementptr [4 x <vscale x 4 x float>], ptr %p, i64 %idx2, i64 1106 call void @use(ptr %gep6)107 call void @use(ptr %gep6.same)108 call void @use(ptr %gep6.different)109 %gep7 = getelementptr <16 x i32>, ptr %p, i64 1110 %gep7.different = getelementptr <16 x i32>, ptr %p, <16 x i64> splat (i64 1)111 call void @use(ptr %gep7)112 call void @use(<16 x ptr> %gep7.different)113 ret void114}115 116define i32 @phi_trans(i1 %c, ptr %p1, ptr %p2) {117; CHECK-LABEL: @phi_trans(118; CHECK-NEXT: br i1 [[C:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]119; CHECK: if:120; CHECK-NEXT: [[GEP1:%.*]] = getelementptr i32, ptr [[P1:%.*]], i64 1121; CHECK-NEXT: [[V1:%.*]] = load i32, ptr [[GEP1]], align 4122; CHECK-NEXT: call void @use(i32 [[V1]]) #[[ATTR0:[0-9]+]]123; CHECK-NEXT: br label [[JOIN:%.*]]124; CHECK: else:125; CHECK-NEXT: [[GEP2:%.*]] = getelementptr i32, ptr [[P2:%.*]], i64 1126; CHECK-NEXT: [[V2:%.*]] = load i32, ptr [[GEP2]], align 4127; CHECK-NEXT: call void @use(i32 [[V2]]) #[[ATTR0]]128; CHECK-NEXT: br label [[JOIN]]129; CHECK: join:130; CHECK-NEXT: [[V:%.*]] = phi i32 [ [[V1]], [[IF]] ], [ [[V2]], [[ELSE]] ]131; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[P1]], [[IF]] ], [ [[P2]], [[ELSE]] ]132; CHECK-NEXT: [[GEP:%.*]] = getelementptr i32, ptr [[PHI]], i64 1133; CHECK-NEXT: ret i32 [[V]]134;135 br i1 %c, label %if, label %else136 137if:138 %gep1 = getelementptr i32, ptr %p1, i64 1139 %v1 = load i32, ptr %gep1140 call void @use(i32 %v1) readnone141 br label %join142 143else:144 %gep2 = getelementptr i32, ptr %p2, i64 1145 %v2 = load i32, ptr %gep2146 call void @use(i32 %v2) readnone147 br label %join148 149join:150 %phi = phi ptr [ %p1, %if ], [ %p2, %else ]151 %gep = getelementptr i32, ptr %phi, i64 1152 %v = load i32, ptr %gep153 ret i32 %v154}155 156define i32 @phi_trans_different_types(i1 %c, ptr %p1, ptr %p2) {157; CHECK-LABEL: @phi_trans_different_types(158; CHECK-NEXT: br i1 [[C:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]159; CHECK: if:160; CHECK-NEXT: [[GEP1:%.*]] = getelementptr i32, ptr [[P1:%.*]], i64 1161; CHECK-NEXT: [[V1:%.*]] = load i32, ptr [[GEP1]], align 4162; CHECK-NEXT: call void @use.i32(i32 [[V1]]) #[[ATTR0]]163; CHECK-NEXT: br label [[JOIN:%.*]]164; CHECK: else:165; CHECK-NEXT: [[GEP2:%.*]] = getelementptr i64, ptr [[P2:%.*]], i64 1166; CHECK-NEXT: [[V2:%.*]] = load i32, ptr [[GEP2]], align 4167; CHECK-NEXT: call void @use.i32(i32 [[V2]]) #[[ATTR0]]168; CHECK-NEXT: [[GEP_PHI_TRANS_INSERT:%.*]] = getelementptr i32, ptr [[P2]], i64 1169; CHECK-NEXT: [[V_PRE:%.*]] = load i32, ptr [[GEP_PHI_TRANS_INSERT]], align 4170; CHECK-NEXT: br label [[JOIN]]171; CHECK: join:172; CHECK-NEXT: [[V:%.*]] = phi i32 [ [[V1]], [[IF]] ], [ [[V_PRE]], [[ELSE]] ]173; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[P1]], [[IF]] ], [ [[P2]], [[ELSE]] ]174; CHECK-NEXT: [[GEP:%.*]] = getelementptr i32, ptr [[PHI]], i64 1175; CHECK-NEXT: ret i32 [[V]]176;177 br i1 %c, label %if, label %else178 179if:180 %gep1 = getelementptr i32, ptr %p1, i64 1181 %v1 = load i32, ptr %gep1182 call void @use.i32(i32 %v1) readnone183 br label %join184 185else:186 %gep2 = getelementptr i64, ptr %p2, i64 1187 %v2 = load i32, ptr %gep2188 call void @use.i32(i32 %v2) readnone189 br label %join190 191join:192 %phi = phi ptr [ %p1, %if ], [ %p2, %else ]193 %gep = getelementptr i32, ptr %phi, i64 1194 %v = load i32, ptr %gep195 ret i32 %v196}197 198define i32 @select_pre(ptr %px, ptr %py) {199; CHECK-LABEL: @select_pre(200; CHECK-NEXT: [[T2:%.*]] = load i32, ptr [[PY:%.*]], align 4201; CHECK-NEXT: [[T3:%.*]] = load i32, ptr [[PX:%.*]], align 4202; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[T2]], [[T3]]203; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[CMP]], i32 [[T3]], i32 [[T2]]204; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], ptr [[PX]], ptr [[PY]]205; CHECK-NEXT: ret i32 [[TMP1]]206;207 %t2 = load i32, ptr %py, align 4208 %t3 = load i32, ptr %px, align 4209 %cmp = icmp slt i32 %t2, %t3210 %select = select i1 %cmp, ptr %px, ptr %py211 %r = load i32, ptr %select, align 4212 ret i32 %r213}214 215define i64 @select_pre_different_types(ptr %px, ptr %py) {216; CHECK-LABEL: @select_pre_different_types(217; CHECK-NEXT: [[T2:%.*]] = load i32, ptr [[PY:%.*]], align 4218; CHECK-NEXT: [[T3:%.*]] = load i32, ptr [[PX:%.*]], align 4219; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[T2]], [[T3]]220; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], ptr [[PX]], ptr [[PY]]221; CHECK-NEXT: [[R:%.*]] = load i64, ptr [[SELECT]], align 4222; CHECK-NEXT: ret i64 [[R]]223;224 %t2 = load i32, ptr %py, align 4225 %t3 = load i32, ptr %px, align 4226 %cmp = icmp slt i32 %t2, %t3227 %select = select i1 %cmp, ptr %px, ptr %py228 %r = load i64, ptr %select, align 4229 ret i64 %r230}231