llvm/test/CodeGen/Hexagon/aggr-antidep-tied.ll

   1 ; RUN: llc -march=hexagon -verify-machineinstrs < %s
   2 ; REQUIRES: asserts
   3
   4 ; Test that the aggressive anti-dependence breaker does not attempt
   5 ; to rename a tied operand.
   6
   7 @g0 = external global [4 x i64], align 8
   8 @g1 = external global [6 x i64], align 8
   9 @g2 = external unnamed_addr constant [45 x i8], align 1
  10 @g3 = external unnamed_addr constant [26 x i8], align 1
  11 @g4 = external unnamed_addr constant [29 x i8], align 1
  12 @g5 = external unnamed_addr constant [29 x i8], align 1
  13
  14 ; Function Attrs: norecurse nounwind readonly
  15 declare i64 @f0() #0
  16
  17 ; Function Attrs: nounwind
  18 define void @f1() #1 {
  19 b0:
  20   %v0 = load i64, ptr @g0, align 8
  21   %v1 = trunc i64 %v0 to i32
  22   %v2 = load i64, ptr @g1, align 8
  23   %v3 = load i64, ptr getelementptr inbounds ([6 x i64], ptr @g1, i32 0, i32 3), align 8
  24   %v4 = lshr i64 %v2, 32
  25   %v5 = trunc i64 %v4 to i32
  26   %v6 = add i32 %v5, 0
  27   %v7 = trunc i64 %v3 to i32
  28   %v8 = lshr i64 %v3, 32
  29   %v9 = add i32 %v6, %v7
  30   %v10 = trunc i64 %v8 to i32
  31   %v11 = add i32 %v9, %v10
  32   %v12 = add i32 %v11, 0
  33   %v13 = add i32 %v12, 0
  34   %v14 = tail call i64 @f0()
  35   %v15 = lshr i64 %v0, 16
  36   %v16 = trunc i64 %v15 to i32
  37   %v17 = and i32 %v16, 65535
  38   %v18 = add nuw nsw i32 %v17, 0
  39   %v19 = zext i32 %v18 to i64
  40   %v20 = add i32 %v16, %v1
  41   %v21 = and i32 %v20, 65535
  42   %v22 = zext i32 %v21 to i64
  43   tail call void (ptr, ...) @f2(ptr @g2, i32 %v13) #2
  44   tail call void (ptr, ...) @f2(ptr @g3, i64 %v14) #2
  45   tail call void (ptr, ...) @f2(ptr @g4, i64 %v19) #2
  46   tail call void (ptr, ...) @f2(ptr @g5, i64 %v22) #2
  47   ret void
  48 }
  49
  50 ; Function Attrs: nounwind
  51 declare void @f2(ptr nocapture readonly, ...) #1
  52
  53 attributes #0 = { norecurse nounwind readonly "target-cpu"="hexagonv55" }
  54 attributes #1 = { nounwind "target-cpu"="hexagonv55" }
  55 attributes #2 = { nounwind }