src/binaryen/test/passes/instrument-locals.txt

   1 (module
   2  (type $0 (func))
   3  (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
   4  (type $FUNCSIG$jiij (func (param i32 i32 i64) (result i64)))
   5  (type $FUNCSIG$fiif (func (param i32 i32 f32) (result f32)))
   6  (type $FUNCSIG$diid (func (param i32 i32 f64) (result f64)))
   7  (import "instrument" "get_i32" (func $get_i32 (param i32 i32 i32) (result i32)))
   8  (import "instrument" "get_i64" (func $get_i64 (param i32 i32 i64) (result i64)))
   9  (import "instrument" "get_f32" (func $get_f32 (param i32 i32 f32) (result f32)))
  10  (import "instrument" "get_f64" (func $get_f64 (param i32 i32 f64) (result f64)))
  11  (import "instrument" "set_i32" (func $set_i32 (param i32 i32 i32) (result i32)))
  12  (import "instrument" "set_i64" (func $set_i64 (param i32 i32 i64) (result i64)))
  13  (import "instrument" "set_f32" (func $set_f32 (param i32 i32 f32) (result f32)))
  14  (import "instrument" "set_f64" (func $set_f64 (param i32 i32 f64) (result f64)))
  15  (memory $0 0)
  16  (func $A (; 8 ;) (type $0)
  17   (local $x i32)
  18   (local $y i64)
  19   (local $z f32)
  20   (local $w f64)
  21   (drop
  22    (call $get_i32
  23     (i32.const 0)
  24     (i32.const 0)
  25     (get_local $x)
  26    )
  27   )
  28   (drop
  29    (get_local $y)
  30   )
  31   (drop
  32    (call $get_f32
  33     (i32.const 1)
  34     (i32.const 2)
  35     (get_local $z)
  36    )
  37   )
  38   (drop
  39    (call $get_f64
  40     (i32.const 2)
  41     (i32.const 3)
  42     (get_local $w)
  43    )
  44   )
  45   (drop
  46    (call $get_i32
  47     (i32.const 3)
  48     (i32.const 0)
  49     (get_local $x)
  50    )
  51   )
  52   (drop
  53    (get_local $y)
  54   )
  55   (drop
  56    (call $get_f32
  57     (i32.const 4)
  58     (i32.const 2)
  59     (get_local $z)
  60    )
  61   )
  62   (drop
  63    (call $get_f64
  64     (i32.const 5)
  65     (i32.const 3)
  66     (get_local $w)
  67    )
  68   )
  69   (set_local $x
  70    (call $set_i32
  71     (i32.const 6)
  72     (i32.const 0)
  73     (i32.const 1)
  74    )
  75   )
  76   (set_local $y
  77    (i64.const 2)
  78   )
  79   (set_local $z
  80    (call $set_f32
  81     (i32.const 7)
  82     (i32.const 2)
  83     (f32.const 3.2100000381469727)
  84    )
  85   )
  86   (set_local $w
  87    (call $set_f64
  88     (i32.const 8)
  89     (i32.const 3)
  90     (f64.const 4.321)
  91    )
  92   )
  93   (set_local $x
  94    (call $set_i32
  95     (i32.const 9)
  96     (i32.const 0)
  97     (i32.const 11)
  98    )
  99   )
 100   (set_local $y
 101    (i64.const 22)
 102   )
 103   (set_local $z
 104    (call $set_f32
 105     (i32.const 10)
 106     (i32.const 2)
 107     (f32.const 33.209999084472656)
 108    )
 109   )
 110   (set_local $w
 111    (call $set_f64
 112     (i32.const 11)
 113     (i32.const 3)
 114     (f64.const 44.321)
 115    )
 116   )
 117  )
 118 )