switch <datatype> %value, label %default
switch i32 %value, label %default [
i32 0, label %if_zero,
i32 1, label %if_one,
;etc
]switch <datatype> %value, label %defaultswitch i32 %value, label %default [
i32 0, label %if_zero,
i32 1, label %if_one,
;etc
]