cb48ea406e
This PR switches the default backend on x86, for both the `cranelift-codegen` crate and for Wasmtime, to the new (`MachInst`-style, `VCode`-based) backend that has been under development and testing for some time now. The old backend is still available by default in builds with the `old-x86-backend` feature, or by requesting `BackendVariant::Legacy` from the appropriate APIs. As part of that switch, it adds some more runtime-configurable plumbing to the testing infrastructure so that tests can be run using the appropriate backend. `clif-util test` is now capable of parsing a backend selector option from filetests and instantiating the correct backend. CI has been updated so that the old x86 backend continues to run its tests, just as we used to run the new x64 backend separately. At some point, we will remove the old x86 backend entirely, once we are satisfied that the new backend has not caused any unforeseen issues and we do not need to revert.
193 lines
5.1 KiB
Plaintext
193 lines
5.1 KiB
Plaintext
; Test the division legalizations.
|
|
test legalizer
|
|
; See also legalize-div.clif.
|
|
set avoid_div_traps=1
|
|
target x86_64 legacy
|
|
|
|
; regex: V=v\d+
|
|
; regex: BB=block\d+
|
|
|
|
function %udiv(i64, i64) -> i64 {
|
|
block0(v0: i64, v1: i64):
|
|
; check: block0(
|
|
v2 = udiv v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $d
|
|
}
|
|
|
|
function %udiv_0(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 0
|
|
; nextln: v1 = iconst.i64 0
|
|
v2 = udiv v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $d
|
|
}
|
|
|
|
function %udiv_minus_1(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 -1
|
|
; nextln: v1 = iconst.i64 -1
|
|
v2 = udiv v0, v1
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $d
|
|
}
|
|
|
|
function %urem(i64, i64) -> i64 {
|
|
block0(v0: i64, v1: i64):
|
|
; check: block0(
|
|
v2 = urem v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $r
|
|
}
|
|
|
|
function %urem_0(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 0
|
|
; nextln: v1 = iconst.i64 0
|
|
v2 = urem v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $r
|
|
}
|
|
|
|
function %urem_minus_1(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 -1
|
|
; nextln: v1 = iconst.i64 -1
|
|
v2 = urem v0, v1
|
|
; nextln: $(hi=$V) = iconst.i64 0
|
|
; nextln: $(d=$V), $(r=$V) = x86_udivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return $r
|
|
}
|
|
|
|
function %sdiv(i64, i64) -> i64 {
|
|
block0(v0: i64, v1: i64):
|
|
; check: block0(
|
|
v2 = sdiv v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(fm1=$V) = ifcmp_imm v1, -1
|
|
; nextln: brif eq $fm1, $(m1=$BB)
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(q=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
; nextln: jump $(done=$BB)($q)
|
|
; check: $m1:
|
|
; nextln: $(imin=$V) = iconst.i64 0x8000_0000_0000_0000
|
|
; nextln: $(fm=$V) = ifcmp.i64 v0, $imin
|
|
; nextln: trapif eq $fm, int_ovf
|
|
; check: $done(v2: i64):
|
|
return v2
|
|
; nextln: return v2
|
|
}
|
|
|
|
function %sdiv_0(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 0
|
|
; nextln: v1 = iconst.i64 0
|
|
v2 = sdiv v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(q=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return v2
|
|
}
|
|
|
|
function %sdiv_minus_1(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 -1
|
|
; nextln: v1 = iconst.i64 -1
|
|
v2 = sdiv v0, v1
|
|
; nextln: $(fm1=$V) = ifcmp_imm v1, -1
|
|
; nextln: brif eq $fm1, $(m1=$BB)
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(q=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
; nextln: jump $(done=$BB)($q)
|
|
; check: $m1:
|
|
; nextln: $(imin=$V) = iconst.i64 0x8000_0000_0000_0000
|
|
; nextln: $(fm=$V) = ifcmp.i64 v0, $imin
|
|
; nextln: trapif eq $fm, int_ovf
|
|
; check: $done(v2: i64):
|
|
return v2
|
|
; nextln: return v2
|
|
}
|
|
|
|
; The srem expansion needs to special-case x % -1 since x86_sdivmodx traps on INT_MIN/-1.
|
|
; TODO: Add more explicit pattern matching once we've cleaned up the ifcmp+brif pattern.
|
|
function %srem(i64, i64) -> i64 {
|
|
block0(v0: i64, v1: i64):
|
|
; check: block0(
|
|
v2 = srem v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; nextln: $(fm1=$V) = ifcmp_imm v1, -1
|
|
; nextln: brif eq $fm1, $(m1=$BB)
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(d=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
; nextln: jump $(done=$BB)($r)
|
|
; check: $m1:
|
|
; nextln: $(zero=$V) = iconst.i64 0
|
|
; nextln: jump $(done=$BB)($zero)
|
|
; check: $done(v2: i64):
|
|
return v2
|
|
; nextln: return v2
|
|
}
|
|
|
|
function %srem_0(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 0
|
|
; nextln: v1 = iconst.i64 0
|
|
v2 = srem v0, v1
|
|
; nextln: $(fz=$V) = ifcmp_imm v1, 0
|
|
; nextln: trapif eq $fz, int_divz
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(d=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
return v2
|
|
; nextln: return v2
|
|
}
|
|
|
|
function %srem_minus_1(i64) -> i64 {
|
|
block0(v0: i64):
|
|
; check: block0(
|
|
v1 = iconst.i64 -1
|
|
; nextln: v1 = iconst.i64 -1
|
|
v2 = srem v0, v1
|
|
; nextln: $(fm1=$V) = ifcmp_imm v1, -1
|
|
; nextln: brif eq $fm1, $(m1=$BB)
|
|
; check: $(hi=$V) = sshr_imm
|
|
; nextln: $(d=$V), $(r=$V) = x86_sdivmodx v0, $hi, v1
|
|
; nextln: jump $(done=$BB)($r)
|
|
; check: $m1:
|
|
; nextln: $(zero=$V) = iconst.i64 0
|
|
; nextln: jump $(done=$BB)($zero)
|
|
; check: $done(v2: i64):
|
|
return v2
|
|
; nextln: return v2
|
|
}
|