b6909fe9ca
Stop using tests with grep, or no output checks at all. Just use FileCheck and generate checks. Also remove unnecessary requires asserts.
59 lines
2.4 KiB
LLVM
59 lines
2.4 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S -passes=jump-threading -verify-dom-info < %s | FileCheck %s
|
|
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
@global = external local_unnamed_addr global i64, align 8
|
|
@global.1 = external local_unnamed_addr global i64, align 8
|
|
@global.2 = external local_unnamed_addr global i64, align 8
|
|
|
|
; Function Attrs: norecurse noreturn nounwind uwtable
|
|
define void @hoge() local_unnamed_addr #0 {
|
|
; CHECK-LABEL: @hoge(
|
|
; CHECK-NEXT: bb:
|
|
; CHECK-NEXT: br label [[BB1:%.*]]
|
|
; CHECK: bb1:
|
|
; CHECK-NEXT: [[TMP:%.*]] = load i64, ptr @global, align 8, !tbaa [[TBAA1:![0-9]+]]
|
|
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP]], 0
|
|
; CHECK-NEXT: br i1 [[TMP2]], label [[BB26:%.*]], label [[BB3:%.*]]
|
|
; CHECK: bb3:
|
|
; CHECK-NEXT: [[TMP4:%.*]] = load i64, ptr @global.1, align 8, !tbaa [[TBAA1]]
|
|
; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i64 [[TMP4]], 0
|
|
; CHECK-NEXT: br i1 [[TMP5]], label [[BB26]], label [[BB26]]
|
|
; CHECK: bb26:
|
|
; CHECK-NEXT: br label [[BB1]]
|
|
;
|
|
bb:
|
|
br label %bb1
|
|
|
|
bb1: ; preds = %bb26, %bb
|
|
%tmp = load i64, ptr @global, align 8, !tbaa !1
|
|
%tmp2 = icmp eq i64 %tmp, 0
|
|
br i1 %tmp2, label %bb27, label %bb3
|
|
|
|
bb3: ; preds = %bb1
|
|
%tmp4 = load i64, ptr @global.1, align 8, !tbaa !1
|
|
%tmp5 = icmp eq i64 %tmp4, 0
|
|
br i1 %tmp5, label %bb23, label %bb23
|
|
|
|
bb23: ; preds = %bb3, %bb3
|
|
br label %bb26
|
|
|
|
bb26: ; preds = %bb27, %bb23
|
|
br label %bb1
|
|
|
|
bb27: ; preds = %bb1
|
|
br label %bb26
|
|
}
|
|
|
|
attributes #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" }
|
|
|
|
!llvm.ident = !{!0}
|
|
|
|
!0 = !{!"clang version 7.0.0 "}
|
|
!1 = !{!2, !2, i64 0}
|
|
!2 = !{!"long", !3, i64 0}
|
|
!3 = !{!"omnipotent char", !4, i64 0}
|
|
!4 = !{!"Simple C/C++ TBAA"}
|