[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / CodeGenPrepare / NVPTX / bypass-slow-div-not-exact.ll
blob9db23d639a4c67285671d535d72104cba1295052
1 ; RUN: opt -S -codegenprepare < %s | FileCheck %s
3 target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
4 target triple = "nvptx64-nvidia-cuda"
6 ; Check that the smaller-width division that the BypassSlowDivision pass
7 ; creates is not marked as "exact" (that is, it doesn't claim that the
8 ; numerator is a multiple of the denominator).
10 ; CHECK-LABEL: @test
11 define void @test(i64 %a, i64 %b, i64* %retptr) {
12   ; CHECK: udiv i32
13   %d = sdiv i64 %a, %b
14   store i64 %d, i64* %retptr
15   ret void