bltz

# First bltz case is taken; second is not. t2 ends at 11 (10 + 1).
.text
li t2, 0
li t0, -1
bltz t0, taken
addi t2, t2, 1
j first_done # Skip the other marker unconditionally.
taken:
addi t2, t2, 10
first_done:
li t0, 1
bltz t0, missed
addi t2, t2, 1
j second_done # Skip the other marker unconditionally.
missed:
addi t2, t2, 10
second_done:
# t2=11 proves one taken and one untaken path.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18