glsl/standalone: Optimize add-of-neg to subtract
This just makes the output of the standalone compiler a little more compact. v2: Fix indexing typo noticed by Iago. Move the add_neg_to_sub_visitor to it's own header file. Add a unit test that exercises the visitor. Both the neg_a_plus_b and neg_a_plus_neg_b tests reproduced the bug that Iago discovered. Signed-off-by: Ian Romanick <ian.d.romanick@intel.com> Reviewed-by: Nicolai Hähnle <nicolai.haehnle@amd.com>
This commit is contained in:
Ian Romanick
210
src/compiler/glsl/tests/opt_add_neg_to_sub_test.cpp
Normal file
210
src/compiler/glsl/tests/opt_add_neg_to_sub_test.cpp
Normal file
@@ -0,0 +1,210 @@
|
||||
/*
|
||||
* Copyright © 2016 Intel Corporation
|
||||
*
|
||||
* Permission is hereby granted, free of charge, to any person obtaining a
|
||||
* copy of this software and associated documentation files (the "Software"),
|
||||
* to deal in the Software without restriction, including without limitation
|
||||
* the rights to use, copy, modify, merge, publish, distribute, sublicense,
|
||||
* and/or sell copies of the Software, and to permit persons to whom the
|
||||
* Software is furnished to do so, subject to the following conditions:
|
||||
*
|
||||
* The above copyright notice and this permission notice (including the next
|
||||
* paragraph) shall be included in all copies or substantial portions of the
|
||||
* Software.
|
||||
*
|
||||
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||||
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
||||
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
||||
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
||||
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
||||
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
||||
* DEALINGS IN THE SOFTWARE.
|
||||
*/
|
||||
#include <gtest/gtest.h>
|
||||
#include "ir.h"
|
||||
#include "ir_builder.h"
|
||||
#include "opt_add_neg_to_sub.h"
|
||||
|
||||
using namespace ir_builder;
|
||||
|
||||
class add_neg_to_sub : public ::testing::Test {
|
||||
public:
|
||||
virtual void SetUp();
|
||||
virtual void TearDown();
|
||||
|
||||
exec_list instructions;
|
||||
ir_factory *body;
|
||||
void *mem_ctx;
|
||||
ir_variable *var_a;
|
||||
ir_variable *var_b;
|
||||
ir_variable *var_c;
|
||||
add_neg_to_sub_visitor v;
|
||||
};
|
||||
|
||||
void
|
||||
add_neg_to_sub::SetUp()
|
||||
{
|
||||
mem_ctx = ralloc_context(NULL);
|
||||
|
||||
instructions.make_empty();
|
||||
body = new ir_factory(&instructions, mem_ctx);
|
||||
|
||||
var_a = new(mem_ctx) ir_variable(glsl_type::float_type,
|
||||
"a",
|
||||
ir_var_temporary);
|
||||
|
||||
var_b = new(mem_ctx) ir_variable(glsl_type::float_type,
|
||||
"b",
|
||||
ir_var_temporary);
|
||||
|
||||
var_c = new(mem_ctx) ir_variable(glsl_type::float_type,
|
||||
"c",
|
||||
ir_var_temporary);
|
||||
}
|
||||
|
||||
void
|
||||
add_neg_to_sub::TearDown()
|
||||
{
|
||||
delete body;
|
||||
body = NULL;
|
||||
|
||||
ralloc_free(mem_ctx);
|
||||
mem_ctx = NULL;
|
||||
}
|
||||
|
||||
TEST_F(add_neg_to_sub, a_plus_b)
|
||||
{
|
||||
body->emit(assign(var_c, add(var_a, var_b)));
|
||||
|
||||
visit_list_elements(&v, &instructions);
|
||||
|
||||
ASSERT_FALSE(instructions.is_empty());
|
||||
|
||||
ir_instruction *const ir = (ir_instruction *) instructions.pop_head();
|
||||
|
||||
EXPECT_TRUE(instructions.is_empty());
|
||||
|
||||
/* The resulting instruction should be 'c = a + b'. */
|
||||
ir_assignment *const assign = ir->as_assignment();
|
||||
ASSERT_NE((void *)0, assign);
|
||||
|
||||
EXPECT_EQ(var_c, assign->lhs->variable_referenced());
|
||||
|
||||
ir_expression *const expr = assign->rhs->as_expression();
|
||||
ASSERT_NE((void *)0, expr);
|
||||
EXPECT_EQ(ir_binop_add, expr->operation);
|
||||
|
||||
ir_dereference_variable *const deref_a =
|
||||
expr->operands[0]->as_dereference_variable();
|
||||
ir_dereference_variable *const deref_b =
|
||||
expr->operands[1]->as_dereference_variable();
|
||||
|
||||
ASSERT_NE((void *)0, deref_a);
|
||||
EXPECT_EQ(var_a, deref_a->var);
|
||||
ASSERT_NE((void *)0, deref_b);
|
||||
EXPECT_EQ(var_b, deref_b->var);
|
||||
}
|
||||
|
||||
TEST_F(add_neg_to_sub, a_plus_neg_b)
|
||||
{
|
||||
body->emit(assign(var_c, add(var_a, neg(var_b))));
|
||||
|
||||
visit_list_elements(&v, &instructions);
|
||||
|
||||
ASSERT_FALSE(instructions.is_empty());
|
||||
|
||||
ir_instruction *const ir = (ir_instruction *) instructions.pop_head();
|
||||
|
||||
EXPECT_TRUE(instructions.is_empty());
|
||||
|
||||
/* The resulting instruction should be 'c = a - b'. */
|
||||
ir_assignment *const assign = ir->as_assignment();
|
||||
ASSERT_NE((void *)0, assign);
|
||||
|
||||
EXPECT_EQ(var_c, assign->lhs->variable_referenced());
|
||||
|
||||
ir_expression *const expr = assign->rhs->as_expression();
|
||||
ASSERT_NE((void *)0, expr);
|
||||
EXPECT_EQ(ir_binop_sub, expr->operation);
|
||||
|
||||
ir_dereference_variable *const deref_a =
|
||||
expr->operands[0]->as_dereference_variable();
|
||||
ir_dereference_variable *const deref_b =
|
||||
expr->operands[1]->as_dereference_variable();
|
||||
|
||||
ASSERT_NE((void *)0, deref_a);
|
||||
EXPECT_EQ(var_a, deref_a->var);
|
||||
ASSERT_NE((void *)0, deref_b);
|
||||
EXPECT_EQ(var_b, deref_b->var);
|
||||
}
|
||||
|
||||
TEST_F(add_neg_to_sub, neg_a_plus_b)
|
||||
{
|
||||
body->emit(assign(var_c, add(neg(var_a), var_b)));
|
||||
|
||||
visit_list_elements(&v, &instructions);
|
||||
|
||||
ASSERT_FALSE(instructions.is_empty());
|
||||
|
||||
ir_instruction *const ir = (ir_instruction *) instructions.pop_head();
|
||||
|
||||
EXPECT_TRUE(instructions.is_empty());
|
||||
|
||||
/* The resulting instruction should be 'c = b - a'. */
|
||||
ir_assignment *const assign = ir->as_assignment();
|
||||
ASSERT_NE((void *)0, assign);
|
||||
|
||||
EXPECT_EQ(var_c, assign->lhs->variable_referenced());
|
||||
|
||||
ir_expression *const expr = assign->rhs->as_expression();
|
||||
ASSERT_NE((void *)0, expr);
|
||||
EXPECT_EQ(ir_binop_sub, expr->operation);
|
||||
|
||||
ir_dereference_variable *const deref_b =
|
||||
expr->operands[0]->as_dereference_variable();
|
||||
ir_dereference_variable *const deref_a =
|
||||
expr->operands[1]->as_dereference_variable();
|
||||
|
||||
ASSERT_NE((void *)0, deref_a);
|
||||
EXPECT_EQ(var_a, deref_a->var);
|
||||
ASSERT_NE((void *)0, deref_b);
|
||||
EXPECT_EQ(var_b, deref_b->var);
|
||||
}
|
||||
|
||||
TEST_F(add_neg_to_sub, neg_a_plus_neg_b)
|
||||
{
|
||||
body->emit(assign(var_c, add(neg(var_a), neg(var_b))));
|
||||
|
||||
visit_list_elements(&v, &instructions);
|
||||
|
||||
ASSERT_FALSE(instructions.is_empty());
|
||||
|
||||
ir_instruction *const ir = (ir_instruction *) instructions.pop_head();
|
||||
|
||||
EXPECT_TRUE(instructions.is_empty());
|
||||
|
||||
/* The resulting instruction should be 'c = -b - a'. */
|
||||
ir_assignment *const assign = ir->as_assignment();
|
||||
ASSERT_NE((void *)0, assign);
|
||||
|
||||
EXPECT_EQ(var_c, assign->lhs->variable_referenced());
|
||||
|
||||
ir_expression *const expr = assign->rhs->as_expression();
|
||||
ASSERT_NE((void *)0, expr);
|
||||
EXPECT_EQ(ir_binop_sub, expr->operation);
|
||||
|
||||
ir_expression *const neg_b = expr->operands[0]->as_expression();
|
||||
ir_dereference_variable *const deref_a =
|
||||
expr->operands[1]->as_dereference_variable();
|
||||
|
||||
ASSERT_NE((void *)0, deref_a);
|
||||
EXPECT_EQ(var_a, deref_a->var);
|
||||
|
||||
ASSERT_NE((void *)0, neg_b);
|
||||
|
||||
ir_dereference_variable *const deref_b =
|
||||
neg_b->operands[0]->as_dereference_variable();
|
||||
|
||||
ASSERT_NE((void *)0, deref_b);
|
||||
EXPECT_EQ(var_b, deref_b->var);
|
||||
}
|
||||
Reference in New Issue
Block a user