45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=licm < %s | FileCheck %s3 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 89; CHECK-NEXT: [[P:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 810; CHECK-NEXT: [[P_COPY:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 811; CHECK-NEXT: [[P2:%.*]] = getelementptr inbounds i8, ptr [[A]], i64 1212; CHECK-NEXT: br label [[LOOP:%.*]]13; CHECK: loop:14; CHECK-NEXT: store i32 286331153, ptr [[P]], align 415; CHECK-NEXT: store i32 34, ptr [[P_COPY]], align 416; CHECK-NEXT: store i64 3689348814741910323, ptr [[P_COPY]], align 417; CHECK-NEXT: [[VAL:%.*]] = load i8, ptr [[P2]], align 118; CHECK-NEXT: call void @use(i8 [[VAL]])19; CHECK-NEXT: store i8 0, ptr [[P2]], align 120; CHECK-NEXT: br i1 [[C]], label [[LOOP]], label [[EXIT:%.*]]21; CHECK: exit:22; CHECK-NEXT: ret void23;24start:25 %a = alloca [16 x i8], align 826 %p = getelementptr inbounds i8, ptr %a, i64 827 %p.copy = getelementptr inbounds i8, ptr %a, i64 828 %p2 = getelementptr inbounds i8, ptr %a, i64 1229 br label %loop30 31loop:32 store i32 u0x11111111, ptr %p33 store i32 u0x22, ptr %p.copy34 store i64 u0x3333333333333333, ptr %p.copy35 %val = load i8, ptr %p236 call void @use(i8 %val)37 store i8 0, ptr %p238 br i1 %c, label %loop, label %exit39 40exit:41 ret void42}43 44declare void @use(i8)45