single_case.json

{"schema_version": 1, "name": "arithmetic_0", "category": "arithmetic", "tags": ["add", "mul"], "seed": 14, "configuration": {"version": 1, "device": {"cores": 3, "max_blocks_per_core": 8, "max_warps_per_core": 16, "max_threads_per_warp": 32, "max_registers_per_core": 65536, "shared_memory_bytes_per_core": 65536}, "pipeline": {"max_inflight_instructions_per_warp": 8, "memory_queue_size": 32, "fetch_decode_latency": 2, "issue_latency": 1, "alu_latency": 4, "multiply_latency": 8, "branch_latency": 4, "memory_latency": 100, "shared_memory_latency": 20, "memory_bandwidth_bytes_per_cycle": 32, "writeback_ports": 2}}, "launch": {"grid_blocks": 1, "threads_per_block": 32}, "program": {"metadata": {"kernel_name": "arith_0", "registers_per_thread": 4, "shared_bytes_per_block": 0}, "instructions": [{"opcode": "MoveImmediate", "dest": 0, "imm": 4092325924}, {"opcode": "MoveImmediate", "dest": 1, "imm": 3407614898}, {"opcode": "IntegerAdd", "dest": 2, "src": [0, 1]}, {"opcode": "IntegerMultiply", "dest": 3, "src": [0, 2]}, {"opcode": "Exit"}]}, "initial_state": {}, "initial_memory": {}, "expected_state": {"completed": true, "warps": [{"warp_id": 0, "block_id": 0, "core_id": 0, "pc": 0, "lanes": [{"lane_id": 0, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 1, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 2, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 3, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 4, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 5, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 6, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 7, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 8, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 9, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 10, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 11, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 12, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 13, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 14, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 15, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 16, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 17, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 18, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 19, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 20, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 21, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 22, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 23, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 24, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 25, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 26, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 27, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 28, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 29, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 30, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}, {"lane_id": 31, "valid_thread": true, "exited": true, "registers": [0, 0, 0, 0], "predicates": [false, false, false, false, false, false, false, false]}]}]}, "expected_diagnostics": ["Unimplemented opcode: MoveImmediate"]}