53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading,simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s3declare void @ham()4 5define void @hoge() {6; CHECK-LABEL: @hoge(7; CHECK-NEXT: bb:8; CHECK-NEXT: [[TMP:%.*]] = and i32 undef, 10737418239; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[TMP]], 510; CHECK-NEXT: br i1 [[COND]], label [[BB10:%.*]], label [[BB13:%.*]]11; CHECK: bb10:12; CHECK-NEXT: tail call void @ham()13; CHECK-NEXT: br label [[BB13]]14; CHECK: bb13:15; CHECK-NEXT: ret void16;17bb:18 %tmp = and i32 undef, 107374182319 %tmp1 = icmp eq i32 %tmp, 220 br i1 %tmp1, label %bb12, label %bb221 22bb2:23 %tmp3 = icmp eq i32 %tmp, 324 br i1 %tmp3, label %bb13, label %bb425 26bb4:27 %tmp5 = icmp eq i32 %tmp, 528 br i1 %tmp5, label %bb6, label %bb729 30bb6:31 tail call void @ham()32 br label %bb733 34bb7:35 br i1 %tmp3, label %bb13, label %bb836 37bb8:38 %tmp9 = icmp eq i32 %tmp, 439 br i1 %tmp9, label %bb13, label %bb1040 41bb10:42 br i1 %tmp9, label %bb11, label %bb1343 44bb11:45 br label %bb1346 47bb12:48 br label %bb249 50bb13:51 ret void52}53