38 lines · plain
1; fastisel should not fold add with non-pointer bitwidth2; sext(a) + sext(b) != sext(a + b)3; RUN: llc -mtriple=x86_64-apple-darwin %s -O0 -o - | FileCheck %s4 5define zeroext i8 @gep_promotion(ptr %ptr) nounwind uwtable ssp {6entry:7 %ptr.addr = alloca ptr, align 88 %add = add i8 64, 64 ; 0x40 + 0x409 %0 = load ptr, ptr %ptr.addr, align 810 11 ; CHECK-LABEL: _gep_promotion:12 ; CHECK: movzbl ({{.*}})13 %arrayidx = getelementptr inbounds i8, ptr %0, i8 %add14 15 %1 = load i8, ptr %arrayidx, align 116 ret i8 %117}18 19define zeroext i8 @gep_promotion_nonconst(i8 %i, ptr %ptr) nounwind uwtable ssp {20entry:21 %i.addr = alloca i8, align 422 %ptr.addr = alloca ptr, align 823 store i8 %i, ptr %i.addr, align 424 store ptr %ptr, ptr %ptr.addr, align 825 %0 = load i8, ptr %i.addr, align 426 ; CHECK-LABEL: _gep_promotion_nonconst:27 ; CHECK: movzbl ({{.*}})28 %xor = xor i8 %0, -128 ; %0 ^ 0x8029 %add = add i8 %xor, -127 ; %xor + 0x8130 %1 = load ptr, ptr %ptr.addr, align 831 32 %arrayidx = getelementptr inbounds i8, ptr %1, i8 %add33 34 %2 = load i8, ptr %arrayidx, align 135 ret i8 %236}37 38