Lines Matching full:x58
145 // CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x58,0x04]
204 // CHECK: encoding: [0x8f,0xe9,0xe0,0x96,0x58,0x04]
234 // CHECK: encoding: [0x8f,0xe9,0x58,0x9b,0xe4]
333 // CHECK: encoding: [0x8f,0xe9,0x58,0x90,0xd3]
391 // CHECK: encoding: [0x8f,0xe8,0x58,0x86,0xd2,0x40]
439 // CHECK: encoding: [0x8f,0xe8,0x58,0x9e,0xd6,0x40]
442 // CHECK: encoding: [0x8f,0xe8,0x58,0x9e,0x1c,0x08,0x40]
474 // CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x58,0x04,0x30]
479 // CHECK: encoding: [0x8f,0xe8,0x58,0xec,0xeb,0x31]
503 // CHECK: encoding: [0x8f,0xe8,0x58,0xcc,0xd6,0x37]
