invariant.ll 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. ; RUN: opt -globalopt -S -o - < %s | FileCheck %s
  2. target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
  3. target triple = "x86_64-unknown-linux-gnu"
  4. declare {}* @llvm.invariant.start(i64 %size, i8* nocapture %ptr)
  5. define void @test1(i8* %ptr) {
  6. call {}* @llvm.invariant.start(i64 4, i8* %ptr)
  7. ret void
  8. }
  9. @object1 = global i32 0
  10. ; CHECK: @object1 = constant i32 -1
  11. define void @ctor1() {
  12. store i32 -1, i32* @object1
  13. %A = bitcast i32* @object1 to i8*
  14. call void @test1(i8* %A)
  15. ret void
  16. }
  17. @object2 = global i32 0
  18. ; CHECK: @object2 = global i32 0
  19. define void @ctor2() {
  20. store i32 -1, i32* @object2
  21. %A = bitcast i32* @object2 to i8*
  22. %B = call {}* @llvm.invariant.start(i64 4, i8* %A)
  23. %C = bitcast {}* %B to i8*
  24. ret void
  25. }
  26. @object3 = global i32 0
  27. ; CHECK: @object3 = global i32 -1
  28. define void @ctor3() {
  29. store i32 -1, i32* @object3
  30. %A = bitcast i32* @object3 to i8*
  31. call {}* @llvm.invariant.start(i64 3, i8* %A)
  32. ret void
  33. }
  34. @object4 = global i32 0
  35. ; CHECK: @object4 = global i32 -1
  36. define void @ctor4() {
  37. store i32 -1, i32* @object4
  38. %A = bitcast i32* @object4 to i8*
  39. call {}* @llvm.invariant.start(i64 -1, i8* %A)
  40. ret void
  41. }
  42. @llvm.global_ctors = appending constant
  43. [4 x { i32, void ()* }]
  44. [ { i32, void ()* } { i32 65535, void ()* @ctor1 },
  45. { i32, void ()* } { i32 65535, void ()* @ctor2 },
  46. { i32, void ()* } { i32 65535, void ()* @ctor3 },
  47. { i32, void ()* } { i32 65535, void ()* @ctor4 } ]