| ; RUN: llc -march=hexagon -verify-machineinstrs < %s | FileCheck %s | |
| ; REQUIRES: asserts | |
| ; Check for some sane output. This test used to crash. | |
| ; CHECK: jumpr r31 | |
| define i32 @fred(i32 %a0, i8 zeroext %a1) local_unnamed_addr #0 { | |
| b2: | |
| br i1 undef, label %b4, label %b3 | |
| b3: ; preds = %b2 | |
| unreachable | |
| b4: ; preds = %b2 | |
| br i1 undef, label %b19, label %b5 | |
| b5: ; preds = %b4 | |
| br i1 undef, label %b6, label %b12 | |
| b6: ; preds = %b5 | |
| switch i8 %a1, label %b17 [ | |
| i8 2, label %b7 | |
| i8 5, label %b7 | |
| i8 1, label %b7 | |
| i8 3, label %b8 | |
| ] | |
| b7: ; preds = %b6, %b6, %b6 | |
| unreachable | |
| b8: ; preds = %b6 | |
| br i1 undef, label %b11, label %b9 | |
| b9: ; preds = %b8 | |
| %v10 = or i32 undef, 0 | |
| br label %b15 | |
| b11: ; preds = %b8 | |
| unreachable | |
| b12: ; preds = %b5 | |
| switch i8 %a1, label %b17 [ | |
| i8 5, label %b13 | |
| i8 1, label %b13 | |
| i8 2, label %b14 | |
| i8 3, label %b15 | |
| ] | |
| b13: ; preds = %b12, %b12 | |
| store i32 %a0, i32* undef, align 4 | |
| br label %b17 | |
| b14: ; preds = %b12 | |
| store i16 undef, i16* undef, align 4 | |
| br label %b17 | |
| b15: ; preds = %b12, %b9 | |
| %v16 = phi i32 [ 0, %b12 ], [ %v10, %b9 ] | |
| store i32 undef, i32* undef, align 4 | |
| br label %b17 | |
| b17: ; preds = %b15, %b14, %b13, %b12, %b6 | |
| %v18 = phi i32 [ 0, %b13 ], [ 0, %b12 ], [ %v16, %b15 ], [ 0, %b14 ], [ 0, %b6 ] | |
| ret i32 %v18 | |
| b19: ; preds = %b4 | |
| unreachable | |
| } | |
| attributes #0 = { nounwind "target-cpu"="hexagonv55" "target-features"="-hvx,-long-calls" } |