hphp/test/quick/asm_types.hhas

   1 # Test type annotations for hhas
   2
   3 .adata A_0 = """a:0:{}""";
   4
   5 .main {
   6   DefCls 0
   7   FPushFuncD 0 "test"
   8   FCall <> 0 1 "" - "" ""
   9   PopC
  10   Int 1
  11   RetC
  12 }
  13
  14 .function use_class(<"@C" "C" hh_type extended_hint soft> $x) {
  15   VerifyParamType $x
  16   Null
  17   RetC
  18 }
  19
  20 .function use_int_soft(<"@HH\\int" "HH\\int" hh_type extended_hint soft> $x) {
  21   VerifyParamType $x
  22   Null
  23   RetC
  24 }
  25
  26 .function use_int_nullable(<"?HH\\int" "HH\\int" nullable hh_type extended_hint> $x) {
  27   VerifyParamType $x
  28   Null
  29   RetC
  30 }
  31
  32 .function use_int(<"HH\\int" "HH\\int" hh_type> $x) {
  33   VerifyParamType $x
  34   Null
  35   RetC
  36 }
  37
  38 .function use_mixed(<"HH\\mixed" N> $x) {
  39   Null
  40   RetC
  41 }
  42
  43 .function test() {
  44   FPushFuncD 1 "use_class"
  45   NewObjD "C"
  46   Dup
  47   FPushCtor 0
  48   FCall <> 0 1 "" - "" ""
  49   PopC
  50   FCall <> 1 1 "" - "" ""
  51   PopC
  52
  53   FPushFuncD 1 "use_class"
  54   Null
  55   FCall <> 1 1 "" - "" ""
  56   PopC
  57
  58   FPushFuncD 1 "use_int_soft"
  59   Int 5
  60   FCall <> 1 1 "" - "" ""
  61   PopC
  62
  63   FPushFuncD 1 "use_int_soft"
  64   Array @A_0
  65   FCall <> 1 1 "" - "" ""
  66   PopC
  67
  68   FPushFuncD 1 "use_int_soft"
  69   Null
  70   FCall <> 1 1 "" - "" ""
  71   PopC
  72
  73   FPushFuncD 1 "use_int_nullable"
  74   Int 6
  75   FCall <> 1 1 "" - "" ""
  76   PopC
  77
  78   FPushFuncD 1 "use_int_nullable"
  79   Null
  80   FCall <> 1 1 "" - "" ""
  81   PopC
  82
  83   FPushFuncD 1 "use_int"
  84   Int 5
  85   FCall <> 1 1 "" - "" ""
  86   PopC
  87
  88   FPushFuncD 1 "use_mixed"
  89   Array @A_0
  90   FCall <> 1 1 "" - "" ""
  91   PopC
  92
  93   FPushFuncD 1 "use_int"
  94   Array @A_0
  95   FCall <> 1 1 "" - "" ""
  96   PopC
  97
  98   Null
  99   RetC
 100 }
 101
 102 .class C {
 103   .method [public static] <"HH\\int" "HH\\int" hh_type extended_hint> test() {
 104     Int 42
 105     RetC
 106   }
 107 }