Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D135125 Diff 464882 llvm/test/Transforms/JumpThreading/lvi-tristate.ll

Changeset View

Standalone View

View Options

llvm/test/Transforms/JumpThreading/lvi-tristate.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -jump-threading -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s ; RUN: opt -jump-threading -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
declare void @ham() declare void @ham()
define void @hoge() { define void @hoge() {
; CHECK-LABEL: @hoge( ; CHECK-LABEL: @hoge(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
; CHECK-NEXT: [[TMP:%.*]] = and i32 undef, 1073741823 ; CHECK-NEXT: [[TMP:%.*]] = and i32 undef, 1073741823
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[TMP]], 5 ; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[TMP]], 5
; CHECK-NEXT: br i1 [[COND]], label [[BB10:%.*]], label [[BB13:%.*]] ; CHECK-NEXT: br i1 [[COND]], label [[BB7_THREAD:%.*]], label [[BB13:%.*]]
; CHECK: bb10: ; CHECK: bb7.thread:
; CHECK-NEXT: tail call void @ham() ; CHECK-NEXT: tail call void @ham()
; CHECK-NEXT: br label [[BB13]] ; CHECK-NEXT: br label [[BB13]]
; CHECK: bb13: ; CHECK: bb13:
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
bb: bb:
%tmp = and i32 undef, 1073741823 %tmp = and i32 undef, 1073741823
%tmp1 = icmp eq i32 %tmp, 2 %tmp1 = icmp eq i32 %tmp, 2
Show All 33 Lines