[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / div8.ll
blobf4f50e5a494cdc63aa165a7b376fc370a0cb7e22
1 ; RUN: llc < %s | FileCheck %s
2 ; ModuleID = '8div.c'
3 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"
4 target triple = "x86_64-apple-macosx10.6.6"
6 define signext i8 @test_div(i8 %dividend, i8 %divisor) nounwind ssp {
7 entry:
8   %dividend.addr = alloca i8, align 2
9   %divisor.addr = alloca i8, align 1
10   %quotient = alloca i8, align 1
11   store i8 %dividend, i8* %dividend.addr, align 2
12   store i8 %divisor, i8* %divisor.addr, align 1
13   %tmp = load i8, i8* %dividend.addr, align 2
14   %tmp1 = load i8, i8* %divisor.addr, align 1
15 ; Insist on i8->i32 zero extension, even though divb demands only i16:
16 ; CHECK: movzbl {{.*}}%eax
17 ; CHECK: divb
18   %div = udiv i8 %tmp, %tmp1
19   store i8 %div, i8* %quotient, align 1
20   %tmp4 = load i8, i8* %quotient, align 1
21   ret i8 %tmp4