diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/infer-types/primops.fir | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/passes/infer-types/primops.fir b/test/passes/infer-types/primops.fir index fa0f0c90..dc47d9c6 100644 --- a/test/passes/infer-types/primops.fir +++ b/test/passes/infer-types/primops.fir @@ -4,5 +4,6 @@ circuit top : module top : wire io : {input x : UInt, output y : UInt} - io.x := add(io.x,io.y) -;CHECK: n:io:{input x : UInt, output y : UInt}.x := add(n:io:{input x : UInt, output y : UInt}.x, n:io:{input x : UInt, output y : UInt}.y) + wire a : UInt + a := io.x + |