IssueTracker

The dalvik file generated by d8 and r8 cannot pass the verifier of art,  while the dalvik file generated by dx can.
The class file can also be executed on JVM.

This issue can be reproduced with the HEAD of project r8.

$ dx --dex --output=new-dx.jar C0.class
$ ../../r8/d8.sh --output new-d8.jar C0.class
$ ~/Projects/Android/AOSP/out/host/linux-x86/bin/art -cp new-dx.jar C0
$ echo $?
0
$ ~/Projects/Android/AOSP/out/host/linux-x86/bin/art -cp new-d8.jar C0
dex2oat W 01-31 14:56:21 22858 22858 method_verifier.cc:472] Verification error in float C0.M6()
dex2oat W 01-31 14:56:21 22858 22858 method_verifier.cc:472] float C0.M6() failed to verify: float C0.M6(): [0xB] copy1 v1<-v0 type=Imprecise Constant: -128 cat=3
dex2oat W 01-31 14:56:21 22858 22858 method_verifier.cc:472]
Unable to find static main(String[]) in 'C0'
java.lang.VerifyError: Verifier rejected class C0: float C0.M6() failed to verify: float C0.M6(): [0xB] copy1 v1<-v0 type=Imprecise Constant: -128 cat=3 (declaration of 'C0' appears in /home/t/Projects/JVMTesting/bugs/verifier-20180131105031/new-d8.jar)
Exception in thread "main" java.lang.VerifyError: Verifier rejected class C0: float C0.M6() failed to verify: float C0.M6(): [0xB] copy1 v1<-v0 type=Imprecise Constant: -128 cat=3 (declaration of 'C0' appears in /home/t/Projects/JVMTesting/bugs/verifier-20180131105031/new-d8.jar)



You can try to compile the following Jasmin file into class file or via Google Drive (https://drive.google.com/open?id=1J7M9AMsmG_3XWlrzKvwKBbzoJ0MAAUuU)

~~~
.class public C0
.super java/lang/Object

.method public <init>()V
aload 0
invokenonvirtual java/lang/Object/<init>()V
return
.limit stack 1
.limit locals 1
.end method
.method public static main([Ljava/lang/String;)V
return
.limit stack 17
.limit locals 3
.end method
.method public final M6()F
aload 0
dup
lconst_0
dconst_1
fconst_0
lconst_1
iconst_5
fconst_1
dconst_1
new C0
dup
invokenonvirtual C0/<init>()V
lconst_0
new java/lang/Object
dup
invokenonvirtual java/lang/Object/<init>()V
iconst_m1
dup2
dup2_x2
L0:
ineg
new java/lang/Object
dup
invokenonvirtual java/lang/Object/<init>()V
dup2_x2
pop2
ifnull L0
i2f
freturn
.limit stack 25
.limit locals 1
.end method
~~~