64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7@global = external local_unnamed_addr global i64, align 88@global.1 = external local_unnamed_addr global i64, align 89@global.2 = external local_unnamed_addr global i64, align 810 11; Function Attrs: norecurse noreturn nounwind uwtable12define void @hoge() local_unnamed_addr {13; CHECK-LABEL: define void @hoge(14; CHECK-SAME: ) local_unnamed_addr {15; CHECK-NEXT: [[BB:.*:]]16; CHECK-NEXT: br label %[[BB1:.*]]17; CHECK: [[BB1]]:18; CHECK-NEXT: [[TMP:%.*]] = load i64, ptr @global, align 8, !tbaa [[LONG_TBAA1:![0-9]+]]19; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP]], 020; CHECK-NEXT: br i1 [[TMP2]], label %[[BB26:.*]], label %[[BB3:.*]]21; CHECK: [[BB3]]:22; CHECK-NEXT: [[TMP4:%.*]] = load i64, ptr @global.1, align 8, !tbaa [[LONG_TBAA1]]23; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 024; CHECK-NEXT: br i1 [[TMP5]], label %[[BB26]], label %[[BB26]]25; CHECK: [[BB26]]:26; CHECK-NEXT: br label %[[BB1]]27;28bb:29 br label %bb130 31bb1: ; preds = %bb26, %bb32 %tmp = load i64, ptr @global, align 8, !tbaa !133 %tmp2 = icmp eq i64 %tmp, 034 br i1 %tmp2, label %bb27, label %bb335 36bb3: ; preds = %bb137 %tmp4 = load i64, ptr @global.1, align 8, !tbaa !138 %tmp5 = icmp eq i64 %tmp4, 039 br i1 %tmp5, label %bb23, label %bb2340 41bb23: ; preds = %bb3, %bb342 br label %bb2643 44bb26: ; preds = %bb27, %bb2345 br label %bb146 47bb27: ; preds = %bb148 br label %bb2649}50 51!llvm.ident = !{!0}52 53!0 = !{!"clang version 7.0.0 "}54!1 = !{!2, !2, i64 0}55!2 = !{!"long", !3, i64 0}56!3 = !{!"omnipotent char", !4, i64 0}57!4 = !{!"Simple C/C++ TBAA"}58;.59; CHECK: [[LONG_TBAA1]] = !{[[META2:![0-9]+]], [[META2]], i64 0}60; CHECK: [[META2]] = !{!"long", [[META3:![0-9]+]], i64 0}61; CHECK: [[META3]] = !{!"omnipotent char", [[META4:![0-9]+]], i64 0}62; CHECK: [[META4]] = !{!"Simple C/C++ TBAA"}63;.64