diff options
| author | azidar | 2015-03-04 16:25:25 -0800 |
|---|---|---|
| committer | azidar | 2015-03-04 16:25:25 -0800 |
| commit | 6ad6267d26b52258f6e0d4d004aeb5f36856cf95 (patch) | |
| tree | 16aad9875b1f58dc0cc2a5cd59091e89d57a0861 /test/passes/resolve-kinds/gcd.fir | |
| parent | 355749c83d2066f1a149333ed762a7945d405076 (diff) | |
Finished infer-types pass
Diffstat (limited to 'test/passes/resolve-kinds/gcd.fir')
| -rw-r--r-- | test/passes/resolve-kinds/gcd.fir | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/passes/resolve-kinds/gcd.fir b/test/passes/resolve-kinds/gcd.fir index b06da6c5..f4ad0e05 100644 --- a/test/passes/resolve-kinds/gcd.fir +++ b/test/passes/resolve-kinds/gcd.fir @@ -6,8 +6,8 @@ circuit top : input x : UInt input y : UInt output z : UInt - z := sub-mod(x, y) - ;CHECK: z@<k:port> := sub-mod(x@<k:port>, y@<k:port>) + z := sub-wrap(x, y) + ;CHECK: z@<k:port> := sub-wrap(x@<k:port>, y@<k:port>) module gcd : input a : UInt(16) input b : UInt(16) @@ -18,7 +18,7 @@ circuit top : reg y : UInt x.init := UInt(0) y.init := UInt(42) - when greater(x, y) : + when gt(x, y) : inst s of subtracter s.x := x ;CHECK: s@<k:inst>.x := x@<k:reg> |