| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6 | |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -verify-machineinstrs | FileCheck %s | |
| define i32 @test_global_stack_guard() #0 { | |
| ; CHECK-LABEL: test_global_stack_guard: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: stmg %r14, %r15, 112(%r15) | |
| ; CHECK-NEXT: .cfi_offset %r14, -48 | |
| ; CHECK-NEXT: .cfi_offset %r15, -40 | |
| ; CHECK-NEXT: aghi %r15, -1192 | |
| ; CHECK-NEXT: .cfi_def_cfa_offset 1352 | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp0 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp0: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: mvc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: la %r2, 160(%r15) | |
| ; CHECK-NEXT: brasl %r14, foo3@PLT | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp1 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp1: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: clc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: jlh .LBB0_2 | |
| ; CHECK-NEXT: # %bb.1: # %entry | |
| ; CHECK-NEXT: lhi %r2, 0 | |
| ; CHECK-NEXT: lmg %r14, %r15, 1304(%r15) | |
| ; CHECK-NEXT: br %r14 | |
| ; CHECK-NEXT: .LBB0_2: # %entry | |
| ; CHECK-NEXT: brasl %r14, __stack_chk_fail@PLT | |
| entry: | |
| %a1 = alloca [256 x i32], align 4 | |
| call void @foo3(ptr %a1) | |
| ret i32 0 | |
| } | |
| define i32 @test_global_stack_guard_branch(i32 %in) #0 { | |
| ; CHECK-LABEL: test_global_stack_guard_branch: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: stmg %r13, %r15, 104(%r15) | |
| ; CHECK-NEXT: .cfi_offset %r13, -56 | |
| ; CHECK-NEXT: .cfi_offset %r14, -48 | |
| ; CHECK-NEXT: .cfi_offset %r15, -40 | |
| ; CHECK-NEXT: aghi %r15, -1192 | |
| ; CHECK-NEXT: .cfi_def_cfa_offset 1352 | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp2 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp2: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: mvc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: lr %r13, %r2 | |
| ; CHECK-NEXT: la %r2, 160(%r15) | |
| ; CHECK-NEXT: brasl %r14, foo3@PLT | |
| ; CHECK-NEXT: cije %r13, 1, .LBB1_4 | |
| ; CHECK-NEXT: # %bb.1: # %entry | |
| ; CHECK-NEXT: cijlh %r13, 0, .LBB1_6 | |
| ; CHECK-NEXT: # %bb.2: # %foo | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp3 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp3: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: clc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: jlh .LBB1_8 | |
| ; CHECK-NEXT: # %bb.3: # %foo | |
| ; CHECK-NEXT: lhi %r2, 0 | |
| ; CHECK-NEXT: lmg %r13, %r15, 1296(%r15) | |
| ; CHECK-NEXT: br %r14 | |
| ; CHECK-NEXT: .LBB1_4: # %bar | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp4 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp4: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: clc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: jlh .LBB1_8 | |
| ; CHECK-NEXT: # %bb.5: # %bar | |
| ; CHECK-NEXT: lhi %r2, 1 | |
| ; CHECK-NEXT: lmg %r13, %r15, 1296(%r15) | |
| ; CHECK-NEXT: br %r14 | |
| ; CHECK-NEXT: .LBB1_6: # %else | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp5 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp5: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: clc 1184(8,%r15), 0(%r1) | |
| ; CHECK-NEXT: jlh .LBB1_8 | |
| ; CHECK-NEXT: # %bb.7: # %else | |
| ; CHECK-NEXT: lhi %r2, 2 | |
| ; CHECK-NEXT: lmg %r13, %r15, 1296(%r15) | |
| ; CHECK-NEXT: br %r14 | |
| ; CHECK-NEXT: .LBB1_8: # %bar | |
| ; CHECK-NEXT: brasl %r14, __stack_chk_fail@PLT | |
| entry: | |
| %a1 = alloca [256 x i32], align 4 | |
| call void @foo3(ptr %a1) | |
| switch i32 %in, label %else [ | |
| i32 0, label %foo | |
| i32 1, label %bar | |
| ] | |
| foo: | |
| ret i32 0 | |
| bar: | |
| ret i32 1 | |
| else: | |
| ret i32 2 | |
| } | |
| define i32 @test_global_stack_guard_large() #0 { | |
| ; CHECK-LABEL: test_global_stack_guard_large: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: stmg %r14, %r15, 112(%r15) | |
| ; CHECK-NEXT: .cfi_offset %r14, -48 | |
| ; CHECK-NEXT: .cfi_offset %r15, -40 | |
| ; CHECK-NEXT: aghi %r15, -8376 | |
| ; CHECK-NEXT: .cfi_def_cfa_offset 8536 | |
| ; CHECK-NEXT: lay %r2, 8192(%r15) | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp6 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp6: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: mvc 176(8,%r2), 0(%r1) | |
| ; CHECK-NEXT: la %r2, 176(%r15) | |
| ; CHECK-NEXT: brasl %r14, foo3@PLT | |
| ; CHECK-NEXT: lay %r2, 8192(%r15) | |
| ; CHECK-NEXT: .section __stack_protector_loc,"a",@progbits | |
| ; CHECK-NEXT: .quad .Ltmp7 | |
| ; CHECK-NEXT: .text | |
| ; CHECK-NEXT: .Ltmp7: | |
| ; CHECK-NEXT: larl %r1, __stack_chk_guard | |
| ; CHECK-NEXT: clc 176(8,%r2), 0(%r1) | |
| ; CHECK-NEXT: jlh .LBB2_2 | |
| ; CHECK-NEXT: # %bb.1: # %entry | |
| ; CHECK-NEXT: lhi %r2, 0 | |
| ; CHECK-NEXT: lmg %r14, %r15, 8488(%r15) | |
| ; CHECK-NEXT: br %r14 | |
| ; CHECK-NEXT: .LBB2_2: # %entry | |
| ; CHECK-NEXT: brasl %r14, __stack_chk_fail@PLT | |
| entry: | |
| %a1 = alloca [2048 x i32], align 4 | |
| call void @foo3(ptr %a1) | |
| ret i32 0 | |
| } | |
| declare void @foo3(ptr) | |
| attributes #0 = { sspstrong } | |
| !llvm.module.flags = !{!0, !1} | |
| !0 = !{i32 1, !"stack-protector-guard", !"global"} | |
| !1 = !{i32 7, !"stack-protector-guard-record", i32 1} |