37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=gvn < %s | FileCheck %s3 4define i64 @test(ptr noalias %p, ptr noalias %q) {5; CHECK-LABEL: @test(6; CHECK-NEXT: entry:7; CHECK-NEXT: store ptr [[Q:%.*]], ptr [[P:%.*]], align 88; CHECK-NEXT: br i1 false, label [[IF:%.*]], label [[MERGE:%.*]]9; CHECK: if:10; CHECK-NEXT: call void @clobber(ptr [[P]])11; CHECK-NEXT: br label [[MERGE]]12; CHECK: merge:13; CHECK-NEXT: store i64 1, ptr [[Q]], align 414; CHECK-NEXT: [[Q3:%.*]] = getelementptr i64, ptr [[Q]], i64 115; CHECK-NEXT: store i64 2, ptr [[Q3]], align 416; CHECK-NEXT: ret i64 117;18entry:19 store ptr %q, ptr %p20 br i1 false, label %if, label %merge21 22if:23 call void @clobber(ptr %p)24 br label %merge25 26merge:27 %q2 = load ptr, ptr %p28 store i64 1, ptr %q229 %v = load i64, ptr %q30 %q3 = getelementptr i64, ptr %q, i64 %v31 store i64 2, ptr %q332 %v2 = load i64, ptr %q33 ret i64 %v234}35 36declare void @clobber(ptr %p)37