--- Is any bit set?
---anyset :: (PositiveT n) => Op n Bit
-anyset :: Op D4 Bit
---anyset a b = copy undefined (a' `hwor` b')
-anyset a b = constant (a' `hwor` b') a b
- where
- a' = foldl hwor Low a
- b' = foldl hwor Low b
+{-# ANN sim_input TestInput#-}
+sim_input :: [(Opcode, Vector D4 (SizedInt D8), Vector D4 (SizedInt D8))]
+sim_input = [ (High, $(vectorTH ([4,3,2,1]::[SizedInt D8])), $(vectorTH ([1,2,3,4]::[SizedInt D8])))
+ , (High, $(vectorTH ([4,3,2,1]::[SizedInt D8])), $(vectorTH ([1,2,3,4]::[SizedInt D8])))
+ , (Low, $(vectorTH ([4,3,2,1]::[SizedInt D8])), $(vectorTH ([1,2,3,4]::[SizedInt D8]))) ]