[llvm] 862e742 - [InstCombine] Add tests for folding `(fp_binop ({s|u}itofp x), ({s|u}itofp y))`; NFC
Noah Goldstein via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 6 11:28:23 PST 2024
Author: Noah Goldstein
Date: 2024-03-06T13:28:04-06:00
New Revision: 862e742292f4a46c4d3879e9cc0d9902ef87f107
URL: https://github.com/llvm/llvm-project/commit/862e742292f4a46c4d3879e9cc0d9902ef87f107
DIFF: https://github.com/llvm/llvm-project/commit/862e742292f4a46c4d3879e9cc0d9902ef87f107.diff
LOG: [InstCombine] Add tests for folding `(fp_binop ({s|u}itofp x), ({s|u}itofp y))`; NFC
Added:
llvm/test/Transforms/InstCombine/binop-itofp.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/binop-itofp.ll b/llvm/test/Transforms/InstCombine/binop-itofp.ll
new file mode 100644
index 00000000000000..6354be7d723b64
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/binop-itofp.ll
@@ -0,0 +1,1024 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+
+define half @test_ui_ui_i8_add(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i8_add(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %y = and i8 %y_in, 127
+ %xf = uitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i8_add_fail_overflow(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i8_add_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], -127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %y = and i8 %y_in, 129
+ %xf = uitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i8_add_C(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_add_C(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH5800
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %xf = uitofp i8 %x to half
+ %r = fadd half %xf, 128.0
+ ret half %r
+}
+
+define half @test_ui_ui_i8_add_C_fail_no_repr(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_add_C_fail_no_repr(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH57F8
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %xf = uitofp i8 %x to half
+ %r = fadd half %xf, 127.5
+ ret half %r
+}
+
+define half @test_ui_ui_i8_add_C_fail_overflow(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_add_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH5808
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %xf = uitofp i8 %x to half
+ %r = fadd half %xf, 129.0
+ ret half %r
+}
+
+define half @test_si_si_i8_add(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_add(
+; CHECK-NEXT: [[X:%.*]] = or i8 [[X_IN:%.*]], -64
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -64
+; CHECK-NEXT: [[ADDCONV:%.*]] = add nsw i8 [[X]], [[Y]]
+; CHECK-NEXT: [[R:%.*]] = sitofp i8 [[ADDCONV]] to half
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i8 %x_in, -64
+ %y = or i8 %y_in, -64
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i8_add_fail_overflow(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_add_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i8 [[X_IN:%.*]], -64
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -65
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i8 %x_in, -64
+ %y = or i8 %y_in, -65
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i8_add(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_add(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 63
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 63
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 63
+ %y = and i8 %y_in, 63
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i8_add_overflow(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_add_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 63
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 65
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 63
+ %y = and i8 %y_in, 65
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i8_sub_C(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_sub_C(
+; CHECK-NEXT: [[X:%.*]] = or i8 [[X_IN:%.*]], -128
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xHD800
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i8 %x_in, 128
+ %xf = uitofp i8 %x to half
+ %r = fsub half %xf, 128.0
+ ret half %r
+}
+
+define half @test_ui_ui_i8_sub_C_fail_overflow(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_sub_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 127
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xHD800
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 127
+ %xf = uitofp i8 %x to half
+ %r = fsub half %xf, 128.0
+ ret half %r
+}
+
+define half @test_si_si_i8_sub(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_sub(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 63
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -64
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 63
+ %y = or i8 %y_in, -64
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i8_sub_fail_overflow(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_sub_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 63
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -65
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 63
+ %y = or i8 %y_in, -65
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i8_sub_C(i8 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i8_sub_C(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 63
+; CHECK-NEXT: [[ADDCONV:%.*]] = or disjoint i8 [[X]], 64
+; CHECK-NEXT: [[R:%.*]] = sitofp i8 [[ADDCONV]] to half
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 63
+ %xf = sitofp i8 %x to half
+ %r = fsub half %xf, -64.0
+ ret half %r
+}
+
+define half @test_si_si_i8_sub_C_fail_overflow(i8 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i8_sub_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 65
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH5400
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 65
+ %xf = sitofp i8 %x to half
+ %r = fsub half %xf, -64.0
+ ret half %r
+}
+
+define half @test_ui_si_i8_sub(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_sub(
+; CHECK-NEXT: [[X:%.*]] = or i8 [[X_IN:%.*]], 64
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 63
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i8 %x_in, 64
+ %y = and i8 %y_in, 63
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i8_sub_fail_maybe_sign(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_sub_fail_maybe_sign(
+; CHECK-NEXT: [[X:%.*]] = or i8 [[X_IN:%.*]], 64
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 63
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i8 %x_in, 64
+ %y = and i8 %y_in, 63
+ %xf = uitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i8_mul(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i8_mul(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 15
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 15
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 15
+ %y = and i8 %y_in, 15
+ %xf = uitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i8_mul_C(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_mul_C(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 15
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xH4C00
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 15
+ %xf = uitofp i8 %x to half
+ %r = fmul half %xf, 16.0
+ ret half %r
+}
+
+define half @test_ui_ui_i8_mul_C_fail_overlow(i8 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i8_mul_C_fail_overlow(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 14
+; CHECK-NEXT: [[XF:%.*]] = uitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xH4CC0
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 14
+ %xf = uitofp i8 %x to half
+ %r = fmul half %xf, 19.0
+ ret half %r
+}
+
+define half @test_si_si_i8_mul(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_mul(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 6
+; CHECK-NEXT: [[X:%.*]] = or disjoint i8 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -8
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 6
+ %x = add nsw nuw i8 %xx, 1
+ %y = or i8 %y_in, -8
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i8_mul_fail_maybe_zero(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i8_mul_fail_maybe_zero(
+; CHECK-NEXT: [[X:%.*]] = and i8 [[X_IN:%.*]], 7
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -8
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i8 %x_in, 7
+ %y = or i8 %y_in, -8
+ %xf = sitofp i8 %x to half
+ %yf = sitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i8_mul_C_fail_no_repr(i8 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i8_mul_C_fail_no_repr(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 6
+; CHECK-NEXT: [[X:%.*]] = or disjoint i8 [[XX]], 1
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xHC780
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 6
+ %x = add nsw nuw i8 %xx, 1
+ %xf = sitofp i8 %x to half
+ %r = fmul half %xf, -7.5
+ ret half %r
+}
+
+define half @test_si_si_i8_mul_C_fail_overflow(i8 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i8_mul_C_fail_overflow(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 6
+; CHECK-NEXT: [[X:%.*]] = or disjoint i8 [[XX]], 1
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xHCCC0
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 6
+ %x = add nsw nuw i8 %xx, 1
+ %xf = sitofp i8 %x to half
+ %r = fmul half %xf, -19.0
+ ret half %r
+}
+
+define half @test_ui_si_i8_mul(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_mul(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 6
+; CHECK-NEXT: [[X:%.*]] = or disjoint i8 [[XX]], 1
+; CHECK-NEXT: [[YY:%.*]] = and i8 [[Y_IN:%.*]], 7
+; CHECK-NEXT: [[Y:%.*]] = add nuw nsw i8 [[YY]], 1
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 6
+ %x = add i8 %xx, 1
+ %yy = and i8 %y_in, 7
+ %y = add i8 %yy, 1
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i8_mul_fail_maybe_zero(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_mul_fail_maybe_zero(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 7
+; CHECK-NEXT: [[X:%.*]] = add nuw nsw i8 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = and i8 [[Y_IN:%.*]], 7
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 7
+ %x = add i8 %xx, 1
+ %y = and i8 %y_in, 7
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i8_mul_fail_signed(i8 noundef %x_in, i8 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i8_mul_fail_signed(
+; CHECK-NEXT: [[XX:%.*]] = and i8 [[X_IN:%.*]], 7
+; CHECK-NEXT: [[X:%.*]] = add nuw nsw i8 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i8 [[Y_IN:%.*]], -4
+; CHECK-NEXT: [[XF:%.*]] = sitofp i8 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i8 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i8 %x_in, 7
+ %x = add i8 %xx, 1
+ %y = or i8 %y_in, -4
+ %xf = sitofp i8 %x to half
+ %yf = uitofp i8 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i16_add(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i16_add(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2047
+ %y = and i16 %y_in, 2047
+ %xf = uitofp i16 %x to half
+ %yf = uitofp i16 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i16_add_fail_not_promotable(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i16_add_fail_not_promotable(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2049
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2049
+ %y = and i16 %y_in, 2047
+ %xf = uitofp i16 %x to half
+ %yf = uitofp i16 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i16_add_C(i16 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i16_add_C(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH7BC0
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2047
+ %xf = uitofp i16 %x to half
+ %r = fadd half %xf, 63488.0
+ ret half %r
+}
+
+define half @test_ui_ui_i16_add_C_fail_overflow(i16 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i16_add_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH7BD0
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2047
+ %xf = uitofp i16 %x to half
+ %r = fadd half %xf, 64000.0
+ ret half %r
+}
+
+define half @test_si_si_i16_add(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_add(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[Y:%.*]] = or i16 [[Y_IN:%.*]], -2048
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -2048
+ %y = or i16 %y_in, -2048
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_add_fail_no_promotion(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_add_fail_no_promotion(
+; CHECK-NEXT: [[XX:%.*]] = or i16 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[X:%.*]] = add nsw i16 [[XX]], -1
+; CHECK-NEXT: [[Y:%.*]] = or i16 [[Y_IN:%.*]], -2048
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = or i16 %x_in, -2048
+ %x = sub i16 %xx, 1
+ %y = or i16 %y_in, -2048
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_add_C_overflow(i16 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i16_add_C_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xH7840
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -2048
+ %xf = sitofp i16 %x to half
+ %r = fadd half %xf, 0xH7840
+ ret half %r
+}
+
+define half @test_si_si_i16_sub(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_sub(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -2048
+ %y = and i16 %y_in, 2047
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_sub_fail_no_promotion(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_sub_fail_no_promotion(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[Y:%.*]] = or i16 [[Y_IN:%.*]], -2049
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2047
+ %y = or i16 %y_in, -2049
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i16_sub(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i16_sub(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 2047
+ %y = and i16 %y_in, 2047
+ %xf = uitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_si_i16_sub_fail_maybe_signed(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i16_sub_fail_maybe_signed(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -2048
+ %y = and i16 %y_in, 2047
+ %xf = uitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i16_mul(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i16_mul(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 255
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 255
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 255
+ %y = and i16 %y_in, 255
+ %xf = uitofp i16 %x to half
+ %yf = uitofp i16 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i16_mul_fail_no_promotion(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i16_mul_fail_no_promotion(
+; CHECK-NEXT: [[X:%.*]] = and i16 [[X_IN:%.*]], 4095
+; CHECK-NEXT: [[Y:%.*]] = and i16 [[Y_IN:%.*]], 3
+; CHECK-NEXT: [[XF:%.*]] = uitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i16 %x_in, 4095
+ %y = and i16 %y_in, 3
+ %xf = uitofp i16 %x to half
+ %yf = uitofp i16 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_mul(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_mul(
+; CHECK-NEXT: [[XX:%.*]] = and i16 [[X_IN:%.*]], 126
+; CHECK-NEXT: [[X:%.*]] = or disjoint i16 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i16 [[Y_IN:%.*]], -255
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i16 %x_in, 126
+ %x = add nsw nuw i16 %xx, 1
+ %y = or i16 %y_in, -255
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_mul_fail_overflow(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i16_mul_fail_overflow(
+; CHECK-NEXT: [[XX:%.*]] = and i16 [[X_IN:%.*]], 126
+; CHECK-NEXT: [[X:%.*]] = or disjoint i16 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i16 [[Y_IN:%.*]], -257
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i16 %x_in, 126
+ %x = add nsw nuw i16 %xx, 1
+ %y = or i16 %y_in, -257
+ %xf = sitofp i16 %x to half
+ %yf = sitofp i16 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i16_mul_C_fail_overflow(i16 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i16_mul_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -129
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xH5800
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -129
+ %xf = sitofp i16 %x to half
+ %r = fmul half %xf, 128.0
+ ret half %r
+}
+
+define half @test_si_si_i16_mul_C_fail_no_promotion(i16 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i16_mul_C_fail_no_promotion(
+; CHECK-NEXT: [[X:%.*]] = or i16 [[X_IN:%.*]], -4097
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xH4500
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i16 %x_in, -4097
+ %xf = sitofp i16 %x to half
+ %r = fmul half %xf, 5.0
+ ret half %r
+}
+
+define half @test_ui_si_i16_mul(i16 noundef %x_in, i16 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i16_mul(
+; CHECK-NEXT: [[XX:%.*]] = and i16 [[X_IN:%.*]], 126
+; CHECK-NEXT: [[X:%.*]] = or disjoint i16 [[XX]], 1
+; CHECK-NEXT: [[YY:%.*]] = and i16 [[Y_IN:%.*]], 126
+; CHECK-NEXT: [[Y:%.*]] = or disjoint i16 [[YY]], 1
+; CHECK-NEXT: [[XF:%.*]] = sitofp i16 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i16 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i16 %x_in, 126
+ %x = add i16 %xx, 1
+ %yy = and i16 %y_in, 126
+ %y = add i16 %yy, 1
+ %xf = sitofp i16 %x to half
+ %yf = uitofp i16 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_add(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_add(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 2047
+ %y = and i12 %y_in, 2047
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_add_fail_overflow(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_add_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 2047
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], -2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 2047
+ %y = and i12 %y_in, 2049
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+
+define half @test_si_si_i12_add(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_add(
+; CHECK-NEXT: [[X:%.*]] = or i12 [[X_IN:%.*]], -1024
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -1024
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i12 %x_in, -1024
+ %y = or i12 %y_in, -1024
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_add_fail_overflow(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_add_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i12 [[X_IN:%.*]], -1025
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -1025
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i12 %x_in, -1025
+ %y = or i12 %y_in, -1025
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fadd half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_add_C_fail_overflow(i12 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i12_add_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i12 [[X_IN:%.*]], -2048
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fadd half [[XF]], 0xHBC00
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i12 %x_in, -2048
+ %xf = sitofp i12 %x to half
+ %r = fadd half %xf, -1.0
+ ret half %r
+}
+
+define half @test_ui_ui_i12_sub(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_sub(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 1023
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], 1023
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 1023
+ %y = and i12 %y_in, 1023
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_sub_fail_overflow(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_sub_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 1023
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], 2047
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 1023
+ %y = and i12 %y_in, 2047
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+
+define half @test_si_si_i12_sub(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_sub(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 1023
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -1024
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 1023
+ %y = or i12 %y_in, -1024
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_sub_fail_overflow(i12 noundef %x, i12 noundef %y) {
+; CHECK-LABEL: @test_si_si_i12_sub_fail_overflow(
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X:%.*]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y:%.*]] to half
+; CHECK-NEXT: [[R:%.*]] = fsub half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fsub half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_mul(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_mul(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 31
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], 63
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 31
+ %y = and i12 %y_in, 63
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_mul_fail_overflow(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_ui_i12_mul_fail_overflow(
+; CHECK-NEXT: [[XX:%.*]] = and i12 [[X_IN:%.*]], 31
+; CHECK-NEXT: [[X:%.*]] = add nuw nsw i12 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = and i12 [[Y_IN:%.*]], 63
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = uitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i12 %x_in, 31
+ %x = add i12 %xx, 1
+ %y = and i12 %y_in, 63
+ %xf = uitofp i12 %x to half
+ %yf = uitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_ui_ui_i12_mul_C(i12 noundef %x_in) {
+; CHECK-LABEL: @test_ui_ui_i12_mul_C(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 31
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xH5400
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 31
+ %xf = uitofp i12 %x to half
+ %r = fmul half %xf, 64.0
+ ret half %r
+}
+
+define half @test_si_si_i12_mul(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_mul(
+; CHECK-NEXT: [[XX:%.*]] = and i12 [[X_IN:%.*]], 30
+; CHECK-NEXT: [[X:%.*]] = or disjoint i12 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -64
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i12 %x_in, 30
+ %x = add nsw nuw i12 %xx, 1
+ %y = or i12 %y_in, -64
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_mul_fail_overflow(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_mul_fail_overflow(
+; CHECK-NEXT: [[XX:%.*]] = and i12 [[X_IN:%.*]], 30
+; CHECK-NEXT: [[X:%.*]] = or disjoint i12 [[XX]], 1
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -128
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i12 %x_in, 30
+ %x = add nsw nuw i12 %xx, 1
+ %y = or i12 %y_in, -128
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_mul_fail_maybe_non_zero(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_si_si_i12_mul_fail_maybe_non_zero(
+; CHECK-NEXT: [[X:%.*]] = and i12 [[X_IN:%.*]], 30
+; CHECK-NEXT: [[Y:%.*]] = or i12 [[Y_IN:%.*]], -128
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = and i12 %x_in, 30
+ %y = or i12 %y_in, -128
+ %xf = sitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
+
+define half @test_si_si_i12_mul_C(i12 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i12_mul_C(
+; CHECK-NEXT: [[X:%.*]] = or i12 [[X_IN:%.*]], -64
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xHCC00
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i12 %x_in, -64
+ %xf = sitofp i12 %x to half
+ %r = fmul half %xf, -16.0
+ ret half %r
+}
+
+define half @test_si_si_i12_mul_C_fail_overflow(i12 noundef %x_in) {
+; CHECK-LABEL: @test_si_si_i12_mul_C_fail_overflow(
+; CHECK-NEXT: [[X:%.*]] = or i12 [[X_IN:%.*]], -64
+; CHECK-NEXT: [[XF:%.*]] = sitofp i12 [[X]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], 0xHD400
+; CHECK-NEXT: ret half [[R]]
+;
+ %x = or i12 %x_in, -64
+ %xf = sitofp i12 %x to half
+ %r = fmul half %xf, -64.0
+ ret half %r
+}
+
+define half @test_ui_si_i12_mul_nsw(i12 noundef %x_in, i12 noundef %y_in) {
+; CHECK-LABEL: @test_ui_si_i12_mul_nsw(
+; CHECK-NEXT: [[XX:%.*]] = and i12 [[X_IN:%.*]], 31
+; CHECK-NEXT: [[X:%.*]] = add nuw nsw i12 [[XX]], 1
+; CHECK-NEXT: [[YY:%.*]] = and i12 [[Y_IN:%.*]], 30
+; CHECK-NEXT: [[Y:%.*]] = or disjoint i12 [[YY]], 1
+; CHECK-NEXT: [[XF:%.*]] = uitofp i12 [[X]] to half
+; CHECK-NEXT: [[YF:%.*]] = sitofp i12 [[Y]] to half
+; CHECK-NEXT: [[R:%.*]] = fmul half [[XF]], [[YF]]
+; CHECK-NEXT: ret half [[R]]
+;
+ %xx = and i12 %x_in, 31
+ %x = add i12 %xx, 1
+ %yy = and i12 %y_in, 30
+ %y = add i12 %yy, 1
+ %xf = uitofp i12 %x to half
+ %yf = sitofp i12 %y to half
+ %r = fmul half %xf, %yf
+ ret half %r
+}
More information about the llvm-commits
mailing list