Lines Matching full:signed32
657 // (Signed32, Signed32) -> Signed32
658 CheckValueInputIs(node, 0, Type::Signed32());
659 CheckValueInputIs(node, 1, Type::Signed32());
660 CheckUpperIs(node, Type::Signed32());
664 // (Signed32, Unsigned32) -> Signed32
665 CheckValueInputIs(node, 0, Type::Signed32());
667 CheckUpperIs(node, Type::Signed32());
676 // Number -> Signed32
678 CheckUpperIs(node, Type::Signed32());
720 // Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32
722 // Type* from = Type::Intersect(Type::Signed32(), Type::Tagged());
723 // Type* to = Type::Intersect(Type::Signed32(), Type::UntaggedInt32());
747 // Signed32 /\ UntaggedInt32 -> Signed32 /\ Tagged
749 // Type* from =Type::Intersect(Type::Signed32(), Type::UntaggedInt32());
750 // Type* to = Type::Intersect(Type::Signed32(), Type::Tagged());