| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 1 | ; fastisel should not fold add with non-pointer bitwidth |
| 2 | ; sext(a) + sext(b) != sext(a + b) |
| 3 | ; RUN: llc -mtriple=arm64-apple-darwin %s -O0 -o - | FileCheck %s |
| 4 | |
| 5 | define zeroext i8 @gep_promotion(i8* %ptr) nounwind uwtable ssp { |
| 6 | entry: |
| 7 | %ptr.addr = alloca i8*, align 8 |
| 8 | %add = add i8 64, 64 ; 0x40 + 0x40 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 9 | %0 = load i8*, i8** %ptr.addr, align 8 |
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 10 | |
| 11 | ; CHECK-LABEL: _gep_promotion: |
| 12 | ; CHECK: ldrb {{[a-z][0-9]+}}, {{\[[a-z][0-9]+\]}} |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 13 | %arrayidx = getelementptr inbounds i8, i8* %0, i8 %add |
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 14 | |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 15 | %1 = load i8, i8* %arrayidx, align 1 |
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 16 | ret i8 %1 |
| 17 | } |
| 18 | |