Lines Matching refs:default

4 ; Make sure we always consider the default edge executable for a switch
27 ; CHECK:       switch.default:
36   switch i32 -1, label %switch.default [
41 switch.default:
63   switch i32 0, label %switch.default [
68 switch.default:
87 ; CHECK:       switch.default:
99   switch i32 %x, label %switch.default [
100   i32 0, label %switch.default
107 switch.default:
118 ; TODO: Determine that the default destination is dead.
127 ; CHECK:       switch.default:
137   switch i32 %x, label %switch.default [
144 switch.default:
170 ; CHECK:       switch.default:
178   switch i32 %x, label %switch.default [
187 switch.default:
209 ; CHECK:       switch.default:
218   switch i32 %x, label %switch.default [
225 switch.default: