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 jdk.incubator.code.Reflect;
 25 import jdk.incubator.code.Op;
 26 import jdk.incubator.code.CodeTransformer;
 27 import jdk.incubator.code.dialect.core.CoreOp;
 28 import jdk.incubator.code.interpreter.Interpreter;
 29 import org.junit.jupiter.api.Assertions;
 30 import org.junit.jupiter.api.Test;
 31 
 32 import java.lang.invoke.MethodHandles;
 33 import java.lang.reflect.Method;
 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 junit TestConditionalOp
 43  * @run main Unreflect TestConditionalOp
 44  * @run junit TestConditionalOp
 45  */
 46 
 47 public class TestConditionalOp {
 48 
 49     @Reflect
 50     static boolean f(boolean a, boolean b, boolean c, List<String> l) {
 51         return F.a(a, l) || (F.b(b, l) && F.c(c, l));
 52     }
 53 
 54     static class F {
 55         static boolean a(boolean a, List<String> l) {
 56             l.add("a");
 57             return a;
 58         }
 59 
 60         static boolean b(boolean b, List<String> l) {
 61             l.add("b");
 62             return b;
 63         }
 64 
 65         static boolean c(boolean c, List<String> l) {
 66             l.add("c");
 67             return c;
 68         }
 69     }
 70 
 71     static CoreOp.FuncOp getFuncOp(String name) {
 72         Optional<Method> om = Stream.of(TestConditionalOp.class.getDeclaredMethods())
 73                 .filter(m -> m.getName().equals(name))
 74                 .findFirst();
 75 
 76         Method m = om.get();
 77         return Op.ofMethod(m).get();
 78     }
 79 
 80     @Test
 81     public void testf() {
 82         CoreOp.FuncOp f = getFuncOp("f");
 83 
 84         System.out.println(f.toText());
 85 
 86         CoreOp.FuncOp lf = f.transform(CodeTransformer.LOWERING_TRANSFORMER);
 87 
 88         System.out.println(lf.toText());
 89 
 90         for (int i = 0; i < 8; i++) {
 91             boolean a = (i & 1) != 0;
 92             boolean b = (i & 2) != 0;
 93             boolean c = (i & 4) != 0;
 94             List<String> la = new ArrayList<>();
 95             boolean ra = (boolean) Interpreter.invoke(MethodHandles.lookup(), lf, a, b, c, la);
 96 
 97             List<String> le = new ArrayList<>();
 98             boolean re = f(a, b, c, le);
 99 
100             Assertions.assertEquals(re, ra);
101             Assertions.assertEquals(le, la);
102         }
103     }
104 }