[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / convert-2-addr-3-addr-inc64.ll
blob7fc56f5accc28bd9c00ea25937e4812b82c0010c
1 ; REQUIRES: asserts
2 ; RUN: llc < %s -mtriple=x86_64-linux -o /dev/null -stats 2>&1 | FileCheck %s -check-prefix=STATS
3 ; RUN: llc < %s -mtriple=x86_64-win32 -o /dev/null -stats 2>&1 | FileCheck %s -check-prefix=STATS
4 ; STATS: 9 asm-printer
6 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
7 ; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s
8 ; CHECK: leal 1({{%rsi|%rdx}}),
10 define fastcc zeroext i8 @fullGtU(i32 %i1, i32 %i2, i8* %ptr) nounwind optsize {
11 entry:
12   %0 = add i32 %i2, 1           ; <i32> [#uses=1]
13   %1 = sext i32 %0 to i64               ; <i64> [#uses=1]
14   %2 = getelementptr i8, i8* %ptr, i64 %1           ; <i8*> [#uses=1]
15   %3 = load i8, i8* %2, align 1             ; <i8> [#uses=1]
16   %4 = icmp eq i8 0, %3         ; <i1> [#uses=1]
17   br i1 %4, label %bb3, label %bb34
19 bb3:            ; preds = %entry
20   %5 = add i32 %i2, 4           ; <i32> [#uses=0]
21   %6 = trunc i32 %5 to i8
22   ret i8 %6
24 bb34:           ; preds = %entry
25   ret i8 0