理想の命令選択パターンマッチ構文を考える

pat_syntax.txt

 %c = (%a  + %b) => addrr
 %c = add(%a, $imm) => addri

%c = %a + %b
 : %c i32/f32
 : %a i32/f32
 : %b i32/f32
=> addrr / faddrr

(add a, b
  :( a GR32 => :( b GR32 => ADDrr a, b )
               :( b i32  => ADDri a, b ) ) )

add a, b:
  GR32 a:
    i32  b => (ADDri a, b)
    GR32 b => (ADDrr a, b)
[add a, b]: 
  GR32 a: 
    i32 b => [ADDri a, b] 
    GR32 b => [ADDrr a, b]
(load (add a, b)):
  frame_index a:
    i32 b => (mov [a + b])
    GR32 b => (mov [a + b])