llvm/test/Transforms/LICM/pr64897.ll

   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
   4 define 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 ;
  24 start:
  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
  31 loop:
  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
  40 exit:
  41   ret void
  42 }
  43
  44 declare void @use(i8)