llvm/test/CodeGen/ARM/ldrd_ifcvt.ll

   1 ; RUN: llc -mtriple=armv7a-none-eabi %s -o -  -verify-machineinstrs | FileCheck %s
   2 ; RUN: llc -mtriple=thumbv7a-none-eabi %s -o -  -verify-machineinstrs | FileCheck %s
   3 ; RUN: llc -mtriple=thumbv7m-none-eabi %s -o -  -verify-machineinstrs | FileCheck %s
   4
   5 ; Check we do not hit verifier errors from ifcvting volatile ldrd's
   6 ; CHECK: ldrdne
   7 ; CHECK: ldrdne
   8 ; CHECK: ldrdne
   9 ; CHECK: ldrdne
  10
  11 define void @c(i64* %b) noreturn nounwind {
  12 entry:
  13   br label %for.cond
  14
  15 for.cond:                                         ; preds = %land.end.3, %entry
  16   %a.0 = phi i32 [ 0, %entry ], [ %conv2.3, %land.end.3 ]
  17   %tobool.not = icmp eq i32 %a.0, 0
  18   br i1 %tobool.not, label %land.end, label %land.rhs
  19
  20 land.rhs:                                         ; preds = %for.cond
  21   %0 = load volatile i64, i64* %b, align 8
  22   br label %land.end
  23
  24 land.end:                                         ; preds = %land.rhs, %for.cond
  25   %sub.i = add nuw nsw i32 %a.0, 65533
  26   %conv2 = and i32 %sub.i, 65535
  27   %tobool.not.1 = icmp eq i32 %conv2, 0
  28   br i1 %tobool.not.1, label %land.end.1, label %land.rhs.1
  29
  30 land.rhs.1:                                       ; preds = %land.end
  31   %1 = load volatile i64, i64* %b, align 8
  32   br label %land.end.1
  33
  34 land.end.1:                                       ; preds = %land.rhs.1, %land.end
  35   %sub.i.1 = add nuw nsw i32 %a.0, 65530
  36   %conv2.1 = and i32 %sub.i.1, 65535
  37   %tobool.not.2 = icmp eq i32 %conv2.1, 0
  38   br i1 %tobool.not.2, label %land.end.2, label %land.rhs.2
  39
  40 land.rhs.2:                                       ; preds = %land.end.1
  41   %2 = load volatile i64, i64* %b, align 8
  42   br label %land.end.2
  43
  44 land.end.2:                                       ; preds = %land.rhs.2, %land.end.1
  45   %sub.i.2 = add nuw nsw i32 %a.0, 65527
  46   %conv2.2 = and i32 %sub.i.2, 65535
  47   %tobool.not.3 = icmp eq i32 %conv2.2, 0
  48   br i1 %tobool.not.3, label %land.end.3, label %land.rhs.3
  49
  50 land.rhs.3:                                       ; preds = %land.end.2
  51   %3 = load volatile i64, i64* %b, align 8
  52   br label %land.end.3
  53
  54 land.end.3:                                       ; preds = %land.rhs.3, %land.end.2
  55   %sub.i.3 = add nuw nsw i32 %a.0, 65524
  56   %conv2.3 = and i32 %sub.i.3, 65535
  57   br label %for.cond
  58 }