Assembly, prodotto a 64 bit

[Titti92]

Ciao a tutti. Devo fare un prodotto a 64 bit in Assembly Mips e ho molti dubbi.
Devo moltiplicare 0x12345678 HEX per sé stesso e per il suo negato. Mi viene chiesto di salvare tale numero su due registri e di inviarlo ad una funzione che fa il prodotto. Il mio primo dubbio è: quella cifra non è a 32 bit?
Poi: per fare il prodotto devo lavorare sui singoli bit. Quindi fare un algoritmo che preleva i singoli bit e li moltiplica (due cicli in cui scorro i bit).
salvo in $t0 e $t7 le cifre da moltiplicare e uso $t3 e $t5 come contatori.

loop1: 
	slti $t4,$t3,32
	beq $t4,$0,fineloop1
	add $t1,$t0,$0 #copio la cifra
	add $t5,$0,$0
	loop2:
		slti $t4,$t5,32
		beq $t4,$0,fineloop2
		andi $t6,$t7,0x1 #prendo l'ultimo bit della cifra 
		andi $t8,$t1,0x1 #prendo l'ultimo bit della cifra
		srl $t1,$t1,1 #scorro di un bit a destra
		and $t9,$t8,$t6 #prodotto tra i bit che ho preso
		add $s0,$t9,$s0 #salvo il risultato
		sll $s0,$s0,1 #scorro a sinistra di un bit
		addi $t5,$t5,1
		j loop2
		fineloop2:
	addi $t3,$t3,1
	srl $t7,$t7,1#scorro a destra
	j loop1
	fineloop1:

potrebbe andare bene? In $s0 ho alla fine il risultato del podotto.