def AaFp.step.st

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:197

import Base

197def AaFp.step.st(s: AaFpSt, +f: AaFp, +h: U32) -> AaFp:
198  match s:
199    case AaFpBase{}:
200      AaFp.base(f, h)
201    case AaFpI{}:
202      AaFp.x(f, h, AaXIx{})
203    case AaFpLp{}:
204      AaFp.ext(f, h, AaXPx{False{}, AaFbNone{}}, 105, AaFpLpi{}, 117, AaFpLpu{})
205    case AaFpLpi{}:
206      AaFp.x(f, h, AaXPx{False{}, AaFbIx{}})
207    case AaFpLpu{}:
208      AaFp.x(f, h, AaXPx{False{}, AaFbUx{}})
209    case AaFpUp{}:
210      AaFp.ext(f, h, AaXPx{True{}, AaFbNone{}}, 105, AaFpUpi{}, 85, AaFpUpU{})
211    case AaFpUpi{}:
212      AaFp.x(f, h, AaXPx{True{}, AaFbIx{}})
213    case AaFpUpU{}:
214      AaFp.x(f, h, AaXPx{True{}, AaFbUx{}})
215    case AaFpLc{}:
216      AaFp.ext(f, h, AaXCx{False{}, AaFbNone{}}, 105, AaFpLci{}, 117, AaFpLcu{})
217    case AaFpLci{}:
218      AaFp.x(f, h, AaXCx{False{}, AaFbIx{}})
219    case AaFpLcu{}:
220      AaFp.x(f, h, AaXCx{False{}, AaFbUx{}})
221    case AaFpUc{}:
222      AaFp.ext(f, h, AaXCx{True{}, AaFbNone{}}, 105, AaFpUci{}, 85, AaFpUcU{})
223    case AaFpUci{}:
224      AaFp.x(f, h, AaXCx{True{}, AaFbIx{}})
225    case AaFpUcU{}:
226      AaFp.x(f, h, AaXCx{True{}, AaFbUx{}})
227    case AaFpLu{}:
228      AaFp.x(f, h, AaXUx{False{}})
229    case AaFpUu{}:
230      AaFp.x(f, h, AaXUx{True{}})