test/Transforms/InstCombine/2012-08-28-udiv_ashl.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2
   3 ; rdar://12182093
   4
   5 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   6 target triple = "x86_64-apple-macosx10.8.0"
   7
   8 ; CHECK: @udiv400
   9 ; CHECK: udiv i32 %x, 400
  10 ; CHECK: ret
  11 define i32 @udiv400(i32 %x) {
  12 entry:
  13   %div = lshr i32 %x, 2
  14   %div1 = udiv i32 %div, 100
  15   ret i32 %div1
  16 }
  17
  18 ; CHECK: @sdiv400
  19 ; CHECK: sdiv i32 %x, 400
  20 ; CHECK: ret
  21 define i32 @sdiv400(i32 %x) {
  22 entry:
  23   %div = ashr i32 %x, 2
  24   %div1 = sdiv i32 %div, 100
  25   ret i32 %div1
  26 }
  27
  28 ; CHECK: @udiv400_no
  29 ; CHECK: ashr
  30 ; CHECK: div
  31 ; CHECK: ret
  32 define i32 @udiv400_no(i32 %x) {
  33 entry:
  34   %div = ashr i32 %x, 2
  35   %div1 = udiv i32 %div, 100
  36   ret i32 %div1
  37 }
  38
  39 ; CHECK: @sdiv400_yes
  40 ; CHECK: udiv i32 %x, 400
  41 ; CHECK: ret
  42 define i32 @sdiv400_yes(i32 %x) {
  43 entry:
  44   %div = lshr i32 %x, 2
  45   ; The sign bits of both operands are zero (i.e. we can prove they are
  46   ; unsigned inputs), turn this into a udiv.
  47   ; Next, optimize this just like sdiv.
  48   %div1 = sdiv i32 %div, 100
  49   ret i32 %div1
  50 }
  51
  52 define i80 @no_crash_i80(i80 %x) {
  53 entry:
  54   %div = lshr i80 %x, 2
  55   %div1 = udiv i80 %div, 100
  56   ret i80 %div1
  57 }