d0p1/ack
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add unsigned comparison rules.

Browse source
This commit is contained in:
David Given 2018-09-18 00:19:40 +02:00
parent f362d12dee
commit 692caa2b0a
1 changed files with 51 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

51
mach/mips/mcg/table
View file

@ -555,6 +555,57 @@ PATTERNS
emit "nop" emit "nop"
cost 20; cost 20;
/* Unsigned integer comparisons against a constant */
CJUMPLT(COMPARESI.I(COMPAREUI.I(left:(int)reg, right:CONST.I), alwayszero:CONST.I), PAIR(true:BLOCK.I, false:BLOCK.I))
when signed_constant(%right, 16)
when specific_constant(%alwayszero, 0)
emit "sltiu at, %left, $right"
emit "bne at, zero, $true"
emit "nop"
emit "b $false"
emit "nop"
cost 16;
CJUMPLE(COMPARESI.I(COMPAREUI.I(left:(int)reg, right:CONST.I), alwayszero:CONST.I), PAIR(true:BLOCK.I, false:BLOCK.I))
when constant_within_inclusive_range(%right, -0x8000, 0x7ffe)
when specific_constant(%alwayszero, 0)
emit "sltiu at, %left, 1+$right"
emit "bne at, zero, $true"
emit "nop"
emit "b $false"
emit "nop"
cost 20;
/* Unsigned integer comparisons against registers */
CJUMPEQ(COMPARESI.I(COMPAREUI.I(left:(int)reg, right:(int)reg), alwayszero:CONST.I), PAIR(true:BLOCK.I, false:BLOCK.I))
when specific_constant(%alwayszero, 0)
emit "beq %left, %right, $true"
emit "nop"
emit "b $false"
emit "nop"
cost 16;
CJUMPLT(COMPARESI.I(COMPAREUI.I(left:(int)reg, right:(int)reg), alwayszero:CONST.I), PAIR(true:BLOCK.I, false:BLOCK.I))
when specific_constant(%alwayszero, 0)
emit "sltu at, %left, %right"
emit "bne at, zero, $true"
emit "nop"
emit "b $false"
emit "nop"
cost 16;
CJUMPLE(COMPARESI.I(COMPAREUI.I(left:(int)reg, right:(int)reg), alwayszero:CONST.I), PAIR(true:BLOCK.I, false:BLOCK.I))
when specific_constant(%alwayszero, 0)
emit "sltu at, %right, %left"
emit "beq at, zero, $true"
emit "nop"
emit "b $false"
emit "nop"
cost 16;
/* Comparisons */ /* Comparisons */