// expected-remark@above {{Successors: {4}}}
        %0 = "tf.XlaLaunch"(%input) {function = @func, operandSegmentSizes = array<i32: 0, 1, 0>, device = "CPU:0"} : (tensor<f32>) -> tensor<f32>
        // expected-remark@above {{ID: 0}}
        // expected-remark@above {{Successors: {1}}}

                       ResourceEffects::XlaLaunch::get());

  // Conservatively mark resource handles as read and write, as without
  // analyzing XlaLaunch, there is not sufficient information to determine
  // effects on resources.
  for (Value value : getArgs()) {
    MarkResourceAsReadAndWrite(value, effects);
  }
}

// For `XlaLaunch` ops the `device` attribute corresponds to the resource