Lines Matching defs:ys
11 fun div_at [] ys = (ys,[])
12 | div_at (x::xs) ys = if x = "|" then (rev ys,xs) else
13 div_at xs (x::ys)
113 | find x ((y,z)::ys) = if x = y then z else find x ys
175 fun rem [] b ys = rev ys
176 | rem (x::xs) b ys =
177 if x = #"[" then rem xs true (x::ys) else
178 if x = #"]" then rem xs false (x::ys) else
179 if x = #" " then if b then rem xs b ys else rem xs b (x::ys) else
180 rem xs b (x::ys)
184 val ys = filter (fn (x,y) => ((hd y = hd xs) handle _ => false)) instructions
192 val use_default_size = every (fn (x,y) => every (fn t => not (can token_data_size t)) y) ys
201 val ys = if not (hd xs = "MOVZX") then ys else let
207 in filter (fn (x,y) => token_data_size (el 3 y) = s) ys end
208 val ys = if not ((hd xs = "MOV") andalso (zsize = 64) andalso (can string_to_int (last xs))) then ys else
209 ys |> filter (fn (x,y) => last y = "imm64")
216 | pos x (y::ys) = if x = y then 0 else 1 + pos x ys
218 | find x ((y,z)::ys) = if x = y then z else find x ys
221 val ys = if zsize = 8 then filter (fn (x,y) => (token_data_size (el 2 y) = 8) handle HOL_ERR _ => true) ys
222 else filter (fn (x,y) => not (token_data_size (el 2 y) = 8) handle HOL_ERR _ => true) ys
226 val ys = map (fn (x,y) => (x,map simplify_token y)) ys
228 val (zs,ys) = el 3 ys
230 fun use_encoding (zs,ys) = let
238 val l = filter (fn (x,y) => not (x = y)) (zip xs ys)
293 val all = try_all use_encoding ys