================
@@ -0,0 +1,255 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
UTC_ARGS: --version 5
+; Simulate register pressure around setjmp call for integer arguments.
+; Test assembly of funtion call foo in func() in setjmp if and else part.
+; extern foo has 20 argument pointer to int.
+; Test setjmp store jmp_buf.
+; Return address in slot 2.
+; Stack Pointer in slot 4.
+; Clobber %r6-%r15, %f8-%f15.
+
+; RUN: llc < %s -mtriple=s390x-linux-gnu -O2 | FileCheck %s
+
+declare i32 @llvm.eh.sjlj.setjmp(ptr)
+declare void @foo(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr
noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr
noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr
noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr
+@buf = global [10 x ptr] zeroinitializer, align 8
+@t = global i32 0, align 4
+@s = global i32 0, align 4
+@r = global i32 0, align 4
+@q = global i32 0, align 4
+@p = global i32 0, align 4
+@o = global i32 0, align 4
+@n = global i32 0, align 4
+@m = global i32 0, align 4
+@l = global i32 0, align 4
+@k = global i32 0, align 4
+@j = global i32 0, align 4
+@i = global i32 0, align 4
+@h = global i32 0, align 4
+@g = global i32 0, align 4
+@f = global i32 0, align 4
+@e = global i32 0, align 4
+@d = global i32 0, align 4
+@c = global i32 0, align 4
+@b = global i32 0, align 4
+@a = global i32 0, align 4
+
+define signext i32 @func() {
+; CHECK-LABEL: func:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: stmg %r6, %r15, 48(%r15)
+; CHECK-NEXT: .cfi_offset %r6, -112
+; CHECK-NEXT: .cfi_offset %r7, -104
+; CHECK-NEXT: .cfi_offset %r8, -96
+; CHECK-NEXT: .cfi_offset %r9, -88
+; CHECK-NEXT: .cfi_offset %r10, -80
+; CHECK-NEXT: .cfi_offset %r11, -72
+; CHECK-NEXT: .cfi_offset %r12, -64
+; CHECK-NEXT: .cfi_offset %r13, -56
+; CHECK-NEXT: .cfi_offset %r14, -48
+; CHECK-NEXT: .cfi_offset %r15, -40
+; CHECK-NEXT: aghi %r15, -448
+; CHECK-NEXT: .cfi_def_cfa_offset 608
+; CHECK-NEXT: std %f8, 440(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f9, 432(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f10, 424(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f11, 416(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f12, 408(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f13, 400(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f14, 392(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: std %f15, 384(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: .cfi_offset %f8, -168
+; CHECK-NEXT: .cfi_offset %f9, -176
+; CHECK-NEXT: .cfi_offset %f10, -184
+; CHECK-NEXT: .cfi_offset %f11, -192
+; CHECK-NEXT: .cfi_offset %f12, -200
+; CHECK-NEXT: .cfi_offset %f13, -208
+; CHECK-NEXT: .cfi_offset %f14, -216
+; CHECK-NEXT: .cfi_offset %f15, -224
+; CHECK-NEXT: lgrl %r1, buf@GOT
+; CHECK-NEXT: larl %r0, .LBB0_1
+; CHECK-NEXT: stg %r0, 8(%r1)
+; CHECK-NEXT: stg %r15, 24(%r1)
+; CHECK-NEXT: .LBB0_1: # Block address taken
+; CHECK-NEXT: # %entry
+; CHECK-NEXT: .LBB0_2: # %entry
+; CHECK-NEXT: lgrl %r1, t@GOT
+; CHECK-NEXT: stg %r1, 312(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: lgrl %r2, s@GOT
+; CHECK-NEXT: stg %r2, 304(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: lgrl %r3, r@GOT
+; CHECK-NEXT: stg %r3, 296(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: lgrl %r4, q@GOT
+; CHECK-NEXT: stg %r4, 288(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r1), 1
+; CHECK-NEXT: mvhi 0(%r2), 1
+; CHECK-NEXT: mvhi 0(%r3), 1
+; CHECK-NEXT: mvhi 0(%r4), 1
+; CHECK-NEXT: lgrl %r5, p@GOT
+; CHECK-NEXT: lgrl %r14, o@GOT
+; CHECK-NEXT: lgrl %r1, n@GOT
+; CHECK-NEXT: stg %r1, 280(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: lgrl %r9, m@GOT
+; CHECK-NEXT: mvhi 0(%r5), 1
+; CHECK-NEXT: stg %r5, 376(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r14), 1
+; CHECK-NEXT: stg %r14, 368(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r1), 1
+; CHECK-NEXT: mvhi 0(%r9), 1
+; CHECK-NEXT: stg %r9, 360(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: lgrl %r1, l@GOT
+; CHECK-NEXT: lgrl %r2, k@GOT
+; CHECK-NEXT: lgrl %r3, j@GOT
+; CHECK-NEXT: lgrl %r4, i@GOT
+; CHECK-NEXT: stg %r4, 344(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r1), 1
+; CHECK-NEXT: stg %r1, 352(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r2), 1
+; CHECK-NEXT: stg %r2, 336(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r3), 1
+; CHECK-NEXT: stg %r3, 328(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r4), 1
+; CHECK-NEXT: lgrl %r4, h@GOT
+; CHECK-NEXT: lgrl %r8, g@GOT
+; CHECK-NEXT: lgrl %r7, f@GOT
+; CHECK-NEXT: lgrl %r6, e@GOT
+; CHECK-NEXT: mvhi 0(%r4), 1
+; CHECK-NEXT: stg %r4, 320(%r15) # 8-byte Folded Spill
+; CHECK-NEXT: mvhi 0(%r8), 1
+; CHECK-NEXT: mvhi 0(%r7), 1
+; CHECK-NEXT: mvhi 0(%r6), 1
+; CHECK-NEXT: lgrl %r13, d@GOT
+; CHECK-NEXT: lgrl %r12, c@GOT
+; CHECK-NEXT: lgrl %r11, b@GOT
+; CHECK-NEXT: lgrl %r10, a@GOT
+; CHECK-NEXT: mvhi 0(%r13), 1
+; CHECK-NEXT: mvhi 0(%r12), 1
+; CHECK-NEXT: mvhi 0(%r11), 1
+; CHECK-NEXT: mvhi 0(%r10), 1
+; CHECK-NEXT: mvc 272(8,%r15), 312(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: mvc 264(8,%r15), 304(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: mvc 256(8,%r15), 296(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: mvc 248(8,%r15), 288(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: stg %r5, 240(%r15)
+; CHECK-NEXT: stg %r14, 232(%r15)
+; CHECK-NEXT: mvc 224(8,%r15), 280(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: stg %r9, 216(%r15)
+; CHECK-NEXT: stg %r1, 208(%r15)
+; CHECK-NEXT: stg %r2, 200(%r15)
+; CHECK-NEXT: stg %r3, 192(%r15)
+; CHECK-NEXT: lg %r9, 344(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: stg %r9, 184(%r15)
+; CHECK-NEXT: stg %r4, 176(%r15)
+; CHECK-NEXT: stg %r8, 168(%r15)
+; CHECK-NEXT: stg %r7, 160(%r15)
+; CHECK-NEXT: lgr %r2, %r10
+; CHECK-NEXT: lgr %r3, %r11
+; CHECK-NEXT: lgr %r4, %r12
+; CHECK-NEXT: lgr %r5, %r13
+; CHECK-NEXT: brasl %r14, foo@PLT
+; CHECK-NEXT: l %r0, 0(%r11)
+; CHECK-NEXT: a %r0, 0(%r10)
+; CHECK-NEXT: a %r0, 0(%r12)
+; CHECK-NEXT: a %r0, 0(%r13)
+; CHECK-NEXT: a %r0, 0(%r6)
+; CHECK-NEXT: a %r0, 0(%r7)
+; CHECK-NEXT: a %r0, 0(%r8)
+; CHECK-NEXT: lg %r1, 320(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: a %r0, 0(%r9)
+; CHECK-NEXT: lg %r1, 328(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 336(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 352(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 360(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 280(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 368(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 376(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 288(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 296(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 304(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lg %r1, 312(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: a %r0, 0(%r1)
+; CHECK-NEXT: lgfr %r2, %r0
+; CHECK-NEXT: ld %f8, 440(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f9, 432(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f10, 424(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f11, 416(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f12, 408(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f13, 400(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f14, 392(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: ld %f15, 384(%r15) # 8-byte Folded Reload
+; CHECK-NEXT: lmg %r6, %r15, 496(%r15)
+; CHECK-NEXT: br %r14
+entry:
+ %0 = tail call i32 @llvm.eh.sjlj.setjmp(ptr nonnull @buf)
----------------
uweigand wrote:
Looking at this again, I'm a bit confused what this is supposed to test? There
are no registers live across the setjmp anyway ...
I'd have throught a good test would be to make a large number of virtual
registers live *before* the setjmp, and then use all of them *after* the
setjmp. The test would then verify that the compiler doesn't attempt to keep
any of these virtual registers alive in call-saved GPRs, but rather saves all
of them to the stack.
https://github.com/llvm/llvm-project/pull/116642
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
