1 ; RUN: llc < %s | FileCheck %s
3 target datalayout = "e-m:e-p:32:32-i1:8:32-i8:8:32-i16:16:32-i64:64-v128:64:128-a:0:32-n32-S64"
4 target triple = "thumbv7--linux-gnueabihf"
8 define void @f(ptr nocapture %b, ptr nocapture %c, i32 %a) {
10 store i32 %1, ptr %c, align 4
13 %4 = load i32, ptr %b, align 4
14 %5 = add nsw i32 %4, %3
15 store i32 %5, ptr %b, align 4