ir.h revision 11d6f1c69871d0b7edc28f639256460839fccd2d
1986b8f798272d3ae2898617c8fb089156a5941c0Ian Romanick/* -*- c++ -*- */ 2a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick/* 3a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Copyright © 2010 Intel Corporation 4a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 5a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Permission is hereby granted, free of charge, to any person obtaining a 6a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * copy of this software and associated documentation files (the "Software"), 7a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * to deal in the Software without restriction, including without limitation 8a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * the rights to use, copy, modify, merge, publish, distribute, sublicense, 9a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * and/or sell copies of the Software, and to permit persons to whom the 10a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Software is furnished to do so, subject to the following conditions: 11a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 12a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * The above copyright notice and this permission notice (including the next 13a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * paragraph) shall be included in all copies or substantial portions of the 14a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Software. 15a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 16a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING 21a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 22a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * DEALINGS IN THE SOFTWARE. 23a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 24a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 25e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick#pragma once 26e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick#ifndef IR_H 27e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick#define IR_H 28e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick 29ac95f2f8c88d39aaa878f61172d9748af13e2c80Eric Anholt#include <cstdio> 30ac95f2f8c88d39aaa878f61172d9748af13e2c80Eric Anholt#include <cstdlib> 31ac95f2f8c88d39aaa878f61172d9748af13e2c80Eric Anholt 32f961e4458f1e894ca782c1627b69cdee993a16f8Carl Worthextern "C" { 33f961e4458f1e894ca782c1627b69cdee993a16f8Carl Worth#include <talloc.h> 34f961e4458f1e894ca782c1627b69cdee993a16f8Carl Worth} 35f961e4458f1e894ca782c1627b69cdee993a16f8Carl Worth 3611d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick#include "glsl_types.h" 370044e7edcea22d2456c051a1c4b744a26960ad27Ian Romanick#include "list.h" 3878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick#include "ir_visitor.h" 398895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick#include "ir_hierarchical_visitor.h" 400044e7edcea22d2456c051a1c4b744a26960ad27Ian Romanick 41e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/** 42e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \defgroup IR Intermediate representation nodes 43e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 44e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * @{ 45e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 46e053d62aa573651abdd78666d299272c8219a3aaIan Romanick 47e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/** 48e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Class tags 49e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 50e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Each concrete class derived from \c ir_instruction has a value in this 51e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * enumerant. The value for the type is stored in \c ir_instruction::ir_type 52e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * by the constructor. While using type tags is not very C++, it is extremely 53e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * convenient. For example, during debugging you can simply inspect 54e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \c ir_instruction::ir_type to find out the actual type of the object. 55e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 56e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * In addition, it is possible to use a switch-statement based on \c 57e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \c ir_instruction::ir_type to select different behavior for different object 58e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * types. For functions that have only slight differences for several object 59e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * types, this allows writing very straightforward, readable code. 60e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 61d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholtenum ir_node_type { 62e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 63e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Zero is unused so that the IR validator can detect cases where 64e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \c ir_instruction::ir_type has not been initialized. 65e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 66d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_unset, 67d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_variable, 68d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_assignment, 69d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_call, 70d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_constant, 71d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_dereference_array, 72d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_dereference_record, 73d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_dereference_variable, 74d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_discard, 75d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_expression, 76d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_function, 77d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_function_signature, 78d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_if, 79d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_loop, 80d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_loop_jump, 81d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_return, 82d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_swizzle, 83d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type_texture, 846dc89d221d43fad5f3edbb903997160af071bec0Brian Paul ir_type_max /**< maximum ir_type enum number, for validation */ 85d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt}; 86d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt 87a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick/** 88a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Base class of all IR instructions 89a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 900044e7edcea22d2456c051a1c4b744a26960ad27Ian Romanickclass ir_instruction : public exec_node { 91a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 92d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt enum ir_node_type ir_type; 93a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick const struct glsl_type *type; 94a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 95e46a454305af64710ce8deadafc718f75363ac7eEric Anholt /** ir_print_visitor helper for debugging. */ 964b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt void print(void) const; 97e46a454305af64710ce8deadafc718f75363ac7eEric Anholt 9878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *) = 0; 998895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *) = 0; 1008273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_instruction *clone(void *mem_ctx, 1018273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt struct hash_table *ht) const = 0; 10278b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 10344e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke /** 10444e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke * \name IR instruction downcast functions 10544e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke * 10644e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke * These functions either cast the object to a derived class or return 10744e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke * \c NULL if the object's type does not match the specified derived class. 10844e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke * Additional downcast functions will be added as needed. 10944e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke */ 11044e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke /*@{*/ 11144e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke virtual class ir_variable * as_variable() { return NULL; } 1126202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke virtual class ir_function * as_function() { return NULL; } 11344e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke virtual class ir_dereference * as_dereference() { return NULL; } 114b145e903694fa932ab1e0d955e889555193ab604Eric Anholt virtual class ir_dereference_array * as_dereference_array() { return NULL; } 115d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt virtual class ir_dereference_variable *as_dereference_variable() { return NULL; } 1166d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt virtual class ir_expression * as_expression() { return NULL; } 117fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke virtual class ir_rvalue * as_rvalue() { return NULL; } 11801f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick virtual class ir_loop * as_loop() { return NULL; } 119cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual class ir_assignment * as_assignment() { return NULL; } 120cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual class ir_call * as_call() { return NULL; } 121cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual class ir_return * as_return() { return NULL; } 1225ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt virtual class ir_if * as_if() { return NULL; } 1237d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt virtual class ir_swizzle * as_swizzle() { return NULL; } 1245c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt virtual class ir_constant * as_constant() { return NULL; } 12544e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke /*@}*/ 12644e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke 127a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickprotected: 12844e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke ir_instruction() 129d27ec2461bca2625d09a3592ec8cc4137d4347f3Ian Romanick { 130d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type = ir_type_unset; 1310a89175a35ba3ac2a94d0ba9bcc9926edc8927e3Kenneth Graunke type = NULL; 132d27ec2461bca2625d09a3592ec8cc4137d4347f3Ian Romanick } 133a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 134a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 135a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 136fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeclass ir_rvalue : public ir_instruction { 137fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkepublic: 1388273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_rvalue *clone(void *mem_ctx, struct hash_table *) const = 0; 139ca088cc277ce9f986693c857f3961dc0e1a4d91cIan Romanick 140fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value() = 0; 141fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 142fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke virtual ir_rvalue * as_rvalue() 143fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke { 144fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke return this; 145fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke } 146fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 147fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke virtual bool is_lvalue() 148fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke { 149fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke return false; 150fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke } 151fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 1522b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick /** 1532b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick * Get the variable that is ultimately referenced by an r-value 1542b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick */ 1552b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick virtual ir_variable *variable_referenced() 1562b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick { 1572b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick return NULL; 1582b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick } 1592b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick 160b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick 161b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick /** 162b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * If an r-value is a reference to a whole variable, get that variable 163b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * 164b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * \return 165b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * Pointer to a variable that is completely dereferenced by the r-value. If 166b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * the r-value is not a dereference or the dereference does not access the 167b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * entire variable (i.e., it's just one array element, struct field), \c NULL 168b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * is returned. 169b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick */ 170b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick virtual ir_variable *whole_variable_referenced() 171b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick { 172b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick return NULL; 173b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick } 174b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick 175ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick /** 176ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * Determine if an r-value has the value zero 177ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * 178ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * The base implementation of this function always returns \c false. The 179ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * \c ir_constant class over-rides this function to return \c true \b only 180ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * for vector and scalar types that have all elements set to the value 181ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * zero (or \c false for booleans). 182ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * 1838e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * \sa ir_constant::has_value, ir_rvalue::is_one, ir_rvalue::is_negative_one 184ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick */ 185ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick virtual bool is_zero() const; 186ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick 187ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick /** 188ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * Determine if an r-value has the value one 189ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * 190ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * The base implementation of this function always returns \c false. The 191ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * \c ir_constant class over-rides this function to return \c true \b only 192ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * for vector and scalar types that have all elements set to the value 193ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * one (or \c true for booleans). 194ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick * 1958e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * \sa ir_constant::has_value, ir_rvalue::is_zero, ir_rvalue::is_negative_one 196ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick */ 197ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick virtual bool is_one() const; 198ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick 1998e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick /** 2008e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * Determine if an r-value has the value negative one 2018e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * 2028e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * The base implementation of this function always returns \c false. The 2038e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * \c ir_constant class over-rides this function to return \c true \b only 2048e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * for vector and scalar types that have all elements set to the value 2058e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * negative one. For boolean times, the result is always \c false. 2068e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * 2078e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * \sa ir_constant::has_value, ir_rvalue::is_zero, ir_rvalue::is_one 2088e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick */ 2098e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick virtual bool is_negative_one() const; 2108e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick 211fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeprotected: 2120a89175a35ba3ac2a94d0ba9bcc9926edc8927e3Kenneth Graunke ir_rvalue(); 213fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke}; 214fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 215fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 216e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/** 217e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Variable storage classes 218e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 219a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickenum ir_variable_mode { 220e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_var_auto = 0, /**< Function local variables and globals. */ 221e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_var_uniform, /**< Variable declared as a uniform. */ 222a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_var_in, 223a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_var_out, 2247e2aa91507a5883e33473e0a94215ee3985baad1Ian Romanick ir_var_inout, 2257e2aa91507a5883e33473e0a94215ee3985baad1Ian Romanick ir_var_temporary /**< Temporary variable generated during compilation. */ 226a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 227a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 228a22426dc4c934673e8f0af5c70a67505a4de7aadCarl Worthenum ir_variable_interpolation { 229a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_var_smooth = 0, 230a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_var_flat, 231a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_var_noperspective 232a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 233a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 234fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 235a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickclass ir_variable : public ir_instruction { 236a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 2377e2aa91507a5883e33473e0a94215ee3985baad1Ian Romanick ir_variable(const struct glsl_type *, const char *, ir_variable_mode); 238a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 2398273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_variable *clone(void *mem_ctx, struct hash_table *ht) const; 2404b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 24144e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke virtual ir_variable *as_variable() 24244e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke { 24344e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke return this; 24444e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke } 24544e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke 24678b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 24778b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 24878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 24978b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 25078b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 2518895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 2528895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 2532d394d4877794d19756c3760d711524dca89f772Ian Romanick 254950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick /** 255950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick * Get the string value for the interpolation qualifier 256950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick * 257046bef235744e891e4a48076e1a3ff9a61a63092Eric Anholt * \return The string that would be used in a shader to specify \c 258046bef235744e891e4a48076e1a3ff9a61a63092Eric Anholt * mode will be returned. 259046bef235744e891e4a48076e1a3ff9a61a63092Eric Anholt * 260046bef235744e891e4a48076e1a3ff9a61a63092Eric Anholt * This function should only be used on a shader input or output variable. 261950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick */ 262950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick const char *interpolation_string() const; 263950ceb2bd60c25e7fecdff0fbcbf6e69015588f3Ian Romanick 2648b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick /** 2658b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick * Calculate the number of slots required to hold this variable 2668b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick * 2678b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick * This is used to determine how many uniform or varying locations a variable 2688b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick * occupies. The count is in units of floating point components. 2698b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick */ 2708b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick unsigned component_slots() const; 2718b80e9f9e3bc9ca41c95125826139471f73602c4Ian Romanick 272e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 273e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Delcared name of the variable 274e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 275a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick const char *name; 276a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 277b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick /** 278b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick * Highest element accessed with a constant expression array index 279b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick * 280b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick * Not used for non-array variables. 281b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick */ 282b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick unsigned max_array_access; 283b8a21cc6df7e9da15a24ed3dbf60cd4aeb8effaaIan Romanick 284e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 285e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Is the variable read-only? 286e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 287e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * This is set for variables declared as \c const, shader inputs, 288e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * and uniforms. 289e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 290a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned read_only:1; 291a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned centroid:1; 292a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned invariant:1; 293a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 294e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 295e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Storage class of the variable. 296e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 297e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \sa ir_variable_mode 298e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 299a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned mode:3; 300e053d62aa573651abdd78666d299272c8219a3aaIan Romanick 301e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 302e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Interpolation mode for shader inputs / outputs 303e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 304e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \sa ir_variable_interpolation 305e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 306a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned interpolation:2; 3079d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick 3089d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick /** 3099d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick * Flag that the whole array is assignable 3109d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick * 3119d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick * In GLSL 1.20 and later whole arrays are assignable (and comparable for 3129d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick * equality). This flag enables this behavior. 3139d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick */ 3149d975377ca6dae7805804c0fbe625bb7c5f9e095Ian Romanick unsigned array_lvalue:1; 315326c676236e6a3c90db63e4d0c893aa4f9c21876Eric Anholt 316e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 317e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \name ARB_fragment_coord_conventions 318e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * @{ 319e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 3204a962170d7cf4243d6ae156fca20a6167388925dEric Anholt unsigned origin_upper_left:1; 3214a962170d7cf4243d6ae156fca20a6167388925dEric Anholt unsigned pixel_center_integer:1; 322e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /*@}*/ 3234a962170d7cf4243d6ae156fca20a6167388925dEric Anholt 324326c676236e6a3c90db63e4d0c893aa4f9c21876Eric Anholt /** 325eee68d3631813580a14fa51fda6f0c959279256cIan Romanick * Was the location explicitly set in the shader? 326eee68d3631813580a14fa51fda6f0c959279256cIan Romanick * 327eee68d3631813580a14fa51fda6f0c959279256cIan Romanick * If the location is explicitly set in the shader, it \b cannot be changed 328eee68d3631813580a14fa51fda6f0c959279256cIan Romanick * by the linker or by the API (e.g., calls to \c glBindAttribLocation have 329eee68d3631813580a14fa51fda6f0c959279256cIan Romanick * no effect). 330eee68d3631813580a14fa51fda6f0c959279256cIan Romanick */ 331eee68d3631813580a14fa51fda6f0c959279256cIan Romanick unsigned explicit_location:1; 332eee68d3631813580a14fa51fda6f0c959279256cIan Romanick 333eee68d3631813580a14fa51fda6f0c959279256cIan Romanick /** 33469a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * Storage location of the base of this variable 33569a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * 33669a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * The precise meaning of this field depends on the nature of the variable. 33769a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * 33869a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Vertex shader input: one of the values from \c gl_vert_attrib. 33969a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Vertex shader output: one of the values from \c gl_vert_result. 34069a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Fragment shader input: one of the values from \c gl_frag_attrib. 34169a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Fragment shader output: one of the values from \c gl_frag_result. 34269a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Uniforms: Per-stage uniform slot number. 34369a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * - Other: This field is not currently used. 34469a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * 34569a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * If the variable is a uniform, shader input, or shader output, and the 34669a079aee8f79104501faeb2a5092b643f956d33Ian Romanick * slot has not been assigned, the value will be -1. 34769a079aee8f79104501faeb2a5092b643f956d33Ian Romanick */ 34869a079aee8f79104501faeb2a5092b643f956d33Ian Romanick int location; 34969a079aee8f79104501faeb2a5092b643f956d33Ian Romanick 35069a079aee8f79104501faeb2a5092b643f956d33Ian Romanick /** 351c178c74c27ab292651dcf7da02a7d035366cae04Ian Romanick * Emit a warning if this variable is accessed. 352c178c74c27ab292651dcf7da02a7d035366cae04Ian Romanick */ 353c178c74c27ab292651dcf7da02a7d035366cae04Ian Romanick const char *warn_extension; 354c178c74c27ab292651dcf7da02a7d035366cae04Ian Romanick 355c178c74c27ab292651dcf7da02a7d035366cae04Ian Romanick /** 356326c676236e6a3c90db63e4d0c893aa4f9c21876Eric Anholt * Value assigned in the initializer of a variable declared "const" 357326c676236e6a3c90db63e4d0c893aa4f9c21876Eric Anholt */ 358326c676236e6a3c90db63e4d0c893aa4f9c21876Eric Anholt ir_constant *constant_value; 359a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 360a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 361a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 362a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick/*@{*/ 3639fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke/** 3649fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke * The representation of a function instance; may be the full definition or 3659fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke * simply a prototype. 3669fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke */ 367a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickclass ir_function_signature : public ir_instruction { 368894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt /* An ir_function_signature will be part of the list of signatures in 369894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt * an ir_function. 370894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt */ 371a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 372e39cc69fa3cb830b803fe0c4f6c30915aa886b5bIan Romanick ir_function_signature(const glsl_type *return_type); 373a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 3748273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_function_signature *clone(void *mem_ctx, 3758273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt struct hash_table *ht) const; 3764b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 37778b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 37878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 37978b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 38078b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 38178b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 3828895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 3838895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 384a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 3850f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick * Get the name of the function for which this is a signature 3860f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick */ 3870f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick const char *function_name() const; 3880f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick 3890f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick /** 390df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * Get a handle to the function for which this is a signature 391df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * 392df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * There is no setter function, this function returns a \c const pointer, 393df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * and \c ir_function_signature::_function is private for a reason. The 394df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * only way to make a connection between a function and function signature 395df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * is via \c ir_function::add_signature. This helps ensure that certain 396df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * invariants (i.e., a function signature is in the list of signatures for 397df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * its \c _function) are met. 398df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * 399df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick * \sa ir_function::add_signature 400df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick */ 401df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick inline const class ir_function *function() const 402df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick { 403df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick return this->_function; 404df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick } 405df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick 406df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick /** 407abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke * Check whether the qualifiers match between this signature's parameters 408abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke * and the supplied parameter list. If not, returns the name of the first 409abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke * parameter with mismatched qualifiers (for use in error messages). 410abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke */ 411abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke const char *qualifiers_match(exec_list *params); 412abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke 413abd40b15210c17b2a3ba8fcffc868fda203efa01Kenneth Graunke /** 414bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke * Replace the current parameter list with the given one. This is useful 415bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke * if the current information came from a prototype, and either has invalid 416bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke * or missing parameter names. 417bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke */ 418bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke void replace_parameters(exec_list *new_params); 419bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke 420bff6013d469b3d4e54cdc5731801c56994a523ecKenneth Graunke /** 421a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Function return type. 422a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 423a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * \note This discards the optional precision qualifier. 424a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 425a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick const struct glsl_type *return_type; 426a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 427a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 428f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt * List of ir_variable of function parameters. 429f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt * 430f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt * This represents the storage. The paramaters passed in a particular 431f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt * call will be in ir_call::actual_paramaters. 432a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 4330044e7edcea22d2456c051a1c4b744a26960ad27Ian Romanick struct exec_list parameters; 434a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 4359fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke /** Whether or not this function has a body (which may be empty). */ 4369fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke unsigned is_defined:1; 4376a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick 438f412fac5b46eb274cbed8e62234d5dbfd859f1feKenneth Graunke /** Whether or not this function signature is a built-in. */ 439f412fac5b46eb274cbed8e62234d5dbfd859f1feKenneth Graunke unsigned is_builtin:1; 440f412fac5b46eb274cbed8e62234d5dbfd859f1feKenneth Graunke 441894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt /** Body of instructions in the function. */ 442894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt struct exec_list body; 443894ea972a4defdaafeaa3a248c113b06c7ae0c7eEric Anholt 4446a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanickprivate: 4456a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick /** Function of which this signature is one overload. */ 446df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick class ir_function *_function; 4476a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick 4486a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick friend class ir_function; 449a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 450a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 451a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 452a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick/** 4539fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke * Header for tracking multiple overloaded functions with the same name. 4549fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke * Contains a list of ir_function_signatures representing each of the 4559fa99f3b6c84fe927ba97e6584cd919f097a6c9aKenneth Graunke * actual functions. 456a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 457a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickclass ir_function : public ir_instruction { 458a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 459882dad75408fc4071a9dd700309f9e54f6ad2650Ian Romanick ir_function(const char *name); 460a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 4618273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_function *clone(void *mem_ctx, struct hash_table *ht) const; 4624b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 4636202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke virtual ir_function *as_function() 4646202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke { 4656202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke return this; 4666202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke } 4676202cbfe3614141e330501959a7322522b35f4e4Kenneth Graunke 46878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 46978b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 47078b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 47178b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 47278b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 4738895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 4748895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 4756a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick void add_signature(ir_function_signature *sig) 4766a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick { 477df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick sig->_function = this; 478df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick this->signatures.push_tail(sig); 4796a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick } 4806a15d5b514b703ff8dd024f96ffbcb68484a954eIan Romanick 481a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 48295cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick * Get an iterator for the set of function signatures 48395cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick */ 48495cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick exec_list_iterator iterator() 48595cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick { 48695cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick return signatures.iterator(); 48795cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick } 48895cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick 48995cd6cc195f4652378d7ecf614c6e1c568311a04Ian Romanick /** 4900d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke * Find a signature that matches a set of actual parameters, taking implicit 4910d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke * conversions into account. 492471471f83471481db0445e73f8c89e6a9149838eIan Romanick */ 493b95897b89d36a25c237a021c299a4eb295856476Ian Romanick ir_function_signature *matching_signature(const exec_list *actual_param); 494471471f83471481db0445e73f8c89e6a9149838eIan Romanick 495471471f83471481db0445e73f8c89e6a9149838eIan Romanick /** 4960d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke * Find a signature that exactly matches a set of actual parameters without 4970d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke * any implicit type conversions. 4980d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke */ 499b95897b89d36a25c237a021c299a4eb295856476Ian Romanick ir_function_signature *exact_matching_signature(const exec_list *actual_ps); 5000d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke 5010d605cb97c9cd2f9a170e3aa15bdf4021a75fc14Kenneth Graunke /** 502a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Name of the function. 503a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 504a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick const char *name; 505a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 50681f03393982c29f8f4165b5629c8e8fb708b97a3Kenneth Graunke /** Whether or not this function has a signature that isn't a built-in. */ 50781f03393982c29f8f4165b5629c8e8fb708b97a3Kenneth Graunke bool has_user_signature(); 508b6f15869b324ae64a00d0fe46fa3c8c62c1edb6cKenneth Graunke 509471471f83471481db0445e73f8c89e6a9149838eIan Romanick /** 510f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt * List of ir_function_signature for each overloaded function with this name. 511471471f83471481db0445e73f8c89e6a9149838eIan Romanick */ 5120044e7edcea22d2456c051a1c4b744a26960ad27Ian Romanick struct exec_list signatures; 513a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 5140f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick 5150f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanickinline const char *ir_function_signature::function_name() const 5160f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick{ 517df05ad4e1aa5512ce1dfd2e6661641e012c8b279Ian Romanick return this->_function->name; 5180f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick} 519a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick/*@}*/ 520a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 521a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 5223c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick/** 5233c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick * IR instruction representing high-level if-statements 5243c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick */ 5253c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanickclass ir_if : public ir_instruction { 5263c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanickpublic: 5273c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick ir_if(ir_rvalue *condition) 5283c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick : condition(condition) 5293c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick { 530d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type = ir_type_if; 5313c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick } 5323c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick 5338273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_if *clone(void *mem_ctx, struct hash_table *ht) const; 5344b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 5355ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt virtual ir_if *as_if() 5365ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt { 5375ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt return this; 5385ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt } 5395ba94206083fcd678febd6cac0231f35c0f1b77aEric Anholt 5403c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick virtual void accept(ir_visitor *v) 5413c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick { 5423c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick v->visit(this); 5433c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick } 5443c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick 5458895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 5468895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 5473c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick ir_rvalue *condition; 548f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt /** List of ir_instruction for the body of the then branch */ 5493c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick exec_list then_instructions; 550f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt /** List of ir_instruction for the body of the else branch */ 5513c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick exec_list else_instructions; 5523c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick}; 5533c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick 5543c6fea3048a0d9add2fec621d30c32f3519d8868Ian Romanick 555fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick/** 556fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick * IR instruction representing a high-level loop structure. 557fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick */ 558fad607a9be59056aecda50176b4d20a8b5319747Ian Romanickclass ir_loop : public ir_instruction { 559fad607a9be59056aecda50176b4d20a8b5319747Ian Romanickpublic: 5603b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick ir_loop(); 561fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 5628273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_loop *clone(void *mem_ctx, struct hash_table *ht) const; 5634b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 564fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick virtual void accept(ir_visitor *v) 565fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick { 566fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick v->visit(this); 567fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick } 568fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 5698895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 5708895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 57101f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick virtual ir_loop *as_loop() 57201f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick { 57301f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick return this; 57401f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick } 57501f8de4a87157b01e8b9fe31c6766a15bbfb2788Ian Romanick 576fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick /** 577fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick * Get an iterator for the instructions of the loop body 578fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick */ 579fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick exec_list_iterator iterator() 580fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick { 581fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick return body_instructions.iterator(); 582fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick } 583fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 584f1ddca9f2143e377d2a70941dcedbb1f5c699e07Eric Anholt /** List of ir_instruction that make up the body of the loop. */ 585fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick exec_list body_instructions; 586fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 587fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick /** 588fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick * \name Loop counter and controls 5893b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * 5903b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * Represents a loop like a FORTRAN \c do-loop. 5913b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * 5923b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * \note 5933b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * If \c from and \c to are the same value, the loop will execute once. 594fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick */ 595fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick /*@{*/ 5963b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick ir_rvalue *from; /** Value of the loop counter on the first 5973b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * iteration of the loop. 5983b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick */ 5993b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick ir_rvalue *to; /** Value of the loop counter on the last 6003b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * iteration of the loop. 6013b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick */ 602fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick ir_rvalue *increment; 603fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick ir_variable *counter; 6043b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick 6053b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick /** 6063b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * Comparison operation in the loop terminator. 6073b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * 6083b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * If any of the loop control fields are non-\c NULL, this field must be 6093b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * one of \c ir_binop_less, \c ir_binop_greater, \c ir_binop_lequal, 6103b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick * \c ir_binop_gequal, \c ir_binop_equal, or \c ir_binop_nequal. 6113b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick */ 6123b85f1cc6cb12e9d4931e12cf29adde578f389fdIan Romanick int cmp; 613fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick /*@}*/ 614fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick}; 615fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 616fad607a9be59056aecda50176b4d20a8b5319747Ian Romanick 6173c033637de7def553559c11d037f2e8bbb750f77Kenneth Graunkeclass ir_assignment : public ir_instruction { 618a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 619fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_assignment(ir_rvalue *lhs, ir_rvalue *rhs, ir_rvalue *condition); 620a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 6215a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick /** 6225a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * Construct an assignment with an explicit write mask 6235a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * 6245a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * \note 6255a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * Since a write mask is supplied, the LHS must already be a bare 6265a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * \c ir_dereference. The cannot be any swizzles in the LHS. 6275a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick */ 6285a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick ir_assignment(ir_dereference *lhs, ir_rvalue *rhs, ir_rvalue *condition, 6295a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick unsigned write_mask); 6305a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick 6318273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_assignment *clone(void *mem_ctx, struct hash_table *ht) const; 6324b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 633fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 634fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 63578b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 63678b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 63778b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 63878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 63978b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 6408895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 6418895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 642cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual ir_assignment * as_assignment() 643cad9766118d269725ef33b4e9588d674d5225010Eric Anholt { 644cad9766118d269725ef33b4e9588d674d5225010Eric Anholt return this; 645cad9766118d269725ef33b4e9588d674d5225010Eric Anholt } 646cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 647a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 6485a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * Get a whole variable written by an assignment 6495a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * 6505a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * If the LHS of the assignment writes a whole variable, the variable is 6515a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * returned. Otherwise \c NULL is returned. Examples of whole-variable 6525a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * assignment are: 6535a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * 6545a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * - Assigning to a scalar 6555a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * - Assigning to all components of a vector 6565a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * - Whole array (or matrix) assignment 6575a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * - Whole structure assignment 6585a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick */ 6595a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick ir_variable *whole_variable_written(); 6605a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick 6615a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick /** 6625a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * Set the LHS of an assignment 6635a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick */ 6645a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick void set_lhs(ir_rvalue *lhs); 6655a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick 6665a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick /** 667a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Left-hand side of the assignment. 6685a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * 6695a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * This should be treated as read only. If you need to set the LHS of an 6705a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * assignment, use \c ir_assignment::set_lhs. 671a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 6725a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick ir_dereference *lhs; 673a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 674a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 675a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Value being assigned 676a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 677fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_rvalue *rhs; 678a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 679a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 680a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Optional condition for the assignment. 681a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 682fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_rvalue *condition; 6835a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick 6845a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick 6855a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick /** 6865a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * Component mask written 6875a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * 6885a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * For non-vector types in the LHS, this field will be zero. For vector 6895a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * types, a bit will be set for each component that is written. Note that 6905a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick * for \c vec2 and \c vec3 types only the lower bits will ever be set. 691b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * 692b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * A partially-set write mask means that each enabled channel gets 693b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * the value from a consecutive channel of the rhs. For example, 694b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * to write just .xyw of gl_FrontColor with color: 695b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * 696b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * (assign (constant bool (1)) (xyw) 697b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * (var_ref gl_FragColor) 698b39e6f33b60ef9bbaf81f320aaca6a440d8a6a8fEric Anholt * (swiz xyw (var_ref color))) 6995a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick */ 7005a7758efbe14dee026245a4f4f4fb3ccf7b2c23bIan Romanick unsigned write_mask:4; 701a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 702a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 7033b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke/* Update ir_expression::num_operands() and operator_strs when 704160d092507c1ca341b7c5c88e5ba94b4cf5fb7d0Eric Anholt * updating this list. 7053b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke */ 706a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickenum ir_expression_operation { 707a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_bit_not, 708a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_logic_not, 709a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_neg, 710a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_abs, 711a4b7b5a654ca810e296bb0cca1b27b8847f5548aKenneth Graunke ir_unop_sign, 712a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_rcp, 713a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_rsq, 71444d68fd06ff8b53fc70a9a07c897dda9b3457ef8Eric Anholt ir_unop_sqrt, 715bc4034b243975089c06c4415d4e26edaaaec7a46Eric Anholt ir_unop_exp, /**< Log base e on gentype */ 716bc4034b243975089c06c4415d4e26edaaaec7a46Eric Anholt ir_unop_log, /**< Natural log on gentype */ 71701665262e50162e858c45f92a8a7e12b953e56adEric Anholt ir_unop_exp2, 71801665262e50162e858c45f92a8a7e12b953e56adEric Anholt ir_unop_log2, 719a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_f2i, /**< Float-to-integer conversion. */ 720a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_i2f, /**< Integer-to-float conversion. */ 721dc58b3f8ccd817fdee390a3df5b8e0fb29d5397cEric Anholt ir_unop_f2b, /**< Float-to-boolean conversion */ 722dc58b3f8ccd817fdee390a3df5b8e0fb29d5397cEric Anholt ir_unop_b2f, /**< Boolean-to-float conversion */ 723c2cb84e17b2f7a5db146faa9c9c2a2ffac4b6c19Eric Anholt ir_unop_i2b, /**< int-to-boolean conversion */ 724c2cb84e17b2f7a5db146faa9c9c2a2ffac4b6c19Eric Anholt ir_unop_b2i, /**< Boolean-to-int conversion */ 7256c86ea8adc095abeef7b3cd63d3321185542bf36Ian Romanick ir_unop_u2f, /**< Unsigned-to-float conversion. */ 7265e9ac94cc44ef4f97063d7b696411b2a4be16f36Eric Anholt ir_unop_any, 727a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 728a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 729a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * \name Unary floating-point rounding operations. 730a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 731a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@{*/ 732a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_trunc, 733a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_ceil, 734a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_unop_floor, 735d925c9173009e9e5d48df30b30aaef22753183aaEric Anholt ir_unop_fract, 736d85d25dd1f4fd281bd210ba6ba5135ba1e3b535fKenneth Graunke ir_unop_round_even, 737a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@}*/ 738a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 73957e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke /** 74057e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke * \name Trigonometric operations. 74157e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke */ 74257e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke /*@{*/ 74357e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke ir_unop_sin, 74457e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke ir_unop_cos, 745f2616e56de8a48360cae8f269727b58490555f4dIan Romanick ir_unop_sin_reduced, /**< Reduced range sin. [-pi, pi] */ 746f2616e56de8a48360cae8f269727b58490555f4dIan Romanick ir_unop_cos_reduced, /**< Reduced range cos. [-pi, pi] */ 74757e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke /*@}*/ 74857e7da173e8d38bf0c95ded535cdf1b12a00a1a2Kenneth Graunke 749b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke /** 750b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke * \name Partial derivatives. 751b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke */ 752b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke /*@{*/ 753b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke ir_unop_dFdx, 754b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke ir_unop_dFdy, 755b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke /*@}*/ 756b843c7a20c2d65494f30eb82622ae7db380f581aKenneth Graunke 7573a5ce85cfa4914711e56c8cf831699242618928eIan Romanick ir_unop_noise, 7583a5ce85cfa4914711e56c8cf831699242618928eIan Romanick 759007f4881503b69055d65cfb20bd237673779786bKenneth Graunke /** 760007f4881503b69055d65cfb20bd237673779786bKenneth Graunke * A sentinel marking the last of the unary operations. 761007f4881503b69055d65cfb20bd237673779786bKenneth Graunke */ 762007f4881503b69055d65cfb20bd237673779786bKenneth Graunke ir_last_unop = ir_unop_noise, 763007f4881503b69055d65cfb20bd237673779786bKenneth Graunke 764a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_add, 765a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_sub, 766a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_mul, 767a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_div, 7688a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt 7698a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt /** 7708a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * Takes one of two combinations of arguments: 7718a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * 7728a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * - mod(vecN, vecN) 7738a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * - mod(vecN, float) 7748a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * 7758a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt * Does not take integer types. 7768a1f186cc55979bb9df0a88b48da8d81460c3e7cEric Anholt */ 777a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_mod, 778a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 779a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 78014eea268284491d64ff92b37723bff1e9ff14b40Kenneth Graunke * \name Binary comparison operators which return a boolean vector. 78114eea268284491d64ff92b37723bff1e9ff14b40Kenneth Graunke * The type of both operands must be equal. 782a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 783a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@{*/ 784a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_less, 785a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_greater, 786a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_lequal, 787a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_gequal, 7884dfb89904c0a3d2166e9a3fc0253a254680e91bcLuca Barbieri ir_binop_equal, 7894dfb89904c0a3d2166e9a3fc0253a254680e91bcLuca Barbieri ir_binop_nequal, 790832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt /** 791832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt * Returns single boolean for whether all components of operands[0] 792832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt * equal the components of operands[1]. 793832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt */ 7944dfb89904c0a3d2166e9a3fc0253a254680e91bcLuca Barbieri ir_binop_all_equal, 795832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt /** 796832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt * Returns single boolean for whether any component of operands[0] 797832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt * is not equal to the corresponding component of operands[1]. 798832aad989e3d319a8aaac046aa49df25da134d82Eric Anholt */ 7994dfb89904c0a3d2166e9a3fc0253a254680e91bcLuca Barbieri ir_binop_any_nequal, 800a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@}*/ 801a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 802a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 803a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * \name Bit-wise binary operations. 804a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 805a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@{*/ 806a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_lshift, 807a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_rshift, 808a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_bit_and, 809a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_bit_xor, 810a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_bit_or, 811a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /*@}*/ 812a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 813a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_logic_and, 814a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_logic_xor, 815a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_logic_or, 816a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 817a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_dot, 818a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_min, 819a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_binop_max, 820a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 821007f4881503b69055d65cfb20bd237673779786bKenneth Graunke ir_binop_pow, 822007f4881503b69055d65cfb20bd237673779786bKenneth Graunke 823007f4881503b69055d65cfb20bd237673779786bKenneth Graunke /** 824007f4881503b69055d65cfb20bd237673779786bKenneth Graunke * A sentinel marking the last of the binary operations. 825007f4881503b69055d65cfb20bd237673779786bKenneth Graunke */ 826007f4881503b69055d65cfb20bd237673779786bKenneth Graunke ir_last_binop = ir_binop_pow, 827007f4881503b69055d65cfb20bd237673779786bKenneth Graunke 82811d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick ir_quadop_vector, 82911d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick 830007f4881503b69055d65cfb20bd237673779786bKenneth Graunke /** 831007f4881503b69055d65cfb20bd237673779786bKenneth Graunke * A sentinel marking the last of all operations. 832007f4881503b69055d65cfb20bd237673779786bKenneth Graunke */ 833007f4881503b69055d65cfb20bd237673779786bKenneth Graunke ir_last_opcode = ir_last_binop 834a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 835a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 836fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeclass ir_expression : public ir_rvalue { 837a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 83813f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick /** 83913f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick * Constructor for unary operation expressions 84013f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick */ 84113f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick ir_expression(int op, const struct glsl_type *type, ir_rvalue *); 84213f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick 84313f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick /** 84413f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick * Constructor for binary operation expressions 84513f57d42b6929f50d8ef8b4123f46a61c46fde7bIan Romanick */ 846a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_expression(int op, const struct glsl_type *type, 847fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_rvalue *, ir_rvalue *); 848a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 84911d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick /** 85011d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick * Constructor for quad operator expressions 85111d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick */ 85211d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick ir_expression(int op, const struct glsl_type *type, 85311d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick ir_rvalue *, ir_rvalue *, ir_rvalue *, ir_rvalue *); 85411d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick 8556d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt virtual ir_expression *as_expression() 8566d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt { 8576d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt return this; 8586d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt } 8596d8a0a0aadaafbab02dffcf7f89eb0210dd37b2eEric Anholt 8608273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_expression *clone(void *mem_ctx, struct hash_table *ht) const; 8614b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 862e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 863e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Attempt to constant-fold the expression 864e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * 865e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * If the expression cannot be constant folded, this method will return 866e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * \c NULL. 867e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 868fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 869fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 870e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 871e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Determine the number of operands used by an expression 872e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 8737dd6adbe2e791b22de97175a8715ef1217619c99Kenneth Graunke static unsigned int get_num_operands(ir_expression_operation); 874e053d62aa573651abdd78666d299272c8219a3aaIan Romanick 875e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 876e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Determine the number of operands used by an expression 877e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 8784b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt unsigned int get_num_operands() const 8797dd6adbe2e791b22de97175a8715ef1217619c99Kenneth Graunke { 88011d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick return (this->operation == ir_quadop_vector) 88111d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick ? this->type->vector_elements : get_num_operands(operation); 8827dd6adbe2e791b22de97175a8715ef1217619c99Kenneth Graunke } 883160d092507c1ca341b7c5c88e5ba94b4cf5fb7d0Eric Anholt 8843b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke /** 8853b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke * Return a string representing this expression's operator. 8863b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke */ 8873b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke const char *operator_string(); 8883b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke 8893b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke /** 890351525d534268b08c090f9ce42a67e9329a969aeIan Romanick * Return a string representing this expression's operator. 891351525d534268b08c090f9ce42a67e9329a969aeIan Romanick */ 892351525d534268b08c090f9ce42a67e9329a969aeIan Romanick static const char *operator_string(ir_expression_operation); 893351525d534268b08c090f9ce42a67e9329a969aeIan Romanick 894351525d534268b08c090f9ce42a67e9329a969aeIan Romanick 895351525d534268b08c090f9ce42a67e9329a969aeIan Romanick /** 8963b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke * Do a reverse-lookup to translate the given string into an operator. 8973b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke */ 8983b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke static ir_expression_operation get_operator(const char *); 8993b96996b7eb6e3603a5f138177867c3e856e0dfaKenneth Graunke 90078b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 90178b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 90278b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 90378b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 90478b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 9058895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 9068895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 907a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick ir_expression_operation operation; 90811d6f1c69871d0b7edc28f639256460839fccd2dIan Romanick ir_rvalue *operands[4]; 909a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 910a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 911a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 912ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick/** 913ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick * IR instruction representing a function call 914ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick */ 915fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeclass ir_call : public ir_rvalue { 916ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanickpublic: 9171f47245bdda2c85bf0f0174e6c24a50486b413aaEric Anholt ir_call(ir_function_signature *callee, exec_list *actual_parameters) 918b427c917ce47675b102fac3ddace883629ff6be8Ian Romanick : callee(callee) 919ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick { 920d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type = ir_type_call; 9219e7c34b865309c65ea5a763900e2d0eae4b58ce5Ian Romanick assert(callee->return_type != NULL); 9229e7c34b865309c65ea5a763900e2d0eae4b58ce5Ian Romanick type = callee->return_type; 923471471f83471481db0445e73f8c89e6a9149838eIan Romanick actual_parameters->move_nodes_to(& this->actual_parameters); 924ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick } 925ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick 9268273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_call *clone(void *mem_ctx, struct hash_table *ht) const; 9274b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 928fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 929fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 930cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual ir_call *as_call() 931cad9766118d269725ef33b4e9588d674d5225010Eric Anholt { 932cad9766118d269725ef33b4e9588d674d5225010Eric Anholt return this; 933cad9766118d269725ef33b4e9588d674d5225010Eric Anholt } 934cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 935ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick virtual void accept(ir_visitor *v) 936ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick { 937ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick v->visit(this); 938ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick } 939ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick 9408895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 9418895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 942ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick /** 943ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick * Get a generic ir_call object when an error occurs 944e01193af325cbdde51b3219c85c58f19d5a87f1bCarl Worth * 945e01193af325cbdde51b3219c85c58f19d5a87f1bCarl Worth * Any allocation will be performed with 'ctx' as talloc owner. 946ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick */ 947e01193af325cbdde51b3219c85c58f19d5a87f1bCarl Worth static ir_call *get_error_instruction(void *ctx); 948ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick 9499878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick /** 9509878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick * Get an iterator for the set of acutal parameters 9519878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick */ 9529878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick exec_list_iterator iterator() 9539878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick { 9549878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick return actual_parameters.iterator(); 9559878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick } 9569878c6518f7938bd5fdae22265dd30bc72d7343cIan Romanick 95793614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick /** 95893614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick * Get the name of the function being called. 95993614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick */ 96093614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick const char *callee_name() const 96193614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick { 9620f0ea5826454cf25d6e76ac848a317e673ff1032Ian Romanick return callee->function_name(); 96393614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick } 96493614bc4b971bb59824179057a4bfa7aac383ce3Ian Romanick 965e053d62aa573651abdd78666d299272c8219a3aaIan Romanick /** 966e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Get the function signature bound to this function call 967e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 9681f47245bdda2c85bf0f0174e6c24a50486b413aaEric Anholt ir_function_signature *get_callee() 969cad9766118d269725ef33b4e9588d674d5225010Eric Anholt { 970cad9766118d269725ef33b4e9588d674d5225010Eric Anholt return callee; 971cad9766118d269725ef33b4e9588d674d5225010Eric Anholt } 972cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 973cad9766118d269725ef33b4e9588d674d5225010Eric Anholt /** 974792e01c1e259077eb339af3ce61905fd227ae4bdIan Romanick * Set the function call target 975792e01c1e259077eb339af3ce61905fd227ae4bdIan Romanick */ 9761f47245bdda2c85bf0f0174e6c24a50486b413aaEric Anholt void set_callee(ir_function_signature *sig); 977792e01c1e259077eb339af3ce61905fd227ae4bdIan Romanick 978792e01c1e259077eb339af3ce61905fd227ae4bdIan Romanick /** 979cad9766118d269725ef33b4e9588d674d5225010Eric Anholt * Generates an inline version of the function before @ir, 980cad9766118d269725ef33b4e9588d674d5225010Eric Anholt * returning the return value of the function. 981cad9766118d269725ef33b4e9588d674d5225010Eric Anholt */ 982cad9766118d269725ef33b4e9588d674d5225010Eric Anholt ir_rvalue *generate_inline(ir_instruction *ir); 983cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 984a48a2b66e86d6d1c2fbb24bc60df2fdef42b3086Ian Romanick /* List of ir_rvalue of paramaters passed in this call. */ 985a48a2b66e86d6d1c2fbb24bc60df2fdef42b3086Ian Romanick exec_list actual_parameters; 986a48a2b66e86d6d1c2fbb24bc60df2fdef42b3086Ian Romanick 987ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanickprivate: 988471471f83471481db0445e73f8c89e6a9149838eIan Romanick ir_call() 989b427c917ce47675b102fac3ddace883629ff6be8Ian Romanick : callee(NULL) 990471471f83471481db0445e73f8c89e6a9149838eIan Romanick { 991d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_call; 992471471f83471481db0445e73f8c89e6a9149838eIan Romanick } 993471471f83471481db0445e73f8c89e6a9149838eIan Romanick 9941f47245bdda2c85bf0f0174e6c24a50486b413aaEric Anholt ir_function_signature *callee; 995ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick}; 996ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick 997ed45ec6a515f3529f12fc23d51621e435d3b6cdfIan Romanick 9989578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick/** 9999578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick * \name Jump-like IR instructions. 10009578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick * 10019578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick * These include \c break, \c continue, \c return, and \c discard. 10029578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick */ 10039578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick/*@{*/ 10049578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanickclass ir_jump : public ir_instruction { 10059578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanickprotected: 10069578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick ir_jump() 10079578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick { 1008d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt ir_type = ir_type_unset; 10099578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick } 10109578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick}; 10119578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 10129578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanickclass ir_return : public ir_jump { 10139578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanickpublic: 10149578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick ir_return() 10159578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick : value(NULL) 10169578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick { 1017d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_return; 10189578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick } 10199578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 1020fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_return(ir_rvalue *value) 10219578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick : value(value) 10229578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick { 1023d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_return; 10249578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick } 10259578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 10268273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_return *clone(void *mem_ctx, struct hash_table *) const; 10274b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1028cad9766118d269725ef33b4e9588d674d5225010Eric Anholt virtual ir_return *as_return() 1029cad9766118d269725ef33b4e9588d674d5225010Eric Anholt { 1030cad9766118d269725ef33b4e9588d674d5225010Eric Anholt return this; 1031cad9766118d269725ef33b4e9588d674d5225010Eric Anholt } 1032cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 1033fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_rvalue *get_value() const 10349578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick { 10359578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick return value; 10369578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick } 10379578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 10389578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick virtual void accept(ir_visitor *v) 10399578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick { 10409578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick v->visit(this); 10419578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick } 10429578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 10438895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 10448895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 1045fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke ir_rvalue *value; 10469578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick}; 1047f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 1048f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 1049f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick/** 1050f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * Jump instructions used inside loops 1051f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * 1052f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * These include \c break and \c continue. The \c break within a loop is 1053f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * different from the \c break within a switch-statement. 1054f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * 1055f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick * \sa ir_switch_jump 1056f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick */ 1057f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanickclass ir_loop_jump : public ir_jump { 1058f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanickpublic: 1059f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick enum jump_mode { 1060f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick jump_break, 1061f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick jump_continue 1062f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick }; 1063f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 10644b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt ir_loop_jump(jump_mode mode) 1065f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick { 1066d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_loop_jump; 10670c005bd773784ee5feb2ee3d7d00c2c4335eafb4Eric Anholt this->mode = mode; 10680c005bd773784ee5feb2ee3d7d00c2c4335eafb4Eric Anholt this->loop = loop; 1069f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick } 1070f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 10718273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_loop_jump *clone(void *mem_ctx, struct hash_table *) const; 10724b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1073f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick virtual void accept(ir_visitor *v) 1074f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick { 1075f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick v->visit(this); 1076f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick } 1077f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 10788895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 10798895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 1080f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick bool is_break() const 1081f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick { 1082f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick return mode == jump_break; 1083f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick } 1084f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 1085f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick bool is_continue() const 1086f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick { 1087f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick return mode == jump_continue; 1088f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick } 1089f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick 1090f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick /** Mode selector for the jump instruction. */ 1091f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick enum jump_mode mode; 10920c005bd773784ee5feb2ee3d7d00c2c4335eafb4Eric Anholtprivate: 10930c005bd773784ee5feb2ee3d7d00c2c4335eafb4Eric Anholt /** Loop containing this break instruction. */ 10940c005bd773784ee5feb2ee3d7d00c2c4335eafb4Eric Anholt ir_loop *loop; 1095f8e31e00b1078dc28187a43a1ab8949e154e7533Ian Romanick}; 109616efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 109716efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke/** 109816efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke * IR instruction representing discard statements. 109916efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke */ 110016efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunkeclass ir_discard : public ir_jump { 110116efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunkepublic: 110216efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke ir_discard() 110316efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke { 1104d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_discard; 110516efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke this->condition = NULL; 110616efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke } 110716efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 110816efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke ir_discard(ir_rvalue *cond) 110916efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke { 111084ee01f40acf88185484df386b7715034e7685c9Aras Pranckevicius this->ir_type = ir_type_discard; 111116efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke this->condition = cond; 111216efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke } 111316efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 11148273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_discard *clone(void *mem_ctx, struct hash_table *ht) const; 111516efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 111616efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke virtual void accept(ir_visitor *v) 111716efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke { 111816efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke v->visit(this); 111916efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke } 112016efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 112116efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke virtual ir_visitor_status accept(ir_hierarchical_visitor *); 112216efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke 112316efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke ir_rvalue *condition; 112416efab1c4dee6e6a827ba5f1c482378159545ae5Kenneth Graunke}; 11259578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick/*@}*/ 11269578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 11279578c87ce23a98472d52f15b0a7063f4df036c4dIan Romanick 112881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick/** 112981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * Texture sampling opcodes used in ir_texture 113081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick */ 113181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanickenum ir_texture_opcode { 1132e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_tex, /**< Regular texture look-up */ 1133e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_txb, /**< Texture look-up with LOD bias */ 1134e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_txl, /**< Texture look-up with explicit LOD */ 1135e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_txd, /**< Texture look-up with partial derivatvies */ 1136e053d62aa573651abdd78666d299272c8219a3aaIan Romanick ir_txf /**< Texel fetch with explicit LOD */ 113781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick}; 113881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 113981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 114081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick/** 114181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * IR instruction to sample a texture 114281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * 114381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * The specific form of the IR instruction depends on the \c mode value 114481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * selected from \c ir_texture_opcodes. In the printed IR, these will 114581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * appear as: 114681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * 114781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * Texel offset 114881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * | Projection divisor 114981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * | | Shadow comparitor 115081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * | | | 115181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * v v v 115281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * (tex (sampler) (coordinate) (0 0 0) (1) ( )) 115381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * (txb (sampler) (coordinate) (0 0 0) (1) ( ) (bias)) 115481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * (txl (sampler) (coordinate) (0 0 0) (1) ( ) (lod)) 115581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * (txd (sampler) (coordinate) (0 0 0) (1) ( ) (dPdx dPdy)) 115681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * (txf (sampler) (coordinate) (0 0 0) (lod)) 115781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick */ 115881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanickclass ir_texture : public ir_rvalue { 115981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanickpublic: 116081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_texture(enum ir_texture_opcode op) 1161b97efa5db5fce2e0d9a4c61a939c85b240c89170Kenneth Graunke : op(op), projector(NULL), shadow_comparitor(NULL) 116281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick { 1163d16044ad4d6176fec6164f96450a25f76b7677f1Eric Anholt this->ir_type = ir_type_texture; 116481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick } 116581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 11668273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_texture *clone(void *mem_ctx, struct hash_table *) const; 11674b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1168fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1169fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 117026d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke virtual void accept(ir_visitor *v) 117126d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke { 117226d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke v->visit(this); 117326d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke } 117426d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke 117526d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke virtual ir_visitor_status accept(ir_hierarchical_visitor *); 117626d74cd1d140786b8f4b1ccbaf500a16e68eec3cKenneth Graunke 1177c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke /** 1178c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke * Return a string representing the ir_texture_opcode. 1179c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke */ 1180c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke const char *opcode_string(); 1181c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke 118256d3f6ad782e9819b40544494826954d3fcf978bKenneth Graunke /** Set the sampler and infer the type. */ 118356d3f6ad782e9819b40544494826954d3fcf978bKenneth Graunke void set_sampler(ir_dereference *sampler); 118456d3f6ad782e9819b40544494826954d3fcf978bKenneth Graunke 1185c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke /** 1186c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke * Do a reverse-lookup to translate a string into an ir_texture_opcode. 1187c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke */ 1188c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke static ir_texture_opcode get_opcode(const char *); 1189c30f6e5dea7e75983784f3539304c8dd36356d1cKenneth Graunke 119081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick enum ir_texture_opcode op; 119181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 119281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick /** Sampler to use for the texture access. */ 119381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_dereference *sampler; 119481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 119581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick /** Texture coordinate to sample */ 119681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *coordinate; 119781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 119881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick /** 119981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * Value used for projective divide. 120081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * 120181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * If there is no projective divide (the common case), this will be 120281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * \c NULL. Optimization passes should check for this to point to a constant 120381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * of 1.0 and replace that with \c NULL. 120481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick */ 120581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *projector; 120681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 120781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick /** 120881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * Coordinate used for comparison on shadow look-ups. 120981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * 121081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * If there is no shadow comparison, this will be \c NULL. For the 121181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick * \c ir_txf opcode, this *must* be \c NULL. 121281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick */ 121381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *shadow_comparitor; 121481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 121581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick /** Explicit texel offsets. */ 121681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick signed char offsets[3]; 121781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 121881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick union { 121981377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *lod; /**< Floating point LOD */ 122081377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *bias; /**< Floating point LOD bias */ 122181377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick struct { 122281377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *dPdx; /**< Partial derivative of coordinate wrt X */ 122381377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick ir_rvalue *dPdy; /**< Partial derivative of coordinate wrt Y */ 122481377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick } grad; 122581377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick } lod_info; 122681377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick}; 122781377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 122881377c012cf5db3efe2e39885846c60b6e5c6eb8Ian Romanick 1229a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickstruct ir_swizzle_mask { 1230a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned x:2; 1231a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned y:2; 1232a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned z:2; 1233a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned w:2; 1234a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1235a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 1236a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Number of components in the swizzle. 1237a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 1238f25a5ad93961c335b56d4f0508cc5c00b77ee519Kenneth Graunke unsigned num_components:3; 1239a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1240a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 1241a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Does the swizzle contain duplicate components? 1242a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 1243a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * L-value swizzles cannot contain duplicate components. 1244a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 1245a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick unsigned has_duplicates:1; 1246a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 1247a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1248affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 1249affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunkeclass ir_swizzle : public ir_rvalue { 1250affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunkepublic: 1251affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke ir_swizzle(ir_rvalue *, unsigned x, unsigned y, unsigned z, unsigned w, 1252affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke unsigned count); 12536315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick 12546315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick ir_swizzle(ir_rvalue *val, const unsigned *components, unsigned count); 12556315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick 125605a4e59c2410292f595cfe0cc552a86ae69b20d2Eric Anholt ir_swizzle(ir_rvalue *val, ir_swizzle_mask mask); 1257cad9766118d269725ef33b4e9588d674d5225010Eric Anholt 12588273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_swizzle *clone(void *mem_ctx, struct hash_table *) const; 12594b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1260fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1261fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 12627d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt virtual ir_swizzle *as_swizzle() 12637d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt { 12647d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt return this; 12657d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt } 12667d21104a8b92c139051e9a224c5d863802a8ade6Eric Anholt 1267affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke /** 1268affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke * Construct an ir_swizzle from the textual representation. Can fail. 1269affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke */ 1270affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke static ir_swizzle *create(ir_rvalue *, const char *, unsigned vector_length); 1271affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 1272affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke virtual void accept(ir_visitor *v) 1273affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke { 1274affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke v->visit(this); 1275affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke } 1276affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 12778895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 12788895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 1279affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke bool is_lvalue() 1280affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke { 1281a9fafc6504ebccdc0fee3d2529c3fe6068cc86b8Eric Anholt return val->is_lvalue() && !mask.has_duplicates; 1282affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke } 1283affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 12842b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick /** 12852b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick * Get the variable that is ultimately referenced by an r-value 12862b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick */ 12872b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick virtual ir_variable *variable_referenced(); 12882b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick 1289affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke ir_rvalue *val; 1290affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke ir_swizzle_mask mask; 12916315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick 12926315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanickprivate: 12936315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick /** 12946315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick * Initialize the mask component of a swizzle 12956315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick * 12966315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick * This is used by the \c ir_swizzle constructors. 12976315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick */ 12986315b68f5fbe529bce3497b67c42af1eaa62b8c1Ian Romanick void init_mask(const unsigned *components, unsigned count); 1299affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke}; 1300affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 1301affc1413ac9f1f077a4ba1a1b7135f73d7a71167Kenneth Graunke 1302fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeclass ir_dereference : public ir_rvalue { 1303a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 13048273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_dereference *clone(void *mem_ctx, struct hash_table *) const = 0; 1305ca088cc277ce9f986693c857f3961dc0e1a4d91cIan Romanick 130644e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke virtual ir_dereference *as_dereference() 130744e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke { 130844e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke return this; 130944e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke } 131044e1dfa2df4de3e2de963f0505cdadade6fe8180Kenneth Graunke 1311c7da28b4beb3a593f49a6c01a90b123584b421e8Eric Anholt bool is_lvalue(); 1312fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunke 13132b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick /** 13142b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick * Get the variable that is ultimately referenced by an r-value 13152b3c476fa08e33a0ee1633b173a7df31ecaca582Ian Romanick */ 131670fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick virtual ir_variable *variable_referenced() = 0; 131770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick}; 131870fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 131970fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 132070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickclass ir_dereference_variable : public ir_dereference { 132170fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickpublic: 132270fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick ir_dereference_variable(ir_variable *var); 132370fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 13248273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_dereference_variable *clone(void *mem_ctx, 13258273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt struct hash_table *) const; 13264b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1327fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1328fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 1329d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt virtual ir_dereference_variable *as_dereference_variable() 1330d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt { 1331d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt return this; 1332d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt } 1333d4f7e660dd81e05b0829c1b70663b3959fd78f47Eric Anholt 133470fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick /** 133570fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick * Get the variable that is ultimately referenced by an r-value 133670fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick */ 133770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick virtual ir_variable *variable_referenced() 133870fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick { 133936ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick return this->var; 134070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick } 1341f3a002b503542fe2544025c6a42d552fdc4907c2Ian Romanick 1342b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick virtual ir_variable *whole_variable_referenced() 1343b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick { 1344b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick /* ir_dereference_variable objects always dereference the entire 1345b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * variable. However, if this dereference is dereferenced by anything 1346b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * else, the complete deferefernce chain is not a whole-variable 1347b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * dereference. This method should only be called on the top most 1348b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick * ir_rvalue in a dereference chain. 1349b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick */ 1350b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick return this->var; 1351b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick } 1352b067db2e253059e83249b1e4d5f3c626b0e33807Ian Romanick 1353c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick virtual void accept(ir_visitor *v) 1354c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick { 1355c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick v->visit(this); 1356c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick } 1357c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick 1358f3a002b503542fe2544025c6a42d552fdc4907c2Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 135936ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick 136036ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick /** 136136ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick * Object being dereferenced. 136236ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick */ 136336ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick ir_variable *var; 136470fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick}; 136570fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 136670fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 136770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickclass ir_dereference_array : public ir_dereference { 136870fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickpublic: 136970fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick ir_dereference_array(ir_rvalue *value, ir_rvalue *array_index); 137070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 137170fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick ir_dereference_array(ir_variable *var, ir_rvalue *array_index); 137270fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 13738273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_dereference_array *clone(void *mem_ctx, 13748273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt struct hash_table *) const; 13754b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1376fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1377fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 1378b145e903694fa932ab1e0d955e889555193ab604Eric Anholt virtual ir_dereference_array *as_dereference_array() 1379b145e903694fa932ab1e0d955e889555193ab604Eric Anholt { 1380b145e903694fa932ab1e0d955e889555193ab604Eric Anholt return this; 1381b145e903694fa932ab1e0d955e889555193ab604Eric Anholt } 1382b145e903694fa932ab1e0d955e889555193ab604Eric Anholt 138370fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick /** 138470fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick * Get the variable that is ultimately referenced by an r-value 138570fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick */ 138670fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick virtual ir_variable *variable_referenced() 138770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick { 138836ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick return this->array->variable_referenced(); 138970fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick } 139070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 1391c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick virtual void accept(ir_visitor *v) 1392c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick { 1393c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick v->visit(this); 1394c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick } 1395c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick 1396f3a002b503542fe2544025c6a42d552fdc4907c2Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 139770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 139836ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick ir_rvalue *array; 139936ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick ir_rvalue *array_index; 140036ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick 140170fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickprivate: 140270fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick void set_array(ir_rvalue *value); 140370fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick}; 140470fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 140570fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 140670fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickclass ir_dereference_record : public ir_dereference { 140770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanickpublic: 140870fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick ir_dereference_record(ir_rvalue *value, const char *field); 140970fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 141070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick ir_dereference_record(ir_variable *var, const char *field); 141170fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick 14128273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_dereference_record *clone(void *mem_ctx, 14138273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt struct hash_table *) const; 14144b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1415fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1416fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 141770fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick /** 141870fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick * Get the variable that is ultimately referenced by an r-value 141970fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick */ 142070fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick virtual ir_variable *variable_referenced() 142170fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick { 142236ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick return this->record->variable_referenced(); 142370fe8b66632f4afd87ebb12a450b1e639428e88fIan Romanick } 1424f3a002b503542fe2544025c6a42d552fdc4907c2Ian Romanick 1425c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick virtual void accept(ir_visitor *v) 1426c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick { 1427c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick v->visit(this); 1428c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick } 1429c7b1046a9fa6da916f11fb9e43d61fd772470183Ian Romanick 1430f3a002b503542fe2544025c6a42d552fdc4907c2Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 143136ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick 143236ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick ir_rvalue *record; 143336ea28646c666ac2af9b43c47e65f9f53ffcc390Ian Romanick const char *field; 1434a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 1435a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1436a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1437be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick/** 1438be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick * Data stored in an ir_constant 1439be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick */ 1440be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanickunion ir_constant_data { 1441be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick unsigned u[16]; 1442be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick int i[16]; 1443be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick float f[16]; 1444be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick bool b[16]; 1445be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick}; 1446be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick 1447be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick 1448fb9fb5f51deca28ed1ec7b71759fb71fc26a0ab6Kenneth Graunkeclass ir_constant : public ir_rvalue { 1449a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanickpublic: 1450824b659d917a5f14a1f66b891d25036ef9f9adc6Ian Romanick ir_constant(const struct glsl_type *type, const ir_constant_data *data); 14513c36b2df7c854d23b2be9580e416fb04079a1befEric Anholt ir_constant(bool b); 14523c36b2df7c854d23b2be9580e416fb04079a1befEric Anholt ir_constant(unsigned int u); 14533c36b2df7c854d23b2be9580e416fb04079a1befEric Anholt ir_constant(int i); 14543c36b2df7c854d23b2be9580e416fb04079a1befEric Anholt ir_constant(float f); 1455a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1456989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick /** 1457756a3fac4fbbc6b3785715db745f8d58a14baeb9Ian Romanick * Construct an ir_constant from a list of ir_constant values 1458756a3fac4fbbc6b3785715db745f8d58a14baeb9Ian Romanick */ 1459756a3fac4fbbc6b3785715db745f8d58a14baeb9Ian Romanick ir_constant(const struct glsl_type *type, exec_list *values); 1460756a3fac4fbbc6b3785715db745f8d58a14baeb9Ian Romanick 1461756a3fac4fbbc6b3785715db745f8d58a14baeb9Ian Romanick /** 1462989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * Construct an ir_constant from a scalar component of another ir_constant 1463989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * 1464989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * The new \c ir_constant inherits the type of the component from the 1465989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * source constant. 1466989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * 1467989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * \note 1468989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * In the case of a matrix constant, the new constant is a scalar, \b not 1469989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick * a vector. 1470989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick */ 1471989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick ir_constant(const ir_constant *c, unsigned i); 1472989cfc432ee7adef701a87783e0c6b064c1cfaeeIan Romanick 1473ee9a3a51b61f0afe75b4b8b0c3025310140437ecKenneth Graunke /** 1474ee9a3a51b61f0afe75b4b8b0c3025310140437ecKenneth Graunke * Return a new ir_constant of the specified type containing all zeros. 1475ee9a3a51b61f0afe75b4b8b0c3025310140437ecKenneth Graunke */ 1476ee9a3a51b61f0afe75b4b8b0c3025310140437ecKenneth Graunke static ir_constant *zero(void *mem_ctx, const glsl_type *type); 1477ee9a3a51b61f0afe75b4b8b0c3025310140437ecKenneth Graunke 14788273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholt virtual ir_constant *clone(void *mem_ctx, struct hash_table *) const; 14794b6fd39c89f308a379882426c1ed3616d60c4628Eric Anholt 1480fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke virtual ir_constant *constant_expression_value(); 1481fb2ffd2846b48cb50128fb74df56f2ee63179832Kenneth Graunke 14825c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt virtual ir_constant *as_constant() 14835c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt { 14845c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt return this; 14855c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt } 14865c89f0ecb9581cbe83442ab3f41f2f3701fffab0Eric Anholt 148778b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick virtual void accept(ir_visitor *v) 148878b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick { 148978b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick v->visit(this); 149078b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick } 149178b51b0fdd61b58940f9043ef9046217552f2c70Ian Romanick 14928895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick virtual ir_visitor_status accept(ir_hierarchical_visitor *); 14938895bae55ba8d9f62dd59cbd924ac37c8a7dcdb1Ian Romanick 1494a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick /** 149531881908ebc11d84c2ff1821410c91340686aa17Ian Romanick * Get a particular component of a constant as a specific type 149631881908ebc11d84c2ff1821410c91340686aa17Ian Romanick * 149731881908ebc11d84c2ff1821410c91340686aa17Ian Romanick * This is useful, for example, to get a value from an integer constant 149831881908ebc11d84c2ff1821410c91340686aa17Ian Romanick * as a float or bool. This appears frequently when constructors are 149931881908ebc11d84c2ff1821410c91340686aa17Ian Romanick * called with all constant parameters. 150031881908ebc11d84c2ff1821410c91340686aa17Ian Romanick */ 150131881908ebc11d84c2ff1821410c91340686aa17Ian Romanick /*@{*/ 150231881908ebc11d84c2ff1821410c91340686aa17Ian Romanick bool get_bool_component(unsigned i) const; 150331881908ebc11d84c2ff1821410c91340686aa17Ian Romanick float get_float_component(unsigned i) const; 150431881908ebc11d84c2ff1821410c91340686aa17Ian Romanick int get_int_component(unsigned i) const; 150531881908ebc11d84c2ff1821410c91340686aa17Ian Romanick unsigned get_uint_component(unsigned i) const; 150631881908ebc11d84c2ff1821410c91340686aa17Ian Romanick /*@}*/ 150731881908ebc11d84c2ff1821410c91340686aa17Ian Romanick 150874e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke ir_constant *get_array_element(unsigned i) const; 150974e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke 1510b94c29a47b5020e4d052679fc5d22c19533fd73bIan Romanick ir_constant *get_record_field(const char *name); 1511b94c29a47b5020e4d052679fc5d22c19533fd73bIan Romanick 151231881908ebc11d84c2ff1821410c91340686aa17Ian Romanick /** 15131e8b7a714e8acbb5028a250048452f2efc29d02eIan Romanick * Determine whether a constant has the same value as another constant 151438e55153af031e48125b1cd0a5d939bb92379ddcIan Romanick * 15158e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * \sa ir_constant::is_zero, ir_constant::is_one, 15168e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick * ir_constant::is_negative_one 15171e8b7a714e8acbb5028a250048452f2efc29d02eIan Romanick */ 15181e8b7a714e8acbb5028a250048452f2efc29d02eIan Romanick bool has_value(const ir_constant *) const; 15191e8b7a714e8acbb5028a250048452f2efc29d02eIan Romanick 1520ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick virtual bool is_zero() const; 1521ad87f2ddc7e6b95e3dd5bbe4d2b19703d305c74eIan Romanick virtual bool is_one() const; 15228e498050dc1a1285c2218fdf4ea506c1cdcd9dd8Ian Romanick virtual bool is_negative_one() const; 152338e55153af031e48125b1cd0a5d939bb92379ddcIan Romanick 152438e55153af031e48125b1cd0a5d939bb92379ddcIan Romanick /** 1525a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * Value of the constant. 1526a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * 1527a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * The field used to back the values supplied by the constant is determined 1528a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * by the type associated with the \c ir_instruction. Constants may be 1529a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick * scalars, vectors, or matrices. 1530a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick */ 1531be1d2bfdeab5781b6546b704b566aa214e79da06Ian Romanick union ir_constant_data value; 15327f1ab834d7aa901ce0e12f40db23d7d9891eae59Ian Romanick 153374e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke /* Array elements */ 153474e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke ir_constant **array_elements; 153574e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke 153674e1802f5dd8921750851abc6128e4073602d405Kenneth Graunke /* Structure fields */ 15377f1ab834d7aa901ce0e12f40db23d7d9891eae59Ian Romanick exec_list components; 1538710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanick 1539710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanickprivate: 1540710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanick /** 1541710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanick * Parameterless constructor only used by the clone method 1542710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanick */ 1543710919fd7cb7ac6cb640afa362f5c409e5a5ec91Ian Romanick ir_constant(void); 1544a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick}; 1545a87ac255cf7ef0672b4de865d82e6a40c93b57dIan Romanick 1546e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/*@}*/ 1547e053d62aa573651abdd78666d299272c8219a3aaIan Romanick 1548e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/** 1549e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Apply a visitor to each IR node in a list 1550e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 155170b74928a220aff024664714877defb0caedf33fEric Anholtvoid 155270b74928a220aff024664714877defb0caedf33fEric Anholtvisit_exec_list(exec_list *list, ir_visitor *visitor); 1553adfb0cd7401251bef0c854ac945fce78f0ed11dbIan Romanick 1554e053d62aa573651abdd78666d299272c8219a3aaIan Romanick/** 1555e053d62aa573651abdd78666d299272c8219a3aaIan Romanick * Validate invariants on each IR node in a list 1556e053d62aa573651abdd78666d299272c8219a3aaIan Romanick */ 155753cdb7e51d85d4b4a35fba3ec200b27991b8488bEric Anholtvoid validate_ir_tree(exec_list *instructions); 155853cdb7e51d85d4b4a35fba3ec200b27991b8488bEric Anholt 1559f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick/** 1560f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick * Make a clone of each IR instruction in a list 1561f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick * 1562f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick * \param in List of IR instructions that are to be cloned 1563f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick * \param out List to hold the cloned instructions 1564f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick */ 1565f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanickvoid 15668273bd46877e2ea2b8a02b87a11c68102d07e1f2Eric Anholtclone_ir_list(void *mem_ctx, exec_list *out, const exec_list *in); 1567f3235eb37f264244f4ea432700be7dd6b2930d6cIan Romanick 1568adfb0cd7401251bef0c854ac945fce78f0ed11dbIan Romanickextern void 1569adfb0cd7401251bef0c854ac945fce78f0ed11dbIan Romanick_mesa_glsl_initialize_variables(exec_list *instructions, 1570adfb0cd7401251bef0c854ac945fce78f0ed11dbIan Romanick struct _mesa_glsl_parse_state *state); 1571e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick 1572c22c40015db32b68b33c4944b9d94bf499135ec5Eric Anholtextern void 1573c22c40015db32b68b33c4944b9d94bf499135ec5Eric Anholt_mesa_glsl_initialize_functions(exec_list *instructions, 1574c22c40015db32b68b33c4944b9d94bf499135ec5Eric Anholt struct _mesa_glsl_parse_state *state); 1575c22c40015db32b68b33c4944b9d94bf499135ec5Eric Anholt 157660e2d06d1ccc66ad00cd7ab81c418853f21be291Ian Romanickextern void 1577d5be2acae379783c4aa31243e0a88a9e67e6ca7eIan Romanick_mesa_glsl_release_functions(void); 1578d5be2acae379783c4aa31243e0a88a9e67e6ca7eIan Romanick 1579d5be2acae379783c4aa31243e0a88a9e67e6ca7eIan Romanickextern void 158060e2d06d1ccc66ad00cd7ab81c418853f21be291Ian Romanickreparent_ir(exec_list *list, void *mem_ctx); 158160e2d06d1ccc66ad00cd7ab81c418853f21be291Ian Romanick 15821cbcf6693aa490c4dcb56712bfb9998deb270f08José Fonsecastruct glsl_symbol_table; 15834ccd3c548b9b9a2fee79342445f68d73525bfcdbIan Romanick 15844ccd3c548b9b9a2fee79342445f68d73525bfcdbIan Romanickextern void 15854ccd3c548b9b9a2fee79342445f68d73525bfcdbIan Romanickimport_prototypes(const exec_list *source, exec_list *dest, 15861cbcf6693aa490c4dcb56712bfb9998deb270f08José Fonseca struct glsl_symbol_table *symbols, void *mem_ctx); 15874ccd3c548b9b9a2fee79342445f68d73525bfcdbIan Romanick 15889f82806c7b5109553cf806a5652e6b6198665094Eric Anholtextern bool 15899f82806c7b5109553cf806a5652e6b6198665094Eric Anholtir_has_call(ir_instruction *ir); 15909f82806c7b5109553cf806a5652e6b6198665094Eric Anholt 1591925b49ff310bf0b307add7c34627cddf87e6a554Eric Anholtextern void 1592925b49ff310bf0b307add7c34627cddf87e6a554Eric Anholtdo_set_program_inouts(exec_list *instructions, struct gl_program *prog); 1593925b49ff310bf0b307add7c34627cddf87e6a554Eric Anholt 1594e309a6051d1a04ee581f0a47c6c585918fba1096Ian Romanick#endif /* IR_H */ 1595