1# Copyright (C) 2014 The Android Open Source Project 2# 3# Licensed under the Apache License, Version 2.0 (the "License"); 4# you may not use this file except in compliance with the License. 5# You may obtain a copy of the License at 6# 7# http://www.apache.org/licenses/LICENSE-2.0 8# 9# Unless required by applicable law or agreed to in writing, software 10# distributed under the License is distributed on an "AS IS" BASIS, 11# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12# See the License for the specific language governing permissions and 13# limitations under the License. 14 15.class public LTypePropagation; 16 17.super Ljava/lang/Object; 18 19.method public static method([I)V 20 .registers 3 21 const/4 v0, 0 22 aget v1, v2, v0 23 add-int v2, v1, v0 24 if-eq v1, v0, :end 25 # Putting a float in v1 will lead to the creation of a phi with one 26 # float input and one integer input. Since the SSA builder trusts 27 # the verifier, it assumes that the integer input must be converted 28 # to float. However, since v0 is not used afterwards, the verifier 29 # hasn't ensured that. Therefore, the compiler must remove 30 # the phi prior to doing type propagation. 31 int-to-float v1, v0 32 :end 33 # Do a call to create an environment that will capture all Dex registers. 34 # This environment is the reason why a phi is created at the join block 35 # of the if. 36 invoke-static {}, LTypePropagation;->emptyMethod()V 37 return-void 38.end method 39 40.method public static emptyMethod()V 41 .registers 0 42 return-void 43.end method 44