crash on valid input #35
Description
Pre: C1 u< width(C1)
%Op0 = shl i7 C1, %A
%r = shl %Op0, C2
=>
%r = shl (C1 << C2), %A
gives
ERROR: Unknown function: (line: 5)
%r = shl (C1 << C2), %A
^
{{ message }}
Pre: C1 u< width(C1)
%Op0 = shl i7 C1, %A
%r = shl %Op0, C2
=>
%r = shl (C1 << C2), %A
gives
ERROR: Unknown function: (line: 5)
%r = shl (C1 << C2), %A
^