1 Mul Bits 32 In Label S_a In Label a Bits 32 In Label b Bits 32 Splitter Input Splitting 32 Output Splitting 31,1 And wideShape true Neg Bits 32 Multiplexer Bits 32 Splitter Input Splitting 32 Output Splitting 31,1 And wideShape true Neg Bits 32 Multiplexer Bits 32 XOr wideShape true And wideShape true Neg Bits 64 Multiplexer Bits 64 Probe Probe intFormat decSigned Probe intFormat decSigned Out Label m Bits 64 In Label S_b Or wideShape true