[llvm] LowerTypeTests: Precommit test for generated x86 asm. (PR #143189)

[Peter Collingbourne via llvm-commits]

https://github.com/pcc created https://github.com/llvm/llvm-project/pull/143189

None

>From 9a8f89f584288093be611782db0cdc6b6bfcd732 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter at pcc.me.uk>
Date: Fri, 6 Jun 2025 11:27:13 -0700
Subject: [PATCH] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20initia?=
 =?UTF-8?q?l=20version?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Created using spr 1.3.6-beta.1
---
 llvm/test/Transforms/LowerTypeTests/asm.ll | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 llvm/test/Transforms/LowerTypeTests/asm.ll

diff --git a/llvm/test/Transforms/LowerTypeTests/asm.ll b/llvm/test/Transforms/LowerTypeTests/asm.ll
new file mode 100644
index 0000000000000..b0d27f48698f6
--- /dev/null
+++ b/llvm/test/Transforms/LowerTypeTests/asm.ll
@@ -0,0 +1,20 @@
+; REQUIRES: x86-registered-target
+; RUN: opt -mtriple=x86_64-unknown-linux -S -passes=lowertypetests -lowertypetests-summary-action=import -lowertypetests-read-summary=%S/Inputs/import.yaml %s | llc | FileCheck %s
+
+define void @call(ptr %p) {
+  ; CHECK:      movl $__typeid_allones7_global_addr, %eax
+  ; CHECK-NEXT: movq %rdi, %rcx
+  ; CHECK-NEXT: subq %rax, %rcx
+  ; CHECK-NEXT: rorq $__typeid_allones7_align, %rcx
+  ; CHECK-NEXT: cmpq $__typeid_allones7_size_m1 at ABS8, %rcx
+  %x = call i1 @llvm.type.test(ptr %p, metadata !"allones7")
+  br i1 %x, label %t, label %f
+
+t:
+  call void %p()
+  ret void
+
+f:
+  ret void
+}
+