1 /*
  2  * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved.
  3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  4  *
  5  * This code is free software; you can redistribute it and/or modify it
  6  * under the terms of the GNU General Public License version 2 only, as
  7  * published by the Free Software Foundation.
  8  *
  9  * This code is distributed in the hope that it will be useful, but WITHOUT
 10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 12  * version 2 for more details (a copy is included in the LICENSE file that
 13  * accompanied this code).
 14  *
 15  * You should have received a copy of the GNU General Public License version
 16  * 2 along with this work; if not, write to the Free Software Foundation,
 17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 18  *
 19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 20  * or visit www.oracle.com if you need additional information or have any
 21  * questions.
 22  */
 23 
 24 import org.testng.Assert;
 25 import org.testng.annotations.Test;
 26 
 27 import jdk.incubator.code.OpTransformer;
 28 import jdk.incubator.code.dialect.core.CoreOp;
 29 import jdk.incubator.code.Op;
 30 import jdk.incubator.code.interpreter.Interpreter;
 31 import java.lang.invoke.MethodHandles;
 32 import java.lang.reflect.Method;
 33 import jdk.incubator.code.CodeReflection;
 34 import java.util.ArrayList;
 35 import java.util.List;
 36 import java.util.Optional;
 37 import java.util.stream.Stream;
 38 
 39 /*
 40  * @test
 41  * @modules jdk.incubator.code
 42  * @run testng TestConditionalOp
 43  */
 44 
 45 public class TestConditionalOp {
 46 
 47     @CodeReflection
 48     static boolean f(boolean a, boolean b, boolean c, List<String> l) {
 49         return F.a(a, l) || (F.b(b, l) && F.c(c, l));
 50     }
 51 
 52     static class F {
 53         static boolean a(boolean a, List<String> l) {
 54             l.add("a");
 55             return a;
 56         }
 57 
 58         static boolean b(boolean b, List<String> l) {
 59             l.add("b");
 60             return b;
 61         }
 62 
 63         static boolean c(boolean c, List<String> l) {
 64             l.add("c");
 65             return c;
 66         }
 67     }
 68 
 69     static CoreOp.FuncOp getFuncOp(String name) {
 70         Optional<Method> om = Stream.of(TestConditionalOp.class.getDeclaredMethods())
 71                 .filter(m -> m.getName().equals(name))
 72                 .findFirst();
 73 
 74         Method m = om.get();
 75         return Op.ofMethod(m).get();
 76     }
 77 
 78     @Test
 79     public void testf() {
 80         CoreOp.FuncOp f = getFuncOp("f");
 81 
 82         f.writeTo(System.out);
 83 
 84         CoreOp.FuncOp lf = f.transform(OpTransformer.LOWERING_TRANSFORMER);
 85 
 86         lf.writeTo(System.out);
 87 
 88         for (int i = 0; i < 8; i++) {
 89             boolean a = (i & 1) != 0;
 90             boolean b = (i & 2) != 0;
 91             boolean c = (i & 4) != 0;
 92             List<String> la = new ArrayList<>();
 93             boolean ra = (boolean) Interpreter.invoke(MethodHandles.lookup(), lf, a, b, c, la);
 94 
 95             List<String> le = new ArrayList<>();
 96             boolean re = f(a, b, c, le);
 97 
 98             Assert.assertEquals(ra, re);
 99             Assert.assertEquals(la, le);
100         }
101     }
102 }