1 /*
2 * Copyright (c) 2024, 2026, 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.CodeTransformer;
26 import jdk.incubator.code.Op;
27 import jdk.incubator.code.dialect.core.CoreOp;
28 import org.junit.jupiter.api.Assertions;
29 import org.junit.jupiter.api.Test;
30
31 import java.lang.invoke.MethodHandles;
32 import java.lang.reflect.Method;
33 import java.util.Optional;
34 import java.util.stream.Stream;
35
36 /*
37 * @test
38 * @modules jdk.incubator.code
39 * @library lib
40 * @run junit TestPatterns2
41 * @run main Unreflect TestPatterns2
42 * @run junit TestPatterns2
43 * @enablePreview */
44 public class TestPatterns2 {
45
46 record R<T extends Number> (T n) {}
47
48 @Reflect
49 static boolean f(Object o) {
50 return o instanceof R(Integer i);
51 }
52
53 @Test
54 void test() {
55
56 CoreOp.FuncOp f = getFuncOp("f");
57 System.out.println(f.toText());
58
59 CoreOp.FuncOp lf = f.transform(CodeTransformer.LOWERING_TRANSFORMER);
60 System.out.println(lf.toText());
61
62 R[] args = {new R(1), new R(2d)};
63 for (R arg : args) {
64 Assertions.assertEquals(f(arg), Interpreter.invoke(MethodHandles.lookup(), lf, arg));
65 }
66 }
67
68 static CoreOp.FuncOp getFuncOp(String name) {
69 Optional<Method> om = Stream.of(TestPatterns2.class.getDeclaredMethods())
70 .filter(m -> m.getName().equals(name))
71 .findFirst();
72
73 Method m = om.get();
74 return Op.ofMethod(m).get();
75 }
76 }