Searched defs:add3x (Results 1 – 6 of 6) sorted by relevance
423 add3x: label
2701 Node add3x = d_nm->mkNode(kind::BITVECTOR_PLUS, zext48x8, zext48x); in testGetMinBw1() local