1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt -S -passes=licm < %s | FileCheck %s 3 4define void @test(i1 %c, i8 %x) { 5; CHECK-LABEL: define void @test( 6; CHECK-SAME: i1 [[C:%.*]], i8 [[X:%.*]]) { 7; CHECK-NEXT: start: 8; CHECK-NEXT: [[A:%.*]] = alloca [16 x i8], align 8 9; CHECK-NEXT: [[P:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 8 10; CHECK-NEXT: [[P_COPY:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 8 11; CHECK-NEXT: [[P2:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 12 12; CHECK-NEXT: br label [[LOOP:%.*]] 13; CHECK: loop: 14; CHECK-NEXT: store i32 286331153, ptr [[P]], align 4 15; CHECK-NEXT: store i32 34, ptr [[P_COPY]], align 4 16; CHECK-NEXT: store i64 3689348814741910323, ptr [[P_COPY]], align 4 17; CHECK-NEXT: [[VAL:%.*]] = load i8, ptr [[P2]], align 1 18; CHECK-NEXT: call void @use(i8 [[VAL]]) 19; CHECK-NEXT: store i8 0, ptr [[P2]], align 1 20; CHECK-NEXT: br i1 [[C]], label [[LOOP]], label [[EXIT:%.*]] 21; CHECK: exit: 22; CHECK-NEXT: ret void 23; 24start: 25 %a = alloca [16 x i8], align 8 26 %p = getelementptr inbounds i8, ptr %a, i64 8 27 %p.copy = getelementptr inbounds i8, ptr %a, i64 8 28 %p2 = getelementptr inbounds i8, ptr %a, i64 12 29 br label %loop 30 31loop: 32 store i32 u0x11111111, ptr %p 33 store i32 u0x22, ptr %p.copy 34 store i64 u0x3333333333333333, ptr %p.copy 35 %val = load i8, ptr %p2 36 call void @use(i8 %val) 37 store i8 0, ptr %p2 38 br i1 %c, label %loop, label %exit 39 40exit: 41 ret void 42} 43 44declare void @use(i8) 45