Lines Matching refs:EXTERNAL_DOUBLE_ELEMENTS
3366 case EXTERNAL_DOUBLE_ELEMENTS:
3427 elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
3533 case EXTERNAL_DOUBLE_ELEMENTS:
3540 } else { // elements_kind == EXTERNAL_DOUBLE_ELEMENTS.
3570 } else if (elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
