test/CodeGen/AArch64/GlobalISel/localizer-arm64-tti.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 ; RUN: llc -o - -verify-machineinstrs -O0 -global-isel -stop-after=localizer %s | FileCheck %s
   3 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   4 target triple = "arm64-apple-ios5.0.0"
   5
   6 @var1 = common global i32 0, align 4
   7 @var2 = common global i32 0, align 4
   8 @var3 = common global i32 0, align 4
   9 @var4 = common global i32 0, align 4
  10
  11 ; This is an ll test instead of MIR because -run-pass doesn't seem to support
  12 ; initializing the target TTI which we need for this test.
  13
  14 ; Some of the instructions in entry block are dead after this pass so don't
  15 ; strictly need to be checked for.
  16
  17 define i32 @foo() {
  18   ; CHECK-LABEL: name: foo
  19   ; CHECK: bb.1.entry:
  20   ; CHECK:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
  21   ; CHECK:   [[GV:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var1
  22   ; CHECK:   [[C:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 1
  23   ; CHECK:   [[C1:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 2
  24   ; CHECK:   [[GV1:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var2
  25   ; CHECK:   [[C2:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 3
  26   ; CHECK:   [[GV2:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var3
  27   ; CHECK:   [[C3:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 0
  28   ; CHECK:   [[LOAD:%[0-9]+]]:gpr(s32) = G_LOAD [[GV]](p0) :: (load 4 from @var1)
  29   ; CHECK:   [[ICMP:%[0-9]+]]:gpr(s32) = G_ICMP intpred(ne), [[LOAD]](s32), [[C]]
  30   ; CHECK:   [[TRUNC:%[0-9]+]]:gpr(s1) = G_TRUNC [[ICMP]](s32)
  31   ; CHECK:   G_BRCOND [[TRUNC]](s1), %bb.3
  32   ; CHECK: bb.2.if.then:
  33   ; CHECK:   successors: %bb.3(0x80000000)
  34   ; CHECK:   [[GV3:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var2
  35   ; CHECK:   [[C4:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 2
  36   ; CHECK:   G_STORE [[C4]](s32), [[GV3]](p0) :: (store 4 into @var2)
  37   ; CHECK:   [[C5:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 3
  38   ; CHECK:   G_STORE [[C5]](s32), [[GV]](p0) :: (store 4 into @var1)
  39   ; CHECK:   [[GV4:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var3
  40   ; CHECK:   G_STORE [[C4]](s32), [[GV4]](p0) :: (store 4 into @var3)
  41   ; CHECK:   G_STORE [[C5]](s32), [[GV]](p0) :: (store 4 into @var1)
  42   ; CHECK: bb.3.if.end:
  43   ; CHECK:   [[C6:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 0
  44   ; CHECK:   $w0 = COPY [[C6]](s32)
  45   ; CHECK:   RET_ReallyLR implicit $w0
  46 entry:
  47   %0 = load i32, i32* @var1, align 4
  48   %cmp = icmp eq i32 %0, 1
  49   br i1 %cmp, label %if.then, label %if.end
  50
  51 if.then:
  52   store i32 2, i32* @var2, align 4
  53   store i32 3, i32* @var1, align 4
  54   store i32 2, i32* @var3, align 4
  55   store i32 3, i32* @var1, align 4
  56   br label %if.end
  57
  58 if.end:
  59   ret i32 0
  60 }
  61