- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 27 for Leq64F (0.18 sec)
-
src/cmd/compile/internal/ssa/_gen/genericOps.go
{name: "Leq16U", argLength: 2, typ: "Bool"}, {name: "Leq32", argLength: 2, typ: "Bool"}, {name: "Leq32U", argLength: 2, typ: "Bool"}, {name: "Leq64", argLength: 2, typ: "Bool"}, {name: "Leq64U", argLength: 2, typ: "Bool"}, {name: "Leq32F", argLength: 2, typ: "Bool"}, {name: "Leq64F", argLength: 2, typ: "Bool"}, // the type of a CondSelect is the same as the type of its first
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu May 23 15:49:20 UTC 2024 - 42.6K bytes - Viewed (0) -
test/prove.go
if a <= b { if b > a { if b == a { // ERROR "Disproved Eq64$" return 112 } return 114 } if b >= a { // ERROR "Proved Leq64$" if b == a { // ERROR "Proved Eq64$" return 118 } return 120 } return 122 } return 124 } func f5(a, b uint) int { if a == b { if a <= b { // ERROR "Proved Leq64U$" return 130 } return 132 }
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 23 00:02:36 UTC 2024 - 21.2K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/generic.rules
(Less(64|32|16|8)U (Const(64|32|16|8) <t> [-2]) x) => (Eq(64|32|16|8) x (Const(64|32|16|8) <t> [-1])) (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)
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/S390X.rules
(Leq64 x y) => (LOCGR {s390x.LessOrEqual} (MOVDconst [0]) (MOVDconst [1]) (CMP x y)) (Leq32 x y) => (LOCGR {s390x.LessOrEqual} (MOVDconst [0]) (MOVDconst [1]) (CMPW x y)) (Leq(16|8) x y) => (LOCGR {s390x.LessOrEqual} (MOVDconst [0]) (MOVDconst [1]) (CMPW (MOV(H|B)reg x) (MOV(H|B)reg y))) (Leq64U x y) => (LOCGR {s390x.LessOrEqual} (MOVDconst [0]) (MOVDconst [1]) (CMPU x y))
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu Oct 12 18:09:26 UTC 2023 - 74.3K bytes - Viewed (0) -
test/fuse.go
} func fEqLeqU(a uint64, f float64) bool { return a == 0 && f > Cf2 || a <= 0 && f < -Cf2 // ERROR "Redirect Eq64 based on Eq64$" } func fNeqEq(a int, f float64) bool { return a != 0 && f > Cf2 || a == 0 && f < -Cf2 // ERROR "Redirect Eq64 based on Neq64$" } func fNeqNeq(a int32, f float64) bool { return a != 0 && f > Cf2 || a != 0 && f < -Cf2 // ERROR "Redirect Neq32 based on Neq32$" }
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/ARM64.rules
(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))) (Neq32 x y) => (NotEqual (CMPW x y)) (Neq64 x y) => (NotEqual (CMP x 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) -
src/cmd/compile/internal/ssa/_gen/dec64.rules
(Less32U (Int64Lo x) (Int64Lo y)))) (Leq64U x y) => (OrB (Less32U (Int64Hi x) (Int64Hi y)) (AndB (Eq32 (Int64Hi x) (Int64Hi y)) (Leq32U (Int64Lo x) (Int64Lo y)))) (Less64 x y) => (OrB (Less32 (Int64Hi x) (Int64Hi y)) (AndB (Eq32 (Int64Hi x) (Int64Hi y)) (Less32U (Int64Lo x) (Int64Lo y)))) (Leq64 x y) => (OrB (Less32 (Int64Hi x) (Int64Hi y)) (AndB
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Oct 04 19:35:46 UTC 2022 - 14.2K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/_gen/Wasm.rules
(Less8U x y) => (I64LtU (ZeroExt8to64 x) (ZeroExt8to64 y)) (Less(64|32)F ...) => (F(64|32)Lt ...) (Leq64 ...) => (I64LeS ...) (Leq32 x y) => (I64LeS (SignExt32to64 x) (SignExt32to64 y)) (Leq16 x y) => (I64LeS (SignExt16to64 x) (SignExt16to64 y)) (Leq8 x y) => (I64LeS (SignExt8to64 x) (SignExt8to64 y)) (Leq64U ...) => (I64LeU ...) (Leq32U x y) => (I64LeU (ZeroExt32to64 x) (ZeroExt32to64 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/rewriteLOONG64.go
v1.AddArg2(x, y) v.AddArg2(v0, v1) return true } } func rewriteValueLOONG64_OpLeq64F(v *Value) bool { v_1 := v.Args[1] v_0 := v.Args[0] b := v.Block // match: (Leq64F x y) // result: (FPFlagTrue (CMPGED y x)) for { x := v_0 y := v_1 v.reset(OpLOONG64FPFlagTrue) v0 := b.NewValue0(v.Pos, OpLOONG64CMPGED, types.TypeFlags) v0.AddArg2(y, x) v.AddArg(v0)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Nov 21 19:26:25 UTC 2023 - 195.8K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/rewriteMIPS.go
v0.AddArg2(x, y) v.AddArg(v0) return true } } func rewriteValueMIPS_OpLeq64F(v *Value) bool { v_1 := v.Args[1] v_0 := v.Args[0] b := v.Block // match: (Leq64F x y) // result: (FPFlagTrue (CMPGED y x)) for { x := v_0 y := v_1 v.reset(OpMIPSFPFlagTrue) v0 := b.NewValue0(v.Pos, OpMIPSCMPGED, types.TypeFlags) v0.AddArg2(y, x) v.AddArg(v0)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed May 24 14:43:03 UTC 2023 - 176.6K bytes - Viewed (0)