blob: 308eb96f1583e34f55d8a0b0ca63af30f58df998 [file] [log] [blame]
Ehsan Amiria538b0f2016-08-03 18:17:35 +00001; RUN: llc -verify-machineinstrs -mcpu=pwr7 -O1 -code-model=medium <%s | FileCheck %s
Bill Schmidtf5b474c2013-02-21 00:38:25 +00002
3; Test peephole optimization for medium code model (32-bit TOC offsets)
4; for loading and storing a static variable scoped to a function.
5
6target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
7target triple = "powerpc64-unknown-linux-gnu"
8
9@test_fn_static.si = internal global i32 0, align 4
10
11define signext i32 @test_fn_static() nounwind {
12entry:
David Blaikiea79ac142015-02-27 21:17:42 +000013 %0 = load i32, i32* @test_fn_static.si, align 4
Bill Schmidtf5b474c2013-02-21 00:38:25 +000014 %inc = add nsw i32 %0, 1
15 store i32 %inc, i32* @test_fn_static.si, align 4
16 ret i32 %0
17}
18
Stephen Linf799e3f2013-07-13 20:38:47 +000019; CHECK-LABEL: test_fn_static:
Bill Schmidtf5b474c2013-02-21 00:38:25 +000020; CHECK: addis [[REG1:[0-9]+]], 2, [[VAR:[a-z0-9A-Z_.]+]]@toc@ha
Hal Finkel34974ed2014-04-12 21:52:38 +000021; CHECK: lwa {{[0-9]+}}, [[VAR]]@toc@l([[REG1]])
22; CHECK-NOT: extsw
Bill Schmidtf5b474c2013-02-21 00:38:25 +000023; CHECK: stw {{[0-9]+}}, [[VAR]]@toc@l([[REG1]])
24; CHECK: .type [[VAR]],@object
Joerg Sonnenberger6d05a2b2014-08-04 21:06:00 +000025; CHECK: .lcomm [[VAR]],4,4