Blame - llvm/test/Transforms/LoopUnswitch/2011-11-18-SimpleSwitch.ll - toolchain/llvm-project

Jan Wen Voung

6dc3076

2013-03-12 16:27:52 +0000

[diff] [blame]

1

; REQUIRES: asserts

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

2

; RUN: opt -loop-unswitch -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s

Dmitri Gribenko

b137c9e

2012-12-30 01:28:40 +0000

[diff] [blame]

3

; RUN: opt -S -loop-unswitch -verify-loop-info -verify-dom-info < %s | FileCheck %s

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

4

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

5

; STATS: 2 loop-unswitch - Number of switches unswitched

6

7

; CHECK: %1 = icmp eq i32 %c, 1

8

; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge

9

10

; CHECK: ..split_crit_edge: ; preds = %0

11

; CHECK-NEXT: br label %.split

12

13

; CHECK: .split.us: ; preds = %0

14

; CHECK-NEXT: br label %loop_begin.us

15

16

; CHECK: loop_begin.us: ; preds = %loop_begin.backedge.us, %.split.us

David Blaikie

a79ac14

2015-02-27 21:17:42 +0000

[diff] [blame]

17

; CHECK-NEXT: %var_val.us = load i32, i32* %var

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

18

; CHECK-NEXT: switch i32 1, label %default.us-lcssa.us [

19

; CHECK-NEXT: i32 1, label %inc.us

20

21

; CHECK: inc.us: ; preds = %loop_begin.us

Bill Wendling

a032374

2013-02-22 09:09:42 +0000

[diff] [blame]

22

; CHECK-NEXT: call void @incf() [[NOR_NUW:#[0-9]+]]

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

23

; CHECK-NEXT: br label %loop_begin.backedge.us

24

25

; CHECK: .split: ; preds = %..split_crit_edge

26

; CHECK-NEXT: %2 = icmp eq i32 %c, 2

27

; CHECK-NEXT: br i1 %2, label %.split.split.us, label %.split..split.split_crit_edge

28

29

; CHECK: .split..split.split_crit_edge: ; preds = %.split

30

; CHECK-NEXT: br label %.split.split

31

32

; CHECK: .split.split.us: ; preds = %.split

33

; CHECK-NEXT: br label %loop_begin.us1

34

35

; CHECK: loop_begin.us1: ; preds = %loop_begin.backedge.us5, %.split.split.us

Rafael Espindola

d1beb07

2015-11-22 00:16:24 +0000

[diff] [blame]

36

; CHECK-NEXT: %var_val.us2 = load i32, i32* %var

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

37

; CHECK-NEXT: switch i32 2, label %default.us-lcssa.us-lcssa.us [

Andrew Trick

fb2ba3e

2012-06-26 04:11:38 +0000

[diff] [blame]

38

; CHECK-NEXT: i32 1, label %inc.us4

39

; CHECK-NEXT: i32 2, label %dec.us3

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

40

; CHECK-NEXT: ]

41

Andrew Trick

fb2ba3e

2012-06-26 04:11:38 +0000

[diff] [blame]

42

; CHECK: dec.us3: ; preds = %loop_begin.us1

Bill Wendling

a032374

2013-02-22 09:09:42 +0000

[diff] [blame]

43

; CHECK-NEXT: call void @decf() [[NOR_NUW]]

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

44

; CHECK-NEXT: br label %loop_begin.backedge.us5

45

46

; CHECK: .split.split: ; preds = %.split..split.split_crit_edge

47

; CHECK-NEXT: br label %loop_begin

48

49

; CHECK: loop_begin: ; preds = %loop_begin.backedge, %.split.split

David Blaikie

a79ac14

2015-02-27 21:17:42 +0000

[diff] [blame]

50

; CHECK-NEXT: %var_val = load i32, i32* %var

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

51

; CHECK-NEXT: switch i32 %c, label %default.us-lcssa.us-lcssa [

52

; CHECK-NEXT: i32 1, label %inc

53

; CHECK-NEXT: i32 2, label %dec

54

; CHECK-NEXT: ]

55

56

; CHECK: inc: ; preds = %loop_begin

57

; CHECK-NEXT: br i1 true, label %us-unreachable.us-lcssa, label %inc.split

58

59

; CHECK: dec: ; preds = %loop_begin

60

; CHECK-NEXT: br i1 true, label %us-unreachable6, label %dec.split

61

62

define i32 @test(i32* %var) {

63

%mem = alloca i32

64

store i32 2, i32* %mem

David Blaikie

a79ac14

2015-02-27 21:17:42 +0000

[diff] [blame]

65

%c = load i32, i32* %mem

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

br label %loop_begin

loop_begin:

David Blaikie

2015-02-27 21:17:42 +0000

[diff] [blame]

71

%var_val = load i32, i32* %var

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

72

73

switch i32 %c, label %default [

i32 1, label %inc

i32 2, label %dec

]

inc:

call void @incf() noreturn nounwind

80

br label %loop_begin

81

dec:

82

call void @decf() noreturn nounwind

83

br label %loop_begin

Andrew Trick

fb2ba3e

2012-06-26 04:11:38 +0000

[diff] [blame]

84

default:

Chad Rosier

3887694

2011-12-22 21:06:36 +0000

[diff] [blame]

br label %loop_exit

loop_exit:

ret i32 0

}

declare void @incf() noreturn

91

declare void @decf() noreturn

Bill Wendling

a032374

2013-02-22 09:09:42 +0000

[diff] [blame]

92

93

; CHECK: attributes #0 = { noreturn }

94

; CHECK: attributes [[NOR_NUW]] = { noreturn nounwind }