Fixed Pad inference bug

1 files changed, 26 insertions, 0 deletions

diff --git a/test/passes/jacktest/gcd2.fir b/test/passes/jacktest/gcd2.fir
new file mode 100644
index 00000000..e6700122
--- /dev/null
+++ b/test/passes/jacktest/gcd2.fir
@@ -0,0 +1,26 @@
+; RUN: firrtl -i %s -o %s.flo -x X -p cTwd | tee %s.out | FileCheck %s
+;CHECK: To Flo
+circuit GCD : 
+  module GCD : 
+    input b : UInt(16)
+    input a : UInt(16)
+    input e : UInt(1)
+    output z : UInt(16)
+    output v : UInt(1)
+    
+    reg x : UInt(16)
+    reg y : UInt(16)
+    node T_17 = gt(Pad(x,?), Pad(y,?))
+    when T_17 : 
+      node T_18 = sub-wrap(Pad(x,?), Pad(y,?))
+      x := T_18
+    else : 
+      node T_19 = sub-wrap(Pad(y,?), Pad(x,?))
+      y := T_19
+    when e : 
+      x := a
+      y := b
+    z := x
+    node T_20 = UInt(0, 1)
+    node T_21 = eq(Pad(y,?), Pad(T_20,?))
+    v := T_21