hugr/hugr-core/tests/snapshots/model__roundtrip_const.snap at 1a9cea3da173b5a5adf901aec26a8ec0338b90cb · Quantinuum/hugr · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
---
source: hugr-core/tests/model.rs
expression: ast
---
(hugr 0)

(mod)

(import collections.array.array)

(import compat.const_json)

(import core.load_const)

(import arithmetic.int.const)

(import arithmetic.float.const_f64)

(import core.const.adt)

(import arithmetic.int.types.int)

(import collections.array.const)

(import arithmetic.float.types.float64)

(import core.fn)

(import core.adt)

(define-func
  public
  example.bools
  (core.fn [] [(core.adt [[] []]) (core.adt [[] []])])
  (dfg [] [%0 %1]
    (signature (core.fn [] [(core.adt [[] []]) (core.adt [[] []])]))
    ((core.load_const (core.const.adt [[] []] _ 0 [])) [] [%0]
      (signature (core.fn [] [(core.adt [[] []])])))
    ((core.load_const (core.const.adt [[] []] _ 1 [])) [] [%1]
      (signature (core.fn [] [(core.adt [[] []])])))))

(define-func
  public
  example.make-pair
  (core.fn
    []
    [(core.adt
       [[(collections.array.array 5 (arithmetic.int.types.int 6))
         arithmetic.float.types.float64]])])
  (dfg [] [%0]
    (signature
      (core.fn
        []
        [(core.adt
           [[(collections.array.array 5 (arithmetic.int.types.int 6))
             arithmetic.float.types.float64]])]))
    ((core.load_const
        (core.const.adt
          [[(collections.array.array 5 (arithmetic.int.types.int 6))
            arithmetic.float.types.float64]]
          _
          0
          [(collections.array.const
             5
             (arithmetic.int.types.int 6)
             [(arithmetic.int.const 6 1)
              (arithmetic.int.const 6 2)
              (arithmetic.int.const 6 3)
              (arithmetic.int.const 6 4)
              (arithmetic.int.const 6 5)])
           (arithmetic.float.const_f64 -3.0)]))
      [] [%0]
      (signature
        (core.fn
          []
          [(core.adt
             [[(collections.array.array 5 (arithmetic.int.types.int 6))
               arithmetic.float.types.float64]])])))))

(define-func
  public
  example.f64-json
  (core.fn [] [arithmetic.float.types.float64])
  (dfg [] [%0 %1]
    (signature
      (core.fn
        []
        [arithmetic.float.types.float64 arithmetic.float.types.float64]))
    ((core.load_const (arithmetic.float.const_f64 1.0)) [] [%0]
      (signature (core.fn [] [arithmetic.float.types.float64])))
    ((core.load_const
        (compat.const_json
          arithmetic.float.types.float64
          "{\"c\":\"ConstUnknown\",\"v\":{\"value\":1.0}}"))
      [] [%1]
      (signature (core.fn [] [arithmetic.float.types.float64])))))