/*
 * Copyright Elasticsearch B.V. and/or licensed to Elasticsearch B.V. under one
 * or more contributor license agreements. Licensed under the "Elastic License
 * 2.0", the "GNU Affero General Public License v3.0 only", and the "Server Side
 * Public License v 1"; you may not use this file except in compliance with, at
 * your election, the "Elastic License 2.0", the "GNU Affero General Public
 * License v3.0 only", or the "Server Side Public License, v 1".
 */

package org.elasticsearch.painless;

public class PromotionTests extends ScriptTestCase {
    public void testBinaryPromotion() throws Exception {
        // byte/byte
        assertEquals((byte) 1 + (byte) 1, exec("byte x = 1; byte y = 1; return x+y;"));
        // byte/char
        assertEquals((byte) 1 + (char) 1, exec("byte x = 1; char y = 1; return x+y;"));
        // byte/short
        assertEquals((byte) 1 + (short) 1, exec("byte x = 1; short y = 1; return x+y;"));
        // byte/int
        assertEquals((byte) 1 + 1, exec("byte x = 1; int y = 1; return x+y;"));
        // byte/long
        assertEquals((byte) 1 + 1L, exec("byte x = 1; long y = 1; return x+y;"));
        // byte/float
        assertEquals((byte) 1 + 1F, exec("byte x = 1; float y = 1; return x+y;"));
        // byte/double
        assertEquals((byte) 1 + 1.0, exec("byte x = 1; double y = 1; return x+y;"));

        // char/byte
        assertEquals((char) 1 + (byte) 1, exec("char x = 1; byte y = 1; return x+y;"));
        // char/char
        assertEquals((char) 1 + (char) 1, exec("char x = 1; char y = 1; return x+y;"));
        // char/short
        assertEquals((char) 1 + (short) 1, exec("char x = 1; short y = 1; return x+y;"));
        // char/int
        assertEquals((char) 1 + 1, exec("char x = 1; int y = 1; return x+y;"));
        // char/long
        assertEquals((char) 1 + 1L, exec("char x = 1; long y = 1; return x+y;"));
        // char/float
        assertEquals((char) 1 + 1F, exec("char x = 1; float y = 1; return x+y;"));
        // char/double
        assertEquals((char) 1 + 1.0, exec("char x = 1; double y = 1; return x+y;"));

        // short/byte
        assertEquals((short) 1 + (byte) 1, exec("short x = 1; byte y = 1; return x+y;"));
        // short/char
        assertEquals((short) 1 + (char) 1, exec("short x = 1; char y = 1; return x+y;"));
        // short/short
        assertEquals((short) 1 + (short) 1, exec("short x = 1; short y = 1; return x+y;"));
        // short/int
        assertEquals((short) 1 + 1, exec("short x = 1; int y = 1; return x+y;"));
        // short/long
        assertEquals((short) 1 + 1L, exec("short x = 1; long y = 1; return x+y;"));
        // short/float
        assertEquals((short) 1 + 1F, exec("short x = 1; float y = 1; return x+y;"));
        // short/double
        assertEquals((short) 1 + 1.0, exec("short x = 1; double y = 1; return x+y;"));

        // int/byte
        assertEquals(1 + (byte) 1, exec("int x = 1; byte y = 1; return x+y;"));
        // int/char
        assertEquals(1 + (char) 1, exec("int x = 1; char y = 1; return x+y;"));
        // int/short
        assertEquals(1 + (short) 1, exec("int x = 1; short y = 1; return x+y;"));
        // int/int
        assertEquals(1 + 1, exec("int x = 1; int y = 1; return x+y;"));
        // int/long
        assertEquals(1 + 1L, exec("int x = 1; long y = 1; return x+y;"));
        // int/float
        assertEquals(1 + 1F, exec("int x = 1; float y = 1; return x+y;"));
        // int/double
        assertEquals(1 + 1.0, exec("int x = 1; double y = 1; return x+y;"));

        // long/byte
        assertEquals(1L + (byte) 1, exec("long x = 1; byte y = 1; return x+y;"));
        // long/char
        assertEquals(1L + (char) 1, exec("long x = 1; char y = 1; return x+y;"));
        // long/short
        assertEquals(1L + (short) 1, exec("long x = 1; short y = 1; return x+y;"));
        // long/int
        assertEquals(1L + 1, exec("long x = 1; int y = 1; return x+y;"));
        // long/long
        assertEquals(1L + 1L, exec("long x = 1; long y = 1; return x+y;"));
        // long/float
        assertEquals(1L + 1F, exec("long x = 1; float y = 1; return x+y;"));
        // long/double
        assertEquals(1L + 1.0, exec("long x = 1; double y = 1; return x+y;"));

        // float/byte
        assertEquals(1F + (byte) 1, exec("float x = 1; byte y = 1; return x+y;"));
        // float/char
        assertEquals(1F + (char) 1, exec("float x = 1; char y = 1; return x+y;"));
        // float/short
        assertEquals(1F + (short) 1, exec("float x = 1; short y = 1; return x+y;"));
        // float/int
        assertEquals(1F + 1, exec("float x = 1; int y = 1; return x+y;"));
        // float/long
        assertEquals(1F + 1L, exec("float x = 1; long y = 1; return x+y;"));
        // float/float
        assertEquals(1F + 1F, exec("float x = 1; float y = 1; return x+y;"));
        // float/double
        assertEquals(1F + 1.0, exec("float x = 1; double y = 1; return x+y;"));

        // double/byte
        assertEquals(1.0 + (byte) 1, exec("double x = 1; byte y = 1; return x+y;"));
        // double/char
        assertEquals(1.0 + (char) 1, exec("double x = 1; char y = 1; return x+y;"));
        // double/short
        assertEquals(1.0 + (short) 1, exec("double x = 1; short y = 1; return x+y;"));
        // double/int
        assertEquals(1.0 + 1, exec("double x = 1; int y = 1; return x+y;"));
        // double/long
        assertEquals(1.0 + 1L, exec("double x = 1; long y = 1; return x+y;"));
        // double/float
        assertEquals(1.0 + 1F, exec("double x = 1; float y = 1; return x+y;"));
        // double/double
        assertEquals(1.0 + 1.0, exec("double x = 1; double y = 1; return x+y;"));
    }

    public void testBinaryPromotionConst() throws Exception {
        // byte/byte
        assertEquals((byte) 1 + (byte) 1, exec("return (byte)1 + (byte)1;"));
        // byte/char
        assertEquals((byte) 1 + (char) 1, exec("return (byte)1 + (char)1;"));
        // byte/short
        assertEquals((byte) 1 + (short) 1, exec("return (byte)1 + (short)1;"));
        // byte/int
        assertEquals((byte) 1 + 1, exec("return (byte)1 + 1;"));
        // byte/long
        assertEquals((byte) 1 + 1L, exec("return (byte)1 + 1L;"));
        // byte/float
        assertEquals((byte) 1 + 1F, exec("return (byte)1 + 1F;"));
        // byte/double
        assertEquals((byte) 1 + 1.0, exec("return (byte)1 + 1.0;"));

        // char/byte
        assertEquals((char) 1 + (byte) 1, exec("return (char)1 + (byte)1;"));
        // char/char
        assertEquals((char) 1 + (char) 1, exec("return (char)1 + (char)1;"));
        // char/short
        assertEquals((char) 1 + (short) 1, exec("return (char)1 + (short)1;"));
        // char/int
        assertEquals((char) 1 + 1, exec("return (char)1 + 1;"));
        // char/long
        assertEquals((char) 1 + 1L, exec("return (char)1 + 1L;"));
        // char/float
        assertEquals((char) 1 + 1F, exec("return (char)1 + 1F;"));
        // char/double
        assertEquals((char) 1 + 1.0, exec("return (char)1 + 1.0;"));

        // short/byte
        assertEquals((short) 1 + (byte) 1, exec("return (short)1 + (byte)1;"));
        // short/char
        assertEquals((short) 1 + (char) 1, exec("return (short)1 + (char)1;"));
        // short/short
        assertEquals((short) 1 + (short) 1, exec("return (short)1 + (short)1;"));
        // short/int
        assertEquals((short) 1 + 1, exec("return (short)1 + 1;"));
        // short/long
        assertEquals((short) 1 + 1L, exec("return (short)1 + 1L;"));
        // short/float
        assertEquals((short) 1 + 1F, exec("return (short)1 + 1F;"));
        // short/double
        assertEquals((short) 1 + 1.0, exec("return (short)1 + 1.0;"));

        // int/byte
        assertEquals(1 + (byte) 1, exec("return 1 + (byte)1;"));
        // int/char
        assertEquals(1 + (char) 1, exec("return 1 + (char)1;"));
        // int/short
        assertEquals(1 + (short) 1, exec("return 1 + (short)1;"));
        // int/int
        assertEquals(1 + 1, exec("return 1 + 1;"));
        // int/long
        assertEquals(1 + 1L, exec("return 1 + 1L;"));
        // int/float
        assertEquals(1 + 1F, exec("return 1 + 1F;"));
        // int/double
        assertEquals(1 + 1.0, exec("return 1 + 1.0;"));

        // long/byte
        assertEquals(1L + (byte) 1, exec("return 1L + (byte)1;"));
        // long/char
        assertEquals(1L + (char) 1, exec("return 1L + (char)1;"));
        // long/short
        assertEquals(1L + (short) 1, exec("return 1L + (short)1;"));
        // long/int
        assertEquals(1L + 1, exec("return 1L + 1;"));
        // long/long
        assertEquals(1L + 1L, exec("return 1L + 1L;"));
        // long/float
        assertEquals(1L + 1F, exec("return 1L + 1F;"));
        // long/double
        assertEquals(1L + 1.0, exec("return 1L + 1.0;"));

        // float/byte
        assertEquals(1F + (byte) 1, exec("return 1F + (byte)1;"));
        // float/char
        assertEquals(1F + (char) 1, exec("return 1F + (char)1;"));
        // float/short
        assertEquals(1F + (short) 1, exec("return 1F + (short)1;"));
        // float/int
        assertEquals(1F + 1, exec("return 1F + 1;"));
        // float/long
        assertEquals(1F + 1L, exec("return 1F + 1L;"));
        // float/float
        assertEquals(1F + 1F, exec("return 1F + 1F;"));
        // float/double
        assertEquals(1F + 1.0, exec("return 1F + 1.0;"));

        // double/byte
        assertEquals(1.0 + (byte) 1, exec("return 1.0 + (byte)1;"));
        // double/char
        assertEquals(1.0 + (char) 1, exec("return 1.0 + (char)1;"));
        // double/short
        assertEquals(1.0 + (short) 1, exec("return 1.0 + (short)1;"));
        // double/int
        assertEquals(1.0 + 1, exec("return 1.0 + 1;"));
        // double/long
        assertEquals(1.0 + 1L, exec("return 1.0 + 1L;"));
        // double/float
        assertEquals(1.0 + 1F, exec("return 1.0 + 1F;"));
        // double/double
        assertEquals(1.0 + 1.0, exec("return 1.0 + 1.0;"));
    }
}