05:00 <davidrysk[m]> marcan: looking at this blob, I see undefined instructions.. I think never_released already established that they're using extended instructions here

05:00 <davidrysk[m]> (meaning, instructions that are specific to Apple's chips)

05:01 <marcan> yes, I saw stuff like that in an iBoot trampoline (I think) I found in RAM

05:07 <krbtgt> wonder what they are

05:18 <davidrysk[m]> is there a way to make llvm-ir easier to read?

06:27 <comex> there's always the "compile it to native code and then use a decompiler" approach

06:42 <davidrysk[m]> Hah, fair

06:42 <davidrysk[m]> (Or even just a disassembler)

07:47 <never_released> comex: public Apple compilers and disassemblers do not support those :P

10:57 <roxfan> what undefined instructions? 20 xx is AMX but I didn't see them in the blobs

11:00 <roxfan> https://gist.github.com/dougallj/7a75a3be1ec69ca550e7c36dc75e0d6f

11:34 <marcan> the iBoot trampoline (I think) has this

11:34 <marcan> 88: 00201462 .inst 0x00201462 ; NYI

11:34 <marcan> so that's AMX then?

11:36 <marcan> amxsty x2?

11:36 <marcan> that doesn't look right

11:37 <marcan> no, that has an extra bit set

11:37 <marcan> 0x4xx

11:37 <marcan> AMX should be 0x00201000 through 0x002013ff

11:38 <marcan> 0x002014xx sounds like another encoding space

12:16 <sven> https://twitter.com/s1guza/status/1355929535699681284 mentions #define gexit .long 0x201400

12:43 <never_released> GENTER/GEXIT

12:43 <never_released> GXF

12:43 <never_released> Guarded execution

12:50 <never_released> SP_GL[1/2], TPIDR_GL[1/2], VBAR_GL[1/2], ELR_GL[1/2], ESR_GL[1/2], FAR_GL[1/2], SPSR_GL[1/2]

12:50 <never_released> GXF_CONFIG_EL[1/2], GXF_ENTRY_EL[1/2], GXF_PABENTRY_EL[1/2]

12:51 <sven> huh, interesting.

12:51 <sven> is that another exception level or something like that?

12:51 <never_released> in parallel yes, with their own exception vectors

12:51 <sven> do you know what they use that one for?

12:53 <never_released> http://newosxbook.com/articles/CasaDePPL.html for the pre-GXF PPL implementation

12:54 <sven> interesting

12:55 <sven> thanks!

13:07 <opticron> well that's kind of wacky

13:07 <opticron> it's like they reimplemented a custom/different EL3

14:43 <modwizcode> I thought PPL'

14:43 <modwizcode> oops

14:43 <modwizcode> I thought PPL's implementation was pretty sound on it'

14:43 <modwizcode> *it's own

14:43 <modwizcode> geez I keep bumping enter

17:22 <comex> never_released: they don't support the custom instructions, but that's separate from the making LLVM IR blobs easier to read (I just checked and only two of the .o files that contain bitcode fail to compile because of custom instructions, and those could be patched not to do so, if the goal is just REing the logic)