From 30715365d45c02669d7dc947ecf2a5e9321f26d0 Mon Sep 17 00:00:00 2001 From: Philip Reames Date: Mon, 17 Jan 2022 14:56:49 -0800 Subject: [PATCH] [test] precommit new test for D117503 --- llvm/test/Transforms/GlobalOpt/calloc-promote.ll | 55 ++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 llvm/test/Transforms/GlobalOpt/calloc-promote.ll diff --git a/llvm/test/Transforms/GlobalOpt/calloc-promote.ll b/llvm/test/Transforms/GlobalOpt/calloc-promote.ll new file mode 100644 index 0000000..747b7f2 --- /dev/null +++ b/llvm/test/Transforms/GlobalOpt/calloc-promote.ll @@ -0,0 +1,55 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -passes=globalopt -S < %s | FileCheck %s + +@g = internal global i32* null, align 8 + +define signext i32 @f() local_unnamed_addr { +; CHECK-LABEL: @f( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CALL:%.*]] = call i8* @calloc(i64 1, i64 4) +; CHECK-NEXT: [[B:%.*]] = bitcast i8* [[CALL]] to i32* +; CHECK-NEXT: store i32* [[B]], i32** @g, align 8 +; CHECK-NEXT: [[B2:%.*]] = bitcast i8* [[CALL]] to i16* +; CHECK-NEXT: store i16 -1, i16* [[B2]], align 2 +; CHECK-NEXT: ret i32 0 +; +entry: + %call = call i8* @calloc(i64 1, i64 4) + %b = bitcast i8* %call to i32* + store i32* %b, i32** @g, align 8 + %b2 = bitcast i8* %call to i16* + store i16 -1, i16* %b2 + ret i32 0 +} + +define signext i32 @main() { +; CHECK-LABEL: @main( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CALL:%.*]] = call signext i32 @f() +; CHECK-NEXT: call void @f1() +; CHECK-NEXT: [[V0:%.*]] = load i32*, i32** @g, align 8 +; CHECK-NEXT: store i32 1, i32* [[V0]], align 4 +; CHECK-NEXT: call void @f1() +; CHECK-NEXT: [[V1:%.*]] = load i8*, i8** bitcast (i32** @g to i8**), align 8 +; CHECK-NEXT: store i8 2, i8* [[V1]], align 4 +; CHECK-NEXT: call void @f1() +; CHECK-NEXT: [[V2:%.*]] = load i32*, i32** @g, align 8 +; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[V2]], align 4 +; CHECK-NEXT: ret i32 [[RES]] +; +entry: + %call = call signext i32 @f() + call void @f1() + %v0 = load i32*, i32** @g, align 8 + store i32 1, i32* %v0, align 4 + call void @f1() + %v1 = load i8*, i8** bitcast (i32** @g to i8**), align 8 + store i8 2, i8* %v1, align 4 + call void @f1() + %v2 = load i32*, i32** @g, align 8 + %res = load i32, i32* %v2, align 4 + ret i32 %res +} + +declare noalias align 16 i8* @calloc(i64, i64) +declare void @f1() -- 2.7.4