Lines Matching refs:checked

951 ; CHECK:       checked.1:
953 ; CHECK:       checked.2:
971   br i1 %c1, label %checked.1, label %fail
973 checked.1:
975   br i1 %c2, label %checked.2, label %fail
977 checked.2:
1001 ; CHECK:       checked.1:
1003 ; CHECK:       checked.2:
1021   br i1 %c1, label %checked.1, label %fail
1023 checked.1:
1025   br i1 %c2, label %checked.2, label %fail
1027 checked.2:
1053 ; CHECK:       checked.1:
1055 ; CHECK:       checked.2:
1075   br i1 %c1, label %checked.1, label %fail
1077 checked.1:
1078   br i1 %c2, label %checked.2, label %fail
1080 checked.2:
1103 ; CHECK:       checked.1:
1105 ; CHECK:       checked.2:
1125   br i1 %c1, label %checked.1, label %fail
1127 checked.1:
1128   br i1 %c2, label %checked.2, label %fail
1130 checked.2: