414 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -mtriple=nvptx64-nvidia-cuda -S -passes=separate-const-offset-from-gep < %s | FileCheck %s3 4%struct.uchar4 = type { i8, i8, i8, i8 }5 6define ptr @basic(ptr %ptr, i64 %offset1, i64 %offset2) {7; CHECK-LABEL: define ptr @basic(8; CHECK-SAME: ptr [[PTR:%.*]], i64 [[OFFSET1:%.*]], i64 [[OFFSET2:%.*]]) {9; CHECK-NEXT: [[TMP1:%.*]] = getelementptr [[STRUCT_UCHAR4:%.*]], ptr [[PTR]], i64 [[OFFSET1]]10; CHECK-NEXT: [[TMP2:%.*]] = getelementptr [[STRUCT_UCHAR4]], ptr [[TMP1]], i64 [[OFFSET2]]11; CHECK-NEXT: [[GEP24:%.*]] = getelementptr i8, ptr [[TMP2]], i64 7212; CHECK-NEXT: ret ptr [[GEP24]]13;14 %offset3 = add i64 %offset1, 815 %gep1 = getelementptr %struct.uchar4, ptr %ptr, i64 %offset316 %offset4 = add i64 %offset2, 1017 %gep2 = getelementptr %struct.uchar4, ptr %gep1, i64 %offset418 ret ptr %gep219}20 21define i32 @more_interesting(ptr %ptr, i32 %offset1, i32 %offset2) {22; CHECK-LABEL: define i32 @more_interesting(23; CHECK-SAME: ptr [[PTR:%.*]], i32 [[OFFSET1:%.*]], i32 [[OFFSET2:%.*]]) {24; CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[OFFSET1]] to i6425; CHECK-NEXT: [[GEP1:%.*]] = getelementptr inbounds [[STRUCT_UCHAR4:%.*]], ptr [[PTR]], i64 [[IDXPROM]]26; CHECK-NEXT: [[IDXPROM1:%.*]] = sext i32 [[OFFSET2]] to i6427; CHECK-NEXT: [[TMP1:%.*]] = getelementptr [[STRUCT_UCHAR4]], ptr [[GEP1]], i64 [[IDXPROM1]]28; CHECK-NEXT: [[TMP2:%.*]] = getelementptr i8, ptr [[TMP1]], i64 829; CHECK-NEXT: [[V1:%.*]] = load i32, ptr [[TMP2]], align 430; CHECK-NEXT: [[IDXPROM2:%.*]] = sext i32 [[OFFSET2]] to i6431; CHECK-NEXT: [[TMP4:%.*]] = getelementptr [[STRUCT_UCHAR4]], ptr [[TMP1]], i64 [[IDXPROM2]]32; CHECK-NEXT: [[V2:%.*]] = load i32, ptr [[TMP4]], align 433; CHECK-NEXT: [[R:%.*]] = add i32 [[V1]], [[V2]]34; CHECK-NEXT: ret i32 [[R]]35;36 %gep1 = getelementptr inbounds %struct.uchar4, ptr %ptr, i32 %offset137 %gep2 = getelementptr inbounds nuw i8, ptr %gep1, i32 838 %gep3 = getelementptr inbounds %struct.uchar4, ptr %gep2, i32 %offset239 %v1 = load i32, ptr %gep3, align 440 %gep4 = getelementptr inbounds i8, ptr %gep3, i32 -841 %gep5 = getelementptr inbounds %struct.uchar4, ptr %gep4, i32 %offset242 %v2 = load i32, ptr %gep5, align 443 %r = add i32 %v1, %v244 ret i32 %r45}46 47;; Check nuw/nusw/inbounds flag propagation48 49; GEPs with nusw flag. All indices and offsets are non-negative.50define ptr @test_0(ptr %p, i32 %i) {51; CHECK-LABEL: define ptr @test_0(52; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {53; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i6454; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw i8, ptr [[P]], i64 [[I_PROM]]55; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw i8, ptr [[TMP1]], i64 256; CHECK-NEXT: ret ptr [[ARRAYIDX22]]57;58 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 159 %i.prom = zext i32 %i to i6460 %idx2 = add i64 %i.prom, 161 %arrayidx2 = getelementptr nusw i8, ptr %ptradd, i64 %idx262 ret ptr %arrayidx263}64 65; GEPs with inbounds flag. All indices and offsets are non-negative.66define ptr @test_1(ptr %p, i32 %i) {67; CHECK-LABEL: define ptr @test_1(68; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {69; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i6470; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, ptr [[P]], i64 [[I_PROM]]71; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr inbounds i8, ptr [[TMP1]], i64 272; CHECK-NEXT: ret ptr [[ARRAYIDX22]]73;74 %ptradd = getelementptr inbounds i8, ptr %p, i32 175 %i.prom = zext i32 %i to i6476 %idx2 = add i64 %i.prom, 177 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx278 ret ptr %arrayidx279}80 81; GEPs with nusw flag. All indices and offsets are non-negative.82define ptr @test_2(ptr %p, i32 %i) {83; CHECK-LABEL: define ptr @test_2(84; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {85; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i6486; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw i8, ptr [[P]], i64 [[I_PROM]]87; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw i8, ptr [[TMP1]], i64 288; CHECK-NEXT: ret ptr [[ARRAYIDX22]]89;90 %ptradd = getelementptr nusw i8, ptr %p, i32 191 %i.prom = zext i32 %i to i6492 %idx2 = add nuw i64 %i.prom, 193 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx294 ret ptr %arrayidx295}96 97; GEPs with inbounds flag. All indices and offsets are non-negative.98define ptr @test_3(ptr %p, i32 %i) {99; CHECK-LABEL: define ptr @test_3(100; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {101; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64102; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, ptr [[P]], i64 [[I_PROM]]103; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr inbounds i8, ptr [[TMP1]], i64 2104; CHECK-NEXT: ret ptr [[ARRAYIDX22]]105;106 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1107 %i.prom = zext i32 %i to i64108 %idx2 = add nuw i64 %i.prom, 1109 %arrayidx2 = getelementptr inbounds i8, ptr %ptradd, i64 %idx2110 ret ptr %arrayidx2111}112 113; GEPs with nusw flag. All indices and offsets are non-negative.114define ptr @test_4(ptr %p, i32 %i) {115; CHECK-LABEL: define ptr @test_4(116; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {117; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64118; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw i8, ptr [[P]], i64 [[I_PROM]]119; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw i8, ptr [[TMP1]], i64 2120; CHECK-NEXT: ret ptr [[ARRAYIDX22]]121;122 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1123 %i.prom = zext i32 %i to i64124 %idx2 = add i64 %i.prom, 1125 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2126 ret ptr %arrayidx2127}128 129; GEPs with inbounds flag. All indices and offsets are non-negative.130define ptr @test_5(ptr %p, i32 %i) {131; CHECK-LABEL: define ptr @test_5(132; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {133; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64134; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, ptr [[P]], i64 [[I_PROM]]135; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr inbounds i8, ptr [[TMP1]], i64 2136; CHECK-NEXT: ret ptr [[ARRAYIDX22]]137;138 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1139 %i.prom = zext i32 %i to i64140 %idx2 = add i64 %i.prom, 1141 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx2142 ret ptr %arrayidx2143}144 145; GEPs with nuw flag. Negative offsets.146define ptr @test_6(ptr %p, i64 %i) {147; CHECK-LABEL: define ptr @test_6(148; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {149; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I]]150; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 -11151; CHECK-NEXT: ret ptr [[ARRAYIDX22]]152;153 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 -1154 %idx2 = add nuw i64 %i, -10155 %arrayidx2 = getelementptr nuw i8, ptr %ptradd, i64 %idx2156 ret ptr %arrayidx2157}158 159; GEPs with nuw and nusw flags. Negative offsets.160define ptr @test_7(ptr %p, i64 %i) {161; CHECK-LABEL: define ptr @test_7(162; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {163; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I]]164; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 -11165; CHECK-NEXT: ret ptr [[ARRAYIDX22]]166;167 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 -1168 %idx2 = add nuw i64 %i, -10169 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2170 ret ptr %arrayidx2171}172 173; GEPs with nuw flag. Mixed positive/negative offsets.174define ptr @test_8(ptr %p, i64 %i) {175; CHECK-LABEL: define ptr @test_8(176; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {177; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I]]178; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 -9179; CHECK-NEXT: ret ptr [[ARRAYIDX22]]180;181 %ptradd = getelementptr nuw i8, ptr %p, i32 1182 %idx2 = add nuw i64 %i, -10183 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2184 ret ptr %arrayidx2185}186 187; GEPs with nuw and nusw flags. Mixed positive/negative offsets.188define ptr @test_9(ptr %p, i64 %i) {189; CHECK-LABEL: define ptr @test_9(190; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {191; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I]]192; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 -9193; CHECK-NEXT: ret ptr [[ARRAYIDX22]]194;195 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1196 %idx2 = add nuw i64 %i, -10197 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2198 ret ptr %arrayidx2199}200 201; GEPs with nuw flag. Mixed negative/positive offsets.202define ptr @test_10(ptr %p, i64 %i) {203; CHECK-LABEL: define ptr @test_10(204; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {205; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I]]206; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 9207; CHECK-NEXT: ret ptr [[ARRAYIDX22]]208;209 %ptradd = getelementptr nuw i8, ptr %p, i32 -1210 %idx2 = add nuw i64 %i, 10211 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2212 ret ptr %arrayidx2213}214 215; GEPs with nuw and nusw flags. Mixed negative/positive offsets.216define ptr @test_11(ptr %p, i64 %i) {217; CHECK-LABEL: define ptr @test_11(218; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {219; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I]]220; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 9221; CHECK-NEXT: ret ptr [[ARRAYIDX22]]222;223 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 -1224 %idx2 = add nuw i64 %i, 10225 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2226 ret ptr %arrayidx2227}228 229; GEPs with nuw flag. All positive offsets.230define ptr @test_12(ptr %p, i64 %i) {231; CHECK-LABEL: define ptr @test_12(232; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {233; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I]]234; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 2235; CHECK-NEXT: ret ptr [[ARRAYIDX22]]236;237 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 1238 %idx2 = add nuw i64 %i, 1239 %arrayidx2 = getelementptr nuw i8, ptr %ptradd, i64 %idx2240 ret ptr %arrayidx2241}242 243; GEPs with nuw and nusw flags. All positive offsets.244define ptr @test_13(ptr %p, i64 %i) {245; CHECK-LABEL: define ptr @test_13(246; CHECK-SAME: ptr [[P:%.*]], i64 [[I:%.*]]) {247; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I]]248; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 2249; CHECK-NEXT: ret ptr [[ARRAYIDX22]]250;251 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1252 %idx2 = add nuw i64 %i, 1253 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2254 ret ptr %arrayidx2255}256 257; GEPs with nuw flag. Zext index with negative offsets.258define ptr @test_14(ptr %p, i32 %i) {259; CHECK-LABEL: define ptr @test_14(260; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {261; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64262; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I_PROM]]263; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 -11264; CHECK-NEXT: ret ptr [[ARRAYIDX22]]265;266 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 -1267 %i.prom = zext i32 %i to i64268 %idx2 = add nuw i64 %i.prom, -10269 %arrayidx2 = getelementptr nuw i8, ptr %ptradd, i64 %idx2270 ret ptr %arrayidx2271}272 273; GEPs with nuw and nusw flags. Zext index with negative offsets.274define ptr @test_15(ptr %p, i32 %i) {275; CHECK-LABEL: define ptr @test_15(276; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {277; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64278; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I_PROM]]279; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 -11280; CHECK-NEXT: ret ptr [[ARRAYIDX22]]281;282 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 -1283 %i.prom = zext i32 %i to i64284 %idx2 = add nuw i64 %i.prom, -10285 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx2286 ret ptr %arrayidx2287}288 289; GEPs with nuw flag. Zext index with mixed positive/negative offsets.290define ptr @test_16(ptr %p, i32 %i) {291; CHECK-LABEL: define ptr @test_16(292; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {293; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64294; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I_PROM]]295; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 -9296; CHECK-NEXT: ret ptr [[ARRAYIDX22]]297;298 %ptradd = getelementptr nuw i8, ptr %p, i32 1299 %i.prom = zext i32 %i to i64300 %idx2 = add nuw i64 %i.prom, -10301 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2302 ret ptr %arrayidx2303}304 305; GEPs with nuw and nusw flags. Zext index with mixed positive/negative offsets.306define ptr @test_17(ptr %p, i32 %i) {307; CHECK-LABEL: define ptr @test_17(308; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {309; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64310; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I_PROM]]311; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 -9312; CHECK-NEXT: ret ptr [[ARRAYIDX22]]313;314 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 1315 %i.prom = zext i32 %i to i64316 %idx2 = add nuw i64 %i.prom, -10317 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx2318 ret ptr %arrayidx2319}320 321; GEPs with nuw flag. Zext index with mixed negative/positive offsets.322define ptr @test_18(ptr %p, i32 %i) {323; CHECK-LABEL: define ptr @test_18(324; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {325; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64326; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I_PROM]]327; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 9328; CHECK-NEXT: ret ptr [[ARRAYIDX22]]329;330 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 -1331 %i.prom = zext i32 %i to i64332 %idx2 = add nuw i64 %i.prom, 10333 %arrayidx2 = getelementptr nuw i8, ptr %ptradd, i64 %idx2334 ret ptr %arrayidx2335}336 337; GEPs with nuw and nusw flags. Zext index with mixed negative/positive offsets.338define ptr @test_19(ptr %p, i32 %i) {339; CHECK-LABEL: define ptr @test_19(340; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {341; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64342; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I_PROM]]343; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 9344; CHECK-NEXT: ret ptr [[ARRAYIDX22]]345;346 %ptradd = getelementptr nuw nusw i8, ptr %p, i32 -1347 %i.prom = zext i32 %i to i64348 %idx2 = add nuw i64 %i.prom, 10349 %arrayidx2 = getelementptr nuw inbounds i8, ptr %ptradd, i64 %idx2350 ret ptr %arrayidx2351}352 353; GEPs with nuw flag. Zext index with all positive offsets.354define ptr @test_20(ptr %p, i32 %i) {355; CHECK-LABEL: define ptr @test_20(356; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {357; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64358; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nuw i8, ptr [[P]], i64 [[I_PROM]]359; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nuw i8, ptr [[TMP1]], i64 2360; CHECK-NEXT: ret ptr [[ARRAYIDX22]]361;362 %ptradd = getelementptr nuw i8, ptr %p, i32 1363 %i.prom = zext i32 %i to i64364 %idx2 = add nuw i64 %i.prom, 1365 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2366 ret ptr %arrayidx2367}368 369; GEPs with nuw and nusw flags. Zext index with all positive offsets.370define ptr @test_21(ptr %p, i32 %i) {371; CHECK-LABEL: define ptr @test_21(372; CHECK-SAME: ptr [[P:%.*]], i32 [[I:%.*]]) {373; CHECK-NEXT: [[I_PROM:%.*]] = zext i32 [[I]] to i64374; CHECK-NEXT: [[TMP1:%.*]] = getelementptr nusw nuw i8, ptr [[P]], i64 [[I_PROM]]375; CHECK-NEXT: [[ARRAYIDX22:%.*]] = getelementptr nusw nuw i8, ptr [[TMP1]], i64 2376; CHECK-NEXT: ret ptr [[ARRAYIDX22]]377;378 %ptradd = getelementptr nuw inbounds i8, ptr %p, i32 1379 %i.prom = zext i32 %i to i64380 %idx2 = add nuw i64 %i.prom, 1381 %arrayidx2 = getelementptr nuw nusw i8, ptr %ptradd, i64 %idx2382 ret ptr %arrayidx2383}384 385define ptr @test_rpot(ptr %ptr, i64 %offset1, i64 %offset2) {386; CHECK-LABEL: define ptr @test_rpot(387; CHECK-SAME: ptr [[PTR:%.*]], i64 [[OFFSET1:%.*]], i64 [[OFFSET2:%.*]]) {388; CHECK-NEXT: [[A:.*:]]389; CHECK-NEXT: br label %[[B:.*]]390; CHECK: [[C:.*]]:391; CHECK-NEXT: [[TMP1:%.*]] = getelementptr [[STRUCT_UCHAR4:%.*]], ptr [[TMP0:%.*]], i64 [[OFFSET2]]392; CHECK-NEXT: [[GEP24:%.*]] = getelementptr i8, ptr [[TMP1]], i64 72393; CHECK-NEXT: br label %[[D:.*]]394; CHECK: [[B]]:395; CHECK-NEXT: [[TMP0]] = getelementptr [[STRUCT_UCHAR4]], ptr [[PTR]], i64 [[OFFSET1]]396; CHECK-NEXT: br label %[[C]]397; CHECK: [[D]]:398; CHECK-NEXT: ret ptr [[GEP24]]399;400A:401 br label %B402C:403 %offset4 = add i64 %offset2, 10404 %gep2 = getelementptr %struct.uchar4, ptr %gep1, i64 %offset4405 br label %D406B:407 %offset3 = add i64 %offset1, 8408 %gep1 = getelementptr %struct.uchar4, ptr %ptr, i64 %offset3409 br label %C410D:411 ret ptr %gep2412}413 414