hphp/runtime/vm/jit/code-gen-internal.cpp

   1 /*
   2    +----------------------------------------------------------------------+
   3    | HipHop for PHP                                                       |
   4    +----------------------------------------------------------------------+
   5    | Copyright (c) 2010-2016 Facebook, Inc. (http://www.facebook.com)     |
   6    +----------------------------------------------------------------------+
   7    | This source file is subject to version 3.01 of the PHP license,      |
   8    | that is bundled with this package in the file LICENSE, and is        |
   9    | available through the world-wide-web at the following url:           |
  10    | http://www.php.net/license/3_01.txt                                  |
  11    | If you did not receive a copy of the PHP license and are unable to   |
  12    | obtain it through the world-wide-web, please send a note to          |
  13    | license@php.net so we can mail you a copy immediately.               |
  14    +----------------------------------------------------------------------+
  15 */
  16
  17 #include "hphp/runtime/vm/jit/code-gen-internal.h"
  18
  19 #include "hphp/runtime/base/string-data.h"
  20 #include "hphp/runtime/vm/member-operations.h"
  21
  22 #include "hphp/runtime/vm/jit/type.h"
  23
  24 namespace HPHP { namespace jit {
  25
  26 ///////////////////////////////////////////////////////////////////////////////
  27
  28 ArrayKeyInfo checkStrictlyInteger(Type arr, Type key) {
  29   auto ret = ArrayKeyInfo{};
  30   assertx(arr <= TArr);
  31
  32   if (key <= TInt) {
  33     ret.type = KeyType::Int;
  34     return ret;
  35   }
  36   assertx(key <= TStr);
  37   ret.type = KeyType::Str;
  38
  39   auto const dictType = Type::Array(ArrayData::kDictKind);
  40   if (arr <= dictType) {
  41     return ret;
  42   }
  43
  44   if (key.hasConstVal()) {
  45     int64_t i;
  46     if (key.strVal()->isStrictlyInteger(i)) {
  47       if (arr.maybe(dictType)) {
  48         ret.checkForInt = true;
  49       } else {
  50         ret.converted    = true;
  51         ret.type         = KeyType::Int;
  52         ret.convertedInt = i;
  53       }
  54     }
  55   } else {
  56     ret.checkForInt = true;
  57   }
  58
  59   return ret;
  60 }
  61
  62 ///////////////////////////////////////////////////////////////////////////////
  63
  64 }}