Home | History | Annotate | Download | only in Hexagon
      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" }
     99