OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	02/02/2024 06:09:55 PM	rwxr-xr-x
📄 README	5.21 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 addrcalc.go	324 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 alloc.go	902 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 arithmetic.go	14.15 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 bitfield.go	9.64 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 bits.go	7.71 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 bmi.go	4.21 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 bool.go	6.73 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 clobberdead.go	1.31 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 clobberdeadreg.go	1.29 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 compare_and_branch.go	4.5 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 comparisons.go	14.74 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 condmove.go	6.24 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 constants.go	1.11 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 copy.go	3.14 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 floats.go	3.27 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 fuse.go	4.79 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 ifaces.go	621 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue22703.go	5.43 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue25378.go	445 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue31618.go	504 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue33580.go	459 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue38554.go	355 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue42610.go	623 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue48054.go	464 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue52635.go	816 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue54467.go	949 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue56440.go	689 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue58166.go	554 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue60324.go	805 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue60673.go	360 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue61356.go	1.1 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 issue63332.go	264 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 logic.go	1.06 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 mapaccess.go	9.11 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 maps.go	3.64 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 math.go	6.14 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 mathbits.go	19.34 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 memcombine.go	29.38 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 memops.go	12.48 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 memops_bigoffset.go	2.5 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 noextend.go	5.39 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 race.go	651 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 regabi_regalloc.go	494 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 retpoline.go	580 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 rotate.go	5.29 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 select.go	373 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 shift.go	11.1 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 shortcircuit.go	368 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 slices.go	9.81 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 smallintiface.go	500 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 spectre.go	734 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 stack.go	2.83 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 strings.go	2.4 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 structs.go	923 bytes	02/02/2024 06:09:55 PM	rw-r--r--
📄 switch.go	3.6 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 writebarrier.go	1.5 KB	02/02/2024 06:09:55 PM	rw-r--r--
📄 zerosize.go	650 bytes	02/02/2024 06:09:55 PM	rw-r--r--

Editing: fuse.go

// asmcheck

// Copyright 2019 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package codegen

// Notes:
// - these examples use channels to provide a source of
//   unknown values that cannot be optimized away
// - these examples use for loops to force branches
//   backward (predicted taken)

// ---------------------------------- //
// signed integer range (conjunction) //
// ---------------------------------- //

func si1c(c <-chan int64) {
	// amd64:"CMPQ\t.+, [$]256"
	// s390x:"CLGIJ\t[$]12, R[0-9]+, [$]255"
	for x := <-c; x >= 0 && x < 256; x = <-c {
	}
}

func si2c(c <-chan int32) {
	// amd64:"CMPL\t.+, [$]256"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]255"
	for x := <-c; x >= 0 && x < 256; x = <-c {
	}
}

func si3c(c <-chan int16) {
	// amd64:"CMPW\t.+, [$]256"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]255"
	for x := <-c; x >= 0 && x < 256; x = <-c {
	}
}

func si4c(c <-chan int8) {
	// amd64:"CMPB\t.+, [$]10"
	// s390x:"CLIJ\t[$]4, R[0-9]+, [$]10"
	for x := <-c; x >= 0 && x < 10; x = <-c {
	}
}

func si5c(c <-chan int64) {
	// amd64:"CMPQ\t.+, [$]251","ADDQ\t[$]-5,"
	// s390x:"CLGIJ\t[$]4, R[0-9]+, [$]251","ADD\t[$]-5,"
	for x := <-c; x < 256 && x > 4; x = <-c {
	}
}

func si6c(c <-chan int32) {
	// amd64:"CMPL\t.+, [$]255","DECL\t"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]255","ADDW\t[$]-1,"
	for x := <-c; x > 0 && x <= 256; x = <-c {
	}
}

func si7c(c <-chan int16) {
	// amd64:"CMPW\t.+, [$]60","ADDL\t[$]10,"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]60","ADDW\t[$]10,"
	for x := <-c; x >= -10 && x <= 50; x = <-c {
	}
}

func si8c(c <-chan int8) {
	// amd64:"CMPB\t.+, [$]126","ADDL\t[$]126,"
	// s390x:"CLIJ\t[$]4, R[0-9]+, [$]126","ADDW\t[$]126,"
	for x := <-c; x >= -126 && x < 0; x = <-c {
	}
}

// ---------------------------------- //
// signed integer range (disjunction) //
// ---------------------------------- //

func si1d(c <-chan int64) {
	// amd64:"CMPQ\t.+, [$]256"
	// s390x:"CLGIJ\t[$]2, R[0-9]+, [$]255"
	for x := <-c; x < 0 || x >= 256; x = <-c {
	}
}

func si2d(c <-chan int32) {
	// amd64:"CMPL\t.+, [$]256"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]255"
	for x := <-c; x < 0 || x >= 256; x = <-c {
	}
}

func si3d(c <-chan int16) {
	// amd64:"CMPW\t.+, [$]256"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]255"
	for x := <-c; x < 0 || x >= 256; x = <-c {
	}
}

func si4d(c <-chan int8) {
	// amd64:"CMPB\t.+, [$]10"
	// s390x:"CLIJ\t[$]10, R[0-9]+, [$]10"
	for x := <-c; x < 0 || x >= 10; x = <-c {
	}
}

func si5d(c <-chan int64) {
	// amd64:"CMPQ\t.+, [$]251","ADDQ\t[$]-5,"
	// s390x:"CLGIJ\t[$]10, R[0-9]+, [$]251","ADD\t[$]-5,"
	for x := <-c; x >= 256 || x <= 4; x = <-c {
	}
}

func si6d(c <-chan int32) {
	// amd64:"CMPL\t.+, [$]255","DECL\t"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]255","ADDW\t[$]-1,"
	for x := <-c; x <= 0 || x > 256; x = <-c {
	}
}

func si7d(c <-chan int16) {
	// amd64:"CMPW\t.+, [$]60","ADDL\t[$]10,"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]60","ADDW\t[$]10,"
	for x := <-c; x < -10 || x > 50; x = <-c {
	}
}

func si8d(c <-chan int8) {
	// amd64:"CMPB\t.+, [$]126","ADDL\t[$]126,"
	// s390x:"CLIJ\t[$]10, R[0-9]+, [$]126","ADDW\t[$]126,"
	for x := <-c; x < -126 || x >= 0; x = <-c {
	}
}

// ------------------------------------ //
// unsigned integer range (conjunction) //
// ------------------------------------ //

func ui1c(c <-chan uint64) {
	// amd64:"CMPQ\t.+, [$]251","ADDQ\t[$]-5,"
	// s390x:"CLGIJ\t[$]4, R[0-9]+, [$]251","ADD\t[$]-5,"
	for x := <-c; x < 256 && x > 4; x = <-c {
	}
}

func ui2c(c <-chan uint32) {
	// amd64:"CMPL\t.+, [$]255","DECL\t"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]255","ADDW\t[$]-1,"
	for x := <-c; x > 0 && x <= 256; x = <-c {
	}
}

func ui3c(c <-chan uint16) {
	// amd64:"CMPW\t.+, [$]40","ADDL\t[$]-10,"
	// s390x:"CLIJ\t[$]12, R[0-9]+, [$]40","ADDW\t[$]-10,"
	for x := <-c; x >= 10 && x <= 50; x = <-c {
	}
}

func ui4c(c <-chan uint8) {
	// amd64:"CMPB\t.+, [$]2","ADDL\t[$]-126,"
	// s390x:"CLIJ\t[$]4, R[0-9]+, [$]2","ADDW\t[$]-126,"
	for x := <-c; x >= 126 && x < 128; x = <-c {
	}
}

// ------------------------------------ //
// unsigned integer range (disjunction) //
// ------------------------------------ //

func ui1d(c <-chan uint64) {
	// amd64:"CMPQ\t.+, [$]251","ADDQ\t[$]-5,"
	// s390x:"CLGIJ\t[$]10, R[0-9]+, [$]251","ADD\t[$]-5,"
	for x := <-c; x >= 256 || x <= 4; x = <-c {
	}
}

func ui2d(c <-chan uint32) {
	// amd64:"CMPL\t.+, [$]254","ADDL\t[$]-2,"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]254","ADDW\t[$]-2,"
	for x := <-c; x <= 1 || x > 256; x = <-c {
	}
}

func ui3d(c <-chan uint16) {
	// amd64:"CMPW\t.+, [$]40","ADDL\t[$]-10,"
	// s390x:"CLIJ\t[$]2, R[0-9]+, [$]40","ADDW\t[$]-10,"
	for x := <-c; x < 10 || x > 50; x = <-c {
	}
}

func ui4d(c <-chan uint8) {
	// amd64:"CMPB\t.+, [$]2","ADDL\t[$]-126,"
	// s390x:"CLIJ\t[$]10, R[0-9]+, [$]2","ADDW\t[$]-126,"
	for x := <-c; x < 126 || x >= 128; x = <-c {
	}
}