test/Transforms/LICM/hoisting.ll

   1 ; RUN: opt < %s -licm -S | FileCheck %s
   2
   3 @X = global i32 0               ; <i32*> [#uses=1]
   4
   5 declare void @foo()
   6
   7 ; This testcase tests for a problem where LICM hoists
   8 ; potentially trapping instructions when they are not guaranteed to execute.
   9 define i32 @test1(i1 %c) {
  10 ; CHECK: @test1
  11         %A = load i32* @X               ; <i32> [#uses=2]
  12         br label %Loop
  13 Loop:           ; preds = %LoopTail, %0
  14         call void @foo( )
  15         br i1 %c, label %LoopTail, label %IfUnEqual
  16
  17 IfUnEqual:              ; preds = %Loop
  18 ; CHECK: IfUnEqual:
  19 ; CHECK-NEXT: sdiv i32 4, %A
  20         %B1 = sdiv i32 4, %A            ; <i32> [#uses=1]
  21         br label %LoopTail
  22
  23 LoopTail:               ; preds = %IfUnEqual, %Loop
  24         %B = phi i32 [ 0, %Loop ], [ %B1, %IfUnEqual ]          ; <i32> [#uses=1]
  25         br i1 %c, label %Loop, label %Out
  26 Out:            ; preds = %LoopTail
  27         %C = sub i32 %A, %B             ; <i32> [#uses=1]
  28         ret i32 %C
  29 }
  30
  31
  32 declare void @foo2(i32)
  33
  34
  35 ;; It is ok and desirable to hoist this potentially trapping instruction.
  36 define i32 @test2(i1 %c) {
  37 ; CHECK: @test2
  38 ; CHECK-NEXT: load i32* @X
  39 ; CHECK-NEXT: %B = sdiv i32 4, %A
  40         %A = load i32* @X               ; <i32> [#uses=2]
  41         br label %Loop
  42 Loop:
  43         ;; Should have hoisted this div!
  44         %B = sdiv i32 4, %A             ; <i32> [#uses=2]
  45         call void @foo2( i32 %B )
  46         br i1 %c, label %Loop, label %Out
  47 Out:            ; preds = %Loop
  48         %C = sub i32 %A, %B             ; <i32> [#uses=1]
  49         ret i32 %C
  50 }