[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / fastisel-gep-promote-before-add.ll
blob515350b06afb00f104b90ab1992e90b12cf0b9b2
1 ; fastisel should not fold add with non-pointer bitwidth
2 ; sext(a) + sext(b) != sext(a + b)
3 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-freebsd10.0 %s -O0 -o - | FileCheck %s
5 define zeroext i8 @gep_promotion(i8* %ptr) nounwind {
6 entry:
7   %ptr.addr = alloca i8*, align 8
8   %add = add i8 64, 64 ; 0x40 + 0x40
9   %0 = load i8*, i8** %ptr.addr, align 8
11   ; CHECK-LABEL: gep_promotion:
12   ; CHECK: lbz {{[0-9]+}}, 0({{.*}})
13   %arrayidx = getelementptr inbounds i8, i8* %0, i8 %add
15   %1 = load i8, i8* %arrayidx, align 1
16   ret i8 %1