Lines Matching refs:rep

5   (type $r (resource (rep i32)))
6   (core func $rep (canon resource.rep $r))
11      (import "" "rep" (func $rep (param i32) (result i32)))
20        (if (i32.ne (call $rep (local.get $r)) (i32.const 100)) (then (unreachable)))
29        (export "rep" (func $rep))
38   (type $r (resource (rep i32)))
58 ;; cannot call `resource.rep` on a nonexistent resource
60   (type $r (resource (rep i32)))
61   (core func $rep (canon resource.rep $r))
64      (import "" "rep" (func $rep (param i32) (result i32)))
67        (drop (call $rep (i32.const 0)))
72        (export "rep" (func $rep))
82   (type $r (resource (rep i32)))
83   (core func $rep (canon resource.rep $r))
88      (import "" "rep" (func $rep (param i32) (result i32)))
109        (if (i32.ne (call $rep (local.get $r1)) (i32.const 100)) (then (unreachable)))
110        (if (i32.ne (call $rep (local.get $r2)) (i32.const 200)) (then (unreachable)))
111        (if (i32.ne (call $rep (local.get $r3)) (i32.const 300)) (then (unreachable)))
121        (if (i32.ne (call $rep (local.get $r1)) (i32.const 100)) (then (unreachable)))
122        (if (i32.ne (call $rep (local.get $r2)) (i32.const 400)) (then (unreachable)))
123        (if (i32.ne (call $rep (local.get $r3)) (i32.const 300)) (then (unreachable)))
135        (if (i32.ne (call $rep (local.get $r1)) (i32.const 500)) (then (unreachable)))
136        (if (i32.ne (call $rep (local.get $r2)) (i32.const 600)) (then (unreachable)))
137        (if (i32.ne (call $rep (local.get $r3)) (i32.const 700)) (then (unreachable)))
159        (export "rep" (func $rep))
224     (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
274     (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
303     (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
440     (type $r (resource (rep i32)))
487     (type $r (resource (rep i32)))
601   (type $r (resource (rep i32)))
646   (type $r (resource (rep i32)))
682   (type $r1 (resource (rep i32)))
683   (type $r2 (resource (rep i32) (dtor (func $i1 "dtor"))))
816     (export "[method]resource1.simple" (func (param "self" (borrow $r)) (param "rep" u32)))
965     (type $t' (resource (rep i32)))
970     (core func $rep (canon resource.rep $t))
974       (import "" "rep" (func $rep (param i32) (result i32)))
980         (if (i32.ne (call $rep (local.get 0)) (local.get 1)) (then (unreachable)))
987         (export "rep" (func $rep))
1058   (type $r1 (resource (rep i32)))
1059   (type $r2 (resource (rep i32)))
1095 ;; Test that `resource.rep` is exempt from may-leave checks
1097   (type $r (resource (rep i32)))
1099   (core func $resource.rep (canon resource.rep $r))
1103     (import "" "resource.rep" (func $resource.rep (param i32) (result i32)))
1112         (call $resource.rep (global.get $g))
1120     (export "resource.rep" (func $resource.rep))