Binary files and instruction addresses (ZIP available for upload separately):
kat-hexagon.elf: 0x10e84; SHA-256 c92042e5504ec1eb0d3bf576e723b612cf35267adc963210b42d15aaba95e49a
1: Hexagon endloop0 / endloop1
Binary instruction: kat-hexagon.elf / adler32 at 0x10e84; bytes ff83000023c681e1.
Disassembly: { immext(#65472); r3 -= mpyi(r1,#65521); } endloop0.
Current lifted LLIL (relevant lines):
if (lc0 != 0) then loop else exit
lc0 = lc0 - 1
jump(sa0)
Expected LLIL (semantic sketch):
if (lc0 > 1) { lc0 = lc0 - 1; jump(sa0) } else { fallthrough }
A one-iteration hardware loop must leave the loop after its first body execution.
Code: arch/hexagon/src/lift.rs:123
Binary files and instruction addresses (ZIP available for upload separately):
kat-hexagon.elf: 0x10e84; SHA-256c92042e5504ec1eb0d3bf576e723b612cf35267adc963210b42d15aaba95e49a1: Hexagon
endloop0/endloop1Binary instruction:
kat-hexagon.elf/adler32at0x10e84; bytesff83000023c681e1.Disassembly:
{ immext(#65472); r3 -= mpyi(r1,#65521); } endloop0.Current lifted LLIL (relevant lines):
Expected LLIL (semantic sketch):
A one-iteration hardware loop must leave the loop after its first body execution.
Code: arch/hexagon/src/lift.rs:123