1 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -code-model=medium <%s | FileCheck %s 2 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -code-model=large <%s | FileCheck -check-prefix=LARGE %s 3 4 ; Test correct code generation for medium and large code model 5 ; for loading the address of a jump table from the TOC. 6 7 target 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" 8 target triple = "powerpc64-unknown-linux-gnu" 9 10 define signext i32 @test_jump_table(i32 signext %i) nounwind { 11 entry: 12 %i.addr = alloca i32, align 4 13 store i32 %i, i32* %i.addr, align 4 14 %0 = load i32, i32* %i.addr, align 4 15 switch i32 %0, label %sw.default [ 16 i32 3, label %sw.bb 17 i32 4, label %sw.bb1 18 i32 5, label %sw.bb2 19 i32 6, label %sw.bb3 20 ] 21 22 sw.default: ; preds = %entry 23 br label %sw.epilog 24 25 sw.bb: ; preds = %entry 26 %1 = load i32, i32* %i.addr, align 4 27 %mul = mul nsw i32 %1, 7 28 store i32 %mul, i32* %i.addr, align 4 29 br label %sw.bb1 30 31 sw.bb1: ; preds = %entry, %sw.bb 32 %2 = load i32, i32* %i.addr, align 4 33 %dec = add nsw i32 %2, -1 34 store i32 %dec, i32* %i.addr, align 4 35 br label %sw.bb2 36 37 sw.bb2: ; preds = %entry, %sw.bb1 38 %3 = load i32, i32* %i.addr, align 4 39 %add = add nsw i32 %3, 3 40 store i32 %add, i32* %i.addr, align 4 41 br label %sw.bb3 42 43 sw.bb3: ; preds = %entry, %sw.bb2 44 %4 = load i32, i32* %i.addr, align 4 45 %shl = shl i32 %4, 1 46 store i32 %shl, i32* %i.addr, align 4 47 br label %sw.epilog 48 49 sw.epilog: ; preds = %sw.bb3, %sw.default 50 %5 = load i32, i32* %i.addr, align 4 51 ret i32 %5 52 } 53 ; CHECK-LABEL: test_jump_table: 54 ; CHECK-NOT: bl .L0$pb 55 56 ; CHECK: addis [[REG1:[0-9]+]], 2, .LC[[TOCNUM:[0-9]+]]@toc@ha 57 ; CHECK: ld [[REG2:[0-9]+]], .LC[[TOCNUM]]@toc@l([[REG1]]) 58 ; CHECK: lwax [[REG3:[0-9]+]], {{[0-9]+}}, [[REG2]] 59 ; CHECK-NEXT: add [[REG4:[0-9]+]], [[REG3]], [[REG2]] 60 ; CHECK-NEXT: mtctr [[REG4]] 61 ; CHECK-NEXT: bctr 62 63 ; CHECK-LABEL: .LJTI0_0: 64 ; CHECK-NEXT: .long .LBB0_{{[0-9]+}}-.LJTI0_0 65 66 ; LARGE-LABEL: test_jump_table: 67 ; LARGE: bl .L0$pb 68 ; LARGE-NEXT: .L0$pb: 69 ; LARGE: mflr [[REGBASE:[0-9]+]] 70 71 ; LARGE: addis [[REG1:[0-9]+]], 2, .LC[[TOCNUM:[0-9]+]]@toc@ha 72 ; LARGE: ld [[REG2:[0-9]+]], .LC[[TOCNUM]]@toc@l([[REG1]]) 73 ; LARGE: lwax [[REG3:[0-9]+]], {{[0-9]+}}, [[REG2]] 74 ; LARGE-NEXT: add [[REG4:[0-9]+]], [[REG3]], [[REGBASE]] 75 ; LARGE-NEXT: mtctr [[REG4]] 76 ; LARGE-NEXT: bctr 77 78 ; LARGE-LABEL: .LJTI0_0: 79 ; LARGE-NEXT: .long .LBB0_{{[0-9]+}}-.L0$pb 80
