return op.emitOpError("requires min to be a 1d float tensor");

  auto max = GetRankedTensorTypeForOperand(op.getMax());
  if (max && !IsOfRankedFloatTensorType(max, 1))
    return op.emitOpError("requires max to be a 1d float tensor");

  Value inputs = op.getInputs();
  if (!HasRankAtLeast(inputs, 1))
    return op.emitError("requires inputs to be at least 1d float tensor");

  int64_t num_bits = op.getNumBits();

            type.isString -> KaConstantValue.KaStringConstantValue(value.toString(), expression)
            type.isFloat -> KaConstantValue.KaFloatConstantValue((value as Number).toFloat(), expression)
            type.isDouble -> KaConstantValue.KaDoubleConstantValue((value as Number).toDouble(), expression)
            else -> null
        }

  "$0.isa<DenseElementsAttr>() && "
  "$0.cast<DenseElementsAttr>().getNumElements() == 1 && "
  "(($0.cast<DenseElementsAttr>().getValues<APFloat>()[0].isLargest() && "
  "$0.cast<DenseElementsAttr>().getValues<APFloat>()[0].isNegative()) || "
  "$0.cast<DenseElementsAttr>().getValues<APFloat>()[0].isNegInfinity())">>;

def L2NormValidReduceIndex : Constraint<CPred<
  "L2NormalizeReduceAxis($0, $1.cast<DenseElementsAttr>())">>;

    quant::QuantizedType quantizedElementType,
    const UniformQuantizedValueConverter &converter) {
  return realFPElementsAttr.mapValues(
      quantizedElementType.getStorageType(),
      [&converter](const APFloat &realVal) {
        return converter.quantizeFloatToInt(realVal);
      });
}

/// Converts a real expressed SplatElementsAttr to a corresponding

                },
                new float[] {(float) 2, (float) 3, (float) 4}))
        .isEqualTo(1);
    assertThat(
            Floats.indexOf(
                new float[] {(float) 4, (float) 3, (float) 2},
                new float[] {(float) 2, (float) 3, (float) 4}))
        .isEqualTo(-1);

    for (float value : NUMBERS) {

                },
                new float[] {(float) 2, (float) 3, (float) 4}))
        .isEqualTo(1);
    assertThat(
            Floats.indexOf(
                new float[] {(float) 4, (float) 3, (float) 2},
                new float[] {(float) 2, (float) 3, (float) 4}))
        .isEqualTo(-1);

    for (float value : NUMBERS) {

(Store {t} ptr val mem) && t.Size() == 4 && !t.IsFloat() => (MOVWstore ptr val mem)
(Store {t} ptr val mem) && t.Size() == 8 && !t.IsFloat() => (MOVVstore ptr val mem)
(Store {t} ptr val mem) && t.Size() == 4 &&  t.IsFloat() => (MOVFstore ptr val mem)
(Store {t} ptr val mem) && t.Size() == 8 &&  t.IsFloat() => (MOVDstore ptr val mem)

// zeroing
(Zero [0] _ mem) => mem

      Float[] suffix = {(float) 86, (float) 99};
      Float[] all = concat(concat(prefix, elements), suffix);
      return asList(all).subList(2, elements.length + 2);
    }
  }

  private static Float[] concat(Float[] left, Float[] right) {
    Float[] result = new Float[left.length + right.length];
    System.arraycopy(left, 0, result, 0, left.length);
    System.arraycopy(right, 0, result, left.length, right.length);

      Float[] suffix = {(float) 86, (float) 99};
      Float[] all = concat(concat(prefix, elements), suffix);
      return asList(all).subList(2, elements.length + 2);
    }
  }

  private static Float[] concat(Float[] left, Float[] right) {
    Float[] result = new Float[left.length + right.length];
    System.arraycopy(left, 0, result, 0, left.length);
    System.arraycopy(right, 0, result, left.length, right.length);

			t.Errorf("SeatSeconds(%d).String() is %q but expected %q", uint64(testCase.ss), actualStr, testCase.expectStr)
		}
		actualFloat := testCase.ss.ToFloat()
		if math.Round(actualFloat*ssScale) != math.Round(testCase.expectFloat*ssScale) {
			t.Errorf("SeatSeconds(%d).ToFloat() is %v but expected %v", uint64(testCase.ss), actualFloat, testCase.expectFloat)
		}
	}
}

func TestSeatSecondsPerSeat(t *testing.T) {