midenc-dialect-scf 0.7.2

Miden IR Structured Control Flow Dialect
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

builtin.function public extern("C") @fold_redundant_yields_different_pos_switch(%0: u32) -> u32 {
    %3 = test.constant 11 : u32;
    %4 = test.constant 22 : u32;
    %8, %9 = scf.index_switch %0 
    case 1 {
        scf.yield %3, %4 : (u32, u32);
    }
    case 2 {
        scf.yield %4, %3 : (u32, u32);
    }
    default {
        scf.yield %3, %4 : (u32, u32);
    } : (u32, u32);
    %5 = test.add %8, %9 <{ overflow = #builtin.overflow<checked> }>;
    builtin.ret %5 : (u32);
};