| Krzysztof Parzyszek | 046090d | 2018-03-12 14:01:28 +0000 | [diff] [blame^] | 1 | ; RUN: llc -march=hexagon -O3 -verify-machineinstrs < %s | FileCheck %s |
| 2 | ; |
| 3 | ; Make sure that this testcase passes the verifier. |
| 4 | ; CHECK: call f1 |
| 5 | |
| 6 | target triple = "hexagon" |
| 7 | |
| 8 | %s.0 = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [2 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i64, i32, i32, i64, i32, i32, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } |
| 9 | |
| 10 | @g0 = external global %s.0, align 8 |
| 11 | @g1 = external hidden unnamed_addr constant [3 x i8], align 1 |
| 12 | |
| 13 | ; Function Attrs: nounwind |
| 14 | define void @f0() local_unnamed_addr #0 { |
| 15 | b0: |
| 16 | br label %b1 |
| 17 | |
| 18 | b1: ; preds = %b0 |
| 19 | switch i8 undef, label %b3 [ |
| 20 | i8 35, label %b2 |
| 21 | i8 10, label %b2 |
| 22 | ] |
| 23 | |
| 24 | b2: ; preds = %b1, %b1 |
| 25 | unreachable |
| 26 | |
| 27 | b3: ; preds = %b1 |
| 28 | br label %b4 |
| 29 | |
| 30 | b4: ; preds = %b3 |
| 31 | switch i8 undef, label %b6 [ |
| 32 | i8 35, label %b5 |
| 33 | i8 10, label %b5 |
| 34 | ] |
| 35 | |
| 36 | b5: ; preds = %b4, %b4 |
| 37 | unreachable |
| 38 | |
| 39 | b6: ; preds = %b4 |
| 40 | call void (i8*, i8*, ...) @f1(i8* nonnull undef, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @g1, i32 0, i32 0), i32* getelementptr inbounds (%s.0, %s.0* @g0, i32 0, i32 45)) #0 |
| 41 | br label %b7 |
| 42 | |
| 43 | b7: ; preds = %b6 |
| 44 | switch i8 undef, label %b9 [ |
| 45 | i8 35, label %b8 |
| 46 | i8 10, label %b8 |
| 47 | ] |
| 48 | |
| 49 | b8: ; preds = %b7, %b7 |
| 50 | unreachable |
| 51 | |
| 52 | b9: ; preds = %b7 |
| 53 | br label %b10 |
| 54 | |
| 55 | b10: ; preds = %b9 |
| 56 | switch i8 undef, label %b12 [ |
| 57 | i8 35, label %b11 |
| 58 | i8 10, label %b11 |
| 59 | ] |
| 60 | |
| 61 | b11: ; preds = %b10, %b10 |
| 62 | unreachable |
| 63 | |
| 64 | b12: ; preds = %b10 |
| 65 | br label %b13 |
| 66 | |
| 67 | b13: ; preds = %b12 |
| 68 | switch i8 undef, label %b14 [ |
| 69 | i8 35, label %b15 |
| 70 | i8 10, label %b15 |
| 71 | ] |
| 72 | |
| 73 | b14: ; preds = %b13 |
| 74 | br label %b16 |
| 75 | |
| 76 | b15: ; preds = %b13, %b13 |
| 77 | unreachable |
| 78 | |
| 79 | b16: ; preds = %b17, %b14 |
| 80 | %v0 = phi i8* [ %v2, %b17 ], [ undef, %b14 ] |
| 81 | %v1 = load i8, i8* %v0, align 1 |
| 82 | switch i8 %v1, label %b17 [ |
| 83 | i8 32, label %b18 |
| 84 | i8 9, label %b18 |
| 85 | ] |
| 86 | |
| 87 | b17: ; preds = %b16 |
| 88 | %v2 = getelementptr inbounds i8, i8* %v0, i32 1 |
| 89 | br label %b16 |
| 90 | |
| 91 | b18: ; preds = %b16, %b16 |
| 92 | unreachable |
| 93 | } |
| 94 | |
| 95 | ; Function Attrs: nounwind |
| 96 | declare void @f1(i8* nocapture readonly, i8* nocapture readonly, ...) local_unnamed_addr #0 |
| 97 | |
| 98 | attributes #0 = { nounwind "target-cpu"="hexagonv62" } |