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
107 lines
3.0 KiB
LLVM
107 lines
3.0 KiB
LLVM
; Make sure that even without some external devirtualization iteration tool,
|
|
; the CGSCC pass manager correctly observes and re-visits SCCs that change
|
|
; structure due to devirtualization. We trigger devirtualization here with GVN
|
|
; which forwards a store through a load and to an indirect call.
|
|
;
|
|
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs)' -S < %s | FileCheck %s --check-prefix=BEFORE
|
|
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(gvn))' -S < %s | FileCheck %s --check-prefix=AFTER
|
|
;
|
|
; Also check that adding an extra CGSCC pass after the function update but
|
|
; without requiring the outer manager to iterate doesn't break any invariant.
|
|
; RUN: opt -aa-pipeline=basic-aa -passes='cgscc(function-attrs,function(gvn),function-attrs)' -S < %s | FileCheck %s --check-prefix=AFTER
|
|
|
|
declare void @readnone() nofree nosync readnone
|
|
declare void @unknown()
|
|
|
|
; The @test1_* checks that if we refine an indirect call to a direct call and
|
|
; in the process change the very structure of the call graph we also revisit
|
|
; that component of the graph and do so in an up-to-date fashion.
|
|
|
|
; BEFORE: define void @test1_a1() {
|
|
; AFTER: define void @test1_a1() {
|
|
define void @test1_a1() {
|
|
%fptr = alloca ptr
|
|
store ptr @test1_b2, ptr %fptr
|
|
store ptr @test1_b1, ptr %fptr
|
|
%f = load ptr, ptr %fptr
|
|
call void %f()
|
|
ret void
|
|
}
|
|
|
|
; BEFORE: define void @test1_b1() {
|
|
; AFTER: define void @test1_b1() {
|
|
define void @test1_b1() {
|
|
call void @unknown()
|
|
call void @test1_a1()
|
|
ret void
|
|
}
|
|
|
|
; BEFORE: define void @test1_a2() {
|
|
; AFTER: define void @test1_a2() #0 {
|
|
define void @test1_a2() {
|
|
%fptr = alloca ptr
|
|
store ptr @test1_b1, ptr %fptr
|
|
store ptr @test1_b2, ptr %fptr
|
|
%f = load ptr, ptr %fptr
|
|
call void %f()
|
|
ret void
|
|
}
|
|
|
|
; BEFORE: define void @test1_b2() {
|
|
; AFTER: define void @test1_b2() #0 {
|
|
define void @test1_b2() {
|
|
call void @readnone()
|
|
call void @test1_a2()
|
|
ret void
|
|
}
|
|
|
|
|
|
; The @test2_* set of functions exercise a case where running function passes
|
|
; introduces a new post-order relationship that was not present originally and
|
|
; makes sure we walk across the SCCs in that order.
|
|
|
|
; CHECK: define void @test2_a() {
|
|
define void @test2_a() {
|
|
call void @test2_b1()
|
|
call void @test2_b2()
|
|
call void @test2_b3()
|
|
call void @unknown()
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @test2_b1() #0 {
|
|
define void @test2_b1() {
|
|
%fptr = alloca ptr
|
|
store ptr @test2_a, ptr %fptr
|
|
store ptr @readnone, ptr %fptr
|
|
%f = load ptr, ptr %fptr
|
|
call void %f()
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @test2_b2() #0 {
|
|
define void @test2_b2() {
|
|
%fptr = alloca ptr
|
|
store ptr @test2_a, ptr %fptr
|
|
store ptr @test2_b2, ptr %fptr
|
|
store ptr @test2_b3, ptr %fptr
|
|
store ptr @test2_b1, ptr %fptr
|
|
%f = load ptr, ptr %fptr
|
|
call void %f()
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @test2_b3() #0 {
|
|
define void @test2_b3() {
|
|
%fptr = alloca ptr
|
|
store ptr @test2_a, ptr %fptr
|
|
store ptr @test2_b2, ptr %fptr
|
|
store ptr @test2_b3, ptr %fptr
|
|
store ptr @test2_b1, ptr %fptr
|
|
%f = load ptr, ptr %fptr
|
|
call void %f()
|
|
ret void
|
|
}
|
|
|
|
; CHECK: attributes #0 = { nofree nosync readnone }
|