derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
178 lines
5.2 KiB
LLVM
178 lines
5.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=jump-threading -S < %s | FileCheck %s
|
|
|
|
declare void @f()
|
|
|
|
define void @test1(i1 %cond, i1 %dummycond) {
|
|
; CHECK-LABEL: @test1(
|
|
; CHECK-NEXT: br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND]], label [[REACHABLE]], label [[DUMMY]]
|
|
; CHECK: REACHABLE:
|
|
; CHECK-NEXT: call void @f()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: DUMMY:
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
br i1 %cond, label %A, label %B
|
|
A:
|
|
br i1 %dummycond, label %A2, label %DUMMY
|
|
A2:
|
|
%cond.fr = freeze i1 %cond
|
|
br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
|
|
B:
|
|
br i1 %dummycond, label %B2, label %DUMMY
|
|
B2:
|
|
%cond.fr2 = freeze i1 %cond
|
|
br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
|
|
|
|
REACHABLE:
|
|
call void @f()
|
|
ret void
|
|
UNREACHABLE:
|
|
ret void
|
|
DUMMY:
|
|
ret void
|
|
}
|
|
|
|
define void @test2(i1 %cond, i1 %dummycond) {
|
|
; CHECK-LABEL: @test2(
|
|
; CHECK-NEXT: [[COND_FR0:%.*]] = freeze i1 [[COND:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND_FR0]], label [[A:%.*]], label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND]], label [[REACHABLE]], label [[DUMMY]]
|
|
; CHECK: REACHABLE:
|
|
; CHECK-NEXT: call void @f()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: DUMMY:
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%cond.fr0 = freeze i1 %cond
|
|
br i1 %cond.fr0, label %A, label %B
|
|
A:
|
|
br i1 %dummycond, label %A2, label %DUMMY
|
|
A2:
|
|
%cond.fr = freeze i1 %cond
|
|
br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
|
|
B:
|
|
br i1 %dummycond, label %B2, label %DUMMY
|
|
B2:
|
|
%cond.fr2 = freeze i1 %cond
|
|
br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
|
|
|
|
REACHABLE:
|
|
call void @f()
|
|
ret void
|
|
UNREACHABLE:
|
|
ret void
|
|
DUMMY:
|
|
ret void
|
|
}
|
|
|
|
; In this specific example, it is still correct to fold %cond.fr into true.
|
|
; This case is unsupported because it is unclear what is the result of
|
|
; isImpliedCondition if LHS is poison or undef.
|
|
; If isImpliedCondition(poison, any value) is true,
|
|
; isImpliedCondition(and true, poison, false) is also true because 'and' propagates poison.
|
|
; However, freeze(and true, poison) does not imply false because the former can
|
|
; be frozen to true. Therefore, we cannot look through the argument of freeze (%cond.fr0)
|
|
; in general under this isImpliedCondition definition.
|
|
define void @and_noopt(i32 %x, i1 %cond2, i1 %dummycond) {
|
|
; CHECK-LABEL: @and_noopt(
|
|
; CHECK-NEXT: [[COND1:%.*]] = icmp slt i32 0, [[X:%.*]]
|
|
; CHECK-NEXT: [[COND:%.*]] = and i1 [[COND1]], [[COND2:%.*]]
|
|
; CHECK-NEXT: [[COND_FR0:%.*]] = freeze i1 [[COND]]
|
|
; CHECK-NEXT: br i1 [[COND_FR0]], label [[A:%.*]], label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND:%.*]], label [[A2:%.*]], label [[DUMMY:%.*]]
|
|
; CHECK: A2:
|
|
; CHECK-NEXT: [[COND_FR:%.*]] = freeze i1 [[COND1]]
|
|
; CHECK-NEXT: br i1 [[COND_FR]], label [[REACHABLE:%.*]], label [[UNREACHABLE:%.*]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND]], label [[B2:%.*]], label [[DUMMY]]
|
|
; CHECK: B2:
|
|
; CHECK-NEXT: [[COND_FR2:%.*]] = freeze i1 [[COND1]]
|
|
; CHECK-NEXT: br i1 [[COND_FR2]], label [[UNREACHABLE]], label [[REACHABLE]]
|
|
; CHECK: REACHABLE:
|
|
; CHECK-NEXT: call void @f()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: UNREACHABLE:
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: DUMMY:
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%cond1 = icmp slt i32 0, %x
|
|
%cond = and i1 %cond1, %cond2
|
|
%cond.fr0 = freeze i1 %cond
|
|
br i1 %cond.fr0, label %A, label %B
|
|
A:
|
|
br i1 %dummycond, label %A2, label %DUMMY
|
|
A2:
|
|
%cond.fr = freeze i1 %cond1
|
|
br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
|
|
B:
|
|
br i1 %dummycond, label %B2, label %DUMMY
|
|
B2:
|
|
%cond.fr2 = freeze i1 %cond1
|
|
br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
|
|
|
|
REACHABLE:
|
|
call void @f()
|
|
ret void
|
|
UNREACHABLE:
|
|
ret void
|
|
DUMMY:
|
|
ret void
|
|
}
|
|
|
|
define void @and(i32 %x, i1 %cond2, i1 %dummycond) {
|
|
; CHECK-LABEL: @and(
|
|
; CHECK-NEXT: [[COND1:%.*]] = icmp slt i32 0, [[X:%.*]]
|
|
; CHECK-NEXT: [[COND:%.*]] = and i1 [[COND1]], [[COND2:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[A:%.*]], label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: br i1 [[DUMMYCOND]], label [[B2:%.*]], label [[DUMMY]]
|
|
; CHECK: B2:
|
|
; CHECK-NEXT: [[COND_FR2:%.*]] = freeze i1 [[COND1]]
|
|
; CHECK-NEXT: br i1 [[COND_FR2]], label [[REACHABLE]], label [[REACHABLE2:%.*]]
|
|
; CHECK: REACHABLE:
|
|
; CHECK-NEXT: call void @f()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: REACHABLE2:
|
|
; CHECK-NEXT: call void @f()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: DUMMY:
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%cond1 = icmp slt i32 0, %x
|
|
%cond = and i1 %cond1, %cond2
|
|
br i1 %cond, label %A, label %B
|
|
A:
|
|
br i1 %dummycond, label %A2, label %DUMMY
|
|
A2:
|
|
%cond.fr = freeze i1 %cond1
|
|
br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
|
|
B:
|
|
br i1 %dummycond, label %B2, label %DUMMY
|
|
B2:
|
|
%cond.fr2 = freeze i1 %cond1
|
|
br i1 %cond.fr2, label %REACHABLE, label %REACHABLE2
|
|
|
|
REACHABLE:
|
|
call void @f()
|
|
ret void
|
|
REACHABLE2:
|
|
call void @f()
|
|
ret void
|
|
UNREACHABLE:
|
|
ret void
|
|
DUMMY:
|
|
ret void
|
|
}
|