hphp/test/slow/readonly/dim.hhas

   1 .file_attributes ["__EnableUnstableFeatures"("""v:1:{s:8:\"readonly\";}""")] ;
   2
   3 .function{} ["__EntryPoint"("""v:0:{}""")] (17,35) <"HH\\void" N  > test() {
   4   .declvars $t $t1 $e $y;
   5   .srcloc 18:8,18:17;
   6   NewObjD "Foo1"
   7   Dup
   8   NullUninit
   9   FCallCtor <LockWhileUnwinding> 0 1 "" "" - "" ""
  10   PopC
  11   LockObj
  12   .srcloc 18:3,18:17;
  13   SetL $t
  14   .srcloc 18:3,18:18;
  15   PopC
  16   .srcloc 19:9,19:18;
  17   NewObjD "Foo1"
  18   Dup
  19   NullUninit
  20   FCallCtor <LockWhileUnwinding> 0 1 "" "" - "" ""
  21   PopC
  22   LockObj
  23   .srcloc 19:3,19:18;
  24   SetL $t1
  25   .srcloc 19:3,19:19;
  26   PopC
  27   .srcloc 20:16,20:25;
  28   NewObjD "Foo2"
  29   Dup
  30   NullUninit
  31   FCallCtor <LockWhileUnwinding> 0 1 "" "" - "" ""
  32   PopC
  33   LockObj
  34   .srcloc 20:12,20:26;
  35   NewVec 1
  36   BaseL $t Define
  37   .srcloc 20:3,20:8;
  38   SetM 0 PT:"f2" Any
  39   .srcloc 20:3,20:27;
  40   PopC
  41   .srcloc 21:18,21:19;
  42   Int 10
  43   BaseL $t Define
  44   Dim Define PT:"f2" Mutable
  45   Dim Define EI:0 Any
  46   .srcloc 21:3,21:14;
  47   SetM 0 PT:"x" Any
  48   .srcloc 21:3,21:20;
  49   PopC
  50   .srcloc 22:20,22:29;
  51   NewObjD "Foo2"
  52   Dup
  53   NullUninit
  54   FCallCtor <LockWhileUnwinding> 0 1 "" "" - "" ""
  55   PopC
  56   LockObj
  57   .srcloc 22:16,22:30;
  58   NewVec 1
  59   BaseL $t1 Define
  60   .srcloc 22:3,22:12;
  61   SetM 0 PT:"ro_f2" Any
  62   .srcloc 22:3,22:31;
  63   PopC
  64   .try {
  65     .srcloc 24:24,24:25;
  66     Int 10
  67     BaseL $t1 Define
  68     Dim Define PT:"ro_f2" Mutable
  69     Dim Define EI:0 Any
  70     .srcloc 24:5,24:20;
  71     SetM 0 PT:"x" Any
  72     .srcloc 24:5,24:26;
  73     PopC
  74     .srcloc 23:3,27:125;
  75     Jmp L0
  76   } .catch {
  77     Dup
  78     InstanceOfD "Exception"
  79     JmpZ L1
  80     SetL $e
  81     PopC
  82     .srcloc 26:5,26:30;
  83     NullUninit
  84     NullUninit
  85     .srcloc 26:14,26:15;
  86     CGetL $e
  87     NullUninit
  88     .srcloc 26:14,26:29;
  89     FCallObjMethodD <> 0 1 "" "" - "" "" NullThrows "getMessage"
  90     .srcloc 26:5,26:30;
  91     FCallFuncD <> 1 1 "0" "" - "" "var_dump"
  92     PopC
  93     .srcloc 23:3,27:125;
  94     Jmp L0
  95   L1:
  96     Throw
  97   }
  98 L0:
  99   .srcloc 29:20,29:35;
 100   NewObjD "Foo2"
 101   Dup
 102   NullUninit
 103   .srcloc 29:29,29:30;
 104   Int 10
 105   .srcloc 29:33,29:34;
 106   Int 20
 107   .srcloc 29:20,29:35;
 108   FCallCtor <LockWhileUnwinding> 2 1 "00" "" - "" ""
 109   PopC
 110   LockObj
 111   .srcloc 29:16,29:36;
 112   NewVec 1
 113   BaseL $t1 Define
 114   .srcloc 29:3,29:12;
 115   SetM 0 PT:"ro_f2" Any
 116   .srcloc 29:3,29:37;
 117   PopC
 118   .try {
 119     .srcloc 31:10,31:25;
 120     BaseL $t1 Warn
 121     Dim Warn PT:"ro_f2" Mutable
 122     Dim Warn EI:0 Any
 123     QueryM 0 CGet PT:"x" Mutable
 124     .srcloc 31:5,31:25;
 125     SetL $y
 126     .srcloc 31:5,31:26;
 127     PopC
 128     .srcloc 30:3,34:125;
 129     Jmp L2
 130   } .catch {
 131     Dup
 132     InstanceOfD "Exception"
 133     JmpZ L3
 134     SetL $e
 135     PopC
 136     .srcloc 33:5,33:30;
 137     NullUninit
 138     NullUninit
 139     .srcloc 33:14,33:15;
 140     CGetL $e
 141     NullUninit
 142     .srcloc 33:14,33:29;
 143     FCallObjMethodD <> 0 1 "" "" - "" "" NullThrows "getMessage"
 144     .srcloc 33:5,33:30;
 145     FCallFuncD <> 1 1 "0" "" - "" "var_dump"
 146     PopC
 147     .srcloc 30:3,34:125;
 148     Jmp L2
 149   L3:
 150     Throw
 151   }
 152 L2:
 153   .srcloc 35:2,35:2;
 154   Null
 155   RetC
 156 }
 157
 158 .class {}  Foo2 (4,9) {
 159   .property [public sys_initial_val] <"HH\\int" "HH\\int" extended_hint > x =
 160     """N;""";
 161   .method{}{} [public] (6,8) <"" N  > __construct(<"HH\\num" "HH\\num"  > $x = DV1("""0""")) {
 162   L0:
 163     .srcloc 6:10,8:66;
 164     VerifyParamType $x
 165     .srcloc 7:5,7:9;
 166     CheckThis
 167     .srcloc 7:16,7:17;
 168     CGetL $x
 169     BaseH
 170     .srcloc 7:5,7:12;
 171     SetM 0 PT:"x" Any
 172     .srcloc 7:5,7:18;
 173     PopC
 174     .srcloc 8:4,8:4;
 175     Null
 176     RetC
 177   DV1:
 178     .srcloc 6:40,6:40;
 179     Int 0
 180     .srcloc 6:10,8:66;
 181     SetL $x
 182     PopC
 183     JmpNS L0
 184   }
 185 }
 186
 187 .class {}  Foo1 (11,14) {
 188   .property [public sys_initial_val] <"HH\\vec<Foo2>" "HH\\vec" extended_hint > f2 =
 189     """N;""";
 190   .property [public readonly sys_initial_val] <"HH\\vec<Foo2>" "HH\\vec" extended_hint > ro_f2 =
 191     """N;""";
 192 }