167 lines
8.6 KiB
Plaintext
167 lines
8.6 KiB
Plaintext
test run
|
|
target x86_64 machinst
|
|
|
|
function %ishl(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = iconcat v0, v1
|
|
v4 = ishl.i128 v3, v2
|
|
v5, v6 = isplit v4
|
|
return v5, v6
|
|
}
|
|
; run: %ishl(0x01010101_01010101, 0x01010101_01010101, 2) == [0x04040404_04040404, 0x04040404_04040404]
|
|
; run: %ishl(0x01010101_01010101, 0x01010101_01010101, 9) == [0x02020202_02020200, 0x02020202_02020202]
|
|
; run: %ishl(0x01010101_01010101, 0xffffffff_ffffffff, 66) == [0x00000000_00000000, 0x04040404_04040404]
|
|
; run: %ishl(0x01010101_01010101, 0x01010101_01010101, 0) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ishl(0x01010101_01010101, 0x01010101_01010101, 128) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ishl(0x00000000_00000001, 0x00000000_00000000, 0) == [0x00000000_00000001, 0x00000000_00000000]
|
|
; run: %ishl(0x00000000_00000000, 0x00000000_00000001, 0) == [0x00000000_00000000, 0x00000000_00000001]
|
|
; run: %ishl(0x12340000_00000000, 0x56780000_00000000, 0) == [0x12340000_00000000, 0x56780000_00000000]
|
|
; run: %ishl(0x12340000_00000000, 0x56780000_00000000, 64) == [0x00000000_00000000, 0x12340000_00000000]
|
|
; run: %ishl(0x12340000_00000000, 0x56780000_00000000, 32) == [0x00000000_00000000, 0x00000000_12340000]
|
|
|
|
function %ushr(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = iconcat v0, v1
|
|
v4 = ushr.i128 v3, v2
|
|
v5, v6 = isplit v4
|
|
return v5, v6
|
|
}
|
|
; run: %ushr(0x01010101_01010101, 0x01010101_01010101, 2) == [0x40404040_40404040, 0x00404040_40404040]
|
|
; run: %ushr(0x01010101_01010101, 0x01010101_01010101, 66) == [0x00404040_40404040, 0x00000000_00000000]
|
|
; run: %ushr(0x01010101_01010101, 0x01010101_01010101, 0) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ushr(0x01010101_01010101, 0x01010101_01010101, 128) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ushr(0x00000000_00000001, 0x00000000_00000000, 0) == [0x00000000_00000001, 0x00000000_00000000]
|
|
; run: %ushr(0x00000000_00000000, 0x00000000_00000001, 0) == [0x00000000_00000000, 0x00000000_00000001]
|
|
; run: %ushr(0x12340000_00000000, 0x56780000_00000000, 0) == [0x12340000_00000000, 0x56780000_00000000]
|
|
; run: %ushr(0x12340000_00000000, 0x56780000_00000000, 64) == [0x56780000_00000000, 0x00000000_00000000]
|
|
; run: %ushr(0x12340000_00000000, 0x56780000_00000000, 32) == [0x00000000_12340000, 0x00000000_56780000]
|
|
|
|
function %sshr(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = iconcat v0, v1
|
|
v4 = sshr.i128 v3, v2
|
|
v5, v6 = isplit v4
|
|
return v5, v6
|
|
}
|
|
; run: %sshr(0x01010101_01010101, 0x81010101_01010101, 2) == [0x40404040_40404040, 0xe0404040_40404040]
|
|
; run: %sshr(0x12345678_9abcdef0, 0x80101010_10101010, 66) == [0xe0040404_04040404, 0xffffffff_ffffffff]
|
|
; run: %sshr(0x12345678_9abcdef0, 0x80101010_10101010, 0) == [0x12345678_9abcdef0, 0x80101010_10101010]
|
|
; run: %sshr(0x12345678_9abcdef0, 0x80101010_10101010, 128) == [0x12345678_9abcdef0, 0x80101010_10101010]
|
|
|
|
function %rotl(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = iconcat v0, v1
|
|
v4 = rotl.i128 v3, v2
|
|
v5, v6 = isplit v4
|
|
return v5, v6
|
|
}
|
|
; run: %rotl(0x01010101_01010101, 0x01010101_01010101, 9) == [0x02020202_02020202, 0x02020202_02020202]
|
|
; run: %rotl(0x01010101_01010101, 0x01010101_01010101, 73) == [0x02020202_02020202, 0x02020202_02020202]
|
|
; run: %rotl(0x01010101_01010101, 0x02020202_02020202, 0) == [0x01010101_01010101, 0x02020202_02020202]
|
|
; run: %rotl(0x01010101_01010101, 0x03030303_03030303, 128) == [0x01010101_01010101, 0x03030303_03030303]
|
|
|
|
function %rotr(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = iconcat v0, v1
|
|
v4 = rotr.i128 v3, v2
|
|
v5, v6 = isplit v4
|
|
return v5, v6
|
|
}
|
|
; run: %rotr(0x01010101_01010101, 0x01010101_01010101, 9) == [0x80808080_80808080, 0x80808080_80808080]
|
|
; run: %rotr(0x01010101_01010101, 0x01010101_01010101, 73) == [0x80808080_80808080, 0x80808080_80808080]
|
|
; run: %rotr(0x01010101_01010101, 0x02020202_02020202, 0) == [0x01010101_01010101, 0x02020202_02020202]
|
|
; run: %rotr(0x01010101_01010101, 0x03030303_03030303, 128) == [0x01010101_01010101, 0x03030303_03030303]
|
|
|
|
|
|
; i128 amount operand tests
|
|
function %ishl_amt_i128(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = uextend.i64 v2
|
|
v4 = iconcat v3, v3
|
|
|
|
v5 = iconcat v0, v1
|
|
|
|
v6 = ishl.i128 v5, v4
|
|
v7, v8 = isplit v6
|
|
return v7, v8
|
|
}
|
|
; run: %ishl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 2) == [0x04040404_04040404, 0x04040404_04040404]
|
|
; run: %ishl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 9) == [0x02020202_02020200, 0x02020202_02020202]
|
|
; run: %ishl_amt_i128(0x01010101_01010101, 0xffffffff_ffffffff, 66) == [0x00000000_00000000, 0x04040404_04040404]
|
|
; run: %ishl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 0) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ishl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 128) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ishl_amt_i128(0x00000000_00000001, 0x00000000_00000000, 0) == [0x00000000_00000001, 0x00000000_00000000]
|
|
; run: %ishl_amt_i128(0x00000000_00000000, 0x00000000_00000001, 0) == [0x00000000_00000000, 0x00000000_00000001]
|
|
; run: %ishl_amt_i128(0x12340000_00000000, 0x56780000_00000000, 0) == [0x12340000_00000000, 0x56780000_00000000]
|
|
; run: %ishl_amt_i128(0x12340000_00000000, 0x56780000_00000000, 64) == [0x00000000_00000000, 0x12340000_00000000]
|
|
; run: %ishl_amt_i128(0x12340000_00000000, 0x56780000_00000000, 32) == [0x00000000_00000000, 0x00000000_12340000]
|
|
|
|
function %ushr_amt_i128(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = uextend.i64 v2
|
|
v4 = iconcat v3, v3
|
|
|
|
v5 = iconcat v0, v1
|
|
|
|
v6 = ushr.i128 v5, v4
|
|
v7, v8 = isplit v6
|
|
return v7, v8
|
|
}
|
|
; run: %ushr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 2) == [0x40404040_40404040, 0x00404040_40404040]
|
|
; run: %ushr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 66) == [0x00404040_40404040, 0x00000000_00000000]
|
|
; run: %ushr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 0) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ushr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 128) == [0x01010101_01010101, 0x01010101_01010101]
|
|
; run: %ushr_amt_i128(0x00000000_00000001, 0x00000000_00000000, 0) == [0x00000000_00000001, 0x00000000_00000000]
|
|
; run: %ushr_amt_i128(0x00000000_00000000, 0x00000000_00000001, 0) == [0x00000000_00000000, 0x00000000_00000001]
|
|
; run: %ushr_amt_i128(0x12340000_00000000, 0x56780000_00000000, 0) == [0x12340000_00000000, 0x56780000_00000000]
|
|
; run: %ushr_amt_i128(0x12340000_00000000, 0x56780000_00000000, 64) == [0x56780000_00000000, 0x00000000_00000000]
|
|
; run: %ushr_amt_i128(0x12340000_00000000, 0x56780000_00000000, 32) == [0x00000000_12340000, 0x00000000_56780000]
|
|
|
|
function %sshr_amt_i128(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = uextend.i64 v2
|
|
v4 = iconcat v3, v3
|
|
|
|
v5 = iconcat v0, v1
|
|
|
|
v6 = sshr.i128 v5, v4
|
|
v7, v8 = isplit v6
|
|
return v7, v8
|
|
}
|
|
; run: %sshr_amt_i128(0x01010101_01010101, 0x81010101_01010101, 2) == [0x40404040_40404040, 0xe0404040_40404040]
|
|
; run: %sshr_amt_i128(0x12345678_9abcdef0, 0x80101010_10101010, 66) == [0xe0040404_04040404, 0xffffffff_ffffffff]
|
|
; run: %sshr_amt_i128(0x12345678_9abcdef0, 0x80101010_10101010, 0) == [0x12345678_9abcdef0, 0x80101010_10101010]
|
|
; run: %sshr_amt_i128(0x12345678_9abcdef0, 0x80101010_10101010, 128) == [0x12345678_9abcdef0, 0x80101010_10101010]
|
|
|
|
function %rotl_amt_i128(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = uextend.i64 v2
|
|
v4 = iconcat v3, v3
|
|
|
|
v5 = iconcat v0, v1
|
|
|
|
v6 = rotl.i128 v5, v4
|
|
v7, v8 = isplit v6
|
|
return v7, v8
|
|
}
|
|
; run: %rotl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 9) == [0x02020202_02020202, 0x02020202_02020202]
|
|
; run: %rotl_amt_i128(0x01010101_01010101, 0x01010101_01010101, 73) == [0x02020202_02020202, 0x02020202_02020202]
|
|
; run: %rotl_amt_i128(0x01010101_01010101, 0x02020202_02020202, 0) == [0x01010101_01010101, 0x02020202_02020202]
|
|
; run: %rotl_amt_i128(0x01010101_01010101, 0x03030303_03030303, 128) == [0x01010101_01010101, 0x03030303_03030303]
|
|
|
|
function %rotr_amt_i128(i64, i64, i8) -> i64, i64 {
|
|
block0(v0: i64, v1: i64, v2: i8):
|
|
v3 = uextend.i64 v2
|
|
v4 = iconcat v3, v3
|
|
|
|
v5 = iconcat v0, v1
|
|
|
|
v6 = rotr.i128 v5, v4
|
|
v7, v8 = isplit v6
|
|
return v7, v8
|
|
}
|
|
; run: %rotr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 9) == [0x80808080_80808080, 0x80808080_80808080]
|
|
; run: %rotr_amt_i128(0x01010101_01010101, 0x01010101_01010101, 73) == [0x80808080_80808080, 0x80808080_80808080]
|
|
; run: %rotr_amt_i128(0x01010101_01010101, 0x02020202_02020202, 0) == [0x01010101_01010101, 0x02020202_02020202]
|
|
; run: %rotr_amt_i128(0x01010101_01010101, 0x03030303_03030303, 128) == [0x01010101_01010101, 0x03030303_03030303]
|