| // Copyright (c) 2022, the R8 project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| package com.android.tools.r8.lightir; |
| |
| import static org.junit.Assert.assertEquals; |
| import static org.junit.Assert.assertFalse; |
| import static org.junit.Assert.assertSame; |
| import static org.junit.Assert.assertTrue; |
| |
| import com.android.tools.r8.TestBase; |
| import com.android.tools.r8.TestParameters; |
| import com.android.tools.r8.TestParametersCollection; |
| import com.android.tools.r8.errors.Unreachable; |
| import com.android.tools.r8.graph.DexItemFactory; |
| import com.android.tools.r8.graph.DexMethod; |
| import com.android.tools.r8.ir.code.BasicBlock; |
| import com.android.tools.r8.ir.code.IRMetadata; |
| import com.android.tools.r8.ir.code.Value; |
| import com.android.tools.r8.references.Reference; |
| import org.junit.Test; |
| import org.junit.runner.RunWith; |
| import org.junit.runners.Parameterized; |
| |
| @RunWith(Parameterized.class) |
| public class LirBasicCallbackTest extends TestBase { |
| |
| @Parameterized.Parameters(name = "{0}") |
| public static TestParametersCollection data() { |
| return getTestParameters().withNoneRuntime().build(); |
| } |
| |
| public LirBasicCallbackTest(TestParameters parameters) { |
| parameters.assertNoneRuntime(); |
| } |
| |
| private static class ThrowingStrategy extends LirEncodingStrategy<Value, Integer> { |
| |
| @Override |
| public boolean isPhiInlineInstruction() { |
| return false; |
| } |
| |
| @Override |
| public void defineBlock(BasicBlock block, int index) { |
| throw new Unreachable(); |
| } |
| |
| @Override |
| public int getBlockIndex(BasicBlock block) { |
| throw new Unreachable(); |
| } |
| |
| @Override |
| public Integer defineValue(Value value, int index) { |
| throw new Unreachable(); |
| } |
| |
| @Override |
| public boolean verifyValueIndex(Value value, int expectedIndex) { |
| throw new Unreachable(); |
| } |
| |
| @Override |
| public Integer getEncodedValue(Value value) { |
| throw new Unreachable(); |
| } |
| |
| @Override |
| public LirStrategyInfo<Integer> getStrategyInfo() { |
| return null; |
| } |
| } |
| |
| @Test |
| public void test() { |
| DexItemFactory factory = new DexItemFactory(); |
| DexMethod method = factory.createMethod(Reference.methodFromDescriptor("LFoo;", "bar", "()V")); |
| LirCode<?> code = |
| LirCode.builder(method, new ThrowingStrategy(), factory) |
| .setMetadata(IRMetadata.unknown()) |
| .addConstNull() |
| .addConstInt(42) |
| .build(); |
| |
| LirIterator it = code.iterator(); |
| |
| // The iterator and the elements are the same object providing a view on the byte stream. |
| assertTrue(it.hasNext()); |
| LirInstructionView next = it.next(); |
| assertSame(it, next); |
| |
| it.accept( |
| insn -> { |
| assertEquals(LirOpcodes.ACONST_NULL, insn.getOpcode()); |
| assertEquals(0, insn.getRemainingOperandSizeInBytes()); |
| }); |
| |
| assertTrue(it.hasNext()); |
| it.next(); |
| it.accept( |
| insn -> { |
| assertEquals(LirOpcodes.ICONST, insn.getOpcode()); |
| assertEquals(4, insn.getRemainingOperandSizeInBytes()); |
| }); |
| assertFalse(it.hasNext()); |
| |
| // The iterator can also be use in a normal java for-each loop. |
| // However, the item is not an actual item just a current view, so it can't be cached! |
| LirInstructionView oldView = null; |
| for (LirInstructionView view : code) { |
| if (oldView == null) { |
| oldView = view; |
| view.accept(insn -> assertEquals(LirOpcodes.ACONST_NULL, insn.getOpcode())); |
| } else { |
| assertSame(oldView, view); |
| view.accept(insn -> assertEquals(LirOpcodes.ICONST, insn.getOpcode())); |
| } |
| } |
| } |
| } |