1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s 3 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 8 8@global.1 = external local_unnamed_addr global i64, align 8 9@global.2 = external local_unnamed_addr global i64, align 8 10 11; Function Attrs: norecurse noreturn nounwind uwtable 12define void @hoge() local_unnamed_addr #0 { 13; CHECK-LABEL: @hoge( 14; CHECK-NEXT: bb: 15; CHECK-NEXT: br label [[BB1:%.*]] 16; CHECK: bb1: 17; CHECK-NEXT: [[TMP:%.*]] = load i64, ptr @global, align 8, !tbaa [[TBAA1:![0-9]+]] 18; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP]], 0 19; CHECK-NEXT: br i1 [[TMP2]], label [[BB26:%.*]], label [[BB3:%.*]] 20; CHECK: bb3: 21; CHECK-NEXT: [[TMP4:%.*]] = load i64, ptr @global.1, align 8, !tbaa [[TBAA1]] 22; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 0 23; CHECK-NEXT: br i1 [[TMP5]], label [[BB26]], label [[BB26]] 24; CHECK: bb26: 25; CHECK-NEXT: br label [[BB1]] 26; 27bb: 28 br label %bb1 29 30bb1: ; preds = %bb26, %bb 31 %tmp = load i64, ptr @global, align 8, !tbaa !1 32 %tmp2 = icmp eq i64 %tmp, 0 33 br i1 %tmp2, label %bb27, label %bb3 34 35bb3: ; preds = %bb1 36 %tmp4 = load i64, ptr @global.1, align 8, !tbaa !1 37 %tmp5 = icmp eq i64 %tmp4, 0 38 br i1 %tmp5, label %bb23, label %bb23 39 40bb23: ; preds = %bb3, %bb3 41 br label %bb26 42 43bb26: ; preds = %bb27, %bb23 44 br label %bb1 45 46bb27: ; preds = %bb1 47 br label %bb26 48} 49 50attributes #0 = { norecurse noreturn nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 51 52!llvm.ident = !{!0} 53 54!0 = !{!"clang version 7.0.0 "} 55!1 = !{!2, !2, i64 0} 56!2 = !{!"long", !3, i64 0} 57!3 = !{!"omnipotent char", !4, i64 0} 58!4 = !{!"Simple C/C++ TBAA"} 59