[igt-dev] [PATCH i-g-t v4] tests/kms_atomic: add test to validate immutable zpos

Ville Syrjälä ville.syrjala at linux.intel.com
Tue Mar 24 16:31:15 UTC 2020


On Tue, Mar 17, 2020 at 12:49:06PM +0530, Swati Sharma wrote:
> i915 implements immutable zpos property whereas the existing test
> case is written to validate mutable zpos.
> 
> Added a new sub-test to validate immutable zpos. Test validates
> the reported zpos property of plane by making sure only higher
> zpos plane covers the lower zpos one (lower plane covers full screen,
> upper plane covers half screen).
> 
> Only two planes at a time are tested in increasing fashion to avoid
> combinatorial explosion. By transitive property,
> if (p1, z1) < (p2, z2) and (p2, z2) < (p3, z3) then (p1, z1) < (p3, z3)
> 
> where p and z denotes planes and zpos
> 
> v2: -Removed intel only checks [Martin]
>     -Used XRGB8888 pixel format as used in other IGTs
>     -Added documentation [Martin]
>     -Removed skip, instead continue if plane doesn't support zpos [Martin]
>     -Sorted planes in increasing order of zpos [Martin]
> v3: -Fix description [Martin]
>     -Avoid sorting [Ankit]
> v4: -Change in commit message [Ankit]
>     -Few minor changes [Ankit]
> 
> Issue: https://gitlab.freedesktop.org/drm/intel/issues/404
> Signed-off-by: Swati Sharma <swati2.sharma at intel.com>
> Reviewed-by: Martin Peres <martin.peres at linux.intel.com>
> Reviewed-by: Ankit Nautiyal <ankit.k.nautiyal at intel.com>
> ---
>  tests/kms_atomic.c | 160 ++++++++++++++++++++++++++++++++++++++++++---
>  1 file changed, 150 insertions(+), 10 deletions(-)
> 
> diff --git a/tests/kms_atomic.c b/tests/kms_atomic.c
> index 8462d128..4cb34d6d 100644
> --- a/tests/kms_atomic.c
> +++ b/tests/kms_atomic.c
> @@ -121,7 +121,7 @@ static void plane_check_current_state(igt_plane_t *plane, const uint64_t *values
>  }
>  
>  static void plane_commit(igt_plane_t *plane, enum igt_commit_style s,
> -                                enum kms_atomic_check_relax relax)
> +                         enum kms_atomic_check_relax relax)
>  {
>  	igt_display_commit2(plane->pipe->display, s);
>  	plane_check_current_state(plane, plane->values, relax);
> @@ -277,9 +277,9 @@ static uint32_t plane_get_igt_format(igt_plane_t *plane)
>  }
>  
>  static void
> -plane_primary_overlay_zpos(igt_pipe_t *pipe, igt_output_t *output,
> -			   igt_plane_t *primary, igt_plane_t *overlay,
> -			   uint32_t format_primary, uint32_t format_overlay)
> +plane_primary_overlay_mutable_zpos(igt_pipe_t *pipe, igt_output_t *output,
> +			           igt_plane_t *primary, igt_plane_t *overlay,
> +			           uint32_t format_primary, uint32_t format_overlay)
>  {
>  	struct igt_fb fb_primary, fb_overlay;
>  	drmModeModeInfo *mode = igt_output_get_mode(output);
> @@ -320,7 +320,7 @@ plane_primary_overlay_zpos(igt_pipe_t *pipe, igt_output_t *output,
>  	igt_plane_set_prop_value(overlay, IGT_PLANE_ZPOS, 1);
>  
>  	igt_info("Committing with overlay on top, it has a hole "\
> -		  "through which the primary should be seen\n");
> +		 "through which the primary should be seen\n");
>  	plane_commit(primary, COMMIT_ATOMIC, ATOMIC_RELAX_NONE);
>  
>  	igt_assert_eq_u64(igt_plane_get_prop(primary, IGT_PLANE_ZPOS), 0);
> @@ -346,7 +346,7 @@ plane_primary_overlay_zpos(igt_pipe_t *pipe, igt_output_t *output,
>  	igt_put_cairo_ctx(pipe->display->drm_fd, &fb_primary, cr);
>  
>  	igt_info("Committing with a hole in the primary through "\
> -		  "which the underlay should be seen\n");
> +		 "which the underlay should be seen\n");
>  	plane_commit(primary, COMMIT_ATOMIC, ATOMIC_RELAX_NONE);
>  
>  	/* reset it back to initial state */
> @@ -358,6 +358,136 @@ plane_primary_overlay_zpos(igt_pipe_t *pipe, igt_output_t *output,
>  	igt_assert_eq_u64(igt_plane_get_prop(overlay, IGT_PLANE_ZPOS), 1);
>  }
>  
> +static void
> +plane_immutable_zpos(igt_display_t *display, igt_pipe_t *pipe,
> +		     igt_output_t *output)
> +{
> +	cairo_t *cr;
> +	struct igt_fb fb_ref;
> +	igt_plane_t *primary;
> +	drmModeModeInfo *mode;
> +	igt_pipe_crc_t *pipe_crc;
> +	igt_crc_t ref_crc, new_crc;
> +	int n_planes = pipe->n_planes;
> +	igt_plane_t *plane_ptr[n_planes];
> +	uint32_t w_lower, h_lower, w_upper, h_upper;
> +
> +	igt_require(n_planes >= 2);
> +
> +	mode = igt_output_get_mode(output);
> +	primary = igt_pipe_get_plane_type(pipe, DRM_PLANE_TYPE_PRIMARY);
> +
> +	/* for lower plane */
> +	w_lower = mode->hdisplay;
> +	h_lower = mode->vdisplay;
> +
> +	/* for upper plane */
> +	w_upper = mode->hdisplay / 2;
> +	h_upper = mode->vdisplay / 2;

I would make that just 64x64 aka. kms_plane/pixel-format*.

Potentially we could use a 64x64 for all planes on many platforms
but that might complicate the logic a bit so maybe a fullscreen plane
for the lowerr plane is fine.

Alhtough using a smaller size the lower plane would be more robust since
then we could see that the uper plane looks correct even in places where
there's no plane below it.

> +
> +	igt_create_color_fb(display->drm_fd,
> +			    w_lower, h_lower,
> +			    DRM_FORMAT_XRGB8888,
> +			    I915_TILING_NONE,
> +			    0.0, 0.0, 0.0, &fb_ref);
> +
> +	/* create reference image */
> +	cr = igt_get_cairo_ctx(display->drm_fd, &fb_ref);
> +	igt_assert(cairo_status(cr) == 0);
> +	igt_paint_color(cr, 0, 0, w_lower, h_lower, 0.0, 0.0, 1.0);
> +	igt_paint_color(cr, w_upper / 2, h_upper / 2, w_upper, h_upper, 1.0, 1.0, 0.0);
> +	igt_put_cairo_ctx(display->drm_fd, &fb_ref, cr);
> +	igt_plane_set_fb(primary, &fb_ref);
> +	igt_display_commit2(display, COMMIT_ATOMIC);
> +
> +	/* create the pipe_crc object for this pipe */
> +	pipe_crc = igt_pipe_crc_new(pipe->display->drm_fd, pipe->pipe,
> +				    INTEL_PIPE_CRC_SOURCE_AUTO);
> +
> +	/* get reference crc */
> +	igt_pipe_crc_start(pipe_crc);
> +	igt_pipe_crc_get_current(display->drm_fd, pipe_crc, &ref_crc);
> +
> +	igt_plane_set_fb(primary, NULL);
> +
> +	for (int k = 0; k < n_planes; k++) {
> +		int zpos;
> +		igt_plane_t *temp;
> +
> +		temp = &display->pipes[pipe->pipe].planes[k];
> +
> +		if (!igt_plane_has_prop(temp, IGT_PLANE_ZPOS))
> +			continue;
> +
> +		assert(zpos < n_planes);
> +
> +		zpos = igt_plane_get_prop(temp, IGT_PLANE_ZPOS);
> +		plane_ptr[zpos] = temp;
> +	}
> +
> +	/*
> +	 * checking only pairs of plane in increasing fashion
> +	 * to avoid combinatorial explosion
> +	 */
> +	for (int i = 0; i < n_planes - 1; i++) {
> +		int fb_id_lower, fb_id_upper;
> +		struct igt_fb fb_lower, fb_upper;
> +		igt_plane_t *plane_lower, *plane_upper;
> +
> +		if (plane_ptr[i] != NULL)
> +			plane_lower = plane_ptr[i];
> +		else
> +			continue;
> +
> +		while (i  < (n_planes - 1)) {
> +			if (plane_ptr[i + 1] != NULL) {
> +				plane_upper = plane_ptr[i + 1];
> +				break;
> +			} else {
> +				i++;
> +				continue;
> +			}
> +		}
> +
> +		if (i == (n_planes - 1))
> +			break;

I have no idea what this is trying to do. Just 
pick plane[i] and plane[i+1] and proceed with the test?
a
> +
> +		if ((plane_lower->type == DRM_PLANE_TYPE_CURSOR) ||
> +				(plane_upper->type == DRM_PLANE_TYPE_CURSOR))
> +			continue;

We want to test cursors too.

> +
> +		fb_id_lower = igt_create_color_fb(display->drm_fd,
> +						  w_lower, h_lower,
> +						  DRM_FORMAT_XRGB8888,
> +						  I915_TILING_NONE,
> +						  0.0, 0.0, 1.0, &fb_lower);
> +		igt_assert(fb_id_lower);
> +
> +		fb_id_upper = igt_create_color_fb(display->drm_fd,
> +						  w_upper, h_upper,
> +						  DRM_FORMAT_XRGB8888,
> +						  I915_TILING_NONE,
> +						  1.0, 1.0, 0.0, &fb_upper);
> +		igt_assert(fb_id_upper);

Creating new fbs every iteration is pointless.
You also seem to be leaking these.

> +
> +		igt_plane_set_position(plane_lower, 0, 0);
> +		igt_plane_set_fb(plane_lower, &fb_lower);
> +
> +		igt_plane_set_position(plane_upper, w_upper / 2, h_upper / 2);
> +		igt_plane_set_fb(plane_upper, &fb_upper);
> +
> +		igt_info("Committing with the plane[%d] underneath "\
> +			 "plane[%d]\n", i, (i + 1));
> +		igt_display_commit2(display, COMMIT_ATOMIC);
> +		igt_pipe_crc_get_current(pipe->display->drm_fd, pipe_crc, &new_crc);
> +
> +		igt_assert_crc_equal(&ref_crc, &new_crc);
> +
> +		igt_plane_set_fb(plane_lower, NULL);
> +		igt_plane_set_fb(plane_upper, NULL);
> +	}
> +}
> +
>  static void plane_overlay(igt_pipe_t *pipe, igt_output_t *output, igt_plane_t *plane)
>  {
>  	drmModeModeInfo *mode = igt_output_get_mode(output);
> @@ -987,14 +1117,16 @@ igt_main
>  		plane_primary(pipe_obj, primary, &fb);
>  	}
>  
> -	igt_subtest("plane_primary_overlay_zpos") {
> +	igt_describe("Verify that the overlay plane can cover the primary one (and "\
> +		     "vice versa) by changing their zpos property.");
> +	igt_subtest("plane_primary_overlay_mutable_zpos") {
>  		uint32_t format_primary = DRM_FORMAT_ARGB8888;
>  		uint32_t format_overlay = DRM_FORMAT_ARGB1555;
>  
>  		igt_plane_t *overlay =
>  			igt_pipe_get_plane_type(pipe_obj, DRM_PLANE_TYPE_OVERLAY);
> -
>  		igt_require(overlay);
> +
>  		igt_require(igt_plane_has_prop(primary, IGT_PLANE_ZPOS));
>  		igt_require(igt_plane_has_prop(overlay, IGT_PLANE_ZPOS));
>  
> @@ -1002,8 +1134,15 @@ igt_main
>  		igt_require(igt_plane_has_format_mod(overlay, format_overlay, 0x0));
>  
>  		igt_output_set_pipe(output, pipe);
> -		plane_primary_overlay_zpos(pipe_obj, output, primary, overlay,
> -					   format_primary, format_overlay);
> +		plane_primary_overlay_mutable_zpos(pipe_obj, output, primary, overlay,
> +					           format_primary, format_overlay);
> +	}
> +
> +	igt_describe("Verify the reported zpos property of planes by making sure "\
> +		     "only higher zpos planes cover the lower zpos ones.");
> +	igt_subtest("plane_immutable_zpos") {

'-' is the normal delimeter in subtest names.

> +		igt_output_set_pipe(output, pipe);
> +		plane_immutable_zpos(&display, pipe_obj, output);
>  	}

I don't see anything that checks the props are immutable. And probably we
shouldn't do any suhc checks. Ie. the test is more of "check the defaut
zpos values are correct". Although if the previous subtest messes with
the zpos (which it looks like it will) then this will test different
things depending on when it runs.

The other subtest also  seems needlessly specific (ie. only test a
single pair of planes). No idea why it wasn't made generic as well.

>  
>  	igt_subtest("test_only") {

Hrmh. Looks like this test has non-standard conventions :(


> @@ -1011,6 +1150,7 @@ igt_main
>  
>  		test_only(pipe_obj, primary, output);
>  	}
> +
>  	igt_subtest("plane_cursor_legacy") {
>  		igt_plane_t *cursor =
>  			igt_pipe_get_plane_type(pipe_obj, DRM_PLANE_TYPE_CURSOR);
> -- 
> 2.25.1
> 
> _______________________________________________
> igt-dev mailing list
> igt-dev at lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/igt-dev

-- 
Ville Syrjälä
Intel


More information about the igt-dev mailing list