opt_expr: Fix X and CO outputs for $alu identity-mapping rules.
[yosys.git] / tests / opt / opt_share_large_pmux_part.v
1 module opt_share_test(
2 input [15:0] a,
3 input [15:0] b,
4 input [15:0] c,
5 input [2:0] sel,
6 output reg [15:0] res
7 );
8
9 always @* begin
10 case(sel)
11 0: res = a + b;
12 1: res = a - b;
13 2: res = a + c;
14 3: res = a - c;
15 4: res = b;
16 5: res = c;
17 default: res = 16'bx;
18 endcase
19 end
20
21 endmodule