test/Transforms/ConstantMerge/dont-merge.ll

   1 ; RUN: opt < %s -constmerge -S | FileCheck %s
   2
   3 ; Don't merge constants with specified sections.
   4
   5 @T1G1 = internal constant i32 1, section "foo"
   6 @T1G2 = internal constant i32 1, section "bar"
   7 @T1G3 = internal constant i32 1, section "bar"
   8
   9 ; CHECK: @T1G1
  10 ; CHECK: @T1G2
  11 ; CHECK: @T1G3
  12
  13 define void @test1(i32** %P1, i32** %P2, i32** %P3) {
  14         store i32* @T1G1, i32** %P1
  15         store i32* @T1G2, i32** %P2
  16         store i32* @T1G3, i32** %P3
  17         ret void
  18 }
  19
  20 @T2a = internal constant i32 224
  21 @T2b = internal addrspace(30) constant i32 224
  22
  23 ; CHECK: @T2a
  24 ; CHECK: @T2b
  25
  26 define void @test2(i32** %P1, i32 addrspace(30)** %P2) {
  27         store i32* @T2a, i32** %P1
  28         store i32 addrspace(30)*  @T2b, i32 addrspace(30)** %P2
  29         ret void
  30 }
  31
  32 ; PR8144 - Don't merge globals marked attribute(used)
  33 ; CHECK: @T3A =
  34 ; CHECK: @T3B =
  35
  36 @T3A = internal constant i32 0
  37 @T3B = internal constant i32 0
  38 @llvm.used = appending global [2 x i32*] [i32* @T3A, i32* @T3B], section
  39 "llvm.metadata"
  40
  41 define void @test3() {
  42   call void asm sideeffect "T3A, T3B",""() ; invisible use of T3A and T3B
  43   ret void
  44 }
  45
  46 ; Don't merge constants with !type annotations.
  47
  48 @T4A1 = internal constant i32 2, !type !0
  49 @T4A2 = internal unnamed_addr constant i32 2, !type !1
  50
  51 @T4B1 = internal constant i32 3, !type !0
  52 @T4B2 = internal unnamed_addr constant i32 3, !type !0
  53
  54 @T4C1 = internal constant i32 4, !type !0
  55 @T4C2 = unnamed_addr constant i32 4
  56
  57 @T4D1 = unnamed_addr constant i32 5, !type !0
  58 @T4D2 = internal constant i32 5
  59
  60 !0 = !{i64 0, !"typeinfo name for A"}
  61 !1 = !{i64 0, !"typeinfo name for B"}
  62
  63 ; CHECK: @T4A1
  64 ; CHECK: @T4A2
  65 ; CHECK: @T4B1
  66 ; CHECK: @T4B2
  67 ; CHECK: @T4C1
  68 ; CHECK: @T4C2
  69 ; CHECK: @T4D1
  70 ; CHECK: @T4D2
  71
  72 define void @test4(i32** %P1, i32** %P2, i32** %P3, i32** %P4, i32** %P5, i32** %P6, i32** %P7, i32** %P8) {
  73         store i32* @T4A1, i32** %P1
  74         store i32* @T4A2, i32** %P2
  75         store i32* @T4B1, i32** %P3
  76         store i32* @T4B2, i32** %P4
  77         store i32* @T4C1, i32** %P5
  78         store i32* @T4C2, i32** %P6
  79         store i32* @T4D1, i32** %P7
  80         store i32* @T4D2, i32** %P8
  81         ret void
  82 }