Changeset View
Changeset View
Standalone View
Standalone View
llvm/test/Transforms/JumpThreading/lvi-tristate.ll
- This file was added.
| ; RUN: opt -jump-threading -simplifycfg -S < %s | FileCheck %s | |||||
| ; CHECK-NOT: bb6: | |||||
| ; CHECK-NOT: bb7: | |||||
| ; CHECK-NOT: bb8: | |||||
| ; CHECK-NOT: bb11: | |||||
| ; CHECK-NOT: bb12: | |||||
| ; CHECK: bb: | |||||
| ; CHECK: bb2: | |||||
| ; CHECK: bb4: | |||||
| ; CHECK: bb10: | |||||
| ; CHECK: bb13: | |||||
| declare void @ham() | |||||
| define void @hoge() { | |||||
| bb: | |||||
| %tmp = and i32 undef, 1073741823 | |||||
| %tmp1 = icmp eq i32 %tmp, 2 | |||||
| br i1 %tmp1, label %bb12, label %bb2 | |||||
| bb2: | |||||
| %tmp3 = icmp eq i32 %tmp, 3 | |||||
| br i1 %tmp3, label %bb13, label %bb4 | |||||
| bb4: | |||||
| %tmp5 = icmp eq i32 %tmp, 5 | |||||
| br i1 %tmp5, label %bb6, label %bb7 | |||||
| bb6: | |||||
| tail call void @ham() | |||||
| br label %bb7 | |||||
| bb7: | |||||
| br i1 %tmp3, label %bb13, label %bb8 | |||||
| bb8: | |||||
| %tmp9 = icmp eq i32 %tmp, 4 | |||||
| br i1 %tmp9, label %bb13, label %bb10 | |||||
| bb10: | |||||
| br i1 %tmp9, label %bb11, label %bb13 | |||||
| bb11: | |||||
| br label %bb13 | |||||
| bb12: | |||||
| br label %bb2 | |||||
| bb13: | |||||
| ret void | |||||
| } | |||||