1dae34463SAndrew Litteken; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 29dd9575cSRoman Lebedev; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s 3dae34463SAndrew Litteken 4dae34463SAndrew Litteken; This test looks at the constants in the regions, and if it they are the 5dae34463SAndrew Litteken; same it outlines them as constants rather than elevating them to arguments. 6dae34463SAndrew Litteken 7dae34463SAndrew Littekendefine void @outline_constants1() { 8dae34463SAndrew Litteken; CHECK-LABEL: @outline_constants1( 9dae34463SAndrew Litteken; CHECK-NEXT: entry: 10dae34463SAndrew Litteken; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 11dae34463SAndrew Litteken; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 12dae34463SAndrew Litteken; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4 13*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @[[FUNCTION_0:.*]](ptr [[A]], ptr [[B]], ptr [[C]]) 14dae34463SAndrew Litteken; CHECK-NEXT: ret void 15dae34463SAndrew Litteken; 16dae34463SAndrew Littekenentry: 17dae34463SAndrew Litteken %a = alloca i32, align 4 18dae34463SAndrew Litteken %b = alloca i32, align 4 19dae34463SAndrew Litteken %c = alloca i32, align 4 20*f4b925eeSMatt Arsenault store i32 2, ptr %a, align 4 21*f4b925eeSMatt Arsenault store i32 3, ptr %b, align 4 22*f4b925eeSMatt Arsenault store i32 4, ptr %c, align 4 23*f4b925eeSMatt Arsenault %al = load i32, ptr %a 24*f4b925eeSMatt Arsenault %bl = load i32, ptr %b 25*f4b925eeSMatt Arsenault %cl = load i32, ptr %c 26dae34463SAndrew Litteken ret void 27dae34463SAndrew Litteken} 28dae34463SAndrew Litteken 29dae34463SAndrew Littekendefine void @outline_constants2() { 30dae34463SAndrew Litteken; CHECK-LABEL: @outline_constants2( 31dae34463SAndrew Litteken; CHECK-NEXT: entry: 32dae34463SAndrew Litteken; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 33dae34463SAndrew Litteken; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 34dae34463SAndrew Litteken; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4 35*f4b925eeSMatt Arsenault; CHECK-NEXT: call void @[[FUNCTION_0]](ptr [[A]], ptr [[B]], ptr [[C]]) 36dae34463SAndrew Litteken; CHECK-NEXT: ret void 37dae34463SAndrew Litteken; 38dae34463SAndrew Littekenentry: 39dae34463SAndrew Litteken %a = alloca i32, align 4 40dae34463SAndrew Litteken %b = alloca i32, align 4 41dae34463SAndrew Litteken %c = alloca i32, align 4 42*f4b925eeSMatt Arsenault store i32 2, ptr %a, align 4 43*f4b925eeSMatt Arsenault store i32 3, ptr %b, align 4 44*f4b925eeSMatt Arsenault store i32 4, ptr %c, align 4 45*f4b925eeSMatt Arsenault %al = load i32, ptr %a 46*f4b925eeSMatt Arsenault %bl = load i32, ptr %b 47*f4b925eeSMatt Arsenault %cl = load i32, ptr %c 48dae34463SAndrew Litteken ret void 49dae34463SAndrew Litteken} 50dae34463SAndrew Litteken 51*f4b925eeSMatt Arsenault; CHECK: define internal void @[[FUNCTION_0]](ptr [[ARG0:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]]) 52dae34463SAndrew Litteken; CHECK: entry_to_outline: 53*f4b925eeSMatt Arsenault; CHECK-NEXT: store i32 2, ptr [[ARG0]], align 4 54*f4b925eeSMatt Arsenault; CHECK-NEXT: store i32 3, ptr [[ARG1]], align 4 55*f4b925eeSMatt Arsenault; CHECK-NEXT: store i32 4, ptr [[ARG2]], align 4 56*f4b925eeSMatt Arsenault; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[ARG0]], align 4 57*f4b925eeSMatt Arsenault; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[ARG1]], align 4 58*f4b925eeSMatt Arsenault; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[ARG2]], align 4 59