Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/Transforms/SimplifyCFG/multiple-phis.ll
; RUN: opt -simplifycfg -S < %s | FileCheck %s | ; RUN: opt -latesimplifycfg -S < %s | FileCheck %s | ||||
; It's not worthwhile to if-convert one of the phi nodes and leave | ; It's not worthwhile to if-convert one of the phi nodes and leave | ||||
; the other behind, because that still requires a branch. If | ; the other behind, because that still requires a branch. If | ||||
; SimplifyCFG if-converts one of the phis, it should do both. | ; SimplifyCFG if-converts one of the phis, it should do both. | ||||
; CHECK: %div.high.addr.0 = select i1 %cmp1, i32 %div, i32 %high.addr.0 | ; CHECK: %div.high.addr.0 = select i1 %cmp1, i32 %div, i32 %high.addr.0 | ||||
; CHECK-NEXT: %low.0.add2 = select i1 %cmp1, i32 %low.0, i32 %add2 | ; CHECK-NEXT: %low.0.add2 = select i1 %cmp1, i32 %low.0, i32 %add2 | ||||
; CHECK-NEXT: br label %while.cond | ; CHECK-NEXT: br label %while.cond | ||||
Show All 30 Lines |