88 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 4@a = external local_unnamed_addr global i32, align 45@b = external local_unnamed_addr global i32, align 46 7; Function Attrs: nounwind readnone8declare ptr @j() local_unnamed_addr #09 10define i64 @k() local_unnamed_addr {11; CHECK-LABEL: define i64 @k() local_unnamed_addr {12; CHECK-NEXT: [[BB:.*:]]13; CHECK-NEXT: br i1 undef, label %[[BB10_PREHEADER:.*]], label %[[BB3:.*]]14; CHECK: [[BB10_PREHEADER]]:15; CHECK-NEXT: br label %[[BB13:.*]]16; CHECK: [[BB3]]:17; CHECK-NEXT: [[I4:%.*]] = load i32, ptr @a, align 418; CHECK-NEXT: [[I5_NOT:%.*]] = icmp eq i32 [[I4]], 019; CHECK-NEXT: [[I8:%.*]] = tail call ptr @j()20; CHECK-NEXT: br label %[[BB37:.*]]21; CHECK: [[BB13]]:22; CHECK-NEXT: br i1 undef, label %[[BB30THREAD_PRE_SPLIT:.*]], label %[[BB16:.*]]23; CHECK: [[BB16]]:24; CHECK-NEXT: [[I17:%.*]] = tail call ptr @j()25; CHECK-NEXT: br i1 undef, label %[[BB22THREAD_PRE_SPLIT:.*]], label %[[BB37_LOOPEXIT:.*]]26; CHECK: [[BB22THREAD_PRE_SPLIT]]:27; CHECK-NEXT: br i1 undef, label %[[BB30THREAD_PRE_SPLIT]], label %[[BB37_LOOPEXIT]]28; CHECK: [[BB30THREAD_PRE_SPLIT]]:29; CHECK-NEXT: [[I31_PR:%.*]] = load i32, ptr @a, align 430; CHECK-NEXT: [[I32_NOT2:%.*]] = icmp eq i32 [[I31_PR]], 031; CHECK-NEXT: br i1 undef, label %[[BB37_LOOPEXIT]], label %[[BB13]]32; CHECK: [[BB37_LOOPEXIT]]:33; CHECK-NEXT: [[I38_PRE:%.*]] = load i32, ptr @a, align 434; CHECK-NEXT: br label %[[BB37]]35; CHECK: [[BB37]]:36; CHECK-NEXT: [[I38:%.*]] = phi i32 [ [[I38_PRE]], %[[BB37_LOOPEXIT]] ], [ [[I4]], %[[BB3]] ]37; CHECK-NEXT: store i32 [[I38]], ptr @b, align 438; CHECK-NEXT: [[I39:%.*]] = tail call ptr @j()39; CHECK-NEXT: unreachable40;41bb:42 br i1 undef, label %bb10.preheader, label %bb343 44bb10.preheader: ; preds = %bb45 br label %bb1346 47bb3: ; preds = %bb48 %i4 = load i32, ptr @a, align 449 %i5.not = icmp eq i32 %i4, 050 br label %bb751 52bb7: ; preds = %bb353 %i8 = tail call ptr @j()54 br label %bb3755 56bb13: ; preds = %bb34, %bb10.preheader57 br i1 undef, label %bb30thread-pre-split, label %bb1658 59bb16: ; preds = %bb1360 %i17 = tail call ptr @j()61 br i1 undef, label %bb22thread-pre-split, label %bb37.loopexit62 63bb22thread-pre-split: ; preds = %bb1664 br label %bb2765 66bb27: ; preds = %bb22thread-pre-split67 br i1 undef, label %bb30thread-pre-split, label %bb37.loopexit68 69bb30thread-pre-split: ; preds = %bb27, %bb1370 %i31.pr = load i32, ptr @a, align 471 %i32.not2 = icmp eq i32 %i31.pr, 072 br label %bb3473 74bb34: ; preds = %bb30thread-pre-split75 br i1 undef, label %bb37.loopexit, label %bb1376 77bb37.loopexit: ; preds = %bb34, %bb27, %bb1678 br label %bb3779 80bb37: ; preds = %bb37.loopexit, %bb781 %i38 = load i32, ptr @a, align 482 store i32 %i38, ptr @b, align 483 %i39 = tail call ptr @j()84 unreachable85}86 87attributes #0 = { nounwind readnone }88