1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=gvn < %s | FileCheck %s 3 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 8 8; 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 4 14; CHECK-NEXT: [[Q3:%.*]] = getelementptr i64, ptr [[Q]], i64 1 15; CHECK-NEXT: store i64 2, ptr [[Q3]], align 4 16; CHECK-NEXT: ret i64 1 17; 18entry: 19 store ptr %q, ptr %p 20 br i1 false, label %if, label %merge 21 22if: 23 call void @clobber(ptr %p) 24 br label %merge 25 26merge: 27 %q2 = load ptr, ptr %p 28 store i64 1, ptr %q2 29 %v = load i64, ptr %q 30 %q3 = getelementptr i64, ptr %q, i64 %v 31 store i64 2, ptr %q3 32 %v2 = load i64, ptr %q 33 ret i64 %v2 34} 35 36declare void @clobber(ptr %p) 37