test/CodeGen/X86/SafeDivRemIntrinsics.ll

   1 ; RUN: llc < %s | FileCheck %s
   2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   3
   4 %divovf8  = type { i8, i1 }
   5 %divovf16 = type { i16, i1 }
   6 %divovf32 = type { i32, i1 }
   7 %divovf64 = type { i64, i1 }
   8
   9 declare %divovf8  @llvm.safe.sdiv.i8(i8, i8) nounwind readnone
  10 declare %divovf16 @llvm.safe.sdiv.i16(i16, i16) nounwind readnone
  11 declare %divovf32 @llvm.safe.sdiv.i32(i32, i32) nounwind readnone
  12 declare %divovf64 @llvm.safe.sdiv.i64(i64, i64) nounwind readnone
  13
  14 declare %divovf8  @llvm.safe.srem.i8(i8, i8) nounwind readnone
  15 declare %divovf16 @llvm.safe.srem.i16(i16, i16) nounwind readnone
  16 declare %divovf32 @llvm.safe.srem.i32(i32, i32) nounwind readnone
  17 declare %divovf64 @llvm.safe.srem.i64(i64, i64) nounwind readnone
  18
  19 declare %divovf8  @llvm.safe.udiv.i8(i8, i8) nounwind readnone
  20 declare %divovf16 @llvm.safe.udiv.i16(i16, i16) nounwind readnone
  21 declare %divovf32 @llvm.safe.udiv.i32(i32, i32) nounwind readnone
  22 declare %divovf64 @llvm.safe.udiv.i64(i64, i64) nounwind readnone
  23
  24 declare %divovf8  @llvm.safe.urem.i8(i8, i8) nounwind readnone
  25 declare %divovf16 @llvm.safe.urem.i16(i16, i16) nounwind readnone
  26 declare %divovf32 @llvm.safe.urem.i32(i32, i32) nounwind readnone
  27 declare %divovf64 @llvm.safe.urem.i64(i64, i64) nounwind readnone
  28
  29 ; CHECK-LABEL: sdiv8
  30 ; CHECK: idivb{{[       ]}}
  31 define %divovf8 @sdiv8(i8 %x, i8 %y) {
  32 entry:
  33   %divr = call %divovf8 @llvm.safe.sdiv.i8(i8 %x, i8 %y)
  34   ret %divovf8 %divr
  35 }
  36 ; CHECK-LABEL: sdiv16
  37 ; CHECK: idivw{{[       ]}}
  38 define %divovf16 @sdiv16(i16 %x, i16 %y) {
  39 entry:
  40   %divr = call %divovf16 @llvm.safe.sdiv.i16(i16 %x, i16 %y)
  41   ret %divovf16 %divr
  42 }
  43 ; CHECK-LABEL: sdiv32
  44 ; CHECK: idivl{{[       ]}}
  45 define %divovf32 @sdiv32(i32 %x, i32 %y) {
  46 entry:
  47   %divr = call %divovf32 @llvm.safe.sdiv.i32(i32 %x, i32 %y)
  48   ret %divovf32 %divr
  49 }
  50 ; CHECK-LABEL: sdiv64
  51 ; CHECK: idivq{{[       ]}}
  52 define %divovf64 @sdiv64(i64 %x, i64 %y) {
  53 entry:
  54   %divr = call %divovf64 @llvm.safe.sdiv.i64(i64 %x, i64 %y)
  55   ret %divovf64 %divr
  56 }
  57 ; CHECK-LABEL: udiv8
  58 ; CHECK: {{[    ]}}divb{{[      ]}}
  59 define %divovf8 @udiv8(i8 %x, i8 %y) {
  60 entry:
  61   %divr = call %divovf8 @llvm.safe.udiv.i8(i8 %x, i8 %y)
  62   ret %divovf8 %divr
  63 }
  64 ; CHECK-LABEL: udiv16
  65 ; CHECK: {{[    ]}}divw{{[      ]}}
  66 define %divovf16 @udiv16(i16 %x, i16 %y) {
  67 entry:
  68   %divr = call %divovf16 @llvm.safe.udiv.i16(i16 %x, i16 %y)
  69   ret %divovf16 %divr
  70 }
  71 ; CHECK-LABEL: udiv32
  72 ; CHECK: {{[    ]}}divl{{[      ]}}
  73 define %divovf32 @udiv32(i32 %x, i32 %y) {
  74 entry:
  75   %divr = call %divovf32 @llvm.safe.udiv.i32(i32 %x, i32 %y)
  76   ret %divovf32 %divr
  77 }
  78 ; CHECK-LABEL: udiv64
  79 ; CHECK: {{[    ]}}divq{{[      ]}}
  80 define %divovf64 @udiv64(i64 %x, i64 %y) {
  81 entry:
  82   %divr = call %divovf64 @llvm.safe.udiv.i64(i64 %x, i64 %y)
  83   ret %divovf64 %divr
  84 }
  85 ; CHECK-LABEL: srem8
  86 ; CHECK: idivb{{[       ]}}
  87 define %divovf8 @srem8(i8 %x, i8 %y) {
  88 entry:
  89   %remr = call %divovf8 @llvm.safe.srem.i8(i8 %x, i8 %y)
  90   ret %divovf8 %remr
  91 }
  92 ; CHECK-LABEL: srem16
  93 ; CHECK: idivw{{[       ]}}
  94 define %divovf16 @srem16(i16 %x, i16 %y) {
  95 entry:
  96   %remr = call %divovf16 @llvm.safe.srem.i16(i16 %x, i16 %y)
  97   ret %divovf16 %remr
  98 }
  99 ; CHECK-LABEL: srem32
 100 ; CHECK: idivl{{[       ]}}
 101 define %divovf32 @srem32(i32 %x, i32 %y) {
 102 entry:
 103   %remr = call %divovf32 @llvm.safe.srem.i32(i32 %x, i32 %y)
 104   ret %divovf32 %remr
 105 }
 106 ; CHECK-LABEL: srem64
 107 ; CHECK: idivq{{[       ]}}
 108 define %divovf64 @srem64(i64 %x, i64 %y) {
 109 entry:
 110   %remr = call %divovf64 @llvm.safe.srem.i64(i64 %x, i64 %y)
 111   ret %divovf64 %remr
 112 }
 113 ; CHECK-LABEL: urem8
 114 ; CHECK: {{[    ]}}divb{{[      ]}}
 115 define %divovf8 @urem8(i8 %x, i8 %y) {
 116 entry:
 117   %remr = call %divovf8 @llvm.safe.urem.i8(i8 %x, i8 %y)
 118   ret %divovf8 %remr
 119 }
 120 ; CHECK-LABEL: urem16
 121 ; CHECK: {{[    ]}}divw{{[      ]}}
 122 define %divovf16 @urem16(i16 %x, i16 %y) {
 123 entry:
 124   %remr = call %divovf16 @llvm.safe.urem.i16(i16 %x, i16 %y)
 125   ret %divovf16 %remr
 126 }
 127 ; CHECK-LABEL: urem32
 128 ; CHECK: {{[    ]}}divl{{[      ]}}
 129 define %divovf32 @urem32(i32 %x, i32 %y) {
 130 entry:
 131   %remr = call %divovf32 @llvm.safe.urem.i32(i32 %x, i32 %y)
 132   ret %divovf32 %remr
 133 }
 134 ; CHECK-LABEL: urem64
 135 ; CHECK: {{[    ]}}divq{{[      ]}}
 136 define %divovf64 @urem64(i64 %x, i64 %y) {
 137 entry:
 138   %remr = call %divovf64 @llvm.safe.urem.i64(i64 %x, i64 %y)
 139   ret %divovf64 %remr
 140 }
 141
 142 !llvm.ident = !{!0}
 143
 144 !0 = metadata !{metadata !"clang version 3.5.0 "}