test/CodeGen/ARM/Windows/dbzchk.ll

   1 ; RUN: llc -mtriple thumbv7--windows-itanium -print-after=finalize-isel -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s -check-prefix CHECK-DIV
   2
   3 ; int f(int n, int d) {
   4 ;   if (n / d)
   5 ;     return 1;
   6 ;   return 0;
   7 ; }
   8
   9 define arm_aapcs_vfpcc i32 @f(i32 %n, i32 %d) {
  10 entry:
  11   %retval = alloca i32, align 4
  12   %n.addr = alloca i32, align 4
  13   %d.addr = alloca i32, align 4
  14   store i32 %n, i32* %n.addr, align 4
  15   store i32 %d, i32* %d.addr, align 4
  16   %0 = load i32, i32* %n.addr, align 4
  17   %1 = load i32, i32* %d.addr, align 4
  18   %div = sdiv i32 %0, %1
  19   %tobool = icmp ne i32 %div, 0
  20   br i1 %tobool, label %if.then, label %if.end
  21
  22 if.then:
  23   store i32 1, i32* %retval, align 4
  24   br label %return
  25
  26 if.end:
  27   store i32 0, i32* %retval, align 4
  28   br label %return
  29
  30 return:
  31   %2 = load i32, i32* %retval, align 4
  32   ret i32 %2
  33 }
  34
  35 ; CHECK-DIV-DAG: %bb.0
  36 ; CHECK-DIV-DAG: successors: %bb.1({{.*}}), %bb.2
  37 ; CHECK-DIV-DAG: %bb.1
  38 ; CHECK-DIV-DAG: successors: %bb.3
  39 ; CHECK-DIV-DAG: %bb.2
  40 ; CHECK-DIV-DAG: successors: %bb.3
  41 ; CHECK-DIV-DAG: %bb.3
  42
  43 ; RUN: llc -mtriple thumbv7--windows-itanium -print-after=finalize-isel -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s -check-prefix CHECK-MOD
  44
  45 ; int r;
  46 ; int g(int l, int m) {
  47 ;   if (m <= 0)
  48 ;     return 0;
  49 ;   return (r = l % m);
  50 ; }
  51
  52 @r = common global i32 0, align 4
  53
  54 define arm_aapcs_vfpcc i32 @g(i32 %l, i32 %m) {
  55 entry:
  56   %cmp = icmp eq i32 %m, 0
  57   br i1 %cmp, label %return, label %if.end
  58
  59 if.end:
  60   %rem = urem i32 %l, %m
  61   store i32 %rem, i32* @r, align 4
  62   br label %return
  63
  64 return:
  65   %retval.0 = phi i32 [ %rem, %if.end ], [ 0, %entry ]
  66   ret i32 %retval.0
  67 }
  68
  69 ; CHECK-MOD-DAG: %bb.0
  70 ; CHECK-MOD-DAG: successors: %bb.2({{.*}}), %bb.1
  71 ; CHECK-MOD-DAG: %bb.1
  72 ; CHECK-MOD-DAG: successors: %bb.3
  73 ; CHECK-MOD-DAG: %bb.3
  74 ; CHECK-MOD-DAG: successors: %bb.2
  75 ; CHECK-MOD-DAG: %bb.2
  76
  77 ; RUN: llc -mtriple thumbv7--windows-itanium -print-after=finalize-isel -verify-machineinstrs -filetype asm -o /dev/null %s 2>&1 | FileCheck %s -check-prefix CHECK-CFG
  78 ; RUN: llc -mtriple thumbv7--windows-itanium -verify-machineinstrs -filetype asm -o - %s | FileCheck %s -check-prefix CHECK-CFG-ASM
  79
  80 ; unsigned c;
  81 ; extern unsigned long g(void);
  82 ; int f(unsigned u, signed char b) {
  83 ;   if (b)
  84 ;     c = g() % u;
  85 ;   return c;
  86 ; }
  87
  88 @c = common global i32 0, align 4
  89
  90 declare arm_aapcs_vfpcc i32 @i()
  91
  92 define arm_aapcs_vfpcc i32 @h(i32 %u, i8 signext %b) #0 {
  93 entry:
  94   %tobool = icmp eq i8 %b, 0
  95   br i1 %tobool, label %entry.if.end_crit_edge, label %if.then
  96
  97 entry.if.end_crit_edge:
  98   %.pre = load i32, i32* @c, align 4
  99   br label %if.end
 100
 101 if.then:
 102   %call = tail call arm_aapcs_vfpcc i32 @i()
 103   %rem = urem i32 %call, %u
 104   store i32 %rem, i32* @c, align 4
 105   br label %if.end
 106
 107 if.end:
 108   %0 = phi i32 [ %.pre, %entry.if.end_crit_edge ], [ %rem, %if.then ]
 109   ret i32 %0
 110 }
 111
 112 attributes #0 = { optsize }
 113
 114 ; CHECK-CFG-DAG: %bb.0
 115 ; CHECK-CFG-DAG: t2Bcc %bb.2
 116 ; CHECK-CFG-DAG: t2B %bb.1
 117
 118 ; CHECK-CFG-DAG: %bb.1
 119 ; CHECK-CFG-DAG: t2B %bb.3
 120
 121 ; CHECK-CFG-DAG: %bb.2
 122 ; CHECK-CFG-DAG: tCMPi8 %{{[0-9]}}{{[^,]*}}, 0
 123 ; CHECK-CFG-DAG: t2Bcc %bb.5
 124
 125 ; CHECK-CFG-DAG: %bb.4
 126
 127 ; CHECK-CFG-DAG: %bb.3
 128 ; CHECK-CFG-DAG: tBX_RET
 129
 130 ; CHECK-CFG-DAG: %bb.5
 131 ; CHECK-CFG-DAG: t__brkdiv0
 132
 133 ; CHECK-CFG-ASM-LABEL: h:
 134 ; CHECK-CFG-ASM: cbz r{{[0-9]}}, .LBB2_4
 135 ; CHECK-CFG-ASM: bl __rt_udiv
 136 ; CHECK-CFG-ASM-LABEL: .LBB2_4:
 137 ; CHECK-CFG-ASM: __brkdiv0
 138
 139 ; RUN: llc -O1 -mtriple thumbv7--windows-itanium -verify-machineinstrs -filetype asm -o - %s | FileCheck %s -check-prefix CHECK-WIN__DBZCHK
 140
 141 ; long k(void);
 142 ; int l(void);
 143 ; int j(int i) {
 144 ;   if (l() == -1)
 145 ;     return 0;
 146 ;   return k() % i;
 147 ; }
 148
 149 declare arm_aapcs_vfpcc i32 @k()
 150 declare arm_aapcs_vfpcc i32 @l()
 151
 152 define arm_aapcs_vfpcc i32 @j(i32 %i) {
 153 entry:
 154   %retval = alloca i32, align 4
 155   %i.addr = alloca i32, align 4
 156   store i32 %i, i32* %i.addr, align 4
 157   %call = call arm_aapcs_vfpcc i32 @l()
 158   %cmp = icmp eq i32 %call, -1
 159   br i1 %cmp, label %if.then, label %if.end
 160
 161 if.then:
 162   store i32 0, i32* %retval, align 4
 163   br label %return
 164
 165 if.end:
 166   %call1 = call arm_aapcs_vfpcc i32 @k()
 167   %0 = load i32, i32* %i.addr, align 4
 168   %rem = srem i32 %call1, %0
 169   store i32 %rem, i32* %retval, align 4
 170   br label %return
 171
 172 return:
 173   %1 = load i32, i32* %retval, align 4
 174   ret i32 %1
 175 }
 176
 177 ; CHECK-WIN__DBZCHK-LABEL: j:
 178 ; CHECK-WIN__DBZCHK: cbz r{{[0-7]}}, .LBB
 179 ; CHECK-WIN__DBZCHK-NOT: cbz r8, .LBB
 180 ; CHECK-WIN__DBZCHK-NOT: cbz r9, .LBB
 181 ; CHECK-WIN__DBZCHK-NOT: cbz r10, .LBB
 182 ; CHECK-WIN__DBZCHK-NOT: cbz r11, .LBB
 183 ; CHECK-WIN__DBZCHK-NOT: cbz ip, .LBB
 184 ; CHECK-WIN__DBZCHK-NOT: cbz lr, .LBB
 185