test/CodeGen/SystemZ/cond-move-05.mir

   1 # RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 -start-before=greedy %s -o - \
   2 # RUN:   | FileCheck %s
   3 #
   4 # Test that regalloc hints work for LOCRMux when a 128bit register is
   5 # involved.
   6
   7
   8 --- |
   9   ; ModuleID = 'tc.ll'
  10   source_filename = "bugpoint-output-126c57d.bc"
  11   target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
  12   target triple = "s390x--linux-gnu"
  13
  14   @g_74 = external global i32, align 4
  15
  16   ; Function Attrs: nounwind
  17   define void @main() local_unnamed_addr #0 {
  18   entry:
  19     %0 = load i32, i32* @g_74, align 4
  20     %conv478.i.i = sext i32 %0 to i64
  21     %cond.i15.i.i = lshr i32 1, 0
  22     %conv2.i16.i.i = zext i32 %cond.i15.i.i to i64
  23     %rem.i12.i.i = urem i64 %conv2.i16.i.i, %conv478.i.i
  24     %conv480.i.i = trunc i64 %rem.i12.i.i to i32
  25     %1 = icmp ult i32 %conv480.i.i, -663124367
  26     %rem.i.i.i = select i1 %1, i32 %conv480.i.i, i32 undef
  27     %tobool482.i.i = icmp eq i32 %rem.i.i.i, 0
  28     br i1 %tobool482.i.i, label %for.inc591.1.i.i, label %cleanup584.i.i
  29
  30   cleanup584.i.i:                                   ; preds = %entry
  31     unreachable
  32
  33   for.inc591.1.i.i:                                 ; preds = %entry
  34     unreachable
  35   }
  36
  37   attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z13" "target-features"="+transactional-execution,+vector" "unsafe-fp-math"="false" "use-soft-float"="false" }
  38
  39   !llvm.ident = !{!0}
  40
  41   !0 = !{!"clang version 6.0.0"}
  42
  43 ...
  44
  45 # CHECK: locr
  46 # CHECK-NOT: risblg
  47
  48 ---
  49 name:            main
  50 alignment:       4
  51 tracksRegLiveness: true
  52 registers:
  53   - { id: 0, class: gr64bit }
  54   - { id: 1, class: gr64bit }
  55   - { id: 2, class: gr128bit }
  56   - { id: 3, class: gr128bit }
  57   - { id: 4, class: gr64bit }
  58   - { id: 5, class: grx32bit }
  59   - { id: 6, class: grx32bit }
  60   - { id: 7, class: grx32bit }
  61   - { id: 8, class: gr128bit }
  62   - { id: 9, class: gr128bit }
  63   - { id: 10, class: gr64bit }
  64 body:             |
  65   bb.0.entry:
  66     %0:gr64bit = LGFRL @g_74 :: (dereferenceable load 4 from @g_74)
  67     undef %3.subreg_l64:gr128bit = LGHI 1
  68     %3.subreg_h64:gr128bit = LLILL 0
  69     %3:gr128bit = DLGR %3, %0
  70     CLFIMux %3.subreg_hl32, 3631842929, implicit-def $cc
  71     %6:grx32bit = LOCRMux undef %6, %3.subreg_hl32, 14, 4, implicit killed $cc
  72     CHIMux %6, 0, implicit-def $cc
  73     BRC 14, 8, %bb.2.for.inc591.1.i.i, implicit killed $cc
  74     J %bb.1.cleanup584.i.i
  75
  76   bb.1.cleanup584.i.i:
  77     successors:
  78
  79
  80   bb.2.for.inc591.1.i.i:
  81
  82 ...