78 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=newgvn -S %s | FileCheck %s3; Ensure that loads that bypass memory def-use chains get added as users of the new4; MemoryDef. Otherwise this test will not pass memory verification because the value5; of the load will not be reprocessed until verification.6; ModuleID = 'bugpoint-reduced-simplified.bc'7source_filename = "bugpoint-output-f242c4f.bc"8target triple = "x86_64-apple-darwin16.7.0"9 10@global = external global i32 #011@global.1 = external global i32 #012 13define void @hoge(i32 %arg, i1 %arg2) {14; CHECK-LABEL: @hoge(15; CHECK-NEXT: bb:16; CHECK-NEXT: br label [[BB2:%.*]]17; CHECK: bb1:18; CHECK-NEXT: br label [[BB2]]19; CHECK: bb2:20; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ 0, [[BB1:%.*]] ], [ [[ARG:%.*]], [[BB:%.*]] ]21; CHECK-NEXT: br label [[BB6:%.*]]22; CHECK: bb3:23; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr @global, align 4, !h [[META0:![0-9]+]]24; CHECK-NEXT: unreachable25; CHECK: bb6:26; CHECK-NEXT: store i32 [[TMP]], ptr @global.1, align 4, !h [[META0]]27; CHECK-NEXT: br i1 %arg2, label [[BB7:%.*]], label [[BB1]]28; CHECK: bb7:29; CHECK-NEXT: br i1 %arg2, label [[BB10:%.*]], label [[BB8:%.*]]30; CHECK: bb8:31; CHECK-NEXT: br i1 false, label [[BB9:%.*]], label [[BB3:%.*]]32; CHECK: bb9:33; CHECK-NEXT: store i8 poison, ptr null, align 134; CHECK-NEXT: br label [[BB3]]35; CHECK: bb10:36; CHECK-NEXT: store i32 0, ptr @global, align 4, !h [[META0]]37; CHECK-NEXT: br label [[BB7]]38;39bb:40 br label %bb241 42bb1: ; preds = %bb643 br label %bb244 45bb2: ; preds = %bb1, %bb46 %tmp = phi i32 [ 0, %bb1 ], [ %arg, %bb ]47 br label %bb648 49bb3: ; preds = %bb9, %bb850 %tmp4 = load i32, ptr @global, !h !051 %tmp5 = icmp eq i32 %tmp4, 052 unreachable53 54bb6: ; preds = %bb255 store i32 %tmp, ptr @global.1, !h !056 br i1 %arg2, label %bb7, label %bb157 58bb7: ; preds = %bb10, %bb659 br i1 %arg2, label %bb10, label %bb860 61bb8: ; preds = %bb762 br i1 false, label %bb9, label %bb363 64bb9: ; preds = %bb865 call void @widget()66 br label %bb367 68bb10: ; preds = %bb769 store i32 0, ptr @global, !h !070 br label %bb771}72 73declare void @widget()74 75attributes #0 = { align=4 }76 77!0 = !{}78