[llvm] ed6d9f6 - [CGP] Introduce test for PR102926 (NFC)
Antonio Frighetto via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 2 00:35:52 PDT 2024
Author: Antonio Frighetto
Date: 2024-09-02T09:33:23+02:00
New Revision: ed6d9f6d2af7da90ac089cf648a1f8b2e8e4eb10
URL: https://github.com/llvm/llvm-project/commit/ed6d9f6d2af7da90ac089cf648a1f8b2e8e4eb10
DIFF: https://github.com/llvm/llvm-project/commit/ed6d9f6d2af7da90ac089cf648a1f8b2e8e4eb10.diff
LOG: [CGP] Introduce test for PR102926 (NFC)
Added:
llvm/test/Transforms/CodeGenPrepare/revert-constant-ptr-propagation-on-calls.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/CodeGenPrepare/revert-constant-ptr-propagation-on-calls.ll b/llvm/test/Transforms/CodeGenPrepare/revert-constant-ptr-propagation-on-calls.ll
new file mode 100644
index 00000000000000..0e5bc79054d53b
--- /dev/null
+++ b/llvm/test/Transforms/CodeGenPrepare/revert-constant-ptr-propagation-on-calls.ll
@@ -0,0 +1,169 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s
+
+%struct.S = type { i8 }
+%struct.X = type { i32 }
+
+ at g_getS = internal global %struct.S zeroinitializer, align 1
+ at g_getX = internal global %struct.X zeroinitializer, align 1
+ at guard = internal global i64 0, align 8
+
+declare ptr @getS_dec()
+declare extern_weak dllimport ptr @getS_dllimport_function()
+
+define ptr @getS() personality ptr @__gxx_personality_v0 {
+entry:
+ %guard = load atomic i8, ptr @guard acquire, align 8
+ %mask = and i8 %guard, 1
+ %cond = icmp eq i8 %mask, 0
+ br i1 %cond, label %to_be_init, label %return
+
+to_be_init: ; preds = %entry
+ %is_init = call i32 @__cxa_guard_acquire(ptr @guard)
+ %cond.2 = icmp ne i32 %is_init, 0
+ br i1 %cond.2, label %ctor, label %return
+
+ctor: ; preds = %to_be_init
+ invoke void @S_ctor(ptr @g_getS)
+ to label %continue unwind label %landing_pad
+
+continue: ; preds = %ctor
+ call void @__cxa_guard_release(ptr @guard)
+ br label %return
+
+return: ; preds = %continue, %to_be_init, %entry
+ ret ptr @g_getS
+
+landing_pad: ; preds = %ctor
+ %lp = landingpad { ptr, i32 } cleanup
+ call void @__cxa_guard_abort(ptr @guard)
+ resume { ptr, i32 } %lp
+}
+
+define ptr @getS_or_getX(i1 %cond) {
+entry:
+ %result = select i1 %cond, ptr @g_getS, ptr @g_getX
+ ret ptr %result
+}
+
+define weak ptr @getS_weak_function() {
+entry:
+ ret ptr @g_getS
+}
+
+define linkonce_odr ptr @getS_linkonce_odr_function() {
+entry:
+ ret ptr @g_getS
+}
+
+; May revert propagation.
+define i32 @caller_1() {
+; CHECK-LABEL: @caller_1(
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_ptr = call ptr @getS()
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to use appearing in a
diff erent basic block.
+define i32 @caller_2() {
+; CHECK-LABEL: @caller_2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
+; CHECK-NEXT: br label [[USE:%.*]]
+; CHECK: use:
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr [[GETS_PTR]])
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+entry:
+ %getS_ptr = call ptr @getS()
+ br label %use
+
+use: ; preds = %entry
+ %getI = call i32 @S_getI(ptr %getS_ptr)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to use before call.
+define i32 @caller_3() {
+; CHECK-LABEL: @caller_3(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS()
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+entry:
+ %getI = call i32 @S_getI(ptr @g_getS)
+ %getS_ptr = call ptr @getS()
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to non-uniform returned constant.
+define i32 @caller_4(i1 %cond) {
+; CHECK-LABEL: @caller_4(
+; CHECK-NEXT: [[GETS_OR_GETX_PTR:%.*]] = call ptr @getS_or_getX(i1 [[COND:%.*]])
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_or_getX_ptr = call ptr @getS_or_getX(i1 %cond)
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to weak-linkage callee.
+define i32 @caller_5() {
+; CHECK-LABEL: @caller_5(
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_weak_function()
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_ptr = call ptr @getS_weak_function()
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to callee with external function definition.
+define i32 @caller_6() {
+; CHECK-LABEL: @caller_6(
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_dec()
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_ptr = call ptr @getS_dec()
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to callee with DLLImport storage class.
+define i32 @caller_7() {
+; CHECK-LABEL: @caller_7(
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_dllimport_function()
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_ptr = call ptr @getS_dllimport_function()
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+; Cannot revert propagation due to callee whose definition may be overridden.
+define i32 @caller_8() {
+; CHECK-LABEL: @caller_8(
+; CHECK-NEXT: [[GETS_PTR:%.*]] = call ptr @getS_linkonce_odr_function()
+; CHECK-NEXT: [[GETI:%.*]] = call i32 @S_getI(ptr @g_getS)
+; CHECK-NEXT: ret i32 [[GETI]]
+;
+ %getS_ptr = call ptr @getS_linkonce_odr_function()
+ %getI = call i32 @S_getI(ptr @g_getS)
+ ret i32 %getI
+}
+
+declare i32 @__cxa_guard_acquire(ptr)
+declare void @S_ctor(ptr)
+declare i32 @S_getI(ptr)
+declare void @__cxa_guard_abort(ptr)
+declare void @__cxa_guard_release(ptr)
+declare i32 @__gxx_personality_v0(...)
More information about the llvm-commits
mailing list