s/and (in1reg3)/and_reduce (in1reg3)/ s/or (in1reg3)/or_reduce (in1reg3)/ s/in1reg3 ?= 15.5/\\?=\\ (in1reg3, 15.5)/ s/in1reg3 ?= 15/\\?=\\ (in1reg3, 15)/