// hardware instruction uses only the low 6 bits of the shift
// we compare to 64 to ensure Go semantics for large shifts
// Rules about rotates with non-const shift are based on the following rules,
// if the following rules change, please also modify the rules based on them.

// check shiftIsBounded first, if shift value is proved to be valid then we
// can do the shift directly.
// left shift

((Add8|Or8|Xor8) right:(Rsh8Ux8  x y) left:(Lsh8x8  x z:(Sub8  (Const8  [8]) y))) && (shiftIsBounded(left) || shiftIsBounded(right)) && canRotate(config, 8) => (RotateLeft8 x z)

// Rotating by y&c, with c a mask that doesn't change the bottom bits, is the same as rotating by y.
(RotateLeft64 x (And(64|32|16|8) y (Const(64|32|16|8) [c]))) && c&63 == 63 => (RotateLeft64 x y)

  let hasFolder = 1;
}

def TFL_RangeOp: TFL_Op<"range", [
    Pure,
    TFL_OperandHasRank<0, 0>,
    TFL_OperandHasRank<1, 0>,
    TFL_OperandHasRank<2, 0>,
    PredOpTrait<"operands and output must have same element type",
      And<[TCresVTEtIsSameAsOp<0, 0>, TCresVTEtIsSameAsOp<0, 1>,
           TCresVTEtIsSameAsOp<0, 2>]>>]> {
  let summary = "Range operator";

  let description = [{

	quarkus/extensions/resteasy-classic/resteasy/runtime/pom.xml
	quarkus/test-framework/junit5/pom.xml
	quarkus/test-framework/h2/pom.xml
quarkus/core/deployment/pom.xml
	quarkus/core/devmode-spi/pom.xml
	quarkus/core/class-change-agent/pom.xml
	quarkus/independent-projects/bootstrap/core/pom.xml
	quarkus/independent-projects/bootstrap/maven-resolver/pom.xml
	quarkus/independent-projects/bootstrap/gradle-resolver/pom.xml

  let description = [{
    A pass that propagates device assignment of resources on a module. It
    performs in-function propagation, as well as cross-function propagation from
    callers to callees.

    This pass changes the module by adding "tf.device" attribute to function
    arguments and adding "device" attribute to TF ops.

    For example, given the function

    ```mlir

orsites.com

// Opera Software, A.S.A.
// Submitted by Yngve Pettersen <******@****.***>
operaunite.com

// Orange : https://www.orange.com
// Submitted by Alexandre Linte <alexandre.linte@orange.com>
tech.orange

// Oursky Limited : https://authgear.com/, https://skygear.io/
// Submitted by Authgear Team <******@****.***>, Skygear Developer <******@****.***>

  return %1 : tensor<1x1x2x!quant.uniform<i8:f32, 4.000000e+04:127>>
}
// Nothing changes.
// CHECK: stablehlo.dot_general
// CHECK-NOT: tfl.fully_connected
// CHECK-NOT: tfl.batch_matmul

// -----

// Tests that when the weight tensor for `stablehlo.dot_general` is per-axis