- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 24 for Neq16 (0.11 sec)
-
test/fuse.go
// TODO: Add support for floating point numbers in prove return a != 0 && f > Cf2 || a < 0 && f < -Cf2 } func fNeqLeq(a int16, f float64) bool { return a != 0 && f > Cf2 || a <= 0 && f < -Cf2 // ERROR "Redirect Leq16 based on Neq16$" } func fNeqLessU(a uint, f float64) bool { return a != 0 && f > Cf2 || a < 0 && f < -Cf2 } func fNeqLeqU(a uint32, f float64) bool {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 23 00:02:36 UTC 2024 - 5.3K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/generic.rules
(Leq64 x c:(Const64 [math.MinInt64])) => (Eq64 x c) (Leq32 x c:(Const32 [math.MinInt32])) => (Eq32 x c) (Leq16 x c:(Const16 [math.MinInt16])) => (Eq16 x c) (Leq8 x c:(Const8 [math.MinInt8 ])) => (Eq8 x c) (Leq64 c:(Const64 [math.MaxInt64]) x) => (Eq64 x c) (Leq32 c:(Const32 [math.MaxInt32]) x) => (Eq32 x c) (Leq16 c:(Const16 [math.MaxInt16]) x) => (Eq16 x c) (Leq8 c:(Const8 [math.MaxInt8 ]) x) => (Eq8 x c)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu May 16 22:21:05 UTC 2024 - 135.3K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/Wasm.rules
(Eq32 x y) => (I64Eq (ZeroExt32to64 x) (ZeroExt32to64 y)) (Eq16 x y) => (I64Eq (ZeroExt16to64 x) (ZeroExt16to64 y)) (Eq8 x y) => (I64Eq (ZeroExt8to64 x) (ZeroExt8to64 y)) (EqB ...) => (I64Eq ...) (EqPtr ...) => (I64Eq ...) (Eq(64|32)F ...) => (F(64|32)Eq ...) (Neq64 ...) => (I64Ne ...) (Neq32 x y) => (I64Ne (ZeroExt32to64 x) (ZeroExt32to64 y)) (Neq16 x y) => (I64Ne (ZeroExt16to64 x) (ZeroExt16to64 y))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri Feb 17 03:56:57 UTC 2023 - 16.9K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/LOONG64.rules
(Eq(32|64)F x y) => (FPFlagTrue (CMPEQ(F|D) x y)) (Neq8 x y) => (SGTU (XOR (ZeroExt8to64 x) (ZeroExt8to64 y)) (MOVVconst [0])) (Neq16 x y) => (SGTU (XOR (ZeroExt16to32 x) (ZeroExt16to64 y)) (MOVVconst [0])) (Neq32 x y) => (SGTU (XOR (ZeroExt32to64 x) (ZeroExt32to64 y)) (MOVVconst [0])) (Neq64 x y) => (SGTU (XOR x y) (MOVVconst [0])) (NeqPtr x y) => (SGTU (XOR x y) (MOVVconst [0])) (Neq(32|64)F x y) => (FPFlagFalse (CMPEQ(F|D) x y))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Nov 21 19:26:25 UTC 2023 - 31.8K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/RISCV64.rules
(Eq16 x y) => (SEQZ (SUB <x.Type> (ZeroExt16to64 x) (ZeroExt16to64 y))) (Eq8 x y) => (SEQZ (SUB <x.Type> (ZeroExt8to64 x) (ZeroExt8to64 y))) (Eq(64|32)F ...) => (FEQ(D|S) ...) (NeqPtr x y) => (Not (EqPtr x y)) (Neq64 x y) => (Not (Eq64 x y)) (Neq32 x y) => (Not (Eq32 x y)) (Neq16 x y) => (Not (Eq16 x y)) (Neq8 x y) => (Not (Eq8 x y))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu Mar 07 14:57:07 UTC 2024 - 40.3K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/MIPS.rules
(Eq8 x y) => (SGTUconst [1] (XOR (ZeroExt8to32 x) (ZeroExt8to32 y))) (Eq16 x y) => (SGTUconst [1] (XOR (ZeroExt16to32 x) (ZeroExt16to32 y))) (Eq32 x y) => (SGTUconst [1] (XOR x y)) (EqPtr x y) => (SGTUconst [1] (XOR x y)) (Eq(32|64)F x y) => (FPFlagTrue (CMPEQ(F|D) x y)) (Neq8 x y) => (SGTU (XOR (ZeroExt8to32 x) (ZeroExt8to32 y)) (MOVWconst [0])) (Neq16 x y) => (SGTU (XOR (ZeroExt16to32 x) (ZeroExt16to32 y)) (MOVWconst [0]))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed May 24 14:43:03 UTC 2023 - 35.3K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/MIPS64.rules
(Eq(32|64)F x y) => (FPFlagTrue (CMPEQ(F|D) x y)) (Neq8 x y) => (SGTU (XOR (ZeroExt8to64 x) (ZeroExt8to64 y)) (MOVVconst [0])) (Neq16 x y) => (SGTU (XOR (ZeroExt16to32 x) (ZeroExt16to64 y)) (MOVVconst [0])) (Neq32 x y) => (SGTU (XOR (ZeroExt32to64 x) (ZeroExt32to64 y)) (MOVVconst [0])) (Neq64 x y) => (SGTU (XOR x y) (MOVVconst [0])) (NeqPtr x y) => (SGTU (XOR x y) (MOVVconst [0])) (Neq(32|64)F x y) => (FPFlagFalse (CMPEQ(F|D) x y))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Jul 31 03:59:48 UTC 2023 - 41.9K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/genericOps.go
{name: "Eq32F", argLength: 2, commutative: true, typ: "Bool"}, {name: "Eq64F", argLength: 2, commutative: true, typ: "Bool"}, {name: "Neq8", argLength: 2, commutative: true, typ: "Bool"}, // arg0 != arg1 {name: "Neq16", argLength: 2, commutative: true, typ: "Bool"}, {name: "Neq32", argLength: 2, commutative: true, typ: "Bool"}, {name: "Neq64", argLength: 2, commutative: true, typ: "Bool"},
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu May 23 15:49:20 UTC 2024 - 42.6K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/rewritegeneric.go
return true } // match: (Leq16 x c:(Const16 [math.MinInt16])) // result: (Eq16 x c) for { x := v_0 c := v_1 if c.Op != OpConst16 || auxIntToInt16(c.AuxInt) != math.MinInt16 { break } v.reset(OpEq16) v.AddArg2(x, c) return true } // match: (Leq16 c:(Const16 [math.MaxInt16]) x) // result: (Eq16 x c) for { c := v_0
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Apr 22 18:24:47 UTC 2024 - 812.2K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/ARM64.rules
(Eq8 x y) => (Equal (CMPW (ZeroExt8to32 x) (ZeroExt8to32 y))) (Eq16 x y) => (Equal (CMPW (ZeroExt16to32 x) (ZeroExt16to32 y))) (Eq32 x y) => (Equal (CMPW x y)) (Eq64 x y) => (Equal (CMP x y)) (EqPtr x y) => (Equal (CMP x y)) (Eq32F x y) => (Equal (FCMPS x y)) (Eq64F x y) => (Equal (FCMPD x y)) (Neq8 x y) => (NotEqual (CMPW (ZeroExt8to32 x) (ZeroExt8to32 y))) (Neq16 x y) => (NotEqual (CMPW (ZeroExt16to32 x) (ZeroExt16to32 y)))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu May 23 15:49:20 UTC 2024 - 113.1K bytes - Viewed (0)