test/Transforms/InstCombine/invariant.group.ll

   1 ; RUN: opt -instcombine -S < %s | FileCheck %s
   2
   3
   4 ; CHECK-LABEL: define i8* @simplifyNullLaunder()
   5 define i8* @simplifyNullLaunder() {
   6 ; CHECK-NEXT: ret i8* null
   7   %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* null)
   8   ret i8* %b2
   9 }
  10
  11 ; CHECK-LABEL: define i8 addrspace(42)* @dontsimplifyNullLaunderForDifferentAddrspace()
  12 define i8 addrspace(42)* @dontsimplifyNullLaunderForDifferentAddrspace() {
  13 ; CHECK: %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null)
  14 ; CHECK: ret i8 addrspace(42)* %b2
  15   %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null)
  16   ret i8 addrspace(42)* %b2
  17 }
  18
  19 ; CHECK-LABEL: define i8* @simplifyUndefLaunder()
  20 define i8* @simplifyUndefLaunder() {
  21 ; CHECK-NEXT: ret i8* undef
  22   %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef)
  23   ret i8* %b2
  24 }
  25
  26 ; CHECK-LABEL: define i8 addrspace(42)* @simplifyUndefLaunder2()
  27 define i8 addrspace(42)* @simplifyUndefLaunder2() {
  28 ; CHECK-NEXT: ret i8 addrspace(42)* undef
  29   %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* undef)
  30   ret i8 addrspace(42)* %b2
  31 }
  32
  33 declare i8* @llvm.launder.invariant.group.p0i8(i8*)
  34 declare i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)*)
  35
  36
  37 ; CHECK-LABEL: define i8* @simplifyNullStrip()
  38 define i8* @simplifyNullStrip() {
  39 ; CHECK-NEXT: ret i8* null
  40   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* null)
  41   ret i8* %b2
  42 }
  43
  44 ; CHECK-LABEL: define i8 addrspace(42)* @dontsimplifyNullStripForDifferentAddrspace()
  45 define i8 addrspace(42)* @dontsimplifyNullStripForDifferentAddrspace() {
  46 ; CHECK: %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null)
  47 ; CHECK: ret i8 addrspace(42)* %b2
  48   %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null)
  49   ret i8 addrspace(42)* %b2
  50 }
  51
  52 ; CHECK-LABEL: define i8* @simplifyUndefStrip()
  53 define i8* @simplifyUndefStrip() {
  54 ; CHECK-NEXT: ret i8* undef
  55   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef)
  56   ret i8* %b2
  57 }
  58
  59 ; CHECK-LABEL: define i8 addrspace(42)* @simplifyUndefStrip2()
  60 define i8 addrspace(42)* @simplifyUndefStrip2() {
  61 ; CHECK-NEXT: ret i8 addrspace(42)* undef
  62   %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* undef)
  63   ret i8 addrspace(42)* %b2
  64 }
  65
  66 declare i8* @llvm.strip.invariant.group.p0i8(i8*)
  67 declare i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)*)
  68