1a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham%verify "executed"
2a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    /*
3a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham     * Array put, 64 bits.  vBB[vCC] <- vAA.
4a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham     *
5a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham     * Arrays of long/double are 64-bit aligned, so it's okay to use STRD.
6a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham     */
7a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    /* aput-wide vAA, vBB, vCC */
8a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    FETCH(a0, 1)                           #  a0 <- CCBB
9a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    GET_OPA(t0)                            #  t0 <- AA
10a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    and       a2, a0, 255                  #  a2 <- BB
11a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    srl       a3, a0, 8                    #  a3 <- CC
12a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    GET_VREG(a0, a2)                       #  a0 <- vBB (array object)
13a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    GET_VREG(a1, a3)                       #  a1 <- vCC (requested index)
14a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    # null array object?
15a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    beqz      a0, common_errNullObject     #  yes, bail
16a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    LOAD_base_offArrayObject_length(a3, a0) #  a3 <- arrayObj->length
17a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    EAS3(a0, a0, a1)                       #  a0 <- arrayObj + index*width
18a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    EAS2(rOBJ, rFP, t0)                    #  rOBJ <- &fp[AA]
19a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    # compare unsigned index, length
20a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    bgeu      a1, a3, common_errArrayIndex #  index >= length, bail
21a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham
22a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    FETCH_ADVANCE_INST(2)                  #  advance rPC, load rINST
23a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    LOAD64(a2, a3, rOBJ)                   #  a2/a3 <- vAA/vAA+1
24a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
25a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    STORE64_off(a2, a3, a0, offArrayObject_contents) #  a2/a3 <- vBB[vCC]
26a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham    GOTO_OPCODE(t0)                        #  jump to next instruction
27a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham
28