| /* PR middle-end/126236 */ | |
| /* { dg-do assemble } */ | |
| /* { dg-options "-O2 -fduplicate-switch-dispatch -mcmodel=tiny -save-temps" } */ | |
| #include "switch-dispatch-1.c" | |
| /* { dg-final { scan-assembler-times "\\tbr\\tx" 13 } } */ | |
| /* { dg-final { scan-assembler-times "\\.Lrtx\[0-9\]+:" 1 } } */ | |
| /* { dg-final { scan-assembler-times "\\tadr\\tx\[0-9\]+, \\.Lrtx" 13 } } */ | |
| /* { dg-final { scan-assembler-not "adrp\\tx\[0-9\]+, \\.Lrtx" } } */ |