test/CodeGen/AArch64/machine_cse.ll

   1 ; RUN: llc < %s -mtriple=aarch64-linux-gnuabi -O2 | FileCheck %s
   2
   3 ; marked as external to prevent possible optimizations
   4 @a = external global i32
   5 @b = external global i32
   6 @c = external global i32
   7 @d = external global i32
   8 @e = external global i32
   9
  10 define void @combine-sign-comparisons-by-cse(i32 *%arg) {
  11 ; CHECK: cmp
  12 ; CHECK: b.ge
  13 ; CHECK-NOT: cmp
  14 ; CHECK: b.le
  15
  16 entry:
  17   %a = load i32, i32* @a, align 4
  18   %b = load i32, i32* @b, align 4
  19   %c = load i32, i32* @c, align 4
  20   %d = load i32, i32* @d, align 4
  21   %e = load i32, i32* @e, align 4
  22
  23   %cmp = icmp slt i32 %a, %e
  24   br i1 %cmp, label %land.lhs.true, label %lor.lhs.false
  25
  26 land.lhs.true:
  27   %cmp1 = icmp eq i32 %b, %c
  28   br i1 %cmp1, label %return, label %if.end
  29
  30 lor.lhs.false:
  31   %cmp2 = icmp sgt i32 %a, %e
  32   br i1 %cmp2, label %land.lhs.true3, label %if.end
  33
  34 land.lhs.true3:
  35   %cmp4 = icmp eq i32 %b, %d
  36   br i1 %cmp4, label %return, label %if.end
  37
  38 if.end:
  39   br label %return
  40
  41 return:
  42   %retval.0 = phi i32 [ 0, %if.end ], [ 1, %land.lhs.true3 ], [ 1, %land.lhs.true ]
  43   store i32 %a, i32 *%arg
  44   ret void
  45 }