From 28b8d8f2669f1de84bf1412e043a18b1fb06394c Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Fri, 16 Oct 2015 11:55:42 +0200 Subject: [PATCH] Vector equality is no longer a primitive --- .../primitives/CLaSH.Sized.Vector.json | 12 ------------ clash-verilog/primitives/CLaSH.Sized.Vector.json | 12 ------------ clash-vhdl/primitives/CLaSH.Sized.Vector.json | 12 ------------ 3 files changed, 36 deletions(-) diff --git a/clash-systemverilog/primitives/CLaSH.Sized.Vector.json b/clash-systemverilog/primitives/CLaSH.Sized.Vector.json index bbeb961451..6391a22496 100644 --- a/clash-systemverilog/primitives/CLaSH.Sized.Vector.json +++ b/clash-systemverilog/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] == ~ARG[1]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] != ~ARG[1]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" : diff --git a/clash-verilog/primitives/CLaSH.Sized.Vector.json b/clash-verilog/primitives/CLaSH.Sized.Vector.json index 6a9b5c2f6f..6ac38ce130 100644 --- a/clash-verilog/primitives/CLaSH.Sized.Vector.json +++ b/clash-verilog/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] == ~ARG[1]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] != ~ARG[1]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" : diff --git a/clash-vhdl/primitives/CLaSH.Sized.Vector.json b/clash-vhdl/primitives/CLaSH.Sized.Vector.json index a23e04f9a9..344603e928 100644 --- a/clash-vhdl/primitives/CLaSH.Sized.Vector.json +++ b/clash-vhdl/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[1] = ~ARG[2]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[1] /= ~ARG[2]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" :