72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4target datalayout = "e-p:64:64:64"5 6; GVN should ignore the store to p[1] to see that the load from p[0] is7; fully redundant.8define void @yes(i1 %c, ptr %p, ptr %q) nounwind {9; CHECK-LABEL: define void @yes(10; CHECK-SAME: i1 [[C:%.*]], ptr [[P:%.*]], ptr [[Q:%.*]]) #[[ATTR0:[0-9]+]] {11; CHECK-NEXT: [[ENTRY:.*:]]12; CHECK-NEXT: store i32 0, ptr [[P]], align 413; CHECK-NEXT: [[P1:%.*]] = getelementptr inbounds i32, ptr [[P]], i64 114; CHECK-NEXT: store i32 1, ptr [[P1]], align 415; CHECK-NEXT: br i1 [[C]], label %[[IF_ELSE:.*]], label %[[IF_THEN:.*]]16; CHECK: [[IF_THEN]]:17; CHECK-NEXT: store i32 0, ptr [[Q]], align 418; CHECK-NEXT: ret void19; CHECK: [[IF_ELSE]]:20; CHECK-NEXT: ret void21;22entry:23 store i32 0, ptr %p24 %p1 = getelementptr inbounds i32, ptr %p, i64 125 store i32 1, ptr %p126 br i1 %c, label %if.else, label %if.then27 28if.then:29 %t = load i32, ptr %p30 store i32 %t, ptr %q31 ret void32 33if.else:34 ret void35}36 37; GVN should ignore the store to p[1] to see that the first load from p[0] is38; fully redundant. However, the second load is larger, so it's not a simple39; redundancy.40define void @watch_out_for_size_change(i1 %c, ptr %p, ptr %q) nounwind {41; CHECK-LABEL: define void @watch_out_for_size_change(42; CHECK-SAME: i1 [[C:%.*]], ptr [[P:%.*]], ptr [[Q:%.*]]) #[[ATTR0]] {43; CHECK-NEXT: [[ENTRY:.*:]]44; CHECK-NEXT: store i32 0, ptr [[P]], align 445; CHECK-NEXT: [[P1:%.*]] = getelementptr inbounds i32, ptr [[P]], i64 146; CHECK-NEXT: store i32 1, ptr [[P1]], align 447; CHECK-NEXT: br i1 [[C]], label %[[IF_ELSE:.*]], label %[[IF_THEN:.*]]48; CHECK: [[IF_THEN]]:49; CHECK-NEXT: store i32 0, ptr [[Q]], align 450; CHECK-NEXT: ret void51; CHECK: [[IF_ELSE]]:52; CHECK-NEXT: [[T64:%.*]] = load i64, ptr [[P]], align 453; CHECK-NEXT: store i64 [[T64]], ptr [[Q]], align 454; CHECK-NEXT: ret void55;56entry:57 store i32 0, ptr %p58 %p1 = getelementptr inbounds i32, ptr %p, i64 159 store i32 1, ptr %p160 br i1 %c, label %if.else, label %if.then61 62if.then:63 %t = load i32, ptr %p64 store i32 %t, ptr %q65 ret void66 67if.else:68 %t64 = load i64, ptr %p69 store i64 %t64, ptr %q70 ret void71}72