Lines Matching refs:random
722 val random = random_hex o Option.valOf o arm8_stepLib.arm8_pattern
724 val hex = List.map random arm8_stepLib.arm8_names
745 arm8_spec_hex (random "AddSubShiftedRegister32-1")
746 arm8_spec_hex (random "BranchRegisterJMP")
747 arm8_spec_hex (random "LoadStoreImmediate-1-1")
748 arm8_spec_hex (random "LoadStoreImmediate-1-2")
749 arm8_spec_hex (random "LoadStoreImmediate-1-3")
750 arm8_spec_hex (random "LoadStoreImmediate-1-4")
751 arm8_spec_hex (random "LoadStoreImmediate-2-3")
752 arm8_spec_hex (random "LoadStoreImmediate-2-5")
754 val thm = hd (arm8_spec_hex (random "LoadLiteral-2"))
755 val thm = hd (arm8_spec_hex (random "LoadLiteral-3"))
756 val thm = hd (arm8_spec_hex (random "LoadLiteral-4"))