51dea9f784
This affects the comparison instructions which now read "icmp ult a, b". This mimics LLVM's style and makes it simpler to add instruction flags in the future, such as "load v1" -> "load aligned v1". These enumerated operands and flags feel like opcode modifiers rather than value operands, so displaying them differently makes sense. Value and numeric operands are still comma separated.
96 lines
2.3 KiB
Plaintext
96 lines
2.3 KiB
Plaintext
test cat
|
|
|
|
; The smallest possible function.
|
|
function minimal() {
|
|
ebb0:
|
|
trap
|
|
}
|
|
; sameln: function minimal() {
|
|
; nextln: ebb0:
|
|
; nextln: trap
|
|
; nextln: }
|
|
|
|
; Create and use values.
|
|
; Polymorphic instructions with type suffix.
|
|
function ivalues() {
|
|
ebb0:
|
|
v0 = iconst.i32 2
|
|
v1 = iconst.i8 6
|
|
v2 = ishl v0, v1
|
|
}
|
|
; sameln: function ivalues() {
|
|
; nextln: ebb0:
|
|
; nextln: v0 = iconst.i32 2
|
|
; nextln: v1 = iconst.i8 6
|
|
; nextln: v2 = ishl v0, v1
|
|
; nextln: }
|
|
|
|
; Polymorphic istruction controlled by second operand.
|
|
function select() {
|
|
ebb0(vx0: i32, vx1: i32, vx2: b1):
|
|
v0 = select vx2, vx0, vx1
|
|
}
|
|
; sameln: function select() {
|
|
; nextln: ebb0(vx0: i32, vx1: i32, vx2: b1):
|
|
; nextln: v0 = select vx2, vx0, vx1
|
|
; nextln: }
|
|
|
|
; Lane indexes.
|
|
function lanes() {
|
|
ebb0:
|
|
v0 = iconst.i32x4 2
|
|
v1 = extractlane v0, 3
|
|
v2 = insertlane v0, 1, v1
|
|
}
|
|
; sameln: function lanes() {
|
|
; nextln: ebb0:
|
|
; nextln: v0 = iconst.i32x4 2
|
|
; nextln: v1 = extractlane v0, 3
|
|
; nextln: v2 = insertlane v0, 1, v1
|
|
; nextln: }
|
|
|
|
; Integer condition codes.
|
|
function icmp(i32, i32) {
|
|
ebb0(vx0: i32, vx1: i32):
|
|
v0 = icmp eq vx0, vx1
|
|
v1 = icmp ult vx0, vx1
|
|
v2 = icmp_imm sge vx0, -12
|
|
v3 = irsub_imm vx1, 45
|
|
br_icmp eq vx0, vx1, ebb0(vx1, vx0)
|
|
}
|
|
; sameln: function icmp(i32, i32) {
|
|
; nextln: ebb0(vx0: i32, vx1: i32):
|
|
; nextln: v0 = icmp eq vx0, vx1
|
|
; nextln: v1 = icmp ult vx0, vx1
|
|
; nextln: v2 = icmp_imm sge vx0, -12
|
|
; nextln: v3 = irsub_imm vx1, 45
|
|
; nextln: br_icmp eq vx0, vx1, ebb0(vx1, vx0)
|
|
; nextln: }
|
|
|
|
; Floating condition codes.
|
|
function fcmp(f32, f32) {
|
|
ebb0(vx0: f32, vx1: f32):
|
|
v0 = fcmp eq vx0, vx1
|
|
v1 = fcmp uno vx0, vx1
|
|
v2 = fcmp lt vx0, vx1
|
|
}
|
|
; sameln: function fcmp(f32, f32) {
|
|
; nextln: ebb0(vx0: f32, vx1: f32):
|
|
; nextln: v0 = fcmp eq vx0, vx1
|
|
; nextln: v1 = fcmp uno vx0, vx1
|
|
; nextln: v2 = fcmp lt vx0, vx1
|
|
; nextln: }
|
|
|
|
; The bitcast instruction has two type variables: The controlling type variable
|
|
; controls the outout type, and the input type is a free variable.
|
|
function bitcast(i32, f32) {
|
|
ebb0(vx0: i32, vx1: f32):
|
|
v0 = bitcast.i8x4 vx0
|
|
v1 = bitcast.i32 vx1
|
|
}
|
|
; sameln: function bitcast(i32, f32) {
|
|
; nextln: ebb0(vx0: i32, vx1: f32):
|
|
; nextln: v0 = bitcast.i8x4 vx0
|
|
; nextln: v1 = bitcast.i32 vx1
|
|
; nextln: }
|