1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=consthoist -consthoist-gep -S -o - %s | FileCheck %s 3 4target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 5target triple = "thumbv6m-none--musleabi" 6 7%0 = type { [10 x i32], [10 x i16] } 8 9@global = external local_unnamed_addr global %0, align 4 10 11define void @test_inbounds() { 12; CHECK-LABEL: @test_inbounds( 13; CHECK-NEXT: bb: 14; CHECK-NEXT: [[CONST:%.*]] = bitcast ptr getelementptr inbounds ([[TMP0:%.*]], ptr @global, i32 0, i32 1, i32 0) to ptr 15; CHECK-NEXT: store i16 undef, ptr [[CONST]], align 2 16; CHECK-NEXT: [[MAT_GEP:%.*]] = getelementptr i8, ptr [[CONST]], i32 2 17; CHECK-NEXT: [[MAT_BITCAST:%.*]] = bitcast ptr [[MAT_GEP]] to ptr 18; CHECK-NEXT: store i16 undef, ptr [[MAT_BITCAST]], align 2 19; CHECK-NEXT: [[MAT_GEP1:%.*]] = getelementptr i8, ptr [[CONST]], i32 20 20; CHECK-NEXT: [[MAT_BITCAST2:%.*]] = bitcast ptr [[MAT_GEP1]] to ptr 21; CHECK-NEXT: store i16 undef, ptr [[MAT_BITCAST2]], align 2 22; CHECK-NEXT: ret void 23; 24bb: 25 store i16 undef, ptr getelementptr inbounds (%0, ptr @global, i32 0, i32 1, i32 0) 26 store i16 undef, ptr getelementptr inbounds (%0, ptr @global, i32 0, i32 1, i32 1) 27 store i16 undef, ptr getelementptr inbounds (%0, ptr @global, i32 0, i32 1, i32 10) 28 ret void 29} 30 31define dso_local void @test_non_inbounds() { 32; CHECK-LABEL: @test_non_inbounds( 33; CHECK-NEXT: bb: 34; CHECK-NEXT: store i16 undef, ptr getelementptr inbounds ([[TMP0:%.*]], ptr @global, i32 0, i32 1, i32 11), align 2 35; CHECK-NEXT: store i16 undef, ptr getelementptr ([[TMP0]], ptr @global, i32 0, i32 1, i32 12), align 2 36; CHECK-NEXT: ret void 37; 38bb: 39 store i16 undef, ptr getelementptr inbounds (%0, ptr @global, i32 0, i32 1, i32 11) 40 store i16 undef, ptr getelementptr (%0, ptr @global, i32 0, i32 1, i32 12) 41 ret void 42} 43 44