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 /*
25  * @test
26  * @modules jdk.incubator.code
27  * @run junit TestBlockParameters
28  */
29 
30 import jdk.incubator.code.Block;
31 import jdk.incubator.code.CodeElement;
32 import jdk.incubator.code.Op;
33 import jdk.incubator.code.dialect.core.FunctionType;
34 import jdk.incubator.code.dialect.java.JavaOp;
35 import jdk.incubator.code.dialect.java.JavaType;
36 import org.junit.jupiter.api.Assertions;
37 import org.junit.jupiter.api.Test;
38 
39 import static jdk.incubator.code.dialect.core.CoreOp.*;
40 import static jdk.incubator.code.dialect.core.CoreType.functionType;
41 import static jdk.incubator.code.dialect.java.JavaType.INT;
42 
43 public class TestBlockParameters {
44     static FuncOp m() {
45         return func("f", functionType(INT, INT, INT))
46                 .body(fe -> {
47                     JavaOp.LambdaOp lop = JavaOp.lambda(fe.parentBody(), functionType(INT, INT), JavaType.type(FunctionType.class))
48                             .body(le -> {
49                                 le.op(return_(le.parameters().get(0)));
50                             });
51                     fe.op(lop);
52                     Block.Builder b = fe.block(INT, INT);
53                     fe.op(branch(b.successor(fe.parameters())));
54 
55                     b.op(return_(b.parameters().get(0)));
56                 });
57     }
58 
59     @Test
60     public void t() {
61         FuncOp m = m();
62         m.traverse(null, CodeElement.blockVisitor((_, b) -> {
63             for (Block.Parameter p : b.parameters()) {
64                 testBlockParameter(p);
65             }
66 
67             return null;
68         }));
69     }
70 
71     void testBlockParameter(Block.Parameter p) {
72         Assertions.assertEquals(p.declaringBlock().parameters().indexOf(p), p.index());
73 
74         if (p.invokableOperation() instanceof Op.Invokable iop) {
75             Assertions.assertTrue(p.declaringBlock().isEntryBlock());
76             Assertions.assertEquals(iop.parameters().indexOf(p), p.index());
77         } else {
78             // There are no non-invokable operations with bodies in the model
79             Assertions.assertFalse(p.declaringBlock().isEntryBlock());
80         }
81     }
82 }