[PATCH vkd3d 3/6] vkd3d-shader/hlsl: Parse left shift.
Giovanni Mascellani
gmascellani at codeweavers.com
Wed Feb 16 02:15:55 CST 2022
Signed-off-by: Giovanni Mascellani <gmascellani at codeweavers.com>
---
libs/vkd3d-shader/hlsl.y | 66 +++++++++++++++++++++++++++++++++++++++-
1 file changed, 65 insertions(+), 1 deletion(-)
diff --git a/libs/vkd3d-shader/hlsl.y b/libs/vkd3d-shader/hlsl.y
index d7adc98e..fb183a91 100644
--- a/libs/vkd3d-shader/hlsl.y
+++ b/libs/vkd3d-shader/hlsl.y
@@ -1171,6 +1171,70 @@ static struct list *add_binary_logical_expr_merge(struct hlsl_ctx *ctx, struct l
return list1;
}
+static struct hlsl_ir_expr *add_binary_shift_expr(struct hlsl_ctx *ctx, struct list *instrs,
+ enum hlsl_ir_expr_op op, struct hlsl_ir_node *arg1, struct hlsl_ir_node *arg2,
+ struct vkd3d_shader_location *loc)
+{
+ enum hlsl_base_type base = arg1->data_type->base_type;
+ struct hlsl_ir_node *args[HLSL_MAX_OPERANDS] = {0};
+ struct hlsl_type *return_type, *integer_type;
+ enum hlsl_type_class type;
+ unsigned int dimx, dimy;
+
+ if (arg1->data_type->base_type != HLSL_TYPE_INT && arg1->data_type->base_type != HLSL_TYPE_UINT
+ && arg1->data_type->base_type != HLSL_TYPE_BOOL)
+ {
+ struct vkd3d_string_buffer *type_str = hlsl_type_to_string(ctx, arg1->data_type);
+
+ if (type_str)
+ hlsl_error(ctx, loc, VKD3D_SHADER_ERROR_HLSL_INVALID_TYPE,
+ "The first argument has type '%s', which is not integer.", type_str->buffer);
+ hlsl_release_string_buffer(ctx, type_str);
+ return NULL;
+ }
+
+ if (arg2->data_type->base_type != HLSL_TYPE_INT && arg2->data_type->base_type != HLSL_TYPE_UINT
+ && arg2->data_type->base_type != HLSL_TYPE_BOOL)
+ {
+ struct vkd3d_string_buffer *type_str = hlsl_type_to_string(ctx, arg2->data_type);
+
+ if (type_str)
+ hlsl_error(ctx, loc, VKD3D_SHADER_ERROR_HLSL_INVALID_TYPE,
+ "The second argument has type '%s', which is not integer.", type_str->buffer);
+ hlsl_release_string_buffer(ctx, type_str);
+ return NULL;
+ }
+
+ if (base == HLSL_TYPE_BOOL)
+ base = HLSL_TYPE_INT;
+
+ if (!expr_common_shape(ctx, arg1->data_type, arg2->data_type, loc, &type, &dimx, &dimy))
+ return NULL;
+
+ return_type = hlsl_get_numeric_type(ctx, type, base, dimx, dimy);
+ integer_type = hlsl_get_numeric_type(ctx, type, HLSL_TYPE_INT, dimx, dimy);
+
+ if (!(args[0] = add_implicit_conversion(ctx, instrs, arg1, return_type, loc)))
+ return NULL;
+
+ if (!(args[1] = add_implicit_conversion(ctx, instrs, arg2, integer_type, loc)))
+ return NULL;
+
+ return add_expr(ctx, instrs, op, args, return_type, loc);
+}
+
+static struct list *add_binary_shift_expr_merge(struct hlsl_ctx *ctx, struct list *list1, struct list *list2,
+ enum hlsl_ir_expr_op op, struct vkd3d_shader_location *loc)
+{
+ struct hlsl_ir_node *arg1 = node_from_list(list1), *arg2 = node_from_list(list2);
+
+ list_move_tail(list1, list2);
+ vkd3d_free(list2);
+ add_binary_shift_expr(ctx, list1, op, arg1, arg2, loc);
+
+ return list1;
+}
+
static enum hlsl_ir_expr_op op_from_assignment(enum parse_assign_op op)
{
static const enum hlsl_ir_expr_op ops[] =
@@ -3637,7 +3701,7 @@ shift_expr:
add_expr
| shift_expr OP_LEFTSHIFT add_expr
{
- hlsl_fixme(ctx, &@$, "Left shift.");
+ $$ = add_binary_shift_expr_merge(ctx, $1, $3, HLSL_OP2_LSHIFT, &@2);
}
| shift_expr OP_RIGHTSHIFT add_expr
{
--
2.34.1
More information about the wine-devel
mailing list