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/implied-cond.ll

Changeset View

Standalone View

View Options

llvm/test/Transforms/JumpThreading/implied-cond.ll

Show First 20 Lines • Show All 94 Lines • ▼ Show 20 Lines right:
%t = phi i32 [ 1, %left ], [ 2, %entry ], [ 3, %cont ] %t = phi i32 [ 1, %left ], [ 2, %entry ], [ 3, %cont ]
call void @side_effect(i32 %t) call void @side_effect(i32 %t)
ret void ret void
} }
; A s<= B implies A s> B is false. ; A s<= B implies A s> B is false.
; CHECK-LABEL: @test3( ; CHECK-LABEL: @test3(
; CHECK: entry: ; CHECK: entry:
; CHECK: br i1 %cmp, label %if.end, label %if.end3 ; CHECK: br i1 %cmp, label %if.then, label %if.end3
; CHECK-NOT: br i1 %cmp1, label %if.then2, label %if.end ; CHECK-NOT: br i1 %cmp1, label %if.then2, label %if.end
; CHECK-NOT: call void @side_effect(i32 0) ; CHECK-NOT: call void @side_effect(i32 0)
; CHECK: br label %if.end3 ; CHECK: br label %if.end3
; CHECK: ret void ; CHECK: ret void
define void @test3(i32 %a, i32 %b) { define void @test3(i32 %a, i32 %b) {
entry: entry:
%cmp = icmp sle i32 %a, %b %cmp = icmp sle i32 %a, %b
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines