36 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -disable-basic-aa -passes=gvn -S < %s | FileCheck %s --check-prefixes=CHECK,MDEP3; RUN: opt -disable-basic-aa -passes='gvn<memoryssa>' -S < %s | FileCheck --check-prefixes=CHECK,MSSA %s4target datalayout = "e-p:32:32:32"5define <2 x i32> @test1() {6; MDEP-LABEL: define <2 x i32> @test1() {7; MDEP-NEXT: [[V1:%.*]] = alloca <2 x i32>, align 88; MDEP-NEXT: call void @anything(ptr [[V1]])9; MDEP-NEXT: [[V2:%.*]] = load <2 x i32>, ptr [[V1]], align 810; MDEP-NEXT: [[V3:%.*]] = inttoptr <2 x i32> [[V2]] to <2 x ptr>11; MDEP-NEXT: store <2 x ptr> [[V3]], ptr [[V1]], align 812; MDEP-NEXT: [[TMP1:%.*]] = bitcast <2 x i32> [[V2]] to i6413; MDEP-NEXT: ret <2 x i32> [[V2]]14;15; MSSA-LABEL: define <2 x i32> @test1() {16; MSSA-NEXT: [[V1:%.*]] = alloca <2 x i32>, align 817; MSSA-NEXT: call void @anything(ptr [[V1]])18; MSSA-NEXT: [[V2:%.*]] = load <2 x i32>, ptr [[V1]], align 819; MSSA-NEXT: [[V3:%.*]] = inttoptr <2 x i32> [[V2]] to <2 x ptr>20; MSSA-NEXT: store <2 x ptr> [[V3]], ptr [[V1]], align 821; MSSA-NEXT: [[V5:%.*]] = load <2 x i32>, ptr [[V1]], align 822; MSSA-NEXT: ret <2 x i32> [[V5]]23 %v1 = alloca <2 x i32>24 call void @anything(ptr %v1)25 %v2 = load <2 x i32>, ptr %v126 %v3 = inttoptr <2 x i32> %v2 to <2 x ptr>27 store <2 x ptr> %v3, ptr %v128 %v5 = load <2 x i32>, ptr %v129 ret <2 x i32> %v530}31 32declare void @anything(ptr)33 34;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:35; CHECK: {{.*}}36