1test optimize
2set opt_level=speed
3target x86_64
4
5function %f(i32, i32) -> i32 {
6block0(v0: i32, v1: i32):
7    v2 = iadd v0, v1
8    brif v2, block1(v0), block2(v1)
9
10block1(v3: i32):
11    v4 = iadd v0, v1
12    v5 = iadd v4, v3
13    return v5
14
15block2(v6: i32):
16    return v6
17}
18
19;; Check that the `iadd` for `v4` is subsumed by `v2`:
20
21; check: block0(v0: i32, v1: i32):
22; nextln:      v2 = iadd v0, v1
23; check:  block1:
24; nextln:      v5 = iadd.i32 v2, v0
25; nextln:     return v5
26; check: block2:
27; nextln:    return v1
28