test/Transforms/EarlyCSE/invariant-loads.ll

   1 ; RUN: opt -S -early-cse < %s | FileCheck %s
   2 ; RUN: opt -S -basicaa -early-cse-memssa < %s | FileCheck %s
   3
   4 declare void @clobber_and_use(i32)
   5
   6 define void @f_0(i32* %ptr) {
   7 ; CHECK-LABEL: @f_0(
   8 ; CHECK:   %val0 = load i32, i32* %ptr, !invariant.load !0
   9 ; CHECK:   call void @clobber_and_use(i32 %val0)
  10 ; CHECK:   call void @clobber_and_use(i32 %val0)
  11 ; CHECK:   call void @clobber_and_use(i32 %val0)
  12 ; CHECK:   ret void
  13
  14   %val0 = load i32, i32* %ptr, !invariant.load !{}
  15   call void @clobber_and_use(i32 %val0)
  16   %val1 = load i32, i32* %ptr, !invariant.load !{}
  17   call void @clobber_and_use(i32 %val1)
  18   %val2 = load i32, i32* %ptr, !invariant.load !{}
  19   call void @clobber_and_use(i32 %val2)
  20   ret void
  21 }
  22
  23 define void @f_1(i32* %ptr) {
  24 ; We can forward invariant loads to non-invariant loads.
  25
  26 ; CHECK-LABEL: @f_1(
  27 ; CHECK:   %val0 = load i32, i32* %ptr, !invariant.load !0
  28 ; CHECK:   call void @clobber_and_use(i32 %val0)
  29 ; CHECK:   call void @clobber_and_use(i32 %val0)
  30
  31   %val0 = load i32, i32* %ptr, !invariant.load !{}
  32   call void @clobber_and_use(i32 %val0)
  33   %val1 = load i32, i32* %ptr
  34   call void @clobber_and_use(i32 %val1)
  35   ret void
  36 }
  37
  38 define void @f_2(i32* %ptr) {
  39 ; We can forward a non-invariant load into an invariant load.
  40
  41 ; CHECK-LABEL: @f_2(
  42 ; CHECK:   %val0 = load i32, i32* %ptr
  43 ; CHECK:   call void @clobber_and_use(i32 %val0)
  44 ; CHECK:   call void @clobber_and_use(i32 %val0)
  45
  46   %val0 = load i32, i32* %ptr
  47   call void @clobber_and_use(i32 %val0)
  48   %val1 = load i32, i32* %ptr, !invariant.load !{}
  49   call void @clobber_and_use(i32 %val1)
  50   ret void
  51 }
  52
  53 define void @f_3(i1 %cond, i32* %ptr) {
  54 ; CHECK-LABEL: @f_3(
  55   %val0 = load i32, i32* %ptr, !invariant.load !{}
  56   call void @clobber_and_use(i32 %val0)
  57   br i1 %cond, label %left, label %right
  58
  59 ; CHECK:  %val0 = load i32, i32* %ptr, !invariant.load !0
  60 ; CHECK: left:
  61 ; CHECK-NEXT:  call void @clobber_and_use(i32 %val0)
  62
  63 left:
  64   %val1 = load i32, i32* %ptr
  65   call void @clobber_and_use(i32 %val1)
  66   ret void
  67
  68 right:
  69   ret void
  70 }
  71
  72 define void @f_4(i1 %cond, i32* %ptr) {
  73 ; Negative test -- can't forward %val0 to %va1 because that'll break
  74 ; def-dominates-use.
  75
  76 ; CHECK-LABEL: @f_4(
  77   br i1 %cond, label %left, label %merge
  78
  79 left:
  80 ; CHECK: left:
  81 ; CHECK-NEXT:  %val0 = load i32, i32* %ptr, !invariant.load !
  82 ; CHECK-NEXT:  call void @clobber_and_use(i32 %val0)
  83
  84   %val0 = load i32, i32* %ptr, !invariant.load !{}
  85   call void @clobber_and_use(i32 %val0)
  86   br label %merge
  87
  88 merge:
  89 ; CHECK: merge:
  90 ; CHECK-NEXT:   %val1 = load i32, i32* %ptr
  91 ; CHECK-NEXT:   call void @clobber_and_use(i32 %val1)
  92
  93   %val1 = load i32, i32* %ptr
  94   call void @clobber_and_use(i32 %val1)
  95   ret void
  96 }