blob: 10d89f521564fc04b90258d865272c2d53525c43 [file] [log] [blame]
Bill Schmidt34a9d4b2012-11-27 17:35:46 +00001; RUN: llc -mcpu=pwr7 -O0 -code-model=medium <%s | FileCheck %s
2
3; Test correct code generation for medium code model (32-bit TOC offsets)
4; for loading the address of a jump table from the TOC.
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
9define signext i32 @test_jump_table(i32 signext %i) nounwind {
10entry:
11 %i.addr = alloca i32, align 4
12 store i32 %i, i32* %i.addr, align 4
13 %0 = load i32* %i.addr, align 4
14 switch i32 %0, label %sw.default [
15 i32 3, label %sw.bb
16 i32 4, label %sw.bb1
17 i32 5, label %sw.bb2
18 i32 6, label %sw.bb3
19 ]
20
21sw.default: ; preds = %entry
22 br label %sw.epilog
23
24sw.bb: ; preds = %entry
25 %1 = load i32* %i.addr, align 4
26 %mul = mul nsw i32 %1, 7
27 store i32 %mul, i32* %i.addr, align 4
28 br label %sw.bb1
29
30sw.bb1: ; preds = %entry, %sw.bb
31 %2 = load i32* %i.addr, align 4
32 %dec = add nsw i32 %2, -1
33 store i32 %dec, i32* %i.addr, align 4
34 br label %sw.bb2
35
36sw.bb2: ; preds = %entry, %sw.bb1
37 %3 = load i32* %i.addr, align 4
38 %add = add nsw i32 %3, 3
39 store i32 %add, i32* %i.addr, align 4
40 br label %sw.bb3
41
42sw.bb3: ; preds = %entry, %sw.bb2
43 %4 = load i32* %i.addr, align 4
44 %shl = shl i32 %4, 1
45 store i32 %shl, i32* %i.addr, align 4
46 br label %sw.epilog
47
48sw.epilog: ; preds = %sw.bb3, %sw.default
49 %5 = load i32* %i.addr, align 4
50 ret i32 %5
51}
52
53; CHECK: test_jump_table:
54; CHECK: addis [[REG1:[0-9]+]], 2, .LC[[TOCNUM:[0-9]+]]@toc@ha
55; CHECK: ld [[REG2:[0-9]+]], .LC[[TOCNUM]]@toc@l([[REG1]])
56; CHECK: ldx {{[0-9]+}}, {{[0-9]+}}, [[REG2]]
57; CHECK: .section .toc
58; CHECK: .LC[[TOCNUM]]:
59; CHECK: .tc {{[a-z0-9A-Z_.]+}}[TC],{{[a-z0-9A-Z_.]+}}