test/CodeGen/Hexagon/expand-condsets-dead.ll

   1 ; RUN: llc -march=hexagon -O2 < %s
   2 ; REQUIRES: asserts
   3
   4 ; Test that the dead and kill flags are not added incorrectly during the
   5 ; Hexagon Expand Condsets pass. The pass shouldn't add a kill flag to a use that
   6 ; is tied to a definition, and the pass shouldn't remove the dead flag for a
   7 ; definition that is really dead. The removal of the dead flag causes an assert
   8 ; in the Machine Scheduler when querying live interval information.
   9
  10 define void @f0() #0 {
  11 b0:
  12   br label %b1
  13
  14 b1:                                               ; preds = %b3, %b0
  15   %v0 = load i16, i16* undef, align 4
  16   %v1 = sext i16 %v0 to i32
  17   %v2 = and i32 %v1, 7
  18   %v3 = sub nsw i32 8, %v2
  19   %v4 = sub nsw i32 8, 0
  20   br label %b2
  21
  22 b2:                                               ; preds = %b2, %b1
  23   %v5 = phi i8* [ undef, %b1 ], [ %v16, %b2 ]
  24   %v6 = phi i32 [ 4, %b1 ], [ %v17, %b2 ]
  25   %v7 = load i8, i8* undef, align 1
  26   %v8 = zext i8 %v7 to i32
  27   %v9 = mul nuw nsw i32 %v8, %v3
  28   %v10 = add nuw nsw i32 0, %v9
  29   %v11 = mul nuw nsw i32 %v10, %v4
  30   %v12 = add nuw nsw i32 0, %v11
  31   %v13 = lshr i32 %v12, 6
  32   %v14 = trunc i32 %v13 to i8
  33   store i8 %v14, i8* %v5, align 1
  34   %v15 = getelementptr inbounds i8, i8* %v5, i32 1
  35   %v16 = select i1 undef, i8* undef, i8* %v15
  36   %v17 = add nsw i32 %v6, -1
  37   %v18 = icmp eq i32 %v17, 0
  38   br i1 %v18, label %b3, label %b2
  39
  40 b3:                                               ; preds = %b2
  41   br i1 undef, label %b1, label %b4
  42
  43 b4:                                               ; preds = %b3
  44   ret void
  45 }
  46
  47 attributes #0 = { nounwind "target-cpu"="hexagonv65" }