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
192 lines
7.0 KiB
LLVM
192 lines
7.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
|
|
|
|
declare double @llvm.sqrt.f64(double)
|
|
|
|
define double @sqrt_div_fast(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_fast(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = fdiv fast double [[Z:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.sqrt.f64(double [[TMP0]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fmul fast double [[X:%.*]], [[TMP1]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv fast double %y, %z
|
|
%sqrt = call fast double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv fast double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv double %y, %z
|
|
%sqrt = call double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_reassoc_arcp(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_reassoc_arcp(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = fdiv reassoc arcp double [[Z:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[TMP0]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fmul reassoc arcp double [[X:%.*]], [[TMP1]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp reassoc double %y, %z
|
|
%sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_reassoc_missing(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_reassoc_missing(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv arcp double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp double %y, %z
|
|
%sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_reassoc_missing2(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_reassoc_missing2(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call arcp double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp reassoc double %y, %z
|
|
%sqrt = call arcp double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_reassoc_missing3(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_reassoc_missing3(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv arcp double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp reassoc double %y, %z
|
|
%sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_arcp_missing(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_arcp_missing(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = fdiv reassoc double [[Z:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[TMP0]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fmul reassoc arcp double [[X:%.*]], [[TMP1]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv reassoc double %y, %z
|
|
%sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_arcp_missing2(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_arcp_missing2(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call reassoc double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp reassoc double %y, %z
|
|
%sqrt = call reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv arcp reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_arcp_missing3(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_arcp_missing3(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv arcp reassoc double %y, %z
|
|
%sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv reassoc double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
declare void @use(double)
|
|
define double @sqrt_div_fast_multiple_uses_1(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_fast_multiple_uses_1(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: call void @use(double [[DIV]])
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv fast double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv fast double %y, %z
|
|
call void @use(double %div)
|
|
%sqrt = call fast double @llvm.sqrt.f64(double %div)
|
|
%div1 = fdiv fast double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define double @sqrt_div_fast_multiple_uses_2(double %x, double %y, double %z) {
|
|
; CHECK-LABEL: @sqrt_div_fast_multiple_uses_2(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[Y:%.*]], [[Z:%.*]]
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[DIV]])
|
|
; CHECK-NEXT: call void @use(double [[SQRT]])
|
|
; CHECK-NEXT: [[DIV1:%.*]] = fdiv fast double [[X:%.*]], [[SQRT]]
|
|
; CHECK-NEXT: ret double [[DIV1]]
|
|
;
|
|
entry:
|
|
%div = fdiv fast double %y, %z
|
|
%sqrt = call fast double @llvm.sqrt.f64(double %div)
|
|
call void @use(double %sqrt)
|
|
%div1 = fdiv fast double %x, %sqrt
|
|
ret double %div1
|
|
}
|
|
|
|
define float @sqrt_non_div_operator(float %a) {
|
|
; CHECK-LABEL: @sqrt_non_div_operator(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[CONV:%.*]] = fpext float [[A:%.*]] to double
|
|
; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[CONV]])
|
|
; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[CONV]], [[SQRT]]
|
|
; CHECK-NEXT: [[CONV2:%.*]] = fptrunc double [[DIV]] to float
|
|
; CHECK-NEXT: ret float [[CONV2]]
|
|
;
|
|
entry:
|
|
%conv = fpext float %a to double
|
|
%sqrt = call fast double @llvm.sqrt.f64(double %conv)
|
|
%div = fdiv fast double %conv, %sqrt
|
|
%conv2 = fptrunc double %div to float
|
|
ret float %conv2
|
|
}
|