Lines Matching refs:y1
776 y1 := nat(nil).sub(y.abs, natOne)
777 z.abs = z.abs.add(z.abs.or(x1, y1), natOne)
794 y1 := nat(nil).sub(y.abs, natOne)
795 z.abs = z.abs.andNot(x.abs, y1)
806 y1 := nat(nil).sub(y.abs, natOne)
807 z.abs = z.abs.andNot(y1, x1)
827 y1 := nat(nil).sub(y.abs, natOne)
828 z.abs = z.abs.and(x.abs, y1)
839 y1 := nat(nil).sub(y.abs, natOne)
840 z.abs = z.abs.add(z.abs.and(x1, y1), natOne)
857 y1 := nat(nil).sub(y.abs, natOne)
858 z.abs = z.abs.add(z.abs.andNot(y1, x.abs), natOne)
869 y1 := nat(nil).sub(y.abs, natOne)
870 z.abs = z.abs.xor(x1, y1)
887 y1 := nat(nil).sub(y.abs, natOne)
888 z.abs = z.abs.add(z.abs.xor(x.abs, y1), natOne)
