1 2 3 4 5 6
builtin.function public extern("C") @fold_redundant_yields_all_switch_if(%0: u32) -> u32 { %3 = test.constant 11 : u32; %4 = test.constant 22 : u32; %7 = test.add %3, %4 <{ overflow = #builtin.overflow<checked> }>; builtin.ret %7 : (u32); };