hhvm/hphp/runtime/vm/jit/code-gen-internal.cpp at master · MaxSem/hhvm · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
/*
   +----------------------------------------------------------------------+
   | HipHop for PHP                                                       |
   +----------------------------------------------------------------------+
   | Copyright (c) 2010-2016 Facebook, Inc. (http://www.facebook.com)     |
   +----------------------------------------------------------------------+
   | This source file is subject to version 3.01 of the PHP license,      |
   | that is bundled with this package in the file LICENSE, and is        |
   | available through the world-wide-web at the following url:           |
   | http://www.php.net/license/3_01.txt                                  |
   | If you did not receive a copy of the PHP license and are unable to   |
   | obtain it through the world-wide-web, please send a note to          |
   | license@php.net so we can mail you a copy immediately.               |
   +----------------------------------------------------------------------+
*/

#include "hphp/runtime/vm/jit/code-gen-internal.h"

#include "hphp/runtime/base/string-data.h"
#include "hphp/runtime/vm/member-operations.h"

#include "hphp/runtime/vm/jit/type.h"

namespace HPHP { namespace jit {

///////////////////////////////////////////////////////////////////////////////

ArrayKeyInfo checkStrictlyInteger(Type arr, Type key) {
  auto ret = ArrayKeyInfo{};
  assertx(arr <= TArr);

  if (key <= TInt) {
    ret.type = KeyType::Int;
    return ret;
  }
  assertx(key <= TStr);
  ret.type = KeyType::Str;

  auto const dictType = Type::Array(ArrayData::kDictKind);
  auto const vecType = Type::Array(ArrayData::kVecKind);
  if (arr <= dictType || arr <= vecType) {
    return ret;
  }

  if (key.hasConstVal()) {
    int64_t i;
    if (key.strVal()->isStrictlyInteger(i)) {
      if (arr.maybe(dictType) || arr.maybe(vecType)) {
        ret.checkForInt = true;
      } else {
        ret.converted    = true;
        ret.type         = KeyType::Int;
        ret.convertedInt = i;
      }
    }
  } else {
    ret.checkForInt = true;
  }

  return ret;
}

///////////////////////////////////////////////////////////////////////////////

}}