42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -passes=gvn < %s | FileCheck %s3 4; Make sure the two offsets from the phi don't get merged incorrectly.5define i8 @test(i1 %c, i64 %offset, ptr %ptr) {6; CHECK-LABEL: define i8 @test7; CHECK-SAME: (i1 [[C:%.*]], i64 [[OFFSET:%.*]], ptr [[PTR:%.*]]) {8; CHECK-NEXT: start:9; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [8 x i8], align 810; CHECK-NEXT: store i64 1234605616436508552, ptr [[ALLOCA]], align 811; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 212; CHECK-NEXT: [[GEP_UNKNOWN:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 [[OFFSET]]13; CHECK-NEXT: br i1 [[C]], label [[JOIN:%.*]], label [[IF:%.*]]14; CHECK: if:15; CHECK-NEXT: br label [[JOIN]]16; CHECK: join:17; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[GEP_UNKNOWN]], [[START:%.*]] ], [ [[GEP_2]], [[IF]] ]18; CHECK-NEXT: store i8 0, ptr [[ALLOCA]], align 819; CHECK-NEXT: [[LOAD1:%.*]] = load i64, ptr [[ALLOCA]], align 820; CHECK-NEXT: store i64 [[LOAD1]], ptr [[PTR]], align 821; CHECK-NEXT: [[LOAD2:%.*]] = load i8, ptr [[PHI]], align 122; CHECK-NEXT: ret i8 [[LOAD2]]23;24start:25 %alloca = alloca [8 x i8], align 826 store i64 u0x1122334455667788, ptr %alloca, align 827 %gep.2 = getelementptr i8, ptr %alloca, i64 228 %gep.unknown = getelementptr i8, ptr %alloca, i64 %offset29 br i1 %c, label %join, label %if30 31if:32 br label %join33 34join:35 %phi = phi ptr [ %gep.unknown, %start ], [ %gep.2, %if ]36 store i8 0, ptr %alloca, align 837 %load1 = load i64, ptr %alloca, align 838 store i64 %load1, ptr %ptr, align 839 %load2 = load i8, ptr %phi, align 140 ret i8 %load241}42