test/CodeGen/AArch64/branch-folder-merge-mmos.ll

   1 ; RUN: opt < %s -O3 | llc -march=aarch64 -mtriple=aarch64-none-linux-gnu -stop-after branch-folder -o /dev/null | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
   3
   4 ; Function Attrs: nounwind
   5 define void @test(float* %test_arr) #0 {
   6 entry:
   7   %test_arr.addr = alloca float*, align 8
   8   store float* %test_arr, float** %test_arr.addr, align 8
   9   %0 = load float*, float** %test_arr.addr, align 8
  10   %arrayidx = getelementptr inbounds float, float* %0, i64 0
  11   %1 = load float, float* %arrayidx, align 4
  12   %2 = load float*, float** %test_arr.addr, align 8
  13   %arrayidx1 = getelementptr inbounds float, float* %2, i64 1
  14   %3 = load float, float* %arrayidx1, align 4
  15   %sub = fsub float %1, %3
  16   %4 = load float*, float** %test_arr.addr, align 8
  17   %arrayidx2 = getelementptr inbounds float, float* %4, i64 0
  18   store float %sub, float* %arrayidx2, align 4
  19   ret void
  20 }
  21
  22 ; Function Attrs: nounwind
  23 define void @foo(i32 %a, i32 %b, float* %foo_arr) #0 {
  24 ; CHECK: (load 4 from %ir.arrayidx1.i2), (load 4 from %ir.arrayidx1.i)
  25 entry:
  26   %a.addr = alloca i32, align 4
  27   %b.addr = alloca i32, align 4
  28   %foo_arr.addr = alloca float*, align 8
  29   store i32 %a, i32* %a.addr, align 4
  30   store i32 %b, i32* %b.addr, align 4
  31   store float* %foo_arr, float** %foo_arr.addr, align 8
  32   %0 = load i32, i32* %a.addr, align 4
  33   %cmp = icmp sgt i32 %0, 0
  34   br i1 %cmp, label %if.then, label %if.end
  35
  36 if.then:                                          ; preds = %entry
  37   %1 = load float*, float** %foo_arr.addr, align 8
  38   call void @test(float* %1)
  39   br label %if.end3
  40
  41 if.end:                                           ; preds = %entry
  42   %2 = load i32, i32* %b.addr, align 4
  43   %cmp1 = icmp sgt i32 %2, 0
  44   br i1 %cmp1, label %if.then2, label %if.end3
  45
  46 if.then2:                                         ; preds = %if.end
  47   %3 = load float*, float** %foo_arr.addr, align 8
  48   call void @test(float* %3)
  49   br label %if.end3
  50
  51 if.end3:                                          ; preds = %if.then, %if.then2, %if.end
  52   ret void
  53 }