src/glsl/nir/tests/control_flow_tests.cpp

   1 /*
   2  * Copyright © 2015 Intel Corporation
   3  *
   4  * Permission is hereby granted, free of charge, to any person obtaining a
   5  * copy of this software and associated documentation files (the "Software"),
   6  * to deal in the Software without restriction, including without limitation
   7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
   8  * and/or sell copies of the Software, and to permit persons to whom the
   9  * Software is furnished to do so, subject to the following conditions:
  10  *
  11  * The above copyright notice and this permission notice (including the next
  12  * paragraph) shall be included in all copies or substantial portions of the
  13  * Software.
  14  *
  15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  16  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  17  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  18  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  19  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  20  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  21  * DEALINGS IN THE SOFTWARE.
  22  */
  23 #include <gtest/gtest.h>
  24 #include "nir.h"
  25 #include "nir_builder.h"
  26
  27 class nir_cf_test : public ::testing::Test {
  28 protected:
  29    nir_cf_test();
  30    ~nir_cf_test();
  31
  32    nir_builder b;
  33    nir_shader *shader;
  34    nir_function_impl *impl;
  35 };
  36
  37 nir_cf_test::nir_cf_test()
  38 {
  39    static const nir_shader_compiler_options options = { };
  40    shader = nir_shader_create(NULL, MESA_SHADER_VERTEX, &options);
  41    nir_function *func = nir_function_create(shader, "main");
  42    impl = nir_function_impl_create(func);
  43
  44    nir_builder_init(&b, impl);
  45 }
  46
  47 nir_cf_test::~nir_cf_test()
  48 {
  49    ralloc_free(shader);
  50 }
  51
  52 TEST_F(nir_cf_test, delete_break_in_loop)
  53 {
  54    /* Create IR:
  55     *
  56     * while (...) { break; }
  57     */
  58    nir_loop *loop = nir_loop_create(shader);
  59    nir_cf_node_insert(nir_after_cf_list(&impl->body), &loop->cf_node);
  60
  61    b.cursor = nir_after_cf_list(&loop->body);
  62
  63    nir_jump_instr *jump = nir_jump_instr_create(shader, nir_jump_break);
  64    nir_builder_instr_insert(&b, &jump->instr);
  65
  66    /* At this point, we should have:
  67     *
  68     * impl main {
  69     *         block block_0:
  70     *         // preds:
  71     *         // succs: block_1
  72     *         loop {
  73     *                 block block_1:
  74     *                 // preds: block_0
  75     *                 break
  76     *                 // succs: block_2
  77     *         }
  78     *         block block_2:
  79     *         // preds: block_1
  80     *         // succs: block_3
  81     *         block block_3:
  82     * }
  83     */
  84    nir_block *block_0 = nir_start_block(impl);
  85    nir_block *block_1 = nir_cf_node_as_block(nir_loop_first_cf_node(loop));
  86    nir_block *block_2 = nir_cf_node_as_block(nir_cf_node_next(&loop->cf_node));
  87    nir_block *block_3 = impl->end_block;
  88    ASSERT_EQ(nir_cf_node_block, block_0->cf_node.type);
  89    ASSERT_EQ(nir_cf_node_block, block_1->cf_node.type);
  90    ASSERT_EQ(nir_cf_node_block, block_2->cf_node.type);
  91    ASSERT_EQ(nir_cf_node_block, block_3->cf_node.type);
  92
  93    /* Verify the successors and predecessors. */
  94    EXPECT_EQ(block_1, block_0->successors[0]);
  95    EXPECT_EQ(NULL,    block_0->successors[1]);
  96    EXPECT_EQ(block_2, block_1->successors[0]);
  97    EXPECT_EQ(NULL,    block_1->successors[1]);
  98    EXPECT_EQ(block_3, block_2->successors[0]);
  99    EXPECT_EQ(NULL,    block_2->successors[1]);
 100    EXPECT_EQ(NULL,    block_3->successors[0]);
 101    EXPECT_EQ(NULL,    block_3->successors[1]);
 102    EXPECT_EQ(0,       block_0->predecessors->entries);
 103    EXPECT_EQ(1,       block_1->predecessors->entries);
 104    EXPECT_EQ(1,       block_2->predecessors->entries);
 105    EXPECT_EQ(1,       block_3->predecessors->entries);
 106    EXPECT_TRUE(_mesa_set_search(block_1->predecessors, block_0));
 107    EXPECT_TRUE(_mesa_set_search(block_2->predecessors, block_1));
 108    EXPECT_TRUE(_mesa_set_search(block_3->predecessors, block_2));
 109
 110    nir_print_shader(shader, stderr);
 111
 112    /* Now remove the break. */
 113    nir_instr_remove(&jump->instr);
 114
 115    nir_print_shader(shader, stderr);
 116
 117    /* At this point, we should have:
 118     *
 119     * impl main {
 120     *         block block_0:
 121     *         // preds:
 122     *         // succs: block_1
 123     *         loop {
 124     *                 block block_1:
 125     *                 // preds: block_0 block_1
 126     *                 // succs: block_1
 127     *         }
 128     *         block block_2:
 129     *         // preds: block_1
 130     *         // succs: block_3
 131     *         block block_3:
 132     * }
 133     *
 134     * Re-verify the predecessors and successors.
 135     */
 136    EXPECT_EQ(block_1, block_0->successors[0]);
 137    EXPECT_EQ(NULL,    block_0->successors[1]);
 138    EXPECT_EQ(block_1, block_1->successors[0]); /* back to itself */
 139    EXPECT_EQ(block_2, block_1->successors[1]); /* fake successor */
 140    EXPECT_EQ(block_3, block_2->successors[0]);
 141    EXPECT_EQ(NULL,    block_2->successors[1]);
 142    EXPECT_EQ(NULL,    block_3->successors[0]);
 143    EXPECT_EQ(NULL,    block_3->successors[1]);
 144    EXPECT_EQ(0,       block_0->predecessors->entries);
 145    EXPECT_EQ(2,       block_1->predecessors->entries);
 146    EXPECT_EQ(1,       block_2->predecessors->entries);
 147    EXPECT_EQ(1,       block_3->predecessors->entries);
 148    EXPECT_TRUE(_mesa_set_search(block_1->predecessors, block_0));
 149    EXPECT_TRUE(_mesa_set_search(block_1->predecessors, block_1));
 150    EXPECT_TRUE(_mesa_set_search(block_2->predecessors, block_1));
 151    EXPECT_TRUE(_mesa_set_search(block_3->predecessors, block_2));
 152
 153    nir_metadata_require(impl, nir_metadata_dominance);
 154 }