muti_module_aot_ignore_cases.patch 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174
  1. diff --git a/test/core/linking.wast b/test/core/linking.wast
  2. index d0bfb5f..6617945 100644
  3. --- a/test/core/linking.wast
  4. +++ b/test/core/linking.wast
  5. @@ -35,7 +35,7 @@
  6. ;; Globals
  7. -
  8. +(;
  9. (module $Mg
  10. (global $glob (export "glob") i32 (i32.const 42))
  11. (func (export "get") (result i32) (global.get $glob))
  12. @@ -63,7 +63,7 @@
  13. (export "Mg.get_mut" (func $get_mut))
  14. (export "Mg.set_mut" (func $set_mut))
  15. )
  16. -
  17. +;)
  18. (;
  19. (assert_return (get $Mg "glob") (i32.const 42))
  20. (assert_return (get $Ng "Mg.glob") (i32.const 42))
  21. @@ -84,7 +84,7 @@
  22. (assert_return (invoke $Ng "Mg.get_mut") (i32.const 241))
  23. ;)
  24. -
  25. +(;
  26. (assert_unlinkable
  27. (module (import "Mg" "mut_glob" (global i32)))
  28. "incompatible import type"
  29. @@ -166,7 +166,7 @@
  30. (call_indirect (type 1) (local.get 0))
  31. )
  32. )
  33. -
  34. +;)
  35. (;
  36. (assert_return (invoke $Mt "call" (i32.const 2)) (i32.const 4))
  37. (assert_return (invoke $Nt "Mt.call" (i32.const 2)) (i32.const 4))
  38. @@ -191,7 +191,7 @@
  39. (assert_return (invoke $Nt "call" (i32.const 3)) (i32.const -4))
  40. (assert_trap (invoke $Nt "call" (i32.const 4)) "indirect call type mismatch")
  41. ;)
  42. -
  43. +(;
  44. (module $Ot
  45. (type (func (result i32)))
  46. @@ -204,7 +204,7 @@
  47. (call_indirect (type 0) (local.get 0))
  48. )
  49. )
  50. -
  51. +;)
  52. (;
  53. (assert_return (invoke $Mt "call" (i32.const 3)) (i32.const 4))
  54. (assert_return (invoke $Nt "Mt.call" (i32.const 3)) (i32.const 4))
  55. @@ -231,7 +231,7 @@
  56. (assert_trap (invoke $Ot "call" (i32.const 20)) "undefined element")
  57. ;)
  58. -
  59. +(;
  60. (module
  61. (table (import "Mt" "tab") 0 funcref)
  62. (elem (i32.const 9) $f)
  63. @@ -266,7 +266,7 @@
  64. "unknown import"
  65. )
  66. (assert_trap (invoke $Mt "call" (i32.const 7)) "uninitialized element")
  67. -
  68. +;)
  69. ;; Unlike in the v1 spec, active element segments stored before an
  70. ;; out-of-bounds access persist after the instantiation failure.
  71. (;
  72. @@ -297,7 +297,7 @@
  73. (assert_return (invoke $Mt "call" (i32.const 7)) (i32.const 0))
  74. ;)
  75. -
  76. +(;
  77. (module $Mtable_ex
  78. (table $t1 (export "t-func") 1 funcref)
  79. (table $t2 (export "t-extern") 1 externref)
  80. @@ -308,7 +308,7 @@
  81. (table (import "Mtable_ex" "t-func") 1 funcref)
  82. (table (import "Mtable_ex" "t-extern") 1 externref)
  83. )
  84. -
  85. +;)
  86. (;
  87. (assert_unlinkable
  88. (module (table (import "Mtable_ex" "t-func") 1 externref))
  89. @@ -322,7 +322,7 @@
  90. ;; Memories
  91. -
  92. +(;
  93. (module $Mm
  94. (memory (export "mem") 1 5)
  95. (data (i32.const 10) "\00\01\02\03\04\05\06\07\08\09")
  96. @@ -357,14 +357,14 @@
  97. (i32.load8_u (local.get 0))
  98. )
  99. )
  100. -
  101. +;)
  102. (;
  103. (assert_return (invoke $Mm "load" (i32.const 12)) (i32.const 0xa7))
  104. (assert_return (invoke $Nm "Mm.load" (i32.const 12)) (i32.const 0xa7))
  105. (assert_return (invoke $Nm "load" (i32.const 12)) (i32.const 0xf2))
  106. (assert_return (invoke $Om "load" (i32.const 12)) (i32.const 0xa7))
  107. ;)
  108. -
  109. +(;
  110. (module
  111. (memory (import "Mm" "mem") 0)
  112. (data (i32.const 0xffff) "a")
  113. @@ -385,7 +385,7 @@
  114. (memory.grow (local.get 0))
  115. )
  116. )
  117. -
  118. +;)
  119. (;
  120. (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 1))
  121. (assert_return (invoke $Pm "grow" (i32.const 2)) (i32.const 1))
  122. @@ -396,7 +396,7 @@
  123. (assert_return (invoke $Pm "grow" (i32.const 1)) (i32.const -1))
  124. (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 5))
  125. ;)
  126. -
  127. +(;
  128. (assert_unlinkable
  129. (module
  130. (func $host (import "spectest" "print"))
  131. @@ -419,11 +419,12 @@
  132. )
  133. "out of bounds memory access"
  134. )
  135. +;)
  136. (;
  137. (assert_return (invoke $Mm "load" (i32.const 0)) (i32.const 97))
  138. (assert_return (invoke $Mm "load" (i32.const 327670)) (i32.const 0))
  139. ;)
  140. -
  141. +(;
  142. (assert_trap
  143. (module
  144. (memory (import "Mm" "mem") 1)
  145. @@ -434,10 +435,11 @@
  146. )
  147. "out of bounds table access"
  148. )
  149. +;)
  150. (;
  151. (assert_return (invoke $Mm "load" (i32.const 0)) (i32.const 97))
  152. ;)
  153. -
  154. +(;
  155. ;; Store is modified if the start function traps.
  156. (module $Ms
  157. (type $t (func (result i32)))
  158. @@ -451,7 +453,7 @@
  159. )
  160. )
  161. (register "Ms" $Ms)
  162. -
  163. +;)
  164. (;
  165. (assert_trap
  166. (module